- add ir_graph to loop element, preventing the ugly casting

[libfirm] / include / libfirm / irmemory.h

diff --git a/include/libfirm/irmemory.h b/include/libfirm/irmemory.h
index 5e841ea..f18a0a0 100644 (file)
--- a/include/libfirm/irmemory.h
+++ b/include/libfirm/irmemory.h
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ * Copyright (C) 1995-2008 University of Karlsruhe.  All right reserved.
  *
  * This file is part of libFirm.
  *
@@ -60,6 +60,11 @@ typedef ir_alias_relation (*DISAMBIGUATOR_FUNC)(
        ir_node *adr1, ir_mode *mode1,
        ir_node *adr2, ir_mode *mode2);
 
+/**
+ * Returns a human readable name for an alias relation.
+ */
+const char *get_ir_alias_relation_name(ir_alias_relation rel);
+
 /**
  * Determine the alias relation between two addresses.
  *
@@ -72,11 +77,17 @@ typedef ir_alias_relation (*DISAMBIGUATOR_FUNC)(
  * The memory disambiguator tries to determine the alias state between
  * two memory addresses. The following rules are used:
  *
- * - variables from different segments never alias (R1)
+ * - different variable from the same segment never alias (R1 a)
+ * - variables from different segments never alias when:
  *   - a global variable and a local one never alias (R1 b)
  *   - a global variable and a TLS one never alias (R1 c)
  *   - a local variable and a TLS one never alias (R1 d)
  *   - a local variable and a parameter never alias (R1 e)
+ *   - a global variable and the result of a malloc routine never alias (R1 f)
+ *   - a local variable and the result of a malloc routine never alias (R1 g)
+ *   - a TLS variable and the result of a malloc routine never alias (R1 h)
+ *   - a parameter and the result of a malloc routine (obtained in the
+ *     same routine as the parameter) never alias (R1 i)
  * - two different variables never alias (R2)
  * - if one is a variable whose address has never been taken
  *   there is no alias (R3)