| Renato Golin | 63e2798 | 2014-09-09 09:57:59 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=arm-eabi -O3 %s -o - | FileCheck %s |
| 2 | |
| 3 | ; Function Attrs: nounwind readonly |
| 4 | define arm_aapcscc i32 @sum(i32* nocapture readonly %p) #0 { |
| 5 | entry: |
| 6 | ;CHECK-LABEL: sum: |
| 7 | ;CHECK-NOT: sub |
| 8 | ;CHECK: ldr r{{.*}}, [r0, #-16] |
| 9 | ;CHECK: ldr r{{.*}}, [r0, #-8] |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 10 | %arrayidx = getelementptr inbounds i32, i32* %p, i32 -4 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 11 | %0 = load i32, i32* %arrayidx, align 4 |
| David Blaikie | 79e6c74 | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 12 | %arrayidx1 = getelementptr inbounds i32, i32* %p, i32 -2 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 13 | %1 = load i32, i32* %arrayidx1, align 4 |
| Renato Golin | 63e2798 | 2014-09-09 09:57:59 +0000 | [diff] [blame] | 14 | %add = add nsw i32 %1, %0 |
| 15 | ret i32 %add |
| 16 | } |
| 17 | |