| ; RUN: llc < %s -mtriple=arm64-apple-ios | FileCheck %s |
| |
| ; Can't fold the increment by 1<<12 into a post-increment load |
| ; rdar://10301335 |
| |
| @test_data = common global i32 0, align 4 |
| |
| define void @t() nounwind ssp { |
| ; CHECK-LABEL: t: |
| entry: |
| br label %for.body |
| |
| for.body: |
| ; CHECK: for.body |
| ; CHECK: ldr w{{[0-9]+}}, [x{{[0-9]+}}, x{{[0-9]+}}] |
| ; CHECK: add x[[REG:[0-9]+]], |
| ; CHECK: x[[REG]], #1, lsl #12 |
| %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %for.body ] |
| %0 = shl nsw i64 %indvars.iv, 12 |
| %add = add nsw i64 %0, 34628173824 |
| %1 = inttoptr i64 %add to i32* |
| %2 = load volatile i32, i32* %1, align 4096 |
| store volatile i32 %2, i32* @test_data, align 4 |
| %indvars.iv.next = add i64 %indvars.iv, 1 |
| %lftr.wideiv = trunc i64 %indvars.iv.next to i32 |
| %exitcond = icmp eq i32 %lftr.wideiv, 200 |
| br i1 %exitcond, label %for.end, label %for.body |
| |
| for.end: |
| ret void |
| } |