From 36f233809ef3957ec26fedd79836247cc90254b7 Mon Sep 17 00:00:00 2001 From: Chad Rosier Date: Thu, 3 Sep 2015 16:41:28 +0000 Subject: [PATCH] Revert "[AArch64] Improve load/store optimizer to handle LDUR + LDR." This reverts commit r246769. This appears to have broken Multisource/Benchmarks/tramp3d-v4. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246782 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Target/AArch64/AArch64LoadStoreOptimizer.cpp | 98 +++++-------------- .../AArch64/ldp-stp-scaled-unscaled-pairs.ll | 105 --------------------- 2 files changed, 21 insertions(+), 182 deletions(-) delete mode 100644 test/CodeGen/AArch64/ldp-stp-scaled-unscaled-pairs.ll diff --git a/lib/Target/AArch64/AArch64LoadStoreOptimizer.cpp b/lib/Target/AArch64/AArch64LoadStoreOptimizer.cpp index 87ac4d0eb2c..83dd806421e 100644 --- a/lib/Target/AArch64/AArch64LoadStoreOptimizer.cpp +++ b/lib/Target/AArch64/AArch64LoadStoreOptimizer.cpp @@ -382,24 +382,10 @@ AArch64LoadStoreOpt::mergePairedInsns(MachineBasicBlock::iterator I, const MachineOperand &BaseRegOp = MergeForward ? getLdStBaseOp(Paired) : getLdStBaseOp(I); - int Offset = getLdStOffsetOp(I).getImm(); - int PairedOffset = getLdStOffsetOp(Paired).getImm(); - bool PairedIsUnscaled = isUnscaledLdSt(Paired->getOpcode()); - - // We're trying to pair instructions that differ in how they are scaled. - // If I is scaled then scale the offset of Paired accordingly. - // Otherwise, do the opposite (i.e., make Paired's offset unscaled). - if (IsUnscaled != PairedIsUnscaled) { - int MemSize = getMemSize(Paired); - assert(!(PairedOffset % getMemSize(Paired)) && - "Offset should be a multiple of the stride!"); - PairedOffset = - PairedIsUnscaled ? PairedOffset / MemSize : PairedOffset * MemSize; - } - // Which register is Rt and which is Rt2 depends on the offset order. MachineInstr *RtMI, *Rt2MI; - if (Offset == PairedOffset + OffsetStride) { + if (getLdStOffsetOp(I).getImm() == + getLdStOffsetOp(Paired).getImm() + OffsetStride) { RtMI = Paired; Rt2MI = I; // Here we swapped the assumption made for SExtIdx. @@ -411,13 +397,10 @@ AArch64LoadStoreOpt::mergePairedInsns(MachineBasicBlock::iterator I, RtMI = I; Rt2MI = Paired; } - // Scale the immediate offset, if necessary. + // Handle Unscaled int OffsetImm = getLdStOffsetOp(RtMI).getImm(); - if (isUnscaledLdSt(RtMI->getOpcode()) && EnableAArch64UnscaledMemOp) { - assert(!(OffsetImm % getMemSize(RtMI)) && - "Offset should be a multiple of the stride!"); - OffsetImm /= getMemSize(RtMI); - } + if (IsUnscaled && EnableAArch64UnscaledMemOp) + OffsetImm /= OffsetStride; // Construct the new instruction. MachineInstrBuilder MIB = BuildMI(*I->getParent(), InsertionPoint, @@ -511,13 +494,8 @@ static void trackRegDefsUses(const MachineInstr *MI, BitVector &ModifiedRegs, static bool inBoundsForPair(bool IsUnscaled, int Offset, int OffsetStride) { // Convert the byte-offset used by unscaled into an "element" offset used // by the scaled pair load/store instructions. - if (IsUnscaled) { - // If the byte-offset isn't a multiple of the stride, there's no point - // trying to match it. - if (Offset % OffsetStride) - return false; + if (IsUnscaled) Offset /= OffsetStride; - } return Offset <= 63 && Offset >= -64; } @@ -553,34 +531,6 @@ static bool mayAlias(MachineInstr *MIa, return false; } -static bool canMergeOpc(unsigned Opc, unsigned PairOpc, LdStPairFlags &Flags) { - // Opcodes match: nothing more to check. - if (Opc == PairOpc) - return true; - - // Try to match a sign-extended load/store with a zero-extended load/store. - Flags.setSExtIdx(-1); - bool IsValidLdStrOpc, PairIsValidLdStrOpc; - unsigned NonSExtOpc = getMatchingNonSExtOpcode(Opc, &IsValidLdStrOpc); - assert(IsValidLdStrOpc && - "Given Opc should be a Load or Store with an immediate"); - // Opc will be the first instruction in the pair. - if (NonSExtOpc == getMatchingNonSExtOpcode(PairOpc, &PairIsValidLdStrOpc)) { - Flags.setSExtIdx(NonSExtOpc == (unsigned)Opc ? 1 : 0); - return true; - } - - // FIXME: Can we also match a mixed sext/zext unscaled/scaled pair? - - // If the second instruction isn't even a load/store, bail out. - if (!PairIsValidLdStrOpc) - return false; - - // Try to match an unscaled load/store with a scaled load/store. - return isUnscaledLdSt(Opc) != isUnscaledLdSt(PairOpc) && - getMatchingPairOpcode(Opc) == getMatchingPairOpcode(PairOpc); -} - /// findMatchingInsn - Scan the instructions looking for a load/store that can /// be combined with the current instruction into a load/store pair. MachineBasicBlock::iterator @@ -631,8 +581,19 @@ AArch64LoadStoreOpt::findMatchingInsn(MachineBasicBlock::iterator I, // Now that we know this is a real instruction, count it. ++Count; - if (canMergeOpc(Opc, MI->getOpcode(), Flags) && - getLdStOffsetOp(MI).isImm()) { + bool CanMergeOpc = Opc == MI->getOpcode(); + Flags.setSExtIdx(-1); + if (!CanMergeOpc) { + bool IsValidLdStrOpc; + unsigned NonSExtOpc = getMatchingNonSExtOpcode(Opc, &IsValidLdStrOpc); + assert(IsValidLdStrOpc && + "Given Opc should be a Load or Store with an immediate"); + // Opc will be the first instruction in the pair. + Flags.setSExtIdx(NonSExtOpc == (unsigned)Opc ? 1 : 0); + CanMergeOpc = NonSExtOpc == getMatchingNonSExtOpcode(MI->getOpcode()); + } + + if (CanMergeOpc && getLdStOffsetOp(MI).isImm()) { assert(MI->mayLoadOrStore() && "Expected memory operation."); // If we've found another instruction with the same opcode, check to see // if the base and offset are compatible with our starting instruction. @@ -646,24 +607,6 @@ AArch64LoadStoreOpt::findMatchingInsn(MachineBasicBlock::iterator I, // final offset must be in range. unsigned MIBaseReg = getLdStBaseOp(MI).getReg(); int MIOffset = getLdStOffsetOp(MI).getImm(); - - // We're trying to pair instructions that differ in how they are scaled. - // If FirstMI is scaled then scale the offset of MI accordingly. - // Otherwise, do the opposite (i.e., make MI's offset unscaled). - bool MIIsUnscaled = isUnscaledLdSt(MI); - if (IsUnscaled != MIIsUnscaled) { - int MemSize = getMemSize(MI); - if (MIIsUnscaled) { - // If the unscaled offset isn't a multiple of the MemSize, we can't - // pair the operations together: bail and keep looking. - if (MIOffset % MemSize) - continue; - MIOffset /= MemSize; - } else { - MIOffset *= MemSize; - } - } - if (BaseReg == MIBaseReg && ((Offset == MIOffset + OffsetStride) || (Offset + OffsetStride == MIOffset))) { int MinOffset = Offset < MIOffset ? Offset : MIOffset; @@ -674,7 +617,8 @@ AArch64LoadStoreOpt::findMatchingInsn(MachineBasicBlock::iterator I, return E; // If the resultant immediate offset of merging these instructions // is out of range for a pairwise instruction, bail and keep looking. - if (!inBoundsForPair(IsUnscaled, MinOffset, OffsetStride)) { + bool MIIsUnscaled = isUnscaledLdSt(MI); + if (!inBoundsForPair(MIIsUnscaled, MinOffset, OffsetStride)) { trackRegDefsUses(MI, ModifiedRegs, UsedRegs, TRI); MemInsns.push_back(MI); continue; diff --git a/test/CodeGen/AArch64/ldp-stp-scaled-unscaled-pairs.ll b/test/CodeGen/AArch64/ldp-stp-scaled-unscaled-pairs.ll deleted file mode 100644 index 980cf9e00f0..00000000000 --- a/test/CodeGen/AArch64/ldp-stp-scaled-unscaled-pairs.ll +++ /dev/null @@ -1,105 +0,0 @@ -; RUN: llc < %s -march=aarch64 -aarch64-stp-suppress=false -aarch64-neon-syntax=apple -verify-machineinstrs -asm-verbose=false | FileCheck %s - -; CHECK-LABEL: test_strd_sturd: -; CHECK-NEXT: stp d0, d1, [x0, #-8] -; CHECK-NEXT: ret -define void @test_strd_sturd(float* %ptr, <2 x float> %v1, <2 x float> %v2) #0 { - %tmp1 = bitcast float* %ptr to <2 x float>* - store <2 x float> %v2, <2 x float>* %tmp1, align 16 - %add.ptr = getelementptr inbounds float, float* %ptr, i64 -2 - %tmp = bitcast float* %add.ptr to <2 x float>* - store <2 x float> %v1, <2 x float>* %tmp, align 16 - ret void -} - -; CHECK-LABEL: test_sturd_strd: -; CHECK-NEXT: stp d0, d1, [x0, #-8] -; CHECK-NEXT: ret -define void @test_sturd_strd(float* %ptr, <2 x float> %v1, <2 x float> %v2) #0 { - %add.ptr = getelementptr inbounds float, float* %ptr, i64 -2 - %tmp = bitcast float* %add.ptr to <2 x float>* - store <2 x float> %v1, <2 x float>* %tmp, align 16 - %tmp1 = bitcast float* %ptr to <2 x float>* - store <2 x float> %v2, <2 x float>* %tmp1, align 16 - ret void -} - -; CHECK-LABEL: test_strq_sturq: -; CHECK-NEXT: stp q0, q1, [x0, #-16] -; CHECK-NEXT: ret -define void @test_strq_sturq(double* %ptr, <2 x double> %v1, <2 x double> %v2) #0 { - %tmp1 = bitcast double* %ptr to <2 x double>* - store <2 x double> %v2, <2 x double>* %tmp1, align 16 - %add.ptr = getelementptr inbounds double, double* %ptr, i64 -2 - %tmp = bitcast double* %add.ptr to <2 x double>* - store <2 x double> %v1, <2 x double>* %tmp, align 16 - ret void -} - -; CHECK-LABEL: test_sturq_strq: -; CHECK-NEXT: stp q0, q1, [x0, #-16] -; CHECK-NEXT: ret -define void @test_sturq_strq(double* %ptr, <2 x double> %v1, <2 x double> %v2) #0 { - %add.ptr = getelementptr inbounds double, double* %ptr, i64 -2 - %tmp = bitcast double* %add.ptr to <2 x double>* - store <2 x double> %v1, <2 x double>* %tmp, align 16 - %tmp1 = bitcast double* %ptr to <2 x double>* - store <2 x double> %v2, <2 x double>* %tmp1, align 16 - ret void -} - -; CHECK-LABEL: test_ldrx_ldurx: -; CHECK-NEXT: ldp [[V0:x[0-9]+]], [[V1:x[0-9]+]], [x0, #-8] -; CHECK-NEXT: add x0, [[V0]], [[V1]] -; CHECK-NEXT: ret -define i64 @test_ldrx_ldurx(i64* %p) #0 { - %tmp = load i64, i64* %p, align 4 - %add.ptr = getelementptr inbounds i64, i64* %p, i64 -1 - %tmp1 = load i64, i64* %add.ptr, align 4 - %add = add nsw i64 %tmp1, %tmp - ret i64 %add -} - -; CHECK-LABEL: test_ldurx_ldrx: -; CHECK-NEXT: ldp [[V0:x[0-9]+]], [[V1:x[0-9]+]], [x0, #-8] -; CHECK-NEXT: add x0, [[V0]], [[V1]] -; CHECK-NEXT: ret -define i64 @test_ldurx_ldrx(i64* %p) #0 { - %add.ptr = getelementptr inbounds i64, i64* %p, i64 -1 - %tmp1 = load i64, i64* %add.ptr, align 4 - %tmp = load i64, i64* %p, align 4 - %add = add nsw i64 %tmp1, %tmp - ret i64 %add -} - -; CHECK-LABEL: test_ldrsw_ldursw: -; CHECK-NEXT: ldpsw [[V0:x[0-9]+]], [[V1:x[0-9]+]], [x0, #-4] -; CHECK-NEXT: add x0, [[V0]], [[V1]] -; CHECK-NEXT: ret -define i64 @test_ldrsw_ldursw(i32* %p) #0 { - %tmp = load i32, i32* %p, align 4 - %add.ptr = getelementptr inbounds i32, i32* %p, i64 -1 - %tmp1 = load i32, i32* %add.ptr, align 4 - %sexttmp = sext i32 %tmp to i64 - %sexttmp1 = sext i32 %tmp1 to i64 - %add = add nsw i64 %sexttmp1, %sexttmp - ret i64 %add -} - -; Also make sure we only match valid offsets. -; CHECK-LABEL: test_ldrq_ldruq_invalidoffset: -; CHECK-NEXT: ldr q[[V0:[0-9]+]], [x0] -; CHECK-NEXT: ldur q[[V1:[0-9]+]], [x0, #24] -; CHECK-NEXT: add.2d v0, v[[V0]], v[[V1]] -; CHECK-NEXT: ret -define <2 x i64> @test_ldrq_ldruq_invalidoffset(i64* %p) nounwind { - %a1 = bitcast i64* %p to <2 x i64>* - %tmp1 = load <2 x i64>, < 2 x i64>* %a1, align 8 - %add.ptr2 = getelementptr inbounds i64, i64* %p, i64 3 - %a2 = bitcast i64* %add.ptr2 to <2 x i64>* - %tmp2 = load <2 x i64>, <2 x i64>* %a2, align 8 - %add = add nsw <2 x i64> %tmp1, %tmp2 - ret <2 x i64> %add -} - -attributes #0 = { nounwind } -- 2.11.0