projects
/
oota-llvm.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Folding or(fcmp,fcmp) only works if the operands of the fcmps are the same fp type.
[oota-llvm.git]
/
test
/
Transforms
/
PredicateSimplifier
/
2007-03-17-OpsToDefVRP.ll
1
; RUN: llvm-as < %s | opt -predsimplify | llvm-dis | grep -v %c
2
define void @foo(i8* %X, i8* %Y) {
3
entry:
4
%A = load i8* %X
5
%B = load i8* %Y
6
%a = icmp ult i8 %B, 10
7
br i1 %a, label %cond_true, label %URB
8
cond_true:
9
%b = icmp eq i8 %A, %B
10
br i1 %b, label %cond_true2, label %URB
11
cond_true2:
12
%c = icmp ult i8 %A, 11
13
call i8 @bar(i1 %c)
14
ret void
15
URB:
16
ret void
17
}
18
19
declare i8 @bar(i1)