Loads do not remove any nodes from the exec after sets. Also fix a 'node leak'.
[libfirm] / ir / ana / irmemory.h
index 7032634..2fbe025 100644 (file)
@@ -1,16 +1,31 @@
 /*
- * Project:     libFIRM
- * File name:   ir/ana/irmemory.h
- * Purpose:     Memory disambiguator
- * Author:      Michael Beck
- * Modified by:
- * Created:     27.12.2006
- * CVS-ID:      $Id$
- * Copyright:   (c) 2006-2007 Universität Karlsruhe
- * License:     This file protected by GPL -  GNU GENERAL PUBLIC LICENSE.
- */
-#ifndef _FIRM_MEMORY_H
-#define _FIRM_MEMORY_H
+ * Copyright (C) 1995-2007 University of Karlsruhe.  All right reserved.
+ *
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
+ *
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
+ */
+
+/**
+ * @file
+ * @brief    Memory disambiguator
+ * @author   Michael Beck
+ * @date     27.12.2006
+ * @version  $Id$
+ */
+#ifndef FIRM_ANA_IRMEMORY_H
+#define FIRM_ANA_IRMEMORY_H
 
 #include "firm_types.h"
 
@@ -63,9 +78,9 @@ typedef ir_alias_relation (*DISAMBIGUATOR_FUNC)(
  *   - a local variable and a TLS one never alias (R1 d)
  *   - a local variable and a parameter never alias (R1 e)
  * - two different variables never alias (R2)
- * - if one is a variable which address has never taken
+ * - if one is a variable whose address has never been taken
  *   there is no alias (R3)
- * - if two memory addresses have the same base and there offsets
+ * - if two memory addresses have the same base and their offsets
  *   do not describe overlapping regions there is no alias (R4)
  * - if opt_strong_typed is set and both addresses describe entities,
  *   different types never alias (R5)
@@ -99,7 +114,6 @@ void mem_disambig_init(void);
  * @param mode1   The mode of the first memory access.
  * @param adr2    The second address.
  * @param mode2   The mode of the second memory access.
- * @param options Additional options.
  *
  * @see get_alias_relation()
  */
@@ -188,4 +202,4 @@ void set_irg_memory_disambiguator_options(ir_graph *irg, unsigned options);
  */
 void set_irp_memory_disambiguator_options(unsigned options);
 
-#endif /* _FIRM_MEMORY_H */
+#endif /* FIRM_ANA_IRMEMORY_H */