| James Molloy | 104370a | 2016-09-11 09:00:03 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -mem2reg -simplifycfg -S | FileCheck %s |
| Oliver Stannard | ef38d53 | 2016-09-05 13:49:26 +0000 | [diff] [blame] | 2 | |
| 3 | define i32 @test(i32 %x) { |
| 4 | ; CHECK-LABEL: @test |
| 5 | entry: |
| 6 | %y = alloca i32, align 4 |
| 7 | %tobool = icmp ne i32 %x, 0 |
| 8 | br i1 %tobool, label %if.then, label %if.else |
| 9 | |
| 10 | if.then: |
| 11 | ; CHECK-LABEL: if.then: |
| 12 | ; CHECK: [[ASM1:%.*]] = call i32 asm "mov $0, #1", "=r"() |
| 13 | %tmp1 = call i32 asm "mov $0, #1", "=r"() nounwind readnone |
| 14 | store i32 %tmp1, i32* %y, align 4 |
| 15 | br label %if.end |
| 16 | |
| 17 | if.else: |
| 18 | ; CHECK-LABEL: if.else: |
| 19 | ; CHECK: [[ASM2:%.*]] = call i32 asm "mov $0, #2", "=r"() |
| 20 | %tmp2 = call i32 asm "mov $0, #2", "=r"() nounwind readnone |
| 21 | store i32 %tmp2, i32* %y, align 4 |
| 22 | br label %if.end |
| 23 | |
| 24 | if.end: |
| 25 | ; CHECK-LABEL: if.end: |
| James Molloy | 104370a | 2016-09-11 09:00:03 +0000 | [diff] [blame] | 26 | ; CHECK: {{%.*}} = phi i32 [ [[ASM1]], %if.then ], [ [[ASM2]], %if.else ] |
| Oliver Stannard | ef38d53 | 2016-09-05 13:49:26 +0000 | [diff] [blame] | 27 | %tmp3 = load i32, i32* %y, align 4 |
| 28 | ret i32 %tmp3 |
| 29 | } |