From 55c134a26188291f60c44d027a837f05d797194f Mon Sep 17 00:00:00 2001 From: Bill Wendling Date: Mon, 30 Aug 2010 22:05:23 +0000 Subject: [PATCH] Use the existing T2I_bin_s_irs pattern instead of creating T2I_bin_sw_irs, which is meant to do exactly the same thing. Thanks to Jim Grosbach for pointing this out! :-) git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@112538 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Target/ARM/ARMInstrFormats.td | 21 ------------- lib/Target/ARM/ARMInstrThumb2.td | 50 ++----------------------------- 2 files changed, 2 insertions(+), 69 deletions(-) diff --git a/lib/Target/ARM/ARMInstrFormats.td b/lib/Target/ARM/ARMInstrFormats.td index 1d48c889f89..6b606cd52da 100644 --- a/lib/Target/ARM/ARMInstrFormats.td +++ b/lib/Target/ARM/ARMInstrFormats.td @@ -1148,22 +1148,6 @@ class Thumb2sI Predicates = [IsThumb2]; } -// Same as Thumb2sI except it does modify CPSR. Note it's modeled as an input -// operand since by default it's a zero register. It will become an implicit def -// once it's "flipped". -// FIXME: This uses unified syntax so {s} comes before {p}. We should make it -// more consistent. -class Thumb2sI_cpsr pattern> - : InstARM { - let OutOperandList = oops; - let InOperandList = !con(iops, (ins pred:$p, s_cc_out:$s)); - let AsmString = !strconcat(opc, !strconcat("${s}${p}", asm)); - let Pattern = pattern; - list Predicates = [IsThumb2]; -} - // Special cases class Thumb2XI pattern> : Thumb2sI; -class T2sI_cpsr pattern> - : Thumb2sI_cpsr; - class T2XI pattern> : Thumb2XI; diff --git a/lib/Target/ARM/ARMInstrThumb2.td b/lib/Target/ARM/ARMInstrThumb2.td index b3a7b6bb9fa..6ba0a44be47 100644 --- a/lib/Target/ARM/ARMInstrThumb2.td +++ b/lib/Target/ARM/ARMInstrThumb2.td @@ -249,57 +249,12 @@ multiclass T2I_bin_irs opcod, string opc, PatFrag opnode, } } -/// T2I_bin_cpsr_irs - Defines a set of (op reg, {so_imm|r|so_reg}) patterns for -/// a binary operation that produces a value. These are predicable and modify -/// CPSR. -multiclass T2I_bin_cpsr_irs opcod, string opc, PatFrag opnode, - bit Commutable = 0, string wide = ""> { - // shifted imm - def ri : T2sI_cpsr<(outs rGPR:$dst), (ins rGPR:$lhs, t2_so_imm:$rhs), - IIC_iALUi, opc, "\t$dst, $lhs, $rhs", - [(set rGPR:$dst, (opnode rGPR:$lhs, t2_so_imm:$rhs))]> { - let Inst{31-27} = 0b11110; - let Inst{25} = 0; - let Inst{24-21} = opcod; - let Inst{20} = 1; // The S bit. - let Inst{15} = 0; - } - // register - def rr : T2sI_cpsr<(outs rGPR:$dst), (ins rGPR:$lhs, rGPR:$rhs), - IIC_iALUr, opc, !strconcat(wide, "\t$dst, $lhs, $rhs"), - [(set rGPR:$dst, (opnode rGPR:$lhs, rGPR:$rhs))]> { - let isCommutable = Commutable; - let Inst{31-27} = 0b11101; - let Inst{26-25} = 0b01; - let Inst{24-21} = opcod; - let Inst{20} = 1; // The S bit. - let Inst{14-12} = 0b000; // imm3 - let Inst{7-6} = 0b00; // imm2 - let Inst{5-4} = 0b00; // type - } - // shifted register - def rs : T2sI_cpsr<(outs rGPR:$dst), (ins rGPR:$lhs, t2_so_reg:$rhs), - IIC_iALUsi, opc, !strconcat(wide, "\t$dst, $lhs, $rhs"), - [(set rGPR:$dst, (opnode rGPR:$lhs, t2_so_reg:$rhs))]> { - let Inst{31-27} = 0b11101; - let Inst{26-25} = 0b01; - let Inst{24-21} = opcod; - let Inst{20} = 1; // The S bit. - } -} - /// T2I_bin_w_irs - Same as T2I_bin_irs except these operations need // the ".w" prefix to indicate that they are wide. multiclass T2I_bin_w_irs opcod, string opc, PatFrag opnode, bit Commutable = 0> : T2I_bin_irs; -/// T2I_bin_sw_irs - Same as T2I_bin_w_irs except these operations set -// the 'S' bit. -multiclass T2I_bin_sw_irs opcod, string opc, PatFrag opnode, - bit Commutable = 0> : - T2I_bin_cpsr_irs; - /// T2I_rbin_is - Same as T2I_bin_irs except the order of operands are /// reversed. The 'rr' form is only defined for the disassembler; for codegen /// it is equivalent to the T2I_bin_irs counterpart. @@ -1680,9 +1635,8 @@ defm t2EOR : T2I_bin_w_irs<0b0100, "eor", defm t2BIC : T2I_bin_w_irs<0b0001, "bic", BinOpFrag<(and node:$LHS, (not node:$RHS))>>; -//let Defs = [CPSR] in -defm t2ANDS : T2I_bin_sw_irs<0b0000, "and", - BinOpFrag<(ARMand node:$LHS, node:$RHS)>, 1>; +defm t2ANDS : T2I_bin_s_irs<0b0000, "and", + BinOpFrag<(ARMand node:$LHS, node:$RHS)>, 1>; let Constraints = "$src = $dst" in def t2BFC : T2I<(outs rGPR:$dst), (ins rGPR:$src, bf_inv_mask_imm:$imm), -- 2.34.1