new testcase

llvm-svn: 21777
This commit is contained in:
Chris Lattner 2005-05-08 18:54:40 +00:00
parent 4922118dc4
commit 2f1b13255d
1 changed files with 24 additions and 0 deletions

View File

@ -0,0 +1,24 @@
; RUN: llvm-as < %s | opt -reassociate -dce | llvm-dis | not grep '\(and\|sub\)'
int %test1(int %a, int %b) {
%tmp.2 = and int %b, %a
%tmp.4 = xor int %a, -1
%tmp.5 = and int %tmp.2, %tmp.4 ; (A&B)&~A == 0
ret int %tmp.5
}
int %test2(int %a, int %b) {
%tmp.1 = and int %a, 1234
%tmp.2 = and int %b, %tmp.1
%tmp.4 = xor int %a, -1
%tmp.5 = and int %tmp.2, %tmp.4 ; A&~A == 0
ret int %tmp.5
}
int %test3(int %b, int %a) {
%tmp.1 = add int %a, 1234
%tmp.2 = add int %b, %tmp.1
%tmp.4 = sub int 0, %a
%tmp.5 = add int %tmp.2, %tmp.4 ; (b+(a+1234))+-a -> b+1234
ret int %tmp.5
}