[llvm] r303535 - Revert "Fix 24560: assembler does not share constant pool for same constants"
James Molloy via llvm-commits
llvm-commits at lists.llvm.org
Mon May 22 01:42:48 PDT 2017
Author: jamesm
Date: Mon May 22 03:42:47 2017
New Revision: 303535
URL: http://llvm.org/viewvc/llvm-project?rev=303535&view=rev
Log:
Revert "Fix 24560: assembler does not share constant pool for same constants"
This reverts commit r286006. It caused PR32825 and wasn't fixed.
Modified:
llvm/trunk/include/llvm/MC/ConstantPools.h
llvm/trunk/lib/MC/ConstantPools.cpp
llvm/trunk/test/MC/AArch64/ldr-pseudo.s
llvm/trunk/test/MC/ARM/ldr-pseudo-darwin.s
llvm/trunk/test/MC/ARM/ldr-pseudo-wide.s
llvm/trunk/test/MC/ARM/ldr-pseudo.s
Modified: llvm/trunk/include/llvm/MC/ConstantPools.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/MC/ConstantPools.h?rev=303535&r1=303534&r2=303535&view=diff
==============================================================================
--- llvm/trunk/include/llvm/MC/ConstantPools.h (original)
+++ llvm/trunk/include/llvm/MC/ConstantPools.h Mon May 22 03:42:47 2017
@@ -27,7 +27,6 @@ class MCExpr;
class MCSection;
class MCStreamer;
class MCSymbol;
-class MCSymbolRefExpr;
struct ConstantPoolEntry {
ConstantPoolEntry(MCSymbol *L, const MCExpr *Val, unsigned Sz, SMLoc Loc_)
@@ -44,7 +43,6 @@ struct ConstantPoolEntry {
class ConstantPool {
using EntryVecTy = SmallVector<ConstantPoolEntry, 4>;
EntryVecTy Entries;
- DenseMap<int64_t, const MCSymbolRefExpr *> CachedEntries;
public:
// Initialize a new empty constant pool
Modified: llvm/trunk/lib/MC/ConstantPools.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/MC/ConstantPools.cpp?rev=303535&r1=303534&r2=303535&view=diff
==============================================================================
--- llvm/trunk/lib/MC/ConstantPools.cpp (original)
+++ llvm/trunk/lib/MC/ConstantPools.cpp Mon May 22 03:42:47 2017
@@ -39,20 +39,10 @@ void ConstantPool::emitEntries(MCStreame
const MCExpr *ConstantPool::addEntry(const MCExpr *Value, MCContext &Context,
unsigned Size, SMLoc Loc) {
- const MCConstantExpr *C = dyn_cast<MCConstantExpr>(Value);
-
- // Check if there is existing entry for the same constant. If so, reuse it.
- auto Itr = C ? CachedEntries.find(C->getValue()) : CachedEntries.end();
- if (Itr != CachedEntries.end())
- return Itr->second;
-
MCSymbol *CPEntryLabel = Context.createTempSymbol();
Entries.push_back(ConstantPoolEntry(CPEntryLabel, Value, Size, Loc));
- const auto SymRef = MCSymbolRefExpr::create(CPEntryLabel, Context);
- if (C)
- CachedEntries[C->getValue()] = SymRef;
- return SymRef;
+ return MCSymbolRefExpr::create(CPEntryLabel, Context);
}
bool ConstantPool::empty() { return Entries.empty(); }
Modified: llvm/trunk/test/MC/AArch64/ldr-pseudo.s
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/AArch64/ldr-pseudo.s?rev=303535&r1=303534&r2=303535&view=diff
==============================================================================
--- llvm/trunk/test/MC/AArch64/ldr-pseudo.s (original)
+++ llvm/trunk/test/MC/AArch64/ldr-pseudo.s Mon May 22 03:42:47 2017
@@ -55,7 +55,7 @@ f5:
adds x0, x0, #1
adds x0, x0, #1
ldr w0, =0x10004
-// CHECK: ldr w0, .Ltmp[[TMP3:[0-9]+]]
+// CHECK: ldr w0, .Ltmp[[TMP4:[0-9]+]]
adds x0, x0, #1
adds x0, x0, #1
adds x0, x0, #1
@@ -225,6 +225,9 @@ f18:
// CHECK: .p2align 2
// CHECK: .Ltmp[[TMP3]]
// CHECK: .word 65540
+// CHECK: .p2align 2
+// CHECK: .Ltmp[[TMP4]]
+// CHECK: .word 65540
// CHECK: .section e,"ax", at progbits
// CHECK: .p2align 2
@@ -311,3 +314,6 @@ f18:
// CHECK: .p2align 2
// CHECK: .Ltmp[[TMP25]]
// CHECK: .word 3276900
+// CHECK: .p2align 3
+// CHECK: .Ltmp[[TMP26]]
+// CHECK: .xword 3276900
Modified: llvm/trunk/test/MC/ARM/ldr-pseudo-darwin.s
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/ARM/ldr-pseudo-darwin.s?rev=303535&r1=303534&r2=303535&view=diff
==============================================================================
--- llvm/trunk/test/MC/ARM/ldr-pseudo-darwin.s (original)
+++ llvm/trunk/test/MC/ARM/ldr-pseudo-darwin.s Mon May 22 03:42:47 2017
@@ -48,7 +48,7 @@ f5:
adds r0, r0, #1
adds r0, r0, #1
ldr r0, =0x10005
-@ CHECK: ldr r0, Ltmp3
+@ CHECK: ldr r0, Ltmp4
adds r0, r0, #1
adds r0, r0, #1
adds r0, r0, #1
@@ -61,7 +61,7 @@ f5:
@ CHECK-LABEL: f6:
f6:
ldr r0, =0x10006
-@ CHECK: ldr r0, Ltmp4
+@ CHECK: ldr r0, Ltmp5
adds r0, r0, #1
adds r0, r0, #1
adds r0, r0, #1
@@ -78,7 +78,7 @@ f7:
f8:
adds r0, r0, #1
ldr r0, =0x10007
-@ CHECK: ldr r0, Ltmp5
+@ CHECK: ldr r0, Ltmp6
adds r0, r0, #1
adds r0, r0, #1
@@ -91,21 +91,21 @@ f8:
@ CHECK-LABEL: f9:
f9:
ldr r0, =foo
-@ CHECK: ldr r0, Ltmp6
+@ CHECK: ldr r0, Ltmp7
@ load a symbol from another section
.section __TEXT,h,regular,pure_instructions
@ CHECK-LABEL: f10:
f10:
ldr r0, =f5
-@ CHECK: ldr r0, Ltmp7
+@ CHECK: ldr r0, Ltmp8
@ load a symbol from the same section
.section __TEXT,i,regular,pure_instructions
@ CHECK-LABEL: f11:
f11:
ldr r0, =f12
-@ CHECK: ldr r0, Ltmp8
+@ CHECK: ldr r0, Ltmp9
@ CHECK-LABEL: f12:
f12:
@@ -119,11 +119,11 @@ f13:
adds r0, r0, #1
adds r0, r0, #1
ldr r0, =0x10008
-@ CHECK: ldr r0, Ltmp9
+@ CHECK: ldr r0, Ltmp10
adds r0, r0, #1
adds r0, r0, #1
ldr r0, =bar
-@ CHECK: ldr r0, Ltmp10
+@ CHECK: ldr r0, Ltmp11
adds r0, r0, #1
adds r0, r0, #1
@
@@ -139,18 +139,18 @@ f13:
@ CHECK-LABEL: f14:
f14:
useit_in_a_macro
-@ CHECK: ldr r0, Ltmp11
@ CHECK: ldr r0, Ltmp12
+@ CHECK: ldr r0, Ltmp13
@ usage with expressions
.section __TEXT,l,regular,pure_instructions
@ CHECK-LABEL: f15:
f15:
ldr r0, =0x10001+9
-@ CHECK: ldr r0, Ltmp13
+@ CHECK: ldr r0, Ltmp14
adds r0, r0, #1
ldr r0, =bar+4
-@ CHECK: ldr r0, Ltmp14
+@ CHECK: ldr r0, Ltmp15
adds r0, r0, #1
@ transformation to mov
@@ -162,7 +162,7 @@ f16:
ldr r1, =0x1
@ CHECK-ARM: mov r1, #1
@ CHECK-ARMV5: mov r1, #1
-@ CHECK-THUMB: ldr r1, Ltmp15
+@ CHECK-THUMB: ldr r1, Ltmp16
@ CHECK-THUMB2: mov.w r1, #1
@ CHECK-BASELINE: movw r1, #1
@@ -170,60 +170,60 @@ f16:
ldr r2, =0x120000
@ CHECK-ARM: mov r2, #1179648
@ CHECK-ARMV5: mov r2, #1179648
-@ CHECK-THUMB: ldr r2, Ltmp16
+@ CHECK-THUMB: ldr r2, Ltmp17
@ CHECK-THUMB2: mov.w r2, #1179648
-@ CHECK-BASELINE: ldr r2, Ltmp15
+@ CHECK-BASELINE: ldr r2, Ltmp16
@ Immediate can be represented only with movw instruction
ldr r3, =0x1234
@ CHECK-ARM: movw r3, #4660
-@ CHECK-ARMV5: ldr r3, Ltmp15
-@ CHECK-THUMB: ldr r3, Ltmp17
+@ CHECK-ARMV5: ldr r3, Ltmp16
+@ CHECK-THUMB: ldr r3, Ltmp18
@ CHECK-THUMB2: movw r3, #4660
@ CHECK-BASELINE: movw r3, #4660
@ Immediate can be represented only with T2 modified immediate
ldr r4, =0xabababab
-@ CHECK-ARM: ldr r4, Ltmp15
-@ CHECK-ARMV5: ldr r4, Ltmp16
-@ CHECK-THUMB: ldr r4, Ltmp18
+@ CHECK-ARM: ldr r4, Ltmp16
+@ CHECK-ARMV5: ldr r4, Ltmp17
+@ CHECK-THUMB: ldr r4, Ltmp19
@ CHECK-THUMB2: mov.w r4, #2880154539
-@ CHECK-BASELINE: ldr r4, Ltmp16
+@ CHECK-BASELINE: ldr r4, Ltmp17
@ Immediate can be represented only with A1 modified immediate
ldr r5, =0x1000000b
@ CHECK-ARM: mov r5, #268435467
@ CHECK-ARMV5: mov r5, #268435467
-@ CHECK-THUMB: ldr r5, Ltmp19
-@ CHECK-THUMB2: ldr r5, Ltmp15
-@ CHECK-BASELINE: ldr r5, Ltmp17
+@ CHECK-THUMB: ldr r5, Ltmp20
+@ CHECK-THUMB2: ldr r5, Ltmp16
+@ CHECK-BASELINE: ldr r5, Ltmp18
@ Negative numbers can be used with MVN or in Thumb2 with modified immediate
ldr r6, =-1
@ CHECK-ARM: mvn r6, #0
@ CHECK-ARMV5: mvn r6, #0
-@ CHECK-THUMB: ldr r6, Ltmp20
+@ CHECK-THUMB: ldr r6, Ltmp21
@ CHECK-THUMB2: mov.w r6, #-1
-@ CHECK-BASELINE: ldr r6, Ltmp18
+@ CHECK-BASELINE: ldr r6, Ltmp19
ldr r7, =-0x100
@ CHECK-ARM: mvn r7, #255
@ CHECK-ARMV5: mvn r7, #255
-@ CHECK-THUMB: ldr r7, Ltmp21
+@ CHECK-THUMB: ldr r7, Ltmp22
@ CHECK-THUMB2: mvn r7, #255
-@ CHECK-BASELINE: ldr r7, Ltmp19
+@ CHECK-BASELINE: ldr r7, Ltmp20
@ Constant expressions can be used
.equ expr, 0x10 + 0x10
ldr r0, = expr
@ CHECK-ARM: mov r0, #32
@ CHECK-ARMV5: mov r0, #32
-@ CHECK-THUMB: ldr r0, Ltmp22
+@ CHECK-THUMB: ldr r0, Ltmp23
@ CHECK-THUMB2: mov.w r0, #32
@ CHECK-BASELINE: movw r0, #32
ldr r1, = expr - 0x10
@ CHECK-ARM: mov r1, #16
@ CHECK-ARMV5: mov r1, #16
-@ CHECK-THUMB: ldr r1, Ltmp23
+@ CHECK-THUMB: ldr r1, Ltmp24
@ CHECK-THUMB2: mov.w r1, #16
@ CHECK-BASELINE: movw r1, #16
@@ -239,8 +239,8 @@ f17:
@ CHECK-ARM: mov r3, #32
@ CHECK-ARMV5: mov r2, #3
@ CHECK-ARMV5: mov r3, #32
-@ CHECK-THUMB: ldr r2, Ltmp24
-@ CHECK-THUMB: ldr r3, Ltmp22
+@ CHECK-THUMB: ldr r2, Ltmp25
+@ CHECK-THUMB: ldr r3, Ltmp26
@ CHECK-THUMB2: mov.w r2, #3
@ CHECK-THUMB2: mov.w r3, #32
@ CHECK-BASELINE: movw r2, #3
@@ -270,15 +270,18 @@ f17:
@ CHECK: .p2align 2
@ CHECK-LABEL: Ltmp3:
@ CHECK: .long 65541
+@ CHECK: .p2align 2
+@ CHECK-LABEL: Ltmp4:
+@ CHECK: .long 65541
@ CHECK: .end_data_region
@ CHECK: .section __TEXT,e,regular,pure_instructions
@ CHECK: .data_region
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp4:
+@ CHECK-LABEL: Ltmp5:
@ CHECK: .long 65542
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp5:
+@ CHECK-LABEL: Ltmp6:
@ CHECK: .long 65543
@ CHECK: .end_data_region
@@ -288,50 +291,50 @@ f17:
@ CHECK: .section __TEXT,g,regular,pure_instructions
@ CHECK: .data_region
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp6:
+@ CHECK-LABEL: Ltmp7:
@ CHECK: .long foo
@ CHECK: .end_data_region
@ CHECK: .section __TEXT,h,regular,pure_instructions
@ CHECK: .data_region
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp7:
+@ CHECK-LABEL: Ltmp8:
@ CHECK: .long f5
@ CHECK: .end_data_region
@ CHECK: .section __TEXT,i,regular,pure_instructions
@ CHECK: .data_region
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp8:
+@ CHECK-LABEL: Ltmp9:
@ CHECK: .long f12
@ CHECK: .end_data_region
@ CHECK: .section __TEXT,j,regular,pure_instructions
@ CHECK: .data_region
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp9:
+@ CHECK-LABEL: Ltmp10:
@ CHECK: .long 65544
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp10:
+@ CHECK-LABEL: Ltmp11:
@ CHECK: .long bar
@ CHECK: .end_data_region
@ CHECK: .section __TEXT,k,regular,pure_instructions
@ CHECK: .data_region
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp11:
+@ CHECK-LABEL: Ltmp12:
@ CHECK: .long 65545
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp12:
+@ CHECK-LABEL: Ltmp13:
@ CHECK: .long baz
@ CHECK: .end_data_region
@ CHECK: .section __TEXT,l,regular,pure_instructions
@ CHECK: .data_region
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp13:
+@ CHECK-LABEL: Ltmp14:
@ CHECK: .long 65546
@ CHECK: .p2align 2
-@ CHECK-LABEL: Ltmp14:
+@ CHECK-LABEL: Ltmp15:
@ CHECK: .long bar+4
@ CHECK: .end_data_region
Modified: llvm/trunk/test/MC/ARM/ldr-pseudo-wide.s
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/ARM/ldr-pseudo-wide.s?rev=303535&r1=303534&r2=303535&view=diff
==============================================================================
--- llvm/trunk/test/MC/ARM/ldr-pseudo-wide.s (original)
+++ llvm/trunk/test/MC/ARM/ldr-pseudo-wide.s Mon May 22 03:42:47 2017
@@ -19,26 +19,26 @@ f1:
@ CHECK-DARWIN-THUMB2: ldr r0, Ltmp0
ldr.w r0, =0x10002
-@ CHECK-ARM: ldr r0, .Ltmp[[TMP0]]
-@ CHECK-DARWIN-ARM: ldr r0, Ltmp0
-@ CHECK-THUMB2: ldr.w r0, .Ltmp[[TMP0:[0-9]+]]
-@ CHECK-DARWIN-THUMB2: ldr.w r0, Ltmp0
+@ CHECK-ARM: ldr r0, .Ltmp[[TMP1:[0-9]+]]
+@ CHECK-DARWIN-ARM: ldr r0, Ltmp1
+@ CHECK-THUMB2: ldr.w r0, .Ltmp[[TMP1:[0-9]+]]
+@ CHECK-DARWIN-THUMB2: ldr.w r0, Ltmp1
@ CHECK-THUMB: error: instruction requires: thumb2
@ CHECK-THUMB-NEXT: ldr.w r0, =0x10002
@ CHECK-LABEL: f2:
f2:
ldr r0, =foo
-@ CHECK-ARM: ldr r0, .Ltmp[[TMP1:[0-9]+]]
-@ CHECK-DARWIN-ARM: ldr r0, Ltmp1
-@ CHECK-THUMB2: ldr r0, .Ltmp[[TMP1:[0-9]+]]
-@ CHECK-DARWIN-THUMB2: ldr r0, Ltmp1
-
- ldr.w r0, =foo
@ CHECK-ARM: ldr r0, .Ltmp[[TMP2:[0-9]+]]
@ CHECK-DARWIN-ARM: ldr r0, Ltmp2
-@ CHECK-THUMB2: ldr.w r0, .Ltmp[[TMP2:[0-9]+]]
-@ CHECK-DARWIN-THUMB2: ldr.w r0, Ltmp2
+@ CHECK-THUMB2: ldr r0, .Ltmp[[TMP2:[0-9]+]]
+@ CHECK-DARWIN-THUMB2: ldr r0, Ltmp2
+
+ ldr.w r0, =foo
+@ CHECK-ARM: ldr r0, .Ltmp[[TMP3:[0-9]+]]
+@ CHECK-DARWIN-ARM: ldr r0, Ltmp3
+@ CHECK-THUMB2: ldr.w r0, .Ltmp[[TMP3:[0-9]+]]
+@ CHECK-DARWIN-THUMB2: ldr.w r0, Ltmp3
@ CHECK-THUMB: error: instruction requires: thumb2
@ CHECK-THUMB-NEXT: ldr.w r0, =foo
@@ -55,13 +55,17 @@ f3:
@ CHECK: .Ltmp0:
@ CHECK-NEXT: .long 65538
@ CHECK: .Ltmp1:
-@ CHECK-NEXT: .long foo
+@ CHECK-NEXT: .long 65538
@ CHECK: .Ltmp2:
@ CHECK-NEXT: .long foo
+@ CHECK: .Ltmp3:
+@ CHECK-NEXT: .long foo
@ CHECK-DARWIN: Ltmp0:
@ CHECK-DARWIN-NEXT: .long 65538
@ CHECK-DARWIN: Ltmp1:
-@ CHECK-DARWIN-NEXT: .long foo
+@ CHECK-DARWIN-NEXT: .long 65538
@ CHECK-DARWIN: Ltmp2:
@ CHECK-DARWIN-NEXT: .long foo
+@ CHECK-DARWIN: Ltmp3:
+@ CHECK-DARWIN-NEXT: .long foo
Modified: llvm/trunk/test/MC/ARM/ldr-pseudo.s
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/ARM/ldr-pseudo.s?rev=303535&r1=303534&r2=303535&view=diff
==============================================================================
--- llvm/trunk/test/MC/ARM/ldr-pseudo.s (original)
+++ llvm/trunk/test/MC/ARM/ldr-pseudo.s Mon May 22 03:42:47 2017
@@ -48,7 +48,7 @@ f5:
adds r0, r0, #1
adds r0, r0, #1
ldr r0, =0x10005
-@ CHECK: ldr r0, .Ltmp[[TMP3:[0-9]+]]
+@ CHECK: ldr r0, .Ltmp[[TMP4:[0-9]+]]
adds r0, r0, #1
adds r0, r0, #1
adds r0, r0, #1
@@ -264,6 +264,8 @@ f17:
@ CHECK: .p2align 2
@ CHECK: .Ltmp[[TMP3]]
@ CHECK: .long 65541
+@ CHECK: .Ltmp[[TMP4]]
+@ CHECK: .long 65541
@ CHECK: .section e,"ax",%progbits
@ CHECK: .p2align 2
More information about the llvm-commits
mailing list