46 lines · plain
1; REQUIRES: asserts2; RUN: llc < %s -debug-only=codegenprepare -o /dev/null 2>&1 | FileCheck %s3 4; These are regression tests for5; https://bugs.llvm.org/show_bug.cgi?id=341066; "ARMTargetLowering::isLegalAddressingMode can accept incorrect7; 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 12target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"13target 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]18define i32 @load01(ptr %p, i32 %n) nounwind {19entry:20 %arrayidx = getelementptr inbounds i32, ptr %p, i32 %n21 %0 = load i32, ptr %arrayidx, align 422 ret i32 %023}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]28define i8 @load02(ptr %p, i32 %n) nounwind {29entry:30 %arrayidx = getelementptr inbounds i8, ptr %p, i32 %n31 %0 = load i8, ptr %arrayidx32 ret i8 %033}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]38define i32 @load03(i32 %x) nounwind {39entry:40 %mul = shl nsw i32 %x, 141 %0 = inttoptr i32 %mul to ptr42 %1 = load i32, ptr %0, align 443 ret i32 %144}45 46