test/CodeGen/Thumb/addr-modes.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc < %s -debug-only=codegenprepare -o /dev/null 2>&1 | FileCheck %s
   3
   4 ; These are regression tests for
   5 ;  https://bugs.llvm.org/show_bug.cgi?id=34106
   6 ;    "ARMTargetLowering::isLegalAddressingMode can accept incorrect
   7 ;    addressing modes for Thumb1 target"
   8 ;
   9 ; The Thumb1 target addressing modes don't support scaling.
  10 ; It supports: r1 + r2, where r1 and r2 can be the same register.
  11
  12 target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
  13 target triple = "thumbv6m-arm-none-eabi"
  14
  15 ; Test case 01: %n is scaled by 4 (size of i32).
  16 ; Expected: GEP cannot be folded into LOAD.
  17 ; CHECK: local addrmode: [inbounds Base:%arrayidx]
  18 define i32 @load01(i32* %p, i32 %n) nounwind {
  19 entry:
  20   %arrayidx = getelementptr inbounds i32, i32* %p, i32 %n
  21   %0 = load i32, i32* %arrayidx, align 4
  22   ret i32 %0
  23 }
  24
  25 ; Test case 02: No scale of %n is needed because the size of i8 is 1.
  26 ; Expected: GEP can be folded into LOAD.
  27 ; CHECK: local addrmode: [inbounds Base:%p + 1*%n]
  28 define i8 @load02(i8* %p, i32 %n) nounwind {
  29 entry:
  30   %arrayidx = getelementptr inbounds i8, i8* %p, i32 %n
  31   %0 = load i8, i8* %arrayidx
  32   ret i8 %0
  33 }
  34
  35 ; Test case 03: 2*%x can be represented as %x + %x.
  36 ; Expected: GEP can be folded into LOAD.
  37 ; CHECK: local addrmode: [2*%x]
  38 define i32 @load03(i32 %x) nounwind {
  39 entry:
  40   %mul = shl nsw i32 %x, 1
  41   %0 = inttoptr i32 %mul to i32*
  42   %1 = load i32, i32* %0, align 4
  43   ret i32 %1
  44 }
  45