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
/
IndVarSimplify
/
sink-trapping.ll
blob
d6e049507604a97c9455ab246d9b4640d97dab14
1
; RUN: opt < %s -indvars -S | FileCheck %s
2
3
declare i1 @b()
4
5
define i32 @a(i32 %x) nounwind {
6
for.body.preheader:
7
%y = sdiv i32 10, %x
8
br label %for.body
9
10
for.body:
11
%cmp = call i1 @b()
12
br i1 %cmp, label %for.body, label %for.end.loopexit
13
14
for.end.loopexit:
15
ret i32 %y
16
}
17
; CHECK: for.end.loopexit:
18
; CHECK: sdiv
19
; CHECK: ret