# HG changeset patch
# User Manuele Conti <conti.ma@alice.it>
# Date 1356364568 -3600
# Node ID 96a1199d073974a861f7c8349f1f2d9dc484c0f7
# Parent  0422ee273152ff9f8c6220cf108f8db5be2cb4c8
Fix comment about meet semilattice rules.

diff -r 0422ee273152 -r 96a1199d0739 stage3/constant_folding.cc
--- a/stage3/constant_folding.cc	Sat Dec 22 19:34:57 2012 +0100
+++ b/stage3/constant_folding.cc	Mon Dec 24 16:56:08 2012 +0100
@@ -206,14 +206,16 @@
 		{SET_NONCONST(dtype, symbol);}                                                                            \
 }
 
-/* Meet rules
- * - any * T = any
- * - any * B = B
- * - constant * constant = constant (if equal)
- * - constant * constant = B        (if not equal)
+/* Constant Propagation: Rules for Meet from "Cooper K., Torczon L. - Engineering a Compiler, Second Edition - 2011"
+ * at 9.3 Static Single-Assignment Form  page 517
+ * - any * undefined = any
+ * - any * non_const = non_const
+ * - constant * constant = constant  (if equal)
+ * - constant * constant = non_const (if not equal)
  */
 #define COMPUTE_MEET_SEMILATTICE(dtype, c1, c2, resValue) {\
-		if ((c1._##dtype.value != c2._##dtype.value && c2._##dtype.status == symbol_c::cs_const_value && c1._##dtype.status == symbol_c::cs_const_value) ||\
+		if (( c1._##dtype.value  != c2._##dtype.value && c2._##dtype.status == symbol_c::cs_const_value &&\
+              c1._##dtype.status == symbol_c::cs_const_value) ||\
 		    ( c1._##dtype.status == symbol_c::cs_non_const && c2._##dtype.status == symbol_c::cs_const_value ) ||\
 		    ( c2._##dtype.status == symbol_c::cs_non_const && c1._##dtype.status == symbol_c::cs_const_value  )) {\
 			resValue._##dtype.status = symbol_c::cs_non_const;\