; 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
}