diff options
author | Evan Cheng <evan.cheng@apple.com> | 2011-01-20 23:55:07 +0000 |
---|---|---|
committer | Evan Cheng <evan.cheng@apple.com> | 2011-01-20 23:55:07 +0000 |
commit | d7e3cc840b81b0438e47f05d9664137a198876df (patch) | |
tree | e43d687614462ad01654f0ef2013aa9c2bc9938f | |
parent | e906921480beacea2dea2d5ce8156bc246ee12a7 (diff) |
Don't be overly aggressive with CSE of "ldr constantpool". If it's a pc-relative
value, the "add pc" must be CSE'ed at the same time. We could follow the same
approach as T2 by adding pseudo instructions that combine the ldr + "add pc".
But the better approach is to use movw + movt (which I will enable soon), so
I'll leave this as a TODO.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@123949 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | lib/Target/ARM/ARMBaseInstrInfo.cpp | 6 | ||||
-rw-r--r-- | test/CodeGen/ARM/machine-licm.ll | 8 |
2 files changed, 7 insertions, 7 deletions
diff --git a/lib/Target/ARM/ARMBaseInstrInfo.cpp b/lib/Target/ARM/ARMBaseInstrInfo.cpp index ef7458d270..aaf4f0d8a9 100644 --- a/lib/Target/ARM/ARMBaseInstrInfo.cpp +++ b/lib/Target/ARM/ARMBaseInstrInfo.cpp @@ -1055,8 +1055,7 @@ bool ARMBaseInstrInfo::produceSameValue(const MachineInstr *MI0, const MachineInstr *MI1, const MachineRegisterInfo *MRI) const { int Opcode = MI0->getOpcode(); - if (Opcode == ARM::LDRi12 || - Opcode == ARM::t2LDRpci || + if (Opcode == ARM::t2LDRpci || Opcode == ARM::t2LDRpci_pic || Opcode == ARM::tLDRpci || Opcode == ARM::tLDRpci_pic || @@ -1069,9 +1068,6 @@ bool ARMBaseInstrInfo::produceSameValue(const MachineInstr *MI0, const MachineOperand &MO0 = MI0->getOperand(1); const MachineOperand &MO1 = MI1->getOperand(1); - if (Opcode == ARM::LDRi12 && (!MO0.isCPI() || !MO1.isCPI())) - return false; - if (MO0.getOffset() != MO1.getOffset()) return false; diff --git a/test/CodeGen/ARM/machine-licm.ll b/test/CodeGen/ARM/machine-licm.ll index 5d2f1fd312..a0494134f0 100644 --- a/test/CodeGen/ARM/machine-licm.ll +++ b/test/CodeGen/ARM/machine-licm.ll @@ -14,7 +14,11 @@ define void @t(i32* nocapture %vals, i32 %c) nounwind { entry: ; ARM: t: ; ARM: ldr [[REGISTER_1:r[0-9]+]], LCPI0_0 -; ARM-NOT: ldr r{{[0-9]+}}, LCPI0_1 +; Unfortunately currently ARM codegen doesn't cse the ldr from constantpool. +; The issue is it can be read by an "add pc" or a "ldr [pc]" so it's messy +; to add the pseudo instructions to make sure they are CSE'ed at the same +; time as the "ldr cp". +; ARM: ldr r{{[0-9]+}}, LCPI0_1 ; ARM: LPC0_0: ; ARM: ldr r{{[0-9]+}}, [pc, [[REGISTER_1]]] ; ARM: ldr r{{[0-9]+}}, [r{{[0-9]+}}] @@ -32,7 +36,7 @@ entry: bb.nph: ; preds = %entry ; ARM: LCPI0_0: -; ARM-NOT: LCPI0_1: +; ARM: LCPI0_1: ; ARM: .section ; THUMB: BB#1 |