+/** The global memory disambiguator options. */
+static unsigned global_mem_disamgig_opt = aa_opt_no_opt;
+
+/* Get the memory disambiguator options for a graph. */
+unsigned get_irg_memory_disambiguator_options(ir_graph *irg) {
+ unsigned opt = irg->mem_disamgig_opt;
+ if (opt & aa_opt_inherited)
+ return global_mem_disamgig_opt;
+ return opt;
+} /* get_irg_memory_disambiguator_options */
+
+/* Set the memory disambiguator options for a graph. */
+void set_irg_memory_disambiguator_options(ir_graph *irg, unsigned options) {
+ irg->mem_disamgig_opt = options & ~aa_opt_inherited;
+} /* set_irg_memory_disambiguator_options */
+
+/* Set the global disambiguator options for all graphs not having local options. */
+void set_irp_memory_disambiguator_options(unsigned options) {
+ global_mem_disamgig_opt = options;
+} /* set_irp_memory_disambiguator_options */
+