llvm/test/CodeGen/AArch64/arm64_32-addrs.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=arm64_32-apple-ios %s -aarch64-enable-sink-fold=true -o - | FileCheck %s
   3
   4 ; If %base < 96 then the sum will not wrap (in an unsigned sense), but "ldr w0,
   5 ; [x0, #-96]" would.
   6 define i32 @test_valid_wrap(i32 %base) {
   7 ; CHECK-LABEL: test_valid_wrap:
   8 ; CHECK:       ; %bb.0:
   9 ; CHECK-NEXT:    sub w8, w0, #96
  10 ; CHECK-NEXT:    ldr w0, [x8]
  11 ; CHECK-NEXT:    ret
  12
  13   %newaddr = add nuw i32 %base, -96
  14   %ptr = inttoptr i32 %newaddr to ptr
  15   %val = load i32, ptr %ptr
  16   ret i32 %val
  17 }
  18
  19 define i8 @test_valid_wrap_optimizable(ptr %base) {
  20 ; CHECK-LABEL: test_valid_wrap_optimizable:
  21 ; CHECK:       ; %bb.0:
  22 ; CHECK-NEXT:    ldurb w0, [x0, #-96]
  23 ; CHECK-NEXT:    ret
  24
  25   %newaddr = getelementptr inbounds i8, ptr %base, i32 -96
  26   %val = load i8, ptr %newaddr
  27   ret i8 %val
  28 }
  29
  30 define i8 @test_valid_wrap_optimizable1(ptr %base, i32 %offset) {
  31 ; CHECK-LABEL: test_valid_wrap_optimizable1:
  32 ; CHECK:       ; %bb.0:
  33 ; CHECK-NEXT:    ldrb w0, [x0, w1, sxtw]
  34 ; CHECK-NEXT:    ret
  35
  36   %newaddr = getelementptr inbounds i8, ptr %base, i32 %offset
  37   %val = load i8, ptr %newaddr
  38   ret i8 %val
  39 }
  40
  41 ;
  42 define i8 @test_valid_wrap_optimizable2(ptr %base, i32 %offset) {
  43 ; CHECK-LABEL: test_valid_wrap_optimizable2:
  44 ; CHECK:       ; %bb.0:
  45 ; CHECK-NEXT:    mov w8, #-100 ; =0xffffff9c
  46 ; CHECK-NEXT:    ; kill: def $w1 killed $w1 def $x1
  47 ; CHECK-NEXT:    ldrb w0, [x8, w1, sxtw]
  48 ; CHECK-NEXT:    ret
  49
  50   %newaddr = getelementptr inbounds i8, ptr inttoptr(i32 -100 to ptr), i32 %offset
  51   %val = load i8, ptr %newaddr
  52   ret i8 %val
  53 }