| //=- HexagonInstrInfoV3.td - Target Desc. for Hexagon Target -*- tablegen -*-=// |
| // |
| // The LLVM Compiler Infrastructure |
| // |
| // This file is distributed under the University of Illinois Open Source |
| // License. See LICENSE.TXT for details. |
| // |
| //===----------------------------------------------------------------------===// |
| // |
| // This file describes the Hexagon V3 instructions in TableGen format. |
| // |
| //===----------------------------------------------------------------------===// |
| |
| def callv3 : SDNode<"HexagonISD::CALLv3", SDT_SPCall, |
| [SDNPHasChain, SDNPOptInGlue, SDNPOutGlue, SDNPVariadic]>; |
| |
| def callv3nr : SDNode<"HexagonISD::CALLv3nr", SDT_SPCall, |
| [SDNPHasChain, SDNPOptInGlue, SDNPOutGlue, SDNPVariadic]>; |
| |
| //===----------------------------------------------------------------------===// |
| // J + |
| //===----------------------------------------------------------------------===// |
| // Call subroutine. |
| let isCall = 1, hasSideEffects = 1, validSubTargets = HasV3SubT, |
| Defs = VolatileV3.Regs, isPredicable = 1, |
| isExtended = 0, isExtendable = 1, opExtendable = 0, |
| isExtentSigned = 1, opExtentBits = 24, opExtentAlign = 2 in |
| class T_Call<string ExtStr> |
| : JInst<(outs), (ins calltarget:$dst), |
| "call " # ExtStr # "$dst", [], "", J_tc_2early_SLOT23> { |
| let BaseOpcode = "call"; |
| bits<24> dst; |
| |
| let IClass = 0b0101; |
| let Inst{27-25} = 0b101; |
| let Inst{24-16,13-1} = dst{23-2}; |
| let Inst{0} = 0b0; |
| } |
| |
| let isCall = 1, hasSideEffects = 1, validSubTargets = HasV3SubT, |
| Defs = VolatileV3.Regs, isPredicated = 1, |
| isExtended = 0, isExtendable = 1, opExtendable = 1, |
| isExtentSigned = 1, opExtentBits = 17, opExtentAlign = 2 in |
| class T_CallPred<bit IfTrue, string ExtStr> |
| : JInst<(outs), (ins PredRegs:$Pu, calltarget:$dst), |
| CondStr<"$Pu", IfTrue, 0>.S # "call " # ExtStr # "$dst", |
| [], "", J_tc_2early_SLOT23> { |
| let BaseOpcode = "call"; |
| let isPredicatedFalse = !if(IfTrue,0,1); |
| bits<2> Pu; |
| bits<17> dst; |
| |
| let IClass = 0b0101; |
| let Inst{27-24} = 0b1101; |
| let Inst{23-22,20-16,13,7-1} = dst{16-2}; |
| let Inst{21} = !if(IfTrue,0,1); |
| let Inst{11} = 0b0; |
| let Inst{9-8} = Pu; |
| } |
| |
| multiclass T_Calls<string ExtStr> { |
| def NAME : T_Call<ExtStr>; |
| def t : T_CallPred<1, ExtStr>; |
| def f : T_CallPred<0, ExtStr>; |
| } |
| |
| let isCodeGenOnly = 0 in |
| defm J2_call: T_Calls<"">, PredRel; |
| |
| //===----------------------------------------------------------------------===// |
| // J - |
| //===----------------------------------------------------------------------===// |
| |
| |
| //===----------------------------------------------------------------------===// |
| // JR + |
| //===----------------------------------------------------------------------===// |
| // Call subroutine from register. |
| let isCall = 1, hasSideEffects = 0, |
| Defs = [D0, D1, D2, D3, D4, D5, D6, D7, R28, R31, |
| P0, P1, P2, P3, LC0, LC1, SA0, SA1] in { |
| def CALLRv3 : JRInst<(outs), (ins IntRegs:$dst), |
| "callr $dst", |
| []>, Requires<[HasV3TOnly]>; |
| } |
| |
| //===----------------------------------------------------------------------===// |
| // JR - |
| //===----------------------------------------------------------------------===// |
| |
| //===----------------------------------------------------------------------===// |
| // ALU64/ALU + |
| //===----------------------------------------------------------------------===// |
| |
| |
| let Defs = [USR_OVF], Itinerary = ALU64_tc_2_SLOT23, |
| validSubTargets = HasV3SubT, isCodeGenOnly = 0 in |
| def A2_addpsat : T_ALU64_arith<"add", 0b011, 0b101, 1, 0, 1>; |
| |
| class T_ALU64_addsp_hl<string suffix, bits<3> MinOp> |
| : T_ALU64_rr<"add", suffix, 0b0011, 0b011, MinOp, 0, 0, "">; |
| |
| let isCodeGenOnly = 0 in { |
| def A2_addspl : T_ALU64_addsp_hl<":raw:lo", 0b110>; |
| def A2_addsph : T_ALU64_addsp_hl<":raw:hi", 0b111>; |
| } |
| |
| let hasSideEffects = 0, isCodeGenOnly = 0 in |
| def A2_addsp : ALU64_rr<(outs DoubleRegs:$Rd), |
| (ins IntRegs:$Rs, DoubleRegs:$Rt), "$Rd = add($Rs, $Rt)", |
| [(set (i64 DoubleRegs:$Rd), (i64 (add (i64 (sext (i32 IntRegs:$Rs))), |
| (i64 DoubleRegs:$Rt))))], |
| "", ALU64_tc_1_SLOT23>; |
| |
| |
| let hasSideEffects = 0 in |
| class T_XTYPE_MIN_MAX_P<bit isMax, bit isUnsigned> |
| : ALU64Inst<(outs DoubleRegs:$Rd), (ins DoubleRegs:$Rt, DoubleRegs:$Rs), |
| "$Rd = "#!if(isMax,"max","min")#!if(isUnsigned,"u","") |
| #"($Rt, $Rs)", [], "", ALU64_tc_2_SLOT23> { |
| bits<5> Rd; |
| bits<5> Rs; |
| bits<5> Rt; |
| |
| let IClass = 0b1101; |
| |
| let Inst{27-23} = 0b00111; |
| let Inst{22-21} = !if(isMax, 0b10, 0b01); |
| let Inst{20-16} = !if(isMax, Rt, Rs); |
| let Inst{12-8} = !if(isMax, Rs, Rt); |
| let Inst{7} = 0b1; |
| let Inst{6} = !if(isMax, 0b0, 0b1); |
| let Inst{5} = isUnsigned; |
| let Inst{4-0} = Rd; |
| } |
| |
| let isCodeGenOnly = 0 in { |
| def A2_minp : T_XTYPE_MIN_MAX_P<0, 0>; |
| def A2_minup : T_XTYPE_MIN_MAX_P<0, 1>; |
| def A2_maxp : T_XTYPE_MIN_MAX_P<1, 0>; |
| def A2_maxup : T_XTYPE_MIN_MAX_P<1, 1>; |
| } |
| |
| multiclass MinMax_pats_p<PatFrag Op, InstHexagon Inst, InstHexagon SwapInst> { |
| defm: T_MinMax_pats<Op, DoubleRegs, i64, Inst, SwapInst>; |
| } |
| |
| let AddedComplexity = 200 in { |
| defm: MinMax_pats_p<setge, A2_maxp, A2_minp>; |
| defm: MinMax_pats_p<setgt, A2_maxp, A2_minp>; |
| defm: MinMax_pats_p<setle, A2_minp, A2_maxp>; |
| defm: MinMax_pats_p<setlt, A2_minp, A2_maxp>; |
| defm: MinMax_pats_p<setuge, A2_maxup, A2_minup>; |
| defm: MinMax_pats_p<setugt, A2_maxup, A2_minup>; |
| defm: MinMax_pats_p<setule, A2_minup, A2_maxup>; |
| defm: MinMax_pats_p<setult, A2_minup, A2_maxup>; |
| } |
| |
| //===----------------------------------------------------------------------===// |
| // ALU64/ALU - |
| //===----------------------------------------------------------------------===// |
| |
| |
| |
| |
| //def : Pat <(brcond (i1 (seteq (i32 IntRegs:$src1), 0)), bb:$offset), |
| // (JMP_RegEzt (i32 IntRegs:$src1), bb:$offset)>, Requires<[HasV3T]>; |
| |
| //def : Pat <(brcond (i1 (setne (i32 IntRegs:$src1), 0)), bb:$offset), |
| // (JMP_RegNzt (i32 IntRegs:$src1), bb:$offset)>, Requires<[HasV3T]>; |
| |
| //def : Pat <(brcond (i1 (setle (i32 IntRegs:$src1), 0)), bb:$offset), |
| // (JMP_RegLezt (i32 IntRegs:$src1), bb:$offset)>, Requires<[HasV3T]>; |
| |
| //def : Pat <(brcond (i1 (setge (i32 IntRegs:$src1), 0)), bb:$offset), |
| // (JMP_RegGezt (i32 IntRegs:$src1), bb:$offset)>, Requires<[HasV3T]>; |
| |
| //def : Pat <(brcond (i1 (setgt (i32 IntRegs:$src1), -1)), bb:$offset), |
| // (JMP_RegGezt (i32 IntRegs:$src1), bb:$offset)>, Requires<[HasV3T]>; |
| |
| |
| // Map call instruction |
| def : Pat<(call (i32 IntRegs:$dst)), |
| (J2_call (i32 IntRegs:$dst))>, Requires<[HasV3T]>; |
| def : Pat<(call tglobaladdr:$dst), |
| (J2_call tglobaladdr:$dst)>, Requires<[HasV3T]>; |
| def : Pat<(call texternalsym:$dst), |
| (J2_call texternalsym:$dst)>, Requires<[HasV3T]>; |