Test limited reassociation

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@5742 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/InstCombine/add.ll b/test/Transforms/InstCombine/add.ll
index 4043a7f9c35e3c64e1588760525d34e9dcc805cb..d3e358d0ebbbabe54bcddbe6604aefdfaa35d688 100644 (file)
--- a/test/Transforms/InstCombine/add.ll
+++ b/test/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
 }
+

diff --git a/test/Transforms/InstCombine/or.ll b/test/Transforms/InstCombine/or.ll
index ec28e20ad3f5c5597c7103503aff77d08423095e..f4f360df72a6224f2c4ee7197a0de66e550992e2 100644 (file)
--- a/test/Transforms/InstCombine/or.ll
+++ b/test/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
+}