llvm/test/CodeGen/AArch64/arm64_32-gep-sink.ll

   1 ; RUN: opt -codegenprepare -mtriple=arm64_32-apple-ios %s -S -o - | FileCheck %s
   2
   3 define void @test_simple_sink(ptr %base, i64 %offset) {
   4 ; CHECK-LABEL: @test_simple_sink
   5 ; CHECK: next:
   6 ; CHECK:   [[ADDR8:%.*]] = getelementptr i8, ptr %base, i64 %offset
   7 ; CHECK:   load volatile i1, ptr [[ADDR8]]
   8   %addr = getelementptr i1, ptr %base, i64 %offset
   9   %tst = load i1, ptr %addr
  10   br i1 %tst, label %next, label %end
  11
  12 next:
  13   load volatile i1, ptr %addr
  14   ret void
  15
  16 end:
  17   ret void
  18 }
  19
  20 define void @test_inbounds_sink(ptr %base, i64 %offset) {
  21 ; CHECK-LABEL: @test_inbounds_sink
  22 ; CHECK: next:
  23 ; CHECK:   [[ADDR8:%.*]] = getelementptr inbounds i8, ptr %base, i64 %offset
  24 ; CHECK:   load volatile i1, ptr [[ADDR8]]
  25   %addr = getelementptr inbounds i1, ptr %base, i64 %offset
  26   %tst = load i1, ptr %addr
  27   br i1 %tst, label %next, label %end
  28
  29 next:
  30   load volatile i1, ptr %addr
  31   ret void
  32
  33 end:
  34   ret void
  35 }
  36
  37 ; No address derived via an add can be guaranteed inbounds
  38 define void @test_add_sink(ptr %base, i64 %offset) {
  39 ; CHECK-LABEL: @test_add_sink
  40 ; CHECK: next:
  41 ; CHECK:   [[ADDR8:%.*]] = getelementptr i8, ptr %base, i64 %offset
  42 ; CHECK:   load volatile i1, ptr [[ADDR8]]
  43   %base64 = ptrtoint ptr %base to i64
  44   %addr64 = add nsw nuw i64 %base64, %offset
  45   %addr = inttoptr i64 %addr64 to ptr
  46   %tst = load i1, ptr %addr
  47   br i1 %tst, label %next, label %end
  48
  49 next:
  50   load volatile i1, ptr %addr
  51   ret void
  52
  53 end:
  54   ret void
  55 }