repo.or.cz
/
llvm-complete.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
[InstCombine] Signed saturation tests. NFC
[llvm-complete.git]
/
test
/
Transforms
/
SCCP
/
2004-12-10-UndefBranchBug.ll
blob
c847b4eaca3d4251f35b9d6dd475ea3ce6b16c4f
1
; RUN: opt < %s -sccp -S | grep "ret i32 1"
2
3
; This function definitely returns 1, even if we don't know the direction
4
; of the branch.
5
6
define i32 @foo() {
7
br i1 undef, label %T, label %T
8
T: ; preds = %0, %0
9
%X = add i32 0, 1 ; <i32> [#uses=1]
10
ret i32 %X
11
}
12