2008-03-01 09:15:35 +00:00
|
|
|
; RUN: llvm-as < %s | opt -ipconstprop -instcombine | \
|
2008-06-19 09:27:44 +00:00
|
|
|
; RUN: llvm-dis | grep {ret i1 true} | count 2
|
2008-03-01 09:15:35 +00:00
|
|
|
define internal i32 @foo(i1 %C) {
|
|
|
|
br i1 %C, label %T, label %F
|
2004-11-14 06:02:46 +00:00
|
|
|
|
2008-03-01 09:15:35 +00:00
|
|
|
T: ; preds = %0
|
|
|
|
ret i32 52
|
|
|
|
|
|
|
|
F: ; preds = %0
|
|
|
|
ret i32 52
|
2004-11-14 06:02:46 +00:00
|
|
|
}
|
|
|
|
|
2008-03-01 09:15:35 +00:00
|
|
|
define i1 @caller(i1 %C) {
|
|
|
|
%X = call i32 @foo( i1 %C ) ; <i32> [#uses=1]
|
|
|
|
%Y = icmp ne i32 %X, 0 ; <i1> [#uses=1]
|
|
|
|
ret i1 %Y
|
2004-11-14 06:02:46 +00:00
|
|
|
}
|
2008-03-01 09:15:35 +00:00
|
|
|
|
2008-06-19 09:27:44 +00:00
|
|
|
define i1 @invokecaller(i1 %C) {
|
|
|
|
%X = invoke i32 @foo( i1 %C ) to label %OK unwind label %FAIL ; <i32> [#uses=1]
|
|
|
|
OK:
|
|
|
|
%Y = icmp ne i32 %X, 0 ; <i1> [#uses=1]
|
|
|
|
ret i1 %Y
|
|
|
|
FAIL:
|
|
|
|
ret i1 false
|
|
|
|
}
|