More testcases, which I'll implement later

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@7298 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2003-07-24 19:44:51 +00:00
parent d2a0896832
commit 12642fda09
3 changed files with 25 additions and 0 deletions

View File

@ -55,3 +55,8 @@ int %test8(int %A, int %B) { ; (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1
ret int %C
}
int %test9(int %A) {
%B = shl int %A, ubyte 4
%C = add int %B, %B ; === shl int %A, 5
ret int %C
}

View File

@ -74,4 +74,17 @@ uint %test11(uint %A, uint* %P) {
ret uint %D
}
bool %test12(uint %A, uint %B) {
%C1 = setlt uint %A, %B
%C2 = setle uint %A, %B
%D = and bool %C1, %C2 ; (A < B) & (A <= B) === (A < B)
ret bool %D
}
bool %test13(uint %A, uint %B) {
%C1 = setlt uint %A, %B
%C2 = setgt uint %A, %B
%D = and bool %C1, %C2 ; (A < B) & (A > B) === false
ret bool %D
}

View File

@ -93,3 +93,10 @@ bool %test14(uint %A, uint %B) {
ret bool %D
}
bool %test15(uint %A, uint %B) {
%C1 = setlt uint %A, %B
%C2 = seteq uint %A, %B
%D = or bool %C1, %C2 ; (A < B) | (A == B) === A <= B
ret bool %D
}