On some targets (e.g. X86), shift amounts are not the same as the value
being shifted. Don't assume they are. llvm-svn: 24598
This commit is contained in:
parent
ba369ae8f1
commit
282c2af4d8
|
@ -73,6 +73,9 @@ def SDTUNDEF : SDTypeProfile<1, 0, []>; // for 'undef'.
|
||||||
def SDTIntBinOp : SDTypeProfile<1, 2, [ // add, and, or, xor, udiv, etc.
|
def SDTIntBinOp : SDTypeProfile<1, 2, [ // add, and, or, xor, udiv, etc.
|
||||||
SDTCisSameAs<0, 1>, SDTCisSameAs<0, 2>, SDTCisInt<0>
|
SDTCisSameAs<0, 1>, SDTCisSameAs<0, 2>, SDTCisInt<0>
|
||||||
]>;
|
]>;
|
||||||
|
def SDTIntShiftOp : SDTypeProfile<1, 2, [ // shl, sra, srl
|
||||||
|
SDTCisSameAs<0, 1>, SDTCisInt<0>, SDTCisInt<2>
|
||||||
|
]>;
|
||||||
def SDTFPBinOp : SDTypeProfile<1, 2, [ // fadd, fmul, etc.
|
def SDTFPBinOp : SDTypeProfile<1, 2, [ // fadd, fmul, etc.
|
||||||
SDTCisSameAs<0, 1>, SDTCisSameAs<0, 2>, SDTCisFP<0>
|
SDTCisSameAs<0, 1>, SDTCisSameAs<0, 2>, SDTCisFP<0>
|
||||||
]>;
|
]>;
|
||||||
|
@ -172,9 +175,9 @@ def sdiv : SDNode<"ISD::SDIV" , SDTIntBinOp>;
|
||||||
def udiv : SDNode<"ISD::UDIV" , SDTIntBinOp>;
|
def udiv : SDNode<"ISD::UDIV" , SDTIntBinOp>;
|
||||||
def srem : SDNode<"ISD::SREM" , SDTIntBinOp>;
|
def srem : SDNode<"ISD::SREM" , SDTIntBinOp>;
|
||||||
def urem : SDNode<"ISD::UREM" , SDTIntBinOp>;
|
def urem : SDNode<"ISD::UREM" , SDTIntBinOp>;
|
||||||
def srl : SDNode<"ISD::SRL" , SDTIntBinOp>;
|
def srl : SDNode<"ISD::SRL" , SDTIntShiftOp>;
|
||||||
def sra : SDNode<"ISD::SRA" , SDTIntBinOp>;
|
def sra : SDNode<"ISD::SRA" , SDTIntShiftOp>;
|
||||||
def shl : SDNode<"ISD::SHL" , SDTIntBinOp>;
|
def shl : SDNode<"ISD::SHL" , SDTIntShiftOp>;
|
||||||
def and : SDNode<"ISD::AND" , SDTIntBinOp,
|
def and : SDNode<"ISD::AND" , SDTIntBinOp,
|
||||||
[SDNPCommutative, SDNPAssociative]>;
|
[SDNPCommutative, SDNPAssociative]>;
|
||||||
def or : SDNode<"ISD::OR" , SDTIntBinOp,
|
def or : SDNode<"ISD::OR" , SDTIntBinOp,
|
||||||
|
|
Loading…
Reference in New Issue