; RUN: opt -codegenprepare -mtriple=arm64_32-apple-ios %s -S -o - | FileCheck %s

define void @test_simple_sink(i1* %base, i64 %offset) {
; CHECK-LABEL: @test_simple_sink
; CHECK: next:
; CHECK:   [[BASE8:%.*]] = bitcast i1* %base to i8*
; CHECK:   [[ADDR8:%.*]] = getelementptr i8, i8* [[BASE8]], i64 %offset
; CHECK:   [[ADDR:%.*]] = bitcast i8* [[ADDR8]] to i1*
; CHECK:   load volatile i1, i1* [[ADDR]]
  %addr = getelementptr i1, i1* %base, i64 %offset
  %tst = load i1, i1* %addr
  br i1 %tst, label %next, label %end

next:
  load volatile i1, i1* %addr
  ret void

end:
  ret void
}

define void @test_inbounds_sink(i1* %base, i64 %offset) {
; CHECK-LABEL: @test_inbounds_sink
; CHECK: next:
; CHECK:   [[BASE8:%.*]] = bitcast i1* %base to i8*
; CHECK:   [[ADDR8:%.*]] = getelementptr inbounds i8, i8* [[BASE8]], i64 %offset
; CHECK:   [[ADDR:%.*]] = bitcast i8* [[ADDR8]] to i1*
; CHECK:   load volatile i1, i1* [[ADDR]]
  %addr = getelementptr inbounds i1, i1* %base, i64 %offset
  %tst = load i1, i1* %addr
  br i1 %tst, label %next, label %end

next:
  load volatile i1, i1* %addr
  ret void

end:
  ret void
}

; No address derived via an add can be guaranteed inbounds
define void @test_add_sink(i1* %base, i64 %offset) {
; CHECK-LABEL: @test_add_sink
; CHECK: next:
; CHECK:   [[BASE8:%.*]] = bitcast i1* %base to i8*
; CHECK:   [[ADDR8:%.*]] = getelementptr i8, i8* [[BASE8]], i64 %offset
; CHECK:   [[ADDR:%.*]] = bitcast i8* [[ADDR8]] to i1*
; CHECK:   load volatile i1, i1* [[ADDR]]
  %base64 = ptrtoint i1* %base to i64
  %addr64 = add nsw nuw i64 %base64, %offset
  %addr = inttoptr i64 %addr64 to i1*
  %tst = load i1, i1* %addr
  br i1 %tst, label %next, label %end

next:
  load volatile i1, i1* %addr
  ret void

end:
  ret void
}