Evan Cheng | 9b82425 | 2009-11-20 02:10:27 +0000 | [diff] [blame^] | 1 | ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -disable-fp-elim | FileCheck %s |
| 2 | ; RUN: llc < %s -mtriple=thumbv7-apple-darwin -relocation-model=pic -disable-fp-elim | FileCheck %s --check-prefix=PIC |
Evan Cheng | 9eda689 | 2009-10-31 03:39:36 +0000 | [diff] [blame] | 3 | ; rdar://7353541 |
Evan Cheng | d457e6e | 2009-11-07 04:04:34 +0000 | [diff] [blame] | 4 | ; rdar://7354376 |
Evan Cheng | 9eda689 | 2009-10-31 03:39:36 +0000 | [diff] [blame] | 5 | |
| 6 | ; The generated code is no where near ideal. It's not recognizing the two |
| 7 | ; constantpool entries being loaded can be merged into one. |
| 8 | |
| 9 | @GV = external global i32 ; <i32*> [#uses=2] |
| 10 | |
| 11 | define arm_apcscc void @t(i32* nocapture %vals, i32 %c) nounwind { |
| 12 | entry: |
Evan Cheng | de17fb6 | 2009-10-31 23:46:45 +0000 | [diff] [blame] | 13 | ; CHECK: t: |
| 14 | ; CHECK: cbz |
Evan Cheng | 9eda689 | 2009-10-31 03:39:36 +0000 | [diff] [blame] | 15 | %0 = icmp eq i32 %c, 0 ; <i1> [#uses=1] |
| 16 | br i1 %0, label %return, label %bb.nph |
| 17 | |
| 18 | bb.nph: ; preds = %entry |
| 19 | ; CHECK: BB#1 |
Evan Cheng | 78e5c11 | 2009-11-07 03:52:02 +0000 | [diff] [blame] | 20 | ; CHECK: ldr.n r2, LCPI1_0 |
Evan Cheng | 78e5c11 | 2009-11-07 03:52:02 +0000 | [diff] [blame] | 21 | ; CHECK: ldr r{{[0-9]+}}, [r2] |
Evan Cheng | b9803a8 | 2009-11-06 23:52:48 +0000 | [diff] [blame] | 22 | ; CHECK: LBB1_2 |
Evan Cheng | 78e5c11 | 2009-11-07 03:52:02 +0000 | [diff] [blame] | 23 | ; CHECK: LCPI1_0: |
| 24 | ; CHECK-NOT: LCPI1_1: |
| 25 | ; CHECK: .section |
Evan Cheng | 9b82425 | 2009-11-20 02:10:27 +0000 | [diff] [blame^] | 26 | |
| 27 | ; PIC: BB#1 |
| 28 | ; PIC: ldr.n r2, LCPI1_0 |
| 29 | ; PIC: add r2, pc |
| 30 | ; PIC: ldr r{{[0-9]+}}, [r2] |
| 31 | ; PIC: LBB1_2 |
| 32 | ; PIC: LCPI1_0: |
| 33 | ; PIC-NOT: LCPI1_1: |
| 34 | ; PIC: .section |
Evan Cheng | 9eda689 | 2009-10-31 03:39:36 +0000 | [diff] [blame] | 35 | %.pre = load i32* @GV, align 4 ; <i32> [#uses=1] |
| 36 | br label %bb |
| 37 | |
| 38 | bb: ; preds = %bb, %bb.nph |
| 39 | %1 = phi i32 [ %.pre, %bb.nph ], [ %3, %bb ] ; <i32> [#uses=1] |
| 40 | %i.03 = phi i32 [ 0, %bb.nph ], [ %4, %bb ] ; <i32> [#uses=2] |
| 41 | %scevgep = getelementptr i32* %vals, i32 %i.03 ; <i32*> [#uses=1] |
| 42 | %2 = load i32* %scevgep, align 4 ; <i32> [#uses=1] |
| 43 | %3 = add nsw i32 %1, %2 ; <i32> [#uses=2] |
| 44 | store i32 %3, i32* @GV, align 4 |
| 45 | %4 = add i32 %i.03, 1 ; <i32> [#uses=2] |
| 46 | %exitcond = icmp eq i32 %4, %c ; <i1> [#uses=1] |
| 47 | br i1 %exitcond, label %return, label %bb |
| 48 | |
| 49 | return: ; preds = %bb, %entry |
| 50 | ret void |
| 51 | } |