2002-05-06 05:51:26 +00:00
|
|
|
; This test makes sure that these instructions are properly eliminated.
|
|
|
|
;
|
|
|
|
|
2002-08-02 19:27:58 +00:00
|
|
|
; RUN: if as < %s | opt -instcombine | dis | grep set
|
2002-05-06 05:51:26 +00:00
|
|
|
; RUN: then exit 1
|
|
|
|
; RUN: else exit 0
|
|
|
|
; RUN: fi
|
|
|
|
|
2002-05-09 19:52:36 +00:00
|
|
|
%X = uninitialized global int
|
2002-05-06 05:51:26 +00:00
|
|
|
|
|
|
|
bool "test1"(int %A) {
|
|
|
|
%B = seteq int %A, %A
|
2002-05-09 19:52:36 +00:00
|
|
|
%C = seteq int* %X, null ; Never true
|
|
|
|
%D = and bool %B, %C
|
|
|
|
ret bool %D
|
2002-05-06 05:51:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool "test2"(int %A) {
|
|
|
|
%B = setne int %A, %A
|
2002-05-09 19:52:36 +00:00
|
|
|
%C = setne int* %X, null ; Never false
|
|
|
|
%D = or bool %B, %C
|
|
|
|
ret bool %D
|
2002-05-06 05:51:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool "test3"(int %A) {
|
|
|
|
%B = setlt int %A, %A
|
|
|
|
ret bool %B
|
|
|
|
}
|
|
|
|
|
|
|
|
bool "test4"(int %A) {
|
|
|
|
%B = setgt int %A, %A
|
|
|
|
ret bool %B
|
|
|
|
}
|
|
|
|
|
|
|
|
bool "test5"(int %A) {
|
|
|
|
%B = setle int %A, %A
|
|
|
|
ret bool %B
|
|
|
|
}
|
|
|
|
|
|
|
|
bool "test6"(int %A) {
|
|
|
|
%B = setge int %A, %A
|
|
|
|
ret bool %B
|
|
|
|
}
|
2002-08-03 20:24:58 +00:00
|
|
|
|
|
|
|
bool "test7"(uint %A) {
|
|
|
|
%B = setge uint %A, 0 ; true
|
|
|
|
ret bool %B
|
|
|
|
}
|
|
|
|
|
|
|
|
bool "test8"(uint %A) {
|
|
|
|
%B = setlt uint %A, 0 ; false
|
|
|
|
ret bool %B
|
|
|
|
}
|