From e17141f9f394fb595b952ecc48b2cf6672815109 Mon Sep 17 00:00:00 2001 From: Colin LeMahieu Date: Mon, 9 Feb 2015 19:24:44 +0000 Subject: [PATCH] [Hexagon] Cleaning up definition formatting. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@228593 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Target/Hexagon/HexagonInstrInfoV4.td | 170 +++++++++++++++---------------- 1 file changed, 85 insertions(+), 85 deletions(-) diff --git a/lib/Target/Hexagon/HexagonInstrInfoV4.td b/lib/Target/Hexagon/HexagonInstrInfoV4.td index fb38ccaa6e6..f00a63c8a7f 100644 --- a/lib/Target/Hexagon/HexagonInstrInfoV4.td +++ b/lib/Target/Hexagon/HexagonInstrInfoV4.td @@ -256,7 +256,6 @@ def: Pat<(i32 (zext (i1 (setne (i32 (and (i32 (shl 1, (i32 IntRegs:$src2))), (i32 IntRegs:$src1))), 0)))), (C2_muxii (S2_tstbit_r IntRegs:$src1, IntRegs:$src2), 1, 0)>; - //===----------------------------------------------------------------------===// // ALU32 - //===----------------------------------------------------------------------===// @@ -1760,6 +1759,7 @@ def S4_parity: ALU64Inst<(outs IntRegs:$Rd), (ins IntRegs:$Rs, IntRegs:$Rt), let Inst{12-8} = Rt; let Inst{4-0} = Rd; } + // Add and accumulate. // Rd=add(Rs,add(Ru,#s6)) let isExtentSigned = 1, hasNewValue = 1, isExtendable = 1, opExtentBits = 6, @@ -1807,7 +1807,7 @@ def S4_subaddi: ALU64Inst <(outs IntRegs:$Rd), let Inst{7-5} = s6{2-0}; let Inst{4-0} = Ru; } - + // Extract bitfield // Rdd=extract(Rss,#u6,#U6) // Rdd=extract(Rss,Rtt) @@ -1857,9 +1857,10 @@ def M4_xor_xacc let IClass = 0b1100; - let Inst{27-23} = 0b10101; + let Inst{27-22} = 0b101010; let Inst{20-16} = Rss; let Inst{12-8} = Rtt; + let Inst{7-5} = 0b000; let Inst{4-0} = Rxx; } @@ -1910,7 +1911,6 @@ def S4_vrcrotate_acc let Inst{4-0} = Rxx; } - // Vector reduce conditional negate halfwords let hasSideEffects = 0 in def S2_vrcnegh @@ -2348,7 +2348,6 @@ def M4_pmpyw_acc : T_XTYPE_mpy64_acc < "pmpyw", "^", 0b001, 0b111, 0, 0, 0>; // XTYPE/MPY - //===----------------------------------------------------------------------===// - //===----------------------------------------------------------------------===// // ALU64/Vector compare //===----------------------------------------------------------------------===// @@ -2743,40 +2742,40 @@ let isExtendable = 1, opExtendable = 1, isExtentSigned = 0, multiclass MemOpi_u5Pats { let AddedComplexity = 180 in - def : Pat < (stOp (OpNode (ldOp IntRegs:$addr), u5ImmPred:$addend), - IntRegs:$addr), - (MI IntRegs:$addr, #0, u5ImmPred:$addend )>; + def: Pat<(stOp (OpNode (ldOp IntRegs:$addr), u5ImmPred:$addend), + IntRegs:$addr), + (MI IntRegs:$addr, 0, u5ImmPred:$addend)>; let AddedComplexity = 190 in - def : Pat <(stOp (OpNode (ldOp (add IntRegs:$base, ExtPred:$offset)), - u5ImmPred:$addend), - (add IntRegs:$base, ExtPred:$offset)), - (MI IntRegs:$base, ExtPred:$offset, u5ImmPred:$addend)>; + def: Pat<(stOp (OpNode (ldOp (add IntRegs:$base, ExtPred:$offset)), + u5ImmPred:$addend), + (add IntRegs:$base, ExtPred:$offset)), + (MI IntRegs:$base, ExtPred:$offset, u5ImmPred:$addend)>; } multiclass MemOpi_u5ALUOp { - defm : MemOpi_u5Pats; - defm : MemOpi_u5Pats; + defm: MemOpi_u5Pats; + defm: MemOpi_u5Pats; } multiclass MemOpi_u5ExtType { // Half Word - defm : MemOpi_u5ALUOp ; + defm: MemOpi_u5ALUOp ; // Byte - defm : MemOpi_u5ALUOp ; + defm: MemOpi_u5ALUOp ; } let Predicates = [HasV4T, UseMEMOP] in { - defm : MemOpi_u5ExtType; // zero extend - defm : MemOpi_u5ExtType; // sign extend - defm : MemOpi_u5ExtType; // any extend + defm: MemOpi_u5ExtType; // zero extend + defm: MemOpi_u5ExtType; // sign extend + defm: MemOpi_u5ExtType; // any extend // Word - defm : MemOpi_u5ALUOp ; + defm: MemOpi_u5ALUOp ; } //===----------------------------------------------------------------------===// @@ -2790,33 +2789,32 @@ multiclass MemOpi_m5Pats { let AddedComplexity = 190 in - def : Pat <(stOp (add (ldOp IntRegs:$addr), immPred:$subend), - IntRegs:$addr), - (MI IntRegs:$addr, #0, (xformFunc immPred:$subend) )>; + def: Pat<(stOp (add (ldOp IntRegs:$addr), immPred:$subend), IntRegs:$addr), + (MI IntRegs:$addr, 0, (xformFunc immPred:$subend))>; let AddedComplexity = 195 in - def : Pat<(stOp (add (ldOp (add IntRegs:$base, extPred:$offset)), - immPred:$subend), - (add IntRegs:$base, extPred:$offset)), - (MI IntRegs:$base, extPred:$offset, (xformFunc immPred:$subend))>; + def: Pat<(stOp (add (ldOp (add IntRegs:$base, extPred:$offset)), + immPred:$subend), + (add IntRegs:$base, extPred:$offset)), + (MI IntRegs:$base, extPred:$offset, (xformFunc immPred:$subend))>; } multiclass MemOpi_m5ExtType { // Half Word - defm : MemOpi_m5Pats ; // Byte - defm : MemOpi_m5Pats ; } let Predicates = [HasV4T, UseMEMOP] in { - defm : MemOpi_m5ExtType; // zero extend - defm : MemOpi_m5ExtType; // sign extend - defm : MemOpi_m5ExtType; // any extend + defm: MemOpi_m5ExtType; // zero extend + defm: MemOpi_m5ExtType; // sign extend + defm: MemOpi_m5ExtType; // any extend // Word - defm : MemOpi_m5Pats ; } @@ -2832,46 +2830,46 @@ multiclass MemOpi_bitPats ; + def: Pat<(stOp (OpNode (ldOp (add IntRegs:$base, extPred:$offset)), + immPred:$bitend), + (add IntRegs:$base, extPred:$offset)), + (MI IntRegs:$base, extPred:$offset, (xformFunc immPred:$bitend))>; // mem[bhw](Rs+#0) = [clrbit|setbit](#U5) let AddedComplexity = 225 in - def : Pat <(stOp (OpNode (ldOp (addrPred IntRegs:$addr, extPred:$offset)), - immPred:$bitend), - (addrPred (i32 IntRegs:$addr), extPred:$offset)), - (MI IntRegs:$addr, extPred:$offset, (xformFunc immPred:$bitend))>; + def: Pat<(stOp (OpNode (ldOp (addrPred IntRegs:$addr, extPred:$offset)), + immPred:$bitend), + (addrPred (i32 IntRegs:$addr), extPred:$offset)), + (MI IntRegs:$addr, extPred:$offset, (xformFunc immPred:$bitend))>; } multiclass MemOpi_bitExtType { // Byte - clrbit - defm : MemOpi_bitPats; // Byte - setbit - defm : MemOpi_bitPats; // Half Word - clrbit - defm : MemOpi_bitPats; // Half Word - setbit - defm : MemOpi_bitPats; } let Predicates = [HasV4T, UseMEMOP] in { // mem[bh](Rs+#0) = [clrbit|setbit](#U5) // mem[bh](Rs+#u6:[01]) = [clrbit|setbit](#U5) - defm : MemOpi_bitExtType; // zero extend - defm : MemOpi_bitExtType; // sign extend - defm : MemOpi_bitExtType; // any extend + defm: MemOpi_bitExtType; // zero extend + defm: MemOpi_bitExtType; // sign extend + defm: MemOpi_bitExtType; // any extend // memw(Rs+#0) = [clrbit|setbit](#U5) // memw(Rs+#u6:2) = [clrbit|setbit](#U5) - defm : MemOpi_bitPats; - defm : MemOpi_bitPats; } @@ -2886,17 +2884,17 @@ multiclass MemOpr_Pats { let AddedComplexity = 141 in // mem[bhw](Rs+#0) [+-&|]= Rt - def : Pat <(stOp (OpNode (ldOp (addrPred IntRegs:$addr, extPred:$offset)), - (i32 IntRegs:$addend)), - (addrPred (i32 IntRegs:$addr), extPred:$offset)), - (MI IntRegs:$addr, extPred:$offset, (i32 IntRegs:$addend) )>; + def: Pat<(stOp (OpNode (ldOp (addrPred IntRegs:$addr, extPred:$offset)), + (i32 IntRegs:$addend)), + (addrPred (i32 IntRegs:$addr), extPred:$offset)), + (MI IntRegs:$addr, extPred:$offset, (i32 IntRegs:$addend) )>; // mem[bhw](Rs+#U6:[012]) [+-&|]= Rt let AddedComplexity = 150 in - def : Pat <(stOp (OpNode (ldOp (add IntRegs:$base, extPred:$offset)), - (i32 IntRegs:$orend)), - (add IntRegs:$base, extPred:$offset)), - (MI IntRegs:$base, extPred:$offset, (i32 IntRegs:$orend) )>; + def: Pat<(stOp (OpNode (ldOp (add IntRegs:$base, extPred:$offset)), + (i32 IntRegs:$orend)), + (add IntRegs:$base, extPred:$offset)), + (MI IntRegs:$base, extPred:$offset, (i32 IntRegs:$orend))>; } multiclass MemOPr_ALUOp { - defm : MemOpr_Pats ; - defm : MemOpr_Pats ; - defm : MemOpr_Pats ; - defm : MemOpr_Pats ; + defm: MemOpr_Pats ; + defm: MemOpr_Pats ; + defm: MemOpr_Pats ; + defm: MemOpr_Pats ; } multiclass MemOPr_ExtType { // Half Word - defm : MemOPr_ALUOp ; + defm: MemOPr_ALUOp ; // Byte - defm : MemOPr_ALUOp ; + defm: MemOPr_ALUOp ; } // Define 'def Pats' for MemOps with register addend. let Predicates = [HasV4T, UseMEMOP] in { // Byte, Half Word - defm : MemOPr_ExtType; // zero extend - defm : MemOPr_ExtType; // sign extend - defm : MemOPr_ExtType; // any extend + defm: MemOPr_ExtType; // zero extend + defm: MemOPr_ExtType; // sign extend + defm: MemOPr_ExtType; // any extend // Word - defm : MemOPr_ALUOp ; + defm: MemOPr_ALUOp ; } //===----------------------------------------------------------------------===// @@ -3156,7 +3154,7 @@ def : Pat <(i32 (zext (i1 (setle (i32 IntRegs:$Rs), (i32 IntRegs:$Rt))))), // zext( setult ( and(Rs, 255), u8)) // Use the isdigit transformation below -// Generate code of the form 'mux_ii(cmpbgtu(Rdd, C-1),0,1)' +// Generate code of the form 'C2_muxii(cmpbgtui(Rdd, C-1),0,1)' // for C code of the form r = ((c>='0') & (c<='9')) ? 1 : 0;. // The isdigit transformation relies on two 'clever' aspects: // 1) The data type is unsigned which allows us to eliminate a zero test after @@ -3169,12 +3167,11 @@ def : Pat <(i32 (zext (i1 (setle (i32 IntRegs:$Rs), (i32 IntRegs:$Rt))))), // The code is transformed upstream of llvm into // retval = (c-48) < 10 ? 1 : 0; let AddedComplexity = 139 in -def : Pat <(i32 (zext (i1 (setult (i32 (and (i32 IntRegs:$src1), 255)), - u7StrictPosImmPred:$src2)))), - (i32 (C2_muxii (i1 (A4_cmpbgtui (i32 IntRegs:$src1), - (DEC_CONST_BYTE u7StrictPosImmPred:$src2))), - 0, 1))>, - Requires<[HasV4T]>; +def: Pat<(i32 (zext (i1 (setult (i32 (and (i32 IntRegs:$src1), 255)), + u7StrictPosImmPred:$src2)))), + (C2_muxii (A4_cmpbgtui IntRegs:$src1, + (DEC_CONST_BYTE u7StrictPosImmPred:$src2)), + 0, 1)>, Requires<[HasV4T]>; //===----------------------------------------------------------------------===// // XTYPE/PRED - @@ -3620,11 +3617,12 @@ class T_LoadAbs MajOp, bit isPredNot, bit isPredNew> : LDInst <(outs RC:$dst), (ins PredRegs:$src1, u6Ext:$absaddr), @@ -3636,6 +3634,7 @@ class T_LoadAbs_Pred MajOp, let isPredicatedNew = isPredNew; let isPredicatedFalse = isPredNot; + let hasNewValue = !if (!eq(!cast(RC), "DoubleRegs"), 0, 1); let IClass = 0b1001; @@ -3834,6 +3833,7 @@ let AddedComplexity = 120 in { def: Loadam_pat; def: Loadam_pat; def: Loadam_pat; +} let AddedComplexity = 100 in { def: Loada_pat; @@ -3847,7 +3847,7 @@ let AddedComplexity = 100 in { def: Loada_pat; def: Loada_pat; } -} + let AddedComplexity = 100 in { def: Storea_pat; def: Storea_pat; -- 2.11.0