Test limited reassociation

llvm-svn: 5742

test/Regression/Transforms/InstCombine/add.ll

@@ -57,3 +57,4 @@ int %test8(int %A, int %B) {     ; (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1
 	%C = add int %A1, %B1
 	ret int %C
 }
+

test/Regression/Transforms/InstCombine/or.ll

@@ -99,3 +99,9 @@ int %test16(int %A, int %B) {     ; (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C
         ret int %OROK
 }
 
+ubyte %test17(ubyte %A, ubyte %B) {  ; Test that (A|c1)|(B|c2) == (A|B)|(c1|c2)
+	%C = or ubyte %A, 1
+	%D = or ubyte %B, 254
+	%E = or ubyte %C, %D
+	ret ubyte %E
+}