mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-24 03:33:20 +01:00
rewrote two addr constraints so that they are only set, not set and then nestedly cleared.
llvm-svn: 115631
This commit is contained in:
Chris Lattner
parent
cdf60fcc21
commit
f5f0742885
@ -156,11 +156,11 @@ def IDIV32m: I<0xF7, MRM7m, (outs), (ins i32mem:$src),
|
||||
//===----------------------------------------------------------------------===//
|
||||
// Two address Instructions.
|
||||
//
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
|
||||
// unary instructions
|
||||
let CodeSize = 2 in {
|
||||
let Defs = [EFLAGS] in {
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
def NEG8r : I<0xF6, MRM3r, (outs GR8 :$dst), (ins GR8 :$src1),
|
||||
"neg{b}\t$dst",
|
||||
[(set GR8:$dst, (ineg GR8:$src1)),
|
||||
@ -173,8 +173,8 @@ def NEG32r : I<0xF7, MRM3r, (outs GR32:$dst), (ins GR32:$src1),
|
||||
"neg{l}\t$dst",
|
||||
[(set GR32:$dst, (ineg GR32:$src1)),
|
||||
(implicit EFLAGS)]>;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
let Constraints = "" in {
|
||||
def NEG8m : I<0xF6, MRM3m, (outs), (ins i8mem :$dst),
|
||||
"neg{b}\t$dst",
|
||||
[(store (ineg (loadi8 addr:$dst)), addr:$dst),
|
||||
@ -187,9 +187,12 @@ let Constraints = "" in {
|
||||
"neg{l}\t$dst",
|
||||
[(store (ineg (loadi32 addr:$dst)), addr:$dst),
|
||||
(implicit EFLAGS)]>;
|
||||
} // Constraints = ""
|
||||
} // Defs = [EFLAGS]
|
||||
|
||||
|
||||
// FIXME: NOT sets EFLAGS!
|
||||
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
// Match xor -1 to not. Favors these over a move imm + xor to save code size.
|
||||
let AddedComplexity = 15 in {
|
||||
def NOT8r : I<0xF6, MRM2r, (outs GR8 :$dst), (ins GR8 :$src1),
|
||||
@ -202,7 +205,8 @@ def NOT32r : I<0xF7, MRM2r, (outs GR32:$dst), (ins GR32:$src1),
|
||||
"not{l}\t$dst",
|
||||
[(set GR32:$dst, (not GR32:$src1))]>;
|
||||
}
|
||||
let Constraints = "" in {
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
def NOT8m : I<0xF6, MRM2m, (outs), (ins i8mem :$dst),
|
||||
"not{b}\t$dst",
|
||||
[(store (not (loadi8 addr:$dst)), addr:$dst)]>;
|
||||
@ -212,11 +216,11 @@ let Constraints = "" in {
|
||||
def NOT32m : I<0xF7, MRM2m, (outs), (ins i32mem:$dst),
|
||||
"not{l}\t$dst",
|
||||
[(store (not (loadi32 addr:$dst)), addr:$dst)]>;
|
||||
} // Constraints = ""
|
||||
} // CodeSize
|
||||
|
||||
// TODO: inc/dec is slow for P4, but fast for Pentium-M.
|
||||
let Defs = [EFLAGS] in {
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
let CodeSize = 2 in
|
||||
def INC8r : I<0xFE, MRM0r, (outs GR8 :$dst), (ins GR8 :$src1),
|
||||
"inc{b}\t$dst",
|
||||
@ -232,7 +236,9 @@ def INC32r : I<0x40, AddRegFrm, (outs GR32:$dst), (ins GR32:$src1),
|
||||
[(set GR32:$dst, EFLAGS, (X86inc_flag GR32:$src1))]>,
|
||||
Requires<[In32BitMode]>;
|
||||
}
|
||||
let Constraints = "", CodeSize = 2 in {
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
let CodeSize = 2 in {
|
||||
def INC8m : I<0xFE, MRM0m, (outs), (ins i8mem :$dst), "inc{b}\t$dst",
|
||||
[(store (add (loadi8 addr:$dst), 1), addr:$dst),
|
||||
(implicit EFLAGS)]>;
|
||||
@ -244,8 +250,9 @@ let Constraints = "", CodeSize = 2 in {
|
||||
[(store (add (loadi32 addr:$dst), 1), addr:$dst),
|
||||
(implicit EFLAGS)]>,
|
||||
Requires<[In32BitMode]>;
|
||||
} // Constraints = "", CodeSize = 2
|
||||
} // CodeSize = 2
|
||||
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
let CodeSize = 2 in
|
||||
def DEC8r : I<0xFE, MRM1r, (outs GR8 :$dst), (ins GR8 :$src1),
|
||||
"dec{b}\t$dst",
|
||||
@ -260,8 +267,10 @@ def DEC32r : I<0x48, AddRegFrm, (outs GR32:$dst), (ins GR32:$src1),
|
||||
[(set GR32:$dst, EFLAGS, (X86dec_flag GR32:$src1))]>,
|
||||
Requires<[In32BitMode]>;
|
||||
} // CodeSize = 2
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
let Constraints = "", CodeSize = 2 in {
|
||||
|
||||
let CodeSize = 2 in {
|
||||
def DEC8m : I<0xFE, MRM1m, (outs), (ins i8mem :$dst), "dec{b}\t$dst",
|
||||
[(store (add (loadi8 addr:$dst), -1), addr:$dst),
|
||||
(implicit EFLAGS)]>;
|
||||
@ -273,11 +282,12 @@ let Constraints = "", CodeSize = 2 in {
|
||||
[(store (add (loadi32 addr:$dst), -1), addr:$dst),
|
||||
(implicit EFLAGS)]>,
|
||||
Requires<[In32BitMode]>;
|
||||
} // Constraints = "", CodeSize = 2
|
||||
} // CodeSize = 2
|
||||
} // Defs = [EFLAGS]
|
||||
|
||||
// Logical operators...
|
||||
// Logical operators.
|
||||
let Defs = [EFLAGS] in {
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
let isCommutable = 1 in { // X = AND Y, Z --> X = AND Z, Y
|
||||
def AND8rr : I<0x20, MRMDestReg,
|
||||
(outs GR8 :$dst), (ins GR8 :$src1, GR8 :$src2),
|
||||
@ -293,7 +303,8 @@ def AND32rr : I<0x21, MRMDestReg,
|
||||
"and{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, EFLAGS, (X86and_flag GR32:$src1,
|
||||
GR32:$src2))]>;
|
||||
}
|
||||
} // isCommutable
|
||||
|
||||
|
||||
// AND instructions with the destination register in REG and the source register
|
||||
// in R/M. Included for the disassembler.
|
||||
@ -351,8 +362,8 @@ def AND32ri8 : Ii8<0x83, MRM4r,
|
||||
"and{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, EFLAGS, (X86and_flag GR32:$src1,
|
||||
i32immSExt8:$src2))]>;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
let Constraints = "" in {
|
||||
def AND8mr : I<0x20, MRMDestMem,
|
||||
(outs), (ins i8mem :$dst, GR8 :$src),
|
||||
"and{b}\t{$src, $dst|$dst, $src}",
|
||||
@ -397,6 +408,7 @@ let Constraints = "" in {
|
||||
[(store (and (load addr:$dst), i32immSExt8:$src), addr:$dst),
|
||||
(implicit EFLAGS)]>;
|
||||
|
||||
// FIXME: Implicitly modifiers AL.
|
||||
def AND8i8 : Ii8<0x24, RawFrm, (outs), (ins i8imm:$src),
|
||||
"and{b}\t{$src, %al|%al, $src}", []>;
|
||||
def AND16i16 : Ii16<0x25, RawFrm, (outs), (ins i16imm:$src),
|
||||
@ -404,8 +416,7 @@ let Constraints = "" in {
|
||||
def AND32i32 : Ii32<0x25, RawFrm, (outs), (ins i32imm:$src),
|
||||
"and{l}\t{$src, %eax|%eax, $src}", []>;
|
||||
|
||||
} // Constraints = ""
|
||||
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
|
||||
let isCommutable = 1 in { // X = OR Y, Z --> X = OR Z, Y
|
||||
def OR8rr : I<0x08, MRMDestReg, (outs GR8 :$dst),
|
||||
@ -478,7 +489,8 @@ def OR32ri8 : Ii8<0x83, MRM1r, (outs GR32:$dst),
|
||||
"or{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, EFLAGS, (X86or_flag GR32:$src1,
|
||||
i32immSExt8:$src2))]>;
|
||||
let Constraints = "" in {
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
def OR8mr : I<0x08, MRMDestMem, (outs), (ins i8mem:$dst, GR8:$src),
|
||||
"or{b}\t{$src, $dst|$dst, $src}",
|
||||
[(store (or (load addr:$dst), GR8:$src), addr:$dst),
|
||||
@ -520,9 +532,10 @@ let Constraints = "" in {
|
||||
"or{w}\t{$src, %ax|%ax, $src}", []>, OpSize;
|
||||
def OR32i32 : Ii32 <0x0D, RawFrm, (outs), (ins i32imm:$src),
|
||||
"or{l}\t{$src, %eax|%eax, $src}", []>;
|
||||
} // Constraints = ""
|
||||
|
||||
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
|
||||
let isCommutable = 1 in { // X = XOR Y, Z --> X = XOR Z, Y
|
||||
def XOR8rr : I<0x30, MRMDestReg,
|
||||
(outs GR8 :$dst), (ins GR8 :$src1, GR8 :$src2),
|
||||
@ -596,8 +609,9 @@ def XOR32ri8 : Ii8<0x83, MRM6r,
|
||||
"xor{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, EFLAGS, (X86xor_flag GR32:$src1,
|
||||
i32immSExt8:$src2))]>;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
|
||||
let Constraints = "" in {
|
||||
def XOR8mr : I<0x30, MRMDestMem,
|
||||
(outs), (ins i8mem :$dst, GR8 :$src),
|
||||
"xor{b}\t{$src, $dst|$dst, $src}",
|
||||
@ -648,12 +662,12 @@ let Constraints = "" in {
|
||||
"xor{w}\t{$src, %ax|%ax, $src}", []>, OpSize;
|
||||
def XOR32i32 : Ii32<0x35, RawFrm, (outs), (ins i32imm:$src),
|
||||
"xor{l}\t{$src, %eax|%eax, $src}", []>;
|
||||
} // Constraints = ""
|
||||
} // Defs = [EFLAGS]
|
||||
|
||||
|
||||
// Arithmetic.
|
||||
let Defs = [EFLAGS] in {
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
let isCommutable = 1 in { // X = ADD Y, Z --> X = ADD Z, Y
|
||||
// Register-Register Addition
|
||||
def ADD8rr : I<0x00, MRMDestReg, (outs GR8 :$dst),
|
||||
@ -733,8 +747,8 @@ def ADD32ri8 : Ii8<0x83, MRM0r, (outs GR32:$dst),
|
||||
[(set GR32:$dst, EFLAGS,
|
||||
(X86add_flag GR32:$src1, i32immSExt8:$src2))]>;
|
||||
}
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
let Constraints = "" in {
|
||||
// Memory-Register Addition
|
||||
def ADD8mr : I<0x00, MRMDestMem, (outs), (ins i8mem:$dst, GR8:$src2),
|
||||
"add{b}\t{$src2, $dst|$dst, $src2}",
|
||||
@ -778,9 +792,9 @@ let Constraints = "" in {
|
||||
"add{w}\t{$src, %ax|%ax, $src}", []>, OpSize;
|
||||
def ADD32i32 : Ii32<0x05, RawFrm, (outs), (ins i32imm:$src),
|
||||
"add{l}\t{$src, %eax|%eax, $src}", []>;
|
||||
} // Constraints = ""
|
||||
|
||||
let Uses = [EFLAGS] in {
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
let isCommutable = 1 in { // X = ADC Y, Z --> X = ADC Z, Y
|
||||
def ADC8rr : I<0x10, MRMDestReg, (outs GR8:$dst), (ins GR8:$src1, GR8:$src2),
|
||||
"adc{b}\t{$src2, $dst|$dst, $src2}",
|
||||
@ -839,8 +853,8 @@ def ADC32ri8 : Ii8<0x83, MRM2r, (outs GR32:$dst),
|
||||
(ins GR32:$src1, i32i8imm:$src2),
|
||||
"adc{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, (adde GR32:$src1, i32immSExt8:$src2))]>;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
let Constraints = "" in {
|
||||
def ADC8mr : I<0x10, MRMDestMem, (outs), (ins i8mem:$dst, GR8:$src2),
|
||||
"adc{b}\t{$src2, $dst|$dst, $src2}",
|
||||
[(store (adde (load addr:$dst), GR8:$src2), addr:$dst)]>;
|
||||
@ -875,9 +889,10 @@ let Constraints = "" in {
|
||||
"adc{w}\t{$src, %ax|%ax, $src}", []>, OpSize;
|
||||
def ADC32i32 : Ii32<0x15, RawFrm, (outs), (ins i32imm:$src),
|
||||
"adc{l}\t{$src, %eax|%eax, $src}", []>;
|
||||
} // Constraints = ""
|
||||
} // Uses = [EFLAGS]
|
||||
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
|
||||
// Register-Register Subtraction
|
||||
def SUB8rr : I<0x28, MRMDestReg, (outs GR8:$dst), (ins GR8:$src1, GR8:$src2),
|
||||
"sub{b}\t{$src2, $dst|$dst, $src2}",
|
||||
@ -946,8 +961,8 @@ def SUB32ri8 : Ii8<0x83, MRM5r, (outs GR32:$dst),
|
||||
"sub{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, EFLAGS,
|
||||
(X86sub_flag GR32:$src1, i32immSExt8:$src2))]>;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
let Constraints = "" in {
|
||||
// Memory-Register Subtraction
|
||||
def SUB8mr : I<0x28, MRMDestMem, (outs), (ins i8mem :$dst, GR8 :$src2),
|
||||
"sub{b}\t{$src2, $dst|$dst, $src2}",
|
||||
@ -992,9 +1007,9 @@ let Constraints = "" in {
|
||||
"sub{w}\t{$src, %ax|%ax, $src}", []>, OpSize;
|
||||
def SUB32i32 : Ii32<0x2D, RawFrm, (outs), (ins i32imm:$src),
|
||||
"sub{l}\t{$src, %eax|%eax, $src}", []>;
|
||||
} // Constraints = ""
|
||||
|
||||
let Uses = [EFLAGS] in {
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
def SBB8rr : I<0x18, MRMDestReg, (outs GR8:$dst),
|
||||
(ins GR8:$src1, GR8:$src2),
|
||||
"sbb{b}\t{$src2, $dst|$dst, $src2}",
|
||||
@ -1007,8 +1022,9 @@ def SBB32rr : I<0x19, MRMDestReg, (outs GR32:$dst),
|
||||
(ins GR32:$src1, GR32:$src2),
|
||||
"sbb{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, (sube GR32:$src1, GR32:$src2))]>;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
|
||||
let Constraints = "" in {
|
||||
def SBB8mr : I<0x18, MRMDestMem, (outs), (ins i8mem:$dst, GR8:$src2),
|
||||
"sbb{b}\t{$src2, $dst|$dst, $src2}",
|
||||
[(store (sube (load addr:$dst), GR8:$src2), addr:$dst)]>;
|
||||
@ -1043,7 +1059,8 @@ let Constraints = "" in {
|
||||
"sbb{w}\t{$src, %ax|%ax, $src}", []>, OpSize;
|
||||
def SBB32i32 : Ii32<0x1D, RawFrm, (outs), (ins i32imm:$src),
|
||||
"sbb{l}\t{$src, %eax|%eax, $src}", []>;
|
||||
} // Constraints = ""
|
||||
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
|
||||
let isCodeGenOnly = 1 in {
|
||||
def SBB8rr_REV : I<0x1A, MRMSrcReg, (outs GR8:$dst), (ins GR8:$src1, GR8:$src2),
|
||||
@ -1088,10 +1105,14 @@ def SBB32ri8 : Ii8<0x83, MRM3r, (outs GR32:$dst),
|
||||
(ins GR32:$src1, i32i8imm:$src2),
|
||||
"sbb{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, (sube GR32:$src1, i32immSExt8:$src2))]>;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
} // Uses = [EFLAGS]
|
||||
} // Defs = [EFLAGS]
|
||||
|
||||
let Defs = [EFLAGS] in {
|
||||
let Constraints = "$src1 = $dst" in {
|
||||
|
||||
let isCommutable = 1 in { // X = IMUL Y, Z --> X = IMUL Z, Y
|
||||
// Register-Register Signed Integer Multiply
|
||||
def IMUL16rr : I<0xAF, MRMSrcReg, (outs GR16:$dst), (ins GR16:$src1,GR16:$src2),
|
||||
@ -1116,8 +1137,9 @@ def IMUL32rm : I<0xAF, MRMSrcMem, (outs GR32:$dst),
|
||||
"imul{l}\t{$src2, $dst|$dst, $src2}",
|
||||
[(set GR32:$dst, EFLAGS,
|
||||
(X86smul_flag GR32:$src1, (load addr:$src2)))]>, TB;
|
||||
} // Constraints = "$src1 = $dst"
|
||||
|
||||
} // Defs = [EFLAGS]
|
||||
} // end Two Address instructions
|
||||
|
||||
// Suprisingly enough, these are not two address instructions!
|
||||
let Defs = [EFLAGS] in {
|
||||
|
||||
Loading…
Reference in New Issue
Block a user