[llvm] r241152 - [X86] Avoid over-relaxation of 8-bit immediates in integer arithmetic instructions.
Michael Kuperstein
michael.m.kuperstein at intel.com
Wed Jul 1 03:54:43 PDT 2015
Author: mkuper
Date: Wed Jul 1 05:54:42 2015
New Revision: 241152
URL: http://llvm.org/viewvc/llvm-project?rev=241152&view=rev
Log:
[X86] Avoid over-relaxation of 8-bit immediates in integer arithmetic instructions.
Only consider an instruction a candidate for relaxation if the last operand of the
instruction is an expression. We previously checked whether any operand is an expression,
which is useless, since for all instructions concerned, the only operand that may be
affected by relaxation is the last one.
In addition, this removes the check for having RIP as an argument, since it was
plain wrong - even when one of the arguments is RIP, relaxation may still be needed.
This fixes PR9807.
Patch by: david.l.kreitzer at intel.com
Differential Revision: http://reviews.llvm.org/D10766
Added:
llvm/trunk/test/MC/ELF/relax-arith2.s
llvm/trunk/test/MC/ELF/relax-arith3.s
Modified:
llvm/trunk/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
Modified: llvm/trunk/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp?rev=241152&r1=241151&r2=241152&view=diff
==============================================================================
--- llvm/trunk/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp (original)
+++ llvm/trunk/lib/Target/X86/MCTargetDesc/X86AsmBackend.cpp Wed Jul 1 05:54:42 2015
@@ -29,13 +29,6 @@
#include "llvm/Support/raw_ostream.h"
using namespace llvm;
-// Option to allow disabling arithmetic relaxation to workaround PR9807, which
-// is useful when running bitwise comparison experiments on Darwin. We should be
-// able to remove this once PR9807 is resolved.
-static cl::opt<bool>
-MCDisableArithRelaxation("mc-x86-disable-arith-relaxation",
- cl::desc("Disable relaxation of arithmetic instruction for X86"));
-
static unsigned getFixupKindLog2Size(unsigned Kind) {
switch (Kind) {
default:
@@ -243,29 +236,18 @@ bool X86AsmBackend::mayNeedRelaxation(co
if (getRelaxedOpcodeBranch(Inst.getOpcode()) != Inst.getOpcode())
return true;
- if (MCDisableArithRelaxation)
- return false;
-
// Check if this instruction is ever relaxable.
if (getRelaxedOpcodeArith(Inst.getOpcode()) == Inst.getOpcode())
return false;
- // Check if it has an expression and is not RIP relative.
- bool hasExp = false;
- bool hasRIP = false;
- for (unsigned i = 0; i < Inst.getNumOperands(); ++i) {
- const MCOperand &Op = Inst.getOperand(i);
- if (Op.isExpr())
- hasExp = true;
-
- if (Op.isReg() && Op.getReg() == X86::RIP)
- hasRIP = true;
- }
+ // Check if the relaxable operand has an expression. For the current set of
+ // relaxable instructions, the relaxable operand is always the last operand.
+ unsigned RelaxableOp = Inst.getNumOperands() - 1;
+ if (Inst.getOperand(RelaxableOp).isExpr())
+ return true;
- // FIXME: Why exactly do we need the !hasRIP? Is it just a limitation on
- // how we do relaxations?
- return hasExp && !hasRIP;
+ return false;
}
bool X86AsmBackend::fixupNeedsRelaxation(const MCFixup &Fixup,
Added: llvm/trunk/test/MC/ELF/relax-arith2.s
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/ELF/relax-arith2.s?rev=241152&view=auto
==============================================================================
--- llvm/trunk/test/MC/ELF/relax-arith2.s (added)
+++ llvm/trunk/test/MC/ELF/relax-arith2.s Wed Jul 1 05:54:42 2015
@@ -0,0 +1,118 @@
+// RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | llvm-objdump -d - | FileCheck %s
+
+// Test that we avoid relaxing these instructions and instead generate versions
+// that use 8-bit immediate values.
+
+bar:
+// CHECK: Disassembly of section imul:
+// CHECK-NEXT: imul:
+// CHECK-NEXT: 0: 66 6b db 80 imulw $-128, %bx, %bx
+// CHECK-NEXT: 4: 66 6b 1c 25 00 00 00 00 7f imulw $127, 0, %bx
+// CHECK-NEXT: d: 6b db 00 imull $0, %ebx, %ebx
+// CHECK-NEXT: 10: 6b 1c 25 00 00 00 00 01 imull $1, 0, %ebx
+// CHECK-NEXT: 18: 48 6b db ff imulq $-1, %rbx, %rbx
+// CHECK-NEXT: 1c: 48 6b 1c 25 00 00 00 00 2a imulq $42, 0, %rbx
+ .section imul,"x"
+ imul $-128, %bx, %bx
+ imul $127, bar, %bx
+ imul $0, %ebx, %ebx
+ imul $1, bar, %ebx
+ imul $-1, %rbx, %rbx
+ imul $42, bar, %rbx
+
+
+// CHECK: Disassembly of section and:
+// CHECK-NEXT: and:
+// CHECK-NEXT: 0: 66 83 e3 7f andw $127, %bx
+// CHECK-NEXT: 4: 66 83 24 25 00 00 00 00 00 andw $0, 0
+// CHECK-NEXT: d: 83 e3 01 andl $1, %ebx
+// CHECK-NEXT: 10: 83 24 25 00 00 00 00 ff andl $-1, 0
+// CHECK-NEXT: 18: 48 83 e3 2a andq $42, %rbx
+// CHECK-NEXT: 1c: 48 83 24 25 00 00 00 00 80 andq $-128, 0
+ .section and,"x"
+ and $127, %bx
+ andw $0, bar
+ and $1, %ebx
+ andl $-1, bar
+ and $42, %rbx
+ andq $-128, bar
+
+// CHECK: Disassembly of section or:
+// CHECK-NEXT: or:
+// CHECK-NEXT: 0: 66 83 cb 00 orw $0, %bx
+// CHECK-NEXT: 4: 66 83 0c 25 00 00 00 00 01 orw $1, 0
+// CHECK-NEXT: d: 83 cb ff orl $-1, %ebx
+// CHECK-NEXT: 10: 83 0c 25 00 00 00 00 2a orl $42, 0
+// CHECK-NEXT: 18: 48 83 cb 80 orq $-128, %rbx
+// CHECK-NEXT: 1c: 48 83 0c 25 00 00 00 00 7f orq $127, 0
+ .section or,"x"
+ or $0, %bx
+ orw $1, bar
+ or $-1, %ebx
+ orl $42, bar
+ or $-128, %rbx
+ orq $127, bar
+
+// CHECK: Disassembly of section xor:
+// CHECK-NEXT: xor:
+// CHECK-NEXT: 0: 66 83 f3 01 xorw $1, %bx
+// CHECK-NEXT: 4: 66 83 34 25 00 00 00 00 ff xorw $-1, 0
+// CHECK-NEXT: d: 83 f3 2a xorl $42, %ebx
+// CHECK-NEXT: 10: 83 34 25 00 00 00 00 80 xorl $-128, 0
+// CHECK-NEXT: 18: 48 83 f3 7f xorq $127, %rbx
+// CHECK-NEXT: 1c: 48 83 34 25 00 00 00 00 00 xorq $0, 0
+ .section xor,"x"
+ xor $1, %bx
+ xorw $-1, bar
+ xor $42, %ebx
+ xorl $-128, bar
+ xor $127, %rbx
+ xorq $0, bar
+
+// CHECK: Disassembly of section add:
+// CHECK-NEXT: add:
+// CHECK-NEXT: 0: 66 83 c3 ff addw $-1, %bx
+// CHECK-NEXT: 4: 66 83 04 25 00 00 00 00 2a addw $42, 0
+// CHECK-NEXT: d: 83 c3 80 addl $-128, %ebx
+// CHECK-NEXT: 10: 83 04 25 00 00 00 00 7f addl $127, 0
+// CHECK-NEXT: 18: 48 83 c3 00 addq $0, %rbx
+// CHECK-NEXT: 1c: 48 83 04 25 00 00 00 00 01 addq $1, 0
+ .section add,"x"
+ add $-1, %bx
+ addw $42, bar
+ add $-128, %ebx
+ addl $127, bar
+ add $0, %rbx
+ addq $1, bar
+
+// CHECK: Disassembly of section sub:
+// CHECK-NEXT: sub:
+// CHECK-NEXT: 0: 66 83 eb 2a subw $42, %bx
+// CHECK-NEXT: 4: 66 83 2c 25 00 00 00 00 80 subw $-128, 0
+// CHECK-NEXT: d: 83 eb 7f subl $127, %ebx
+// CHECK-NEXT: 10: 83 2c 25 00 00 00 00 00 subl $0, 0
+// CHECK-NEXT: 18: 48 83 eb 01 subq $1, %rbx
+// CHECK-NEXT: 1c: 48 83 2c 25 00 00 00 00 ff subq $-1, 0
+ .section sub,"x"
+ sub $42, %bx
+ subw $-128, bar
+ sub $127, %ebx
+ subl $0, bar
+ sub $1, %rbx
+ subq $-1, bar
+
+// CHECK: Disassembly of section cmp:
+// CHECK-NEXT: cmp:
+// CHECK-NEXT: 0: 66 83 fb 80 cmpw $-128, %bx
+// CHECK-NEXT: 4: 66 83 3c 25 00 00 00 00 7f cmpw $127, 0
+// CHECK-NEXT: d: 83 fb 00 cmpl $0, %ebx
+// CHECK-NEXT: 10: 83 3c 25 00 00 00 00 01 cmpl $1, 0
+// CHECK-NEXT: 18: 48 83 fb ff cmpq $-1, %rbx
+// CHECK-NEXT: 1c: 48 83 3c 25 00 00 00 00 2a cmpq $42, 0
+ .section cmp,"x"
+ cmp $-128, %bx
+ cmpw $127, bar
+ cmp $0, %ebx
+ cmpl $1, bar
+ cmp $-1, %rbx
+ cmpq $42, bar
Added: llvm/trunk/test/MC/ELF/relax-arith3.s
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/MC/ELF/relax-arith3.s?rev=241152&view=auto
==============================================================================
--- llvm/trunk/test/MC/ELF/relax-arith3.s (added)
+++ llvm/trunk/test/MC/ELF/relax-arith3.s Wed Jul 1 05:54:42 2015
@@ -0,0 +1,76 @@
+// RUN: llvm-mc -filetype=obj -triple x86_64-pc-linux-gnu %s -o - | llvm-objdump -d - | FileCheck %s
+
+// Test that we correctly relax these instructions into versions that use
+// 16 or 32 bit immediate values.
+
+bar:
+// CHECK: Disassembly of section imul:
+// CHECK-NEXT: imul:
+// CHECK-NEXT: 0: 66 69 1d 00 00 00 00 00 00 imulw $0, (%rip), %bx
+// CHECK-NEXT: 9: 69 1d 00 00 00 00 00 00 00 00 imull $0, (%rip), %ebx
+// CHECK-NEXT: 13: 48 69 1d 00 00 00 00 00 00 00 00 imulq $0, (%rip), %rbx
+ .section imul,"x"
+ imul $foo, bar(%rip), %bx
+ imul $foo, bar(%rip), %ebx
+ imul $foo, bar(%rip), %rbx
+
+
+// CHECK: Disassembly of section and:
+// CHECK-NEXT: and:
+// CHECK-NEXT: 0: 66 81 25 00 00 00 00 00 00 andw $0, (%rip)
+// CHECK-NEXT: 9: 81 25 00 00 00 00 00 00 00 00 andl $0, (%rip)
+// CHECK-NEXT: 13: 48 81 25 00 00 00 00 00 00 00 00 andq $0, (%rip)
+ .section and,"x"
+ andw $foo, bar(%rip)
+ andl $foo, bar(%rip)
+ andq $foo, bar(%rip)
+
+// CHECK: Disassembly of section or:
+// CHECK-NEXT: or:
+// CHECK-NEXT: 0: 66 81 0d 00 00 00 00 00 00 orw $0, (%rip)
+// CHECK-NEXT: 9: 81 0d 00 00 00 00 00 00 00 00 orl $0, (%rip)
+// CHECK-NEXT: 13: 48 81 0d 00 00 00 00 00 00 00 00 orq $0, (%rip)
+ .section or,"x"
+ orw $foo, bar(%rip)
+ orl $foo, bar(%rip)
+ orq $foo, bar(%rip)
+
+// CHECK: Disassembly of section xor:
+// CHECK-NEXT: xor:
+// CHECK-NEXT: 0: 66 81 35 00 00 00 00 00 00 xorw $0, (%rip)
+// CHECK-NEXT: 9: 81 35 00 00 00 00 00 00 00 00 xorl $0, (%rip)
+// CHECK-NEXT: 13: 48 81 35 00 00 00 00 00 00 00 00 xorq $0, (%rip)
+ .section xor,"x"
+ xorw $foo, bar(%rip)
+ xorl $foo, bar(%rip)
+ xorq $foo, bar(%rip)
+
+// CHECK: Disassembly of section add:
+// CHECK-NEXT: add:
+// CHECK-NEXT: 0: 66 81 05 00 00 00 00 00 00 addw $0, (%rip)
+// CHECK-NEXT: 9: 81 05 00 00 00 00 00 00 00 00 addl $0, (%rip)
+// CHECK-NEXT: 13: 48 81 05 00 00 00 00 00 00 00 00 addq $0, (%rip)
+ .section add,"x"
+ addw $foo, bar(%rip)
+ addl $foo, bar(%rip)
+ addq $foo, bar(%rip)
+
+// CHECK: Disassembly of section sub:
+// CHECK-NEXT: sub:
+// CHECK-NEXT: 0: 66 81 2d 00 00 00 00 00 00 subw $0, (%rip)
+// CHECK-NEXT: 9: 81 2d 00 00 00 00 00 00 00 00 subl $0, (%rip)
+// CHECK-NEXT: 13: 48 81 2d 00 00 00 00 00 00 00 00 subq $0, (%rip)
+ .section sub,"x"
+ subw $foo, bar(%rip)
+ subl $foo, bar(%rip)
+ subq $foo, bar(%rip)
+
+// CHECK: Disassembly of section cmp:
+// CHECK-NEXT: cmp:
+// CHECK-NEXT: 0: 66 81 3d 00 00 00 00 00 00 cmpw $0, (%rip)
+// CHECK-NEXT: 9: 81 3d 00 00 00 00 00 00 00 00 cmpl $0, (%rip)
+// CHECK-NEXT: 13: 48 81 3d 00 00 00 00 00 00 00 00 cmpq $0, (%rip)
+ .section cmp,"x"
+ cmpw $foo, bar(%rip)
+ cmpl $foo, bar(%rip)
+ cmpq $foo, bar(%rip)
More information about the llvm-commits
mailing list