diff --git a/test/Transforms/InstCombine/add.ll b/test/Transforms/InstCombine/add.ll index 4043a7f9c35..d3e358d0ebb 100644 --- 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 ec28e20ad3f..f4f360df72a 100644 --- 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 +}