The instcombiner should canonicalize comparisons.

llvm-svn: 11899
This commit is contained in:
Chris Lattner 2004-02-27 06:27:07 +00:00
parent e669caafe0
commit d58a88b28d
1 changed files with 27 additions and 0 deletions

View File

@ -0,0 +1,27 @@
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep 'setne\|setle\|setge'
int %test1(uint %X, uint %Y) {
%C = setne uint %X, %Y
br bool %C, label %T, label %F
T:
ret int 12
F:
ret int 123
}
int %test2(uint %X, uint %Y) {
%C = setle uint %X, %Y
br bool %C, label %T, label %F
T:
ret int 12
F:
ret int 123
}
int %test3(uint %X, uint %Y) {
%C = setge uint %X, %Y
br bool %C, label %T, label %F
T:
ret int 12
F:
ret int 123
}