X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Firmemory.h;h=f18a0a09693e6b5cc392ed12d3a6dfb1a0bb3dbc;hb=68655b9de256aa8d96434774b042cd30f352c5e7;hp=5e841eac9c08f835f79878eff44ce1c60fa41cf0;hpb=093493d1809682a65cd5867a4062899b8dd67146;p=libfirm

diff --git a/include/libfirm/irmemory.h b/include/libfirm/irmemory.h
index 5e841eac9..f18a0a096 100644
--- 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)