From: Chris Lattner <sabre@nondot.org>
Date: Tue, 11 Mar 2003 00:10:59 +0000 (+0000)
Subject: Test limited reassociation
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=be0fe12f72759db078c34f5b973f568ee83d5432;p=oota-llvm.git

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 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
+}