[Mono-bugs] [Bug 71062][Wis] Changed - ABC removal not performed for substitution boxes

[bugzilla-daemon@bugzilla.ximian.com]

Please do not reply to this email- if you want to comment on the bug, go to the
URL shown below and enter your comments there.

Changed by sebastien@ximian.com.

http://bugzilla.ximian.com/show_bug.cgi?id=71062

--- shadow/71062	2005-01-06 14:09:41.000000000 -0500
+++ shadow/71062.tmp.19760	2005-01-06 14:11:24.000000000 -0500
@@ -161,6 +161,99 @@
 			result += SubByte_Int32 (i);
 		}
 		Console.WriteLine ("Int32: {0} in {1}", result, (DateTime.Now - start));
 	}
 }
 
+
+------- Additional Comments From sebastien@ximian.com  2005-01-06 14:11 -------
+Removing array bound checks in SBox:SubByte_Byte (int)
+Variable 0 has no definition, probably it is an argument
+Definition of variable 1 is not a proper store
+Definition of variable 2 is not a proper store
+Definition of variable 3 is not a proper store
+[store instruction found][value put in local 4 (expected 4)]Summarized
+variable 4: CONSTANT 136629984
+[store instruction found][value put in local 5 (expected 5)]Summarized
+variable 5: ANY
+[store instruction found][value put in local 6 (expected 6)]Summarized
+variable 6: ANY
+[store instruction found][value put in local 7 (expected 7)]Summarized
+variable 7: ANY
+[store instruction found][value put in local 8 (expected 8)]Summarized
+variable 8: ANY
+[store instruction found][value put in local 9 (expected 9)]Summarized
+variable 9: ANY
+[store instruction found][value put in local 10 (expected
+10)]Summarized variable 10: ANY
+[store instruction found][value put in local 11 (expected
+11)]Summarized variable 11: ANY
+Processing block 0 [dfn 0]...
+Processing block 0 [dfn 0] done.
+Processing block 3 [dfn 1]...
+Processing instruction 0
+Processing instruction 1
+Processing instruction 2
+Processing instruction 3
+Processing instruction 4
+Processing instruction 5
+Attempting check removal...
+Evaluating varible 5 (target variable 4)
+Relation (EQ) with value ANY
+Processing (5): Relation (EQ) with value ANY
+Ranges for varible 5 (target variable 4) computated: (ranges: zero
+[-2147483648,2147483647], variable [-2147483648,2147483647])
+Evaluating varible 4 (target variable 4)
+Relation (EQ) with value CONSTANT 136629984
+Target variable reached (4), continuing to evaluate relations with
+constants
+Processing (4): Relation (EQ) with value CONSTANT 136629984
+Ranges for varible 4 (target variable 4) computated: (ranges: zero
+[136629984,136629984], variable [0,0])
+Processing instruction 6
+Processing instruction 7
+Attempting check removal...
+Evaluating varible 7 (target variable 4)
+Relation (EQ) with value ANY
+Processing (7): Relation (EQ) with value ANY
+Ranges for varible 7 (target variable 4) computated: (ranges: zero
+[-2147483648,2147483647], variable [-2147483648,2147483647])
+Evaluating varible 4 (target variable 4)
+Relation (EQ) with value CONSTANT 136629984
+Target variable reached (4), continuing to evaluate relations with
+constants
+Processing (4): Relation (EQ) with value CONSTANT 136629984
+Ranges for varible 4 (target variable 4) computated: (ranges: zero
+[136629984,136629984], variable [0,0])
+Processing instruction 8
+Processing instruction 9
+Attempting check removal...
+Evaluating varible 9 (target variable 4)
+Relation (EQ) with value ANY
+Processing (9): Relation (EQ) with value ANY
+Ranges for varible 9 (target variable 4) computated: (ranges: zero
+[-2147483648,2147483647], variable [-2147483648,2147483647])
+Evaluating varible 4 (target variable 4)
+Relation (EQ) with value CONSTANT 136629984
+Target variable reached (4), continuing to evaluate relations with
+constants
+Processing (4): Relation (EQ) with value CONSTANT 136629984
+Ranges for varible 4 (target variable 4) computated: (ranges: zero
+[136629984,136629984], variable [0,0])
+Processing instruction 10
+Processing instruction 11
+Attempting check removal...
+Evaluating varible 11 (target variable 4)
+Relation (EQ) with value ANY
+Processing (11): Relation (EQ) with value ANY
+Ranges for varible 11 (target variable 4) computated: (ranges: zero
+[-2147483648,2147483647], variable [-2147483648,2147483647])
+Evaluating varible 4 (target variable 4)
+Relation (EQ) with value CONSTANT 136629984
+Target variable reached (4), continuing to evaluate relations with
+constants
+Processing (4): Relation (EQ) with value CONSTANT 136629984
+Ranges for varible 4 (target variable 4) computated: (ranges: zero
+[136629984,136629984], variable [0,0])
+
+***** it seems strange (to me) that the range should be influenced by
+the constant 136629984 *******