| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 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) | ||||