| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -ssi-everything -S | FileCheck %s |
| Nick Lewycky | dbc3a62 | 2009-08-17 07:32:08 +0000 | [diff] [blame] | 2 | |
| 3 | declare void @use(i32) | ||||
| 4 | declare i32 @create() | ||||
| 5 | |||||
| 6 | define i32 @foo() { | ||||
| 7 | entry: | ||||
| 8 | %x = call i32 @create() | ||||
| 9 | %y = icmp slt i32 %x, 10 | ||||
| 10 | br i1 %y, label %T, label %F | ||||
| 11 | T: | ||||
| 12 | ; CHECK: SSI_sigma | ||||
| 13 | call void @use(i32 %x) | ||||
| 14 | br label %join | ||||
| 15 | F: | ||||
| 16 | ; CHECK: SSI_sigma | ||||
| 17 | call void @use(i32 %x) | ||||
| 18 | br label %join | ||||
| 19 | join: | ||||
| 20 | ; CHECK: SSI_phi | ||||
| 21 | ret i32 %x | ||||
| 22 | } | ||||