Saleem Abdulrasool | 7258735 | 2014-04-03 16:01:44 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=arm-eabi -mattr=+v4t %s -o - | FileCheck %s |
Hal Finkel | c399830 | 2014-04-12 00:59:48 +0000 | [diff] [blame^] | 2 | ; RUN: llc -mtriple=arm-eabi -mattr=+v4t -addr-sink-using-gep=1 %s -o - | FileCheck %s |
Saleem Abdulrasool | 7258735 | 2014-04-03 16:01:44 +0000 | [diff] [blame] | 3 | |
Owen Anderson | c0177ae | 2010-11-19 22:34:53 +0000 | [diff] [blame] | 4 | ; <rdar://problem/8686347> |
| 5 | |
| 6 | define i32 @test1(i1 %a, i32* %b) { |
| 7 | ; CHECK: test1 |
| 8 | entry: |
| 9 | br i1 %a, label %lblock, label %rblock |
| 10 | |
| 11 | lblock: |
| 12 | %lbranch = getelementptr i32* %b, i32 1 |
| 13 | br label %end |
| 14 | |
| 15 | rblock: |
| 16 | %rbranch = getelementptr i32* %b, i32 1 |
| 17 | br label %end |
| 18 | |
| 19 | end: |
| 20 | ; CHECK: ldr r0, [r1, #4] |
| 21 | %gep = phi i32* [%lbranch, %lblock], [%rbranch, %rblock] |
| 22 | %r = load i32* %gep |
| 23 | ; CHECK-NEXT: bx lr |
| 24 | ret i32 %r |
Evan Cheng | 8b2bda0 | 2011-07-07 03:55:05 +0000 | [diff] [blame] | 25 | } |