RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-04 11:17:31 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ARM: further improve deprecated diagnosis (LDM)

Browse Source 
The ARM ARM states:
  LDM/LDMIA/LDMFD:
    The SP can be in the list. However, ARM deprecates using these instructions
    with SP in the list.

    ARM deprecates using these instructions with both the LR and the PC in the
    list.

  LDMDA/LDMFA/LDMDB/LDMEA/LDMIB/LDMED:
    The SP can be in the list. However, instructions that include the SP in the
    list are deprecated.

    Instructions that include both the LR and the PC in the list are deprecated.

  POP:
    The SP can only be in the list before ARMv7. ARM deprecates any use of ARM
    instructions that include the SP, and the value of the SP after such an
    instruction is UNKNOWN.

    ARM deprecates the use of this instruction with both the LR and the PC in
    the list.

Attempt to diagnose use of deprecated forms of these instructions.  This mirrors
the previous changes to diagnose use of the deprecated forms of STM in ARM mode.

llvm-svn: 224682
This commit is contained in:
Saleem Abdulrasool 2014-12-20 20:25:36 +00:00
parent 45ac06f549
commit 5b457858a7
3 changed files with 108 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Target/ARM/ARMInstrInfo.td
View File

@ -3163,7 +3163,7 @@ let hasSideEffects = 0 in {
let mayLoad = 1, hasExtraDefRegAllocReq = 1 in
defm LDM : arm_ldst_mult<"ldm", "", 1, 0, LdStMulFrm, IIC_iLoad_m,
IIC_iLoad_mu>;
IIC_iLoad_mu>, ComplexDeprecationPredicate<"ARMLoad">;
let mayStore = 1, hasExtraSrcRegAllocReq = 1 in
defm STM : arm_ldst_mult<"stm", "", 0, 0, LdStMulFrm, IIC_iStore_m,

32
lib/Target/ARM/MCTargetDesc/ARMMCTargetDesc.cpp
View File

@ -92,6 +92,38 @@ static bool getARMStoreDeprecationInfo(MCInst &MI, MCSubtargetInfo &STI,
return false;
}
static bool getARMLoadDeprecationInfo(MCInst &MI, MCSubtargetInfo &STI,
std::string &Info) {
if (STI.getFeatureBits() & llvm::ARM::ModeThumb)
return false;
assert(MI.getNumOperands() >= 4 && "expected >= 4 arguments");
bool ListContainsPC = false, ListContainsLR = false;
for (unsigned OI = 4, OE = MI.getNumOperands(); OI < OE; ++OI) {
assert(MI.getOperand(OI).isReg() && "expected register");
switch (MI.getOperand(OI).getReg()) {
default:
break;
case ARM::LR:
ListContainsLR = true;
break;
case ARM::PC:
ListContainsPC = true;
break;
case ARM::SP:
Info = "use of SP in the list is deprecated";
return true;
}
}
if (ListContainsPC && ListContainsLR) {
Info = "use of LR and PC simultaneously in the list is deprecated";
return true;
}
return false;
}
#define GET_INSTRINFO_MC_DESC
#include "ARMGenInstrInfo.inc"

81
test/MC/ARM/arm-store-deprecated.s → test/MC/ARM/arm-load-store-multiple-deprecated.s
View File

@ -1,6 +1,9 @@
@ RUN: llvm-mc -triple armv7-linux-eabi -filetype asm -o /dev/null %s 2>&1 \
@ RUN: llvm-mc -triple armv6t2-linux-eabi -filetype asm -o - %s 2>&1 \
@ RUN: | FileCheck %s
@ RUN: not llvm-mc -triple armv7-linux-eabi -filetype asm -o - %s 2>&1 \
@ RUN: | FileCheck %s -check-prefix CHECK -check-prefix CHECK-V7
.syntax unified
.arm
@ -145,9 +148,75 @@ push:
@ CHECK: push {sp}
@ CHECK: ^
.global single
.type single,%function
single:
stmdaeq r0, {r0}
@ CHECK-NOT: warning
.global ldm
.type ldm,%function
ldm:
ldm r0!, {r1, sp}
@ CHECK: warning: use of SP in the list is deprecated
ldm r0!, {sp}
@ CHECK: warning: use of SP in the list is deprecated
ldm r0!, {r1, lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
ldm r0!, {lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
.global ldmda
.type ldmda,%function
ldmda:
ldmda r0!, {r1, sp}
@ CHECK: warning: use of SP in the list is deprecated
ldmda r0!, {sp}
@ CHECK: warning: use of SP in the list is deprecated
ldmda r0!, {r1, lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
ldmda r0!, {lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
.global ldmdb
.type ldmdb,%function
ldmdb:
ldmdb r0!, {r1, sp}
@ CHECK: warning: use of SP in the list is deprecated
ldmdb r0!, {sp}
@ CHECK: warning: use of SP in the list is deprecated
ldmdb r0!, {r1, lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
ldmdb r0!, {lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
.global ldmib
.type ldmib,%function
ldmib:
ldmib r0!, {r1, sp}
@ CHECK: warning: use of SP in the list is deprecated
ldmib r0!, {sp}
@ CHECK: warning: use of SP in the list is deprecated
ldmib r0!, {r1, lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
ldmib r0!, {lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
.global pop
.type pop,%function
pop:
pop {r0, sp}
@ CHECK: warning: use of SP in the list is deprecated
@ CHECK-V7: error: writeback register not allowed in register list
pop {sp}
@ CHECK: warning: use of SP in the list is deprecated
@ CHECK-V7: error: writeback register not allowed in register list
pop {r0, lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
pop {lr, pc}
@ CHECK: warning: use of LR and PC simultaneously in the list is deprecated
.global valid
.type valid,%function
valid:
stmdaeq r0, {r0}
@ CHECK: stmdaeq r0, {r0}
ldmdaeq r0, {r0}
@ CHECK: ldmdaeq r0, {r0}
pop {r0, pc}
@ CHECK: pop {r0, pc}