Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 1 | def addrimm12 : ComplexPattern<iPTR, 2, "selectIntAddrMM", [frameindex]>; |
| 2 | |
Zoran Jovanovic | b26f889 | 2014-10-10 13:45:34 +0000 | [diff] [blame] | 3 | def simm4 : Operand<i32>; |
| 4 | |
Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 5 | def simm12 : Operand<i32> { |
| 6 | let DecoderMethod = "DecodeSimm12"; |
| 7 | } |
| 8 | |
Zoran Jovanovic | c74e3eb9 | 2014-09-12 14:29:54 +0000 | [diff] [blame] | 9 | def uimm5_lsl2 : Operand<OtherVT> { |
| 10 | let EncoderMethod = "getUImm5Lsl2Encoding"; |
| 11 | } |
| 12 | |
Zoran Jovanovic | 98bd58c | 2014-10-10 14:37:30 +0000 | [diff] [blame] | 13 | def simm9_addiusp : Operand<i32> { |
| 14 | let EncoderMethod = "getSImm9AddiuspValue"; |
| 15 | } |
| 16 | |
Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 17 | def mem_mm_12 : Operand<i32> { |
| 18 | let PrintMethod = "printMemOperand"; |
| 19 | let MIOperandInfo = (ops GPR32, simm12); |
| 20 | let EncoderMethod = "getMemEncodingMMImm12"; |
| 21 | let ParserMatchClass = MipsMemAsmOperand; |
| 22 | let OperandType = "OPERAND_MEMORY"; |
| 23 | } |
| 24 | |
Zoran Jovanovic | 507e084 | 2013-10-29 16:38:59 +0000 | [diff] [blame] | 25 | def jmptarget_mm : Operand<OtherVT> { |
| 26 | let EncoderMethod = "getJumpTargetOpValueMM"; |
| 27 | } |
| 28 | |
| 29 | def calltarget_mm : Operand<iPTR> { |
| 30 | let EncoderMethod = "getJumpTargetOpValueMM"; |
| 31 | } |
| 32 | |
Zoran Jovanovic | 8a80aa7 | 2013-11-04 14:53:22 +0000 | [diff] [blame] | 33 | def brtarget_mm : Operand<OtherVT> { |
| 34 | let EncoderMethod = "getBranchTargetOpValueMM"; |
| 35 | let OperandType = "OPERAND_PCREL"; |
| 36 | let DecoderMethod = "DecodeBranchTargetMM"; |
| 37 | } |
| 38 | |
Zoran Jovanovic | 73ff948 | 2014-08-14 12:09:10 +0000 | [diff] [blame] | 39 | class CompactBranchMM<string opstr, DAGOperand opnd, PatFrag cond_op, |
| 40 | RegisterOperand RO> : |
| 41 | InstSE<(outs), (ins RO:$rs, opnd:$offset), |
| 42 | !strconcat(opstr, "\t$rs, $offset"), [], IIBranch, FrmI> { |
| 43 | let isBranch = 1; |
| 44 | let isTerminator = 1; |
| 45 | let hasDelaySlot = 0; |
| 46 | let Defs = [AT]; |
| 47 | } |
| 48 | |
Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 49 | let canFoldAsLoad = 1 in |
| 50 | class LoadLeftRightMM<string opstr, SDNode OpNode, RegisterOperand RO, |
| 51 | Operand MemOpnd> : |
| 52 | InstSE<(outs RO:$rt), (ins MemOpnd:$addr, RO:$src), |
| 53 | !strconcat(opstr, "\t$rt, $addr"), |
| 54 | [(set RO:$rt, (OpNode addrimm12:$addr, RO:$src))], |
| 55 | NoItinerary, FrmI> { |
Vladimir Medic | dde3d58 | 2013-09-06 12:30:36 +0000 | [diff] [blame] | 56 | let DecoderMethod = "DecodeMemMMImm12"; |
Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 57 | string Constraints = "$src = $rt"; |
| 58 | } |
| 59 | |
| 60 | class StoreLeftRightMM<string opstr, SDNode OpNode, RegisterOperand RO, |
| 61 | Operand MemOpnd>: |
| 62 | InstSE<(outs), (ins RO:$rt, MemOpnd:$addr), |
| 63 | !strconcat(opstr, "\t$rt, $addr"), |
Vladimir Medic | dde3d58 | 2013-09-06 12:30:36 +0000 | [diff] [blame] | 64 | [(OpNode RO:$rt, addrimm12:$addr)], NoItinerary, FrmI> { |
| 65 | let DecoderMethod = "DecodeMemMMImm12"; |
| 66 | } |
Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 67 | |
Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 68 | class LLBaseMM<string opstr, RegisterOperand RO> : |
| 69 | InstSE<(outs RO:$rt), (ins mem_mm_12:$addr), |
| 70 | !strconcat(opstr, "\t$rt, $addr"), [], NoItinerary, FrmI> { |
Zoran Jovanovic | 7d63392 | 2014-01-15 13:17:33 +0000 | [diff] [blame] | 71 | let DecoderMethod = "DecodeMemMMImm12"; |
Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 72 | let mayLoad = 1; |
| 73 | } |
| 74 | |
| 75 | class SCBaseMM<string opstr, RegisterOperand RO> : |
Zoran Jovanovic | 285cc28 | 2014-02-28 18:22:56 +0000 | [diff] [blame] | 76 | InstSE<(outs RO:$dst), (ins RO:$rt, mem_mm_12:$addr), |
Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 77 | !strconcat(opstr, "\t$rt, $addr"), [], NoItinerary, FrmI> { |
Zoran Jovanovic | 7d63392 | 2014-01-15 13:17:33 +0000 | [diff] [blame] | 78 | let DecoderMethod = "DecodeMemMMImm12"; |
Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 79 | let mayStore = 1; |
Zoran Jovanovic | 285cc28 | 2014-02-28 18:22:56 +0000 | [diff] [blame] | 80 | let Constraints = "$rt = $dst"; |
Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 81 | } |
| 82 | |
Zoran Jovanovic | d4cb61c | 2014-01-15 13:01:18 +0000 | [diff] [blame] | 83 | class LoadMM<string opstr, DAGOperand RO, SDPatternOperator OpNode = null_frag, |
| 84 | InstrItinClass Itin = NoItinerary> : |
| 85 | InstSE<(outs RO:$rt), (ins mem_mm_12:$addr), |
| 86 | !strconcat(opstr, "\t$rt, $addr"), |
| 87 | [(set RO:$rt, (OpNode addrimm12:$addr))], Itin, FrmI> { |
| 88 | let DecoderMethod = "DecodeMemMMImm12"; |
| 89 | let canFoldAsLoad = 1; |
| 90 | let mayLoad = 1; |
| 91 | } |
| 92 | |
Zoran Jovanovic | 81ceebc | 2014-10-21 08:32:40 +0000 | [diff] [blame^] | 93 | class LogicRMM16<string opstr, RegisterOperand RO, |
| 94 | InstrItinClass Itin = NoItinerary, |
| 95 | SDPatternOperator OpNode = null_frag> : |
| 96 | MicroMipsInst16<(outs RO:$dst), (ins RO:$rs, RO:$rt), |
| 97 | !strconcat(opstr, "\t$rt, $rs"), |
| 98 | [(set RO:$dst, (OpNode RO:$rs, RO:$rt))], Itin, FrmR> { |
| 99 | let isCommutable = 1; |
| 100 | let Constraints = "$rt = $dst"; |
| 101 | } |
| 102 | |
| 103 | class NotMM16<string opstr, RegisterOperand RO> : |
| 104 | MicroMipsInst16<(outs RO:$rt), (ins RO:$rs), |
| 105 | !strconcat(opstr, "\t$rt, $rs"), |
| 106 | [(set RO:$rt, (not RO:$rs))], NoItinerary, FrmR>; |
| 107 | |
Zoran Jovanovic | b26f889 | 2014-10-10 13:45:34 +0000 | [diff] [blame] | 108 | class AddImmUS5<string opstr, RegisterOperand RO> : |
| 109 | MicroMipsInst16<(outs RO:$dst), (ins RO:$rd, simm4:$imm), |
| 110 | !strconcat(opstr, "\t$rd, $imm"), [], NoItinerary, FrmR> { |
| 111 | let Constraints = "$rd = $dst"; |
| 112 | let isCommutable = 1; |
| 113 | } |
| 114 | |
Zoran Jovanovic | 98bd58c | 2014-10-10 14:37:30 +0000 | [diff] [blame] | 115 | class AddImmUSP<string opstr> : |
| 116 | MicroMipsInst16<(outs), (ins simm9_addiusp:$imm), |
| 117 | !strconcat(opstr, "\t$imm"), [], NoItinerary, FrmI>; |
| 118 | |
Zoran Jovanovic | cabf0f4 | 2014-04-03 12:47:34 +0000 | [diff] [blame] | 119 | class MoveFromHILOMM<string opstr, RegisterOperand RO, Register UseReg> : |
| 120 | MicroMipsInst16<(outs RO:$rd), (ins), !strconcat(opstr, "\t$rd"), |
| 121 | [], II_MFHI_MFLO, FrmR> { |
| 122 | let Uses = [UseReg]; |
| 123 | let hasSideEffects = 0; |
| 124 | } |
| 125 | |
Zoran Jovanovic | 87d13e5 | 2014-03-20 10:18:24 +0000 | [diff] [blame] | 126 | class MoveMM16<string opstr, RegisterOperand RO, bit isComm = 0, |
| 127 | InstrItinClass Itin = NoItinerary> : |
| 128 | MicroMipsInst16<(outs RO:$rd), (ins RO:$rs), |
| 129 | !strconcat(opstr, "\t$rd, $rs"), [], Itin, FrmR> { |
| 130 | let isCommutable = isComm; |
| 131 | let isReMaterializable = 1; |
| 132 | } |
| 133 | |
Zoran Jovanovic | 87d13e5 | 2014-03-20 10:18:24 +0000 | [diff] [blame] | 134 | // 16-bit Jump and Link (Call) |
| 135 | class JumpLinkRegMM16<string opstr, RegisterOperand RO> : |
| 136 | MicroMipsInst16<(outs), (ins RO:$rs), !strconcat(opstr, "\t$rs"), |
Zoran Jovanovic | 9b05a31 | 2014-03-31 14:00:10 +0000 | [diff] [blame] | 137 | [(MipsJmpLink RO:$rs)], IIBranch, FrmR> { |
Zoran Jovanovic | 87d13e5 | 2014-03-20 10:18:24 +0000 | [diff] [blame] | 138 | let isCall = 1; |
| 139 | let hasDelaySlot = 1; |
| 140 | let Defs = [RA]; |
| 141 | } |
| 142 | |
Zoran Jovanovic | 95e14e7 | 2014-10-10 14:02:44 +0000 | [diff] [blame] | 143 | // 16-bit Jump Reg |
| 144 | class JumpRegMM16<string opstr, RegisterOperand RO> : |
| 145 | MicroMipsInst16<(outs), (ins RO:$rs), !strconcat(opstr, "\t$rs"), |
| 146 | [], IIBranch, FrmR> { |
| 147 | let hasDelaySlot = 1; |
| 148 | let isBranch = 1; |
| 149 | let isIndirectBranch = 1; |
| 150 | } |
| 151 | |
Zoran Jovanovic | c74e3eb9 | 2014-09-12 14:29:54 +0000 | [diff] [blame] | 152 | // Base class for JRADDIUSP instruction. |
| 153 | class JumpRAddiuStackMM16 : |
| 154 | MicroMipsInst16<(outs), (ins uimm5_lsl2:$imm), "jraddiusp\t$imm", |
| 155 | [], IIBranch, FrmR> { |
| 156 | let isTerminator = 1; |
| 157 | let isBarrier = 1; |
| 158 | let hasDelaySlot = 1; |
| 159 | let isBranch = 1; |
| 160 | let isIndirectBranch = 1; |
| 161 | } |
| 162 | |
Zoran Jovanovic | 6097bad | 2014-10-10 13:22:28 +0000 | [diff] [blame] | 163 | // 16-bit Jump and Link (Call) - Short Delay Slot |
| 164 | class JumpLinkRegSMM16<string opstr, RegisterOperand RO> : |
| 165 | MicroMipsInst16<(outs), (ins RO:$rs), !strconcat(opstr, "\t$rs"), |
| 166 | [], IIBranch, FrmR> { |
| 167 | let isCall = 1; |
| 168 | let hasDelaySlot = 1; |
| 169 | let Defs = [RA]; |
| 170 | } |
| 171 | |
Zoran Jovanovic | b39a174f | 2014-10-10 13:31:18 +0000 | [diff] [blame] | 172 | // 16-bit Jump Register Compact - No delay slot |
| 173 | class JumpRegCMM16<string opstr, RegisterOperand RO> : |
| 174 | MicroMipsInst16<(outs), (ins RO:$rs), !strconcat(opstr, "\t$rs"), |
| 175 | [], IIBranch, FrmR> { |
| 176 | let isTerminator = 1; |
| 177 | let isBarrier = 1; |
| 178 | let isBranch = 1; |
| 179 | let isIndirectBranch = 1; |
| 180 | } |
| 181 | |
Zoran Jovanovic | ac9ef12 | 2014-09-12 13:43:41 +0000 | [diff] [blame] | 182 | // MicroMIPS Jump and Link (Call) - Short Delay Slot |
| 183 | let isCall = 1, hasDelaySlot = 1, Defs = [RA] in { |
| 184 | class JumpLinkMM<string opstr, DAGOperand opnd> : |
| 185 | InstSE<(outs), (ins opnd:$target), !strconcat(opstr, "\t$target"), |
| 186 | [], IIBranch, FrmJ, opstr> { |
| 187 | let DecoderMethod = "DecodeJumpTargetMM"; |
| 188 | } |
| 189 | |
| 190 | class JumpLinkRegMM<string opstr, RegisterOperand RO>: |
| 191 | InstSE<(outs RO:$rd), (ins RO:$rs), !strconcat(opstr, "\t$rd, $rs"), |
| 192 | [], IIBranch, FrmR>; |
Zoran Jovanovic | ed6dd6b | 2014-09-12 13:51:58 +0000 | [diff] [blame] | 193 | |
| 194 | class BranchCompareToZeroLinkMM<string opstr, DAGOperand opnd, |
| 195 | RegisterOperand RO> : |
| 196 | InstSE<(outs), (ins RO:$rs, opnd:$offset), |
| 197 | !strconcat(opstr, "\t$rs, $offset"), [], IIBranch, FrmI, opstr>; |
Zoran Jovanovic | ac9ef12 | 2014-09-12 13:43:41 +0000 | [diff] [blame] | 198 | } |
| 199 | |
Zoran Jovanovic | 81ceebc | 2014-10-21 08:32:40 +0000 | [diff] [blame^] | 200 | def AND16_MM : LogicRMM16<"and16", GPRMM16Opnd, II_AND, and>, |
| 201 | LOGIC_FM_MM16<0x2>; |
| 202 | def OR16_MM : LogicRMM16<"or16", GPRMM16Opnd, II_OR, or>, |
| 203 | LOGIC_FM_MM16<0x3>; |
| 204 | def XOR16_MM : LogicRMM16<"xor16", GPRMM16Opnd, II_XOR, xor>, |
| 205 | LOGIC_FM_MM16<0x1>; |
| 206 | def NOT16_MM : NotMM16<"not16", GPRMM16Opnd>, LOGIC_FM_MM16<0x0>; |
Zoran Jovanovic | b26f889 | 2014-10-10 13:45:34 +0000 | [diff] [blame] | 207 | def ADDIUS5_MM : AddImmUS5<"addius5", GPR32Opnd>, ADDIUS5_FM_MM16; |
Zoran Jovanovic | 98bd58c | 2014-10-10 14:37:30 +0000 | [diff] [blame] | 208 | def ADDIUSP_MM : AddImmUSP<"addiusp">, ADDIUSP_FM_MM16; |
Zoran Jovanovic | cabf0f4 | 2014-04-03 12:47:34 +0000 | [diff] [blame] | 209 | def MFHI16_MM : MoveFromHILOMM<"mfhi", GPR32Opnd, AC0>, MFHILO_FM_MM16<0x10>; |
| 210 | def MFLO16_MM : MoveFromHILOMM<"mflo", GPR32Opnd, AC0>, MFHILO_FM_MM16<0x12>; |
Zoran Jovanovic | 87d13e5 | 2014-03-20 10:18:24 +0000 | [diff] [blame] | 211 | def MOVE16_MM : MoveMM16<"move", GPR32Opnd>, MOVE_FM_MM16<0x03>; |
| 212 | def JALR16_MM : JumpLinkRegMM16<"jalr", GPR32Opnd>, JALR_FM_MM16<0x0e>; |
Zoran Jovanovic | 6097bad | 2014-10-10 13:22:28 +0000 | [diff] [blame] | 213 | def JALRS16_MM : JumpLinkRegSMM16<"jalrs16", GPR32Opnd>, JALR_FM_MM16<0x0f>; |
Zoran Jovanovic | b39a174f | 2014-10-10 13:31:18 +0000 | [diff] [blame] | 214 | def JRC16_MM : JumpRegCMM16<"jrc", GPR32Opnd>, JALR_FM_MM16<0x0d>; |
Zoran Jovanovic | c74e3eb9 | 2014-09-12 14:29:54 +0000 | [diff] [blame] | 215 | def JRADDIUSP : JumpRAddiuStackMM16, JRADDIUSP_FM_MM16<0x18>; |
Zoran Jovanovic | 95e14e7 | 2014-10-10 14:02:44 +0000 | [diff] [blame] | 216 | def JR16_MM : JumpRegMM16<"jr16", GPR32Opnd>, JALR_FM_MM16<0x0c>; |
Zoran Jovanovic | 87d13e5 | 2014-03-20 10:18:24 +0000 | [diff] [blame] | 217 | |
Zoran Jovanovic | a0f5328 | 2014-03-20 10:41:37 +0000 | [diff] [blame] | 218 | class WaitMM<string opstr> : |
| 219 | InstSE<(outs), (ins uimm10:$code_), !strconcat(opstr, "\t$code_"), [], |
| 220 | NoItinerary, FrmOther, opstr>; |
| 221 | |
Akira Hatanaka | a43b56d | 2013-08-20 20:46:51 +0000 | [diff] [blame] | 222 | let DecoderNamespace = "MicroMips", Predicates = [InMicroMips] in { |
Zoran Jovanovic | 73ff948 | 2014-08-14 12:09:10 +0000 | [diff] [blame] | 223 | /// Compact Branch Instructions |
| 224 | def BEQZC_MM : CompactBranchMM<"beqzc", brtarget_mm, seteq, GPR32Opnd>, |
| 225 | COMPACT_BRANCH_FM_MM<0x7>; |
| 226 | def BNEZC_MM : CompactBranchMM<"bnezc", brtarget_mm, setne, GPR32Opnd>, |
| 227 | COMPACT_BRANCH_FM_MM<0x5>; |
| 228 | |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 229 | /// Arithmetic Instructions (ALU Immediate) |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 230 | def ADDiu_MM : MMRel, ArithLogicI<"addiu", simm16, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 231 | ADDI_FM_MM<0xc>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 232 | def ADDi_MM : MMRel, ArithLogicI<"addi", simm16, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 233 | ADDI_FM_MM<0x4>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 234 | def SLTi_MM : MMRel, SetCC_I<"slti", setlt, simm16, immSExt16, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 235 | SLTI_FM_MM<0x24>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 236 | def SLTiu_MM : MMRel, SetCC_I<"sltiu", setult, simm16, immSExt16, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 237 | SLTI_FM_MM<0x2c>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 238 | def ANDi_MM : MMRel, ArithLogicI<"andi", uimm16, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 239 | ADDI_FM_MM<0x34>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 240 | def ORi_MM : MMRel, ArithLogicI<"ori", uimm16, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 241 | ADDI_FM_MM<0x14>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 242 | def XORi_MM : MMRel, ArithLogicI<"xori", uimm16, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 243 | ADDI_FM_MM<0x1c>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 244 | def LUi_MM : MMRel, LoadUpper<"lui", GPR32Opnd, uimm16>, LUI_FM_MM; |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 245 | |
Zoran Jovanovic | bd28c37 | 2013-12-25 10:14:07 +0000 | [diff] [blame] | 246 | def LEA_ADDiu_MM : MMRel, EffectiveAddress<"addiu", GPR32Opnd>, |
| 247 | LW_FM_MM<0xc>; |
| 248 | |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 249 | /// Arithmetic Instructions (3-Operand, R-Type) |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 250 | def ADDu_MM : MMRel, ArithLogicR<"addu", GPR32Opnd>, ADD_FM_MM<0, 0x150>; |
| 251 | def SUBu_MM : MMRel, ArithLogicR<"subu", GPR32Opnd>, ADD_FM_MM<0, 0x1d0>; |
| 252 | def MUL_MM : MMRel, ArithLogicR<"mul", GPR32Opnd>, ADD_FM_MM<0, 0x210>; |
| 253 | def ADD_MM : MMRel, ArithLogicR<"add", GPR32Opnd>, ADD_FM_MM<0, 0x110>; |
| 254 | def SUB_MM : MMRel, ArithLogicR<"sub", GPR32Opnd>, ADD_FM_MM<0, 0x190>; |
| 255 | def SLT_MM : MMRel, SetCC_R<"slt", setlt, GPR32Opnd>, ADD_FM_MM<0, 0x350>; |
| 256 | def SLTu_MM : MMRel, SetCC_R<"sltu", setult, GPR32Opnd>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 257 | ADD_FM_MM<0, 0x390>; |
Daniel Sanders | 4aefdc7 | 2014-01-16 17:13:57 +0000 | [diff] [blame] | 258 | def AND_MM : MMRel, ArithLogicR<"and", GPR32Opnd, 1, II_AND, and>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 259 | ADD_FM_MM<0, 0x250>; |
Daniel Sanders | 4aefdc7 | 2014-01-16 17:13:57 +0000 | [diff] [blame] | 260 | def OR_MM : MMRel, ArithLogicR<"or", GPR32Opnd, 1, II_OR, or>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 261 | ADD_FM_MM<0, 0x290>; |
Daniel Sanders | 4aefdc7 | 2014-01-16 17:13:57 +0000 | [diff] [blame] | 262 | def XOR_MM : MMRel, ArithLogicR<"xor", GPR32Opnd, 1, II_XOR, xor>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 263 | ADD_FM_MM<0, 0x310>; |
Akira Hatanaka | 13e6ccf | 2013-08-06 23:08:38 +0000 | [diff] [blame] | 264 | def NOR_MM : MMRel, LogicNOR<"nor", GPR32Opnd>, ADD_FM_MM<0, 0x2d0>; |
Daniel Sanders | e95a137 | 2014-01-17 14:32:41 +0000 | [diff] [blame] | 265 | def MULT_MM : MMRel, Mult<"mult", II_MULT, GPR32Opnd, [HI0, LO0]>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 266 | MULT_FM_MM<0x22c>; |
Daniel Sanders | e95a137 | 2014-01-17 14:32:41 +0000 | [diff] [blame] | 267 | def MULTu_MM : MMRel, Mult<"multu", II_MULTU, GPR32Opnd, [HI0, LO0]>, |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 268 | MULT_FM_MM<0x26c>; |
Daniel Sanders | c7a9f8d | 2014-01-17 14:48:06 +0000 | [diff] [blame] | 269 | def SDIV_MM : MMRel, Div<"div", II_DIV, GPR32Opnd, [HI0, LO0]>, |
Zoran Jovanovic | 3671a54 | 2013-09-14 07:15:21 +0000 | [diff] [blame] | 270 | MULT_FM_MM<0x2ac>; |
Daniel Sanders | c7a9f8d | 2014-01-17 14:48:06 +0000 | [diff] [blame] | 271 | def UDIV_MM : MMRel, Div<"divu", II_DIVU, GPR32Opnd, [HI0, LO0]>, |
Zoran Jovanovic | 3671a54 | 2013-09-14 07:15:21 +0000 | [diff] [blame] | 272 | MULT_FM_MM<0x2ec>; |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 273 | |
| 274 | /// Shift Instructions |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 275 | def SLL_MM : MMRel, shift_rotate_imm<"sll", uimm5, GPR32Opnd, II_SLL>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 276 | SRA_FM_MM<0, 0>; |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 277 | def SRL_MM : MMRel, shift_rotate_imm<"srl", uimm5, GPR32Opnd, II_SRL>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 278 | SRA_FM_MM<0x40, 0>; |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 279 | def SRA_MM : MMRel, shift_rotate_imm<"sra", uimm5, GPR32Opnd, II_SRA>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 280 | SRA_FM_MM<0x80, 0>; |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 281 | def SLLV_MM : MMRel, shift_rotate_reg<"sllv", GPR32Opnd, II_SLLV>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 282 | SRLV_FM_MM<0x10, 0>; |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 283 | def SRLV_MM : MMRel, shift_rotate_reg<"srlv", GPR32Opnd, II_SRLV>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 284 | SRLV_FM_MM<0x50, 0>; |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 285 | def SRAV_MM : MMRel, shift_rotate_reg<"srav", GPR32Opnd, II_SRAV>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 286 | SRLV_FM_MM<0x90, 0>; |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 287 | def ROTR_MM : MMRel, shift_rotate_imm<"rotr", uimm5, GPR32Opnd, II_ROTR>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 288 | SRA_FM_MM<0xc0, 0>; |
Daniel Sanders | 980589a | 2014-01-16 14:27:20 +0000 | [diff] [blame] | 289 | def ROTRV_MM : MMRel, shift_rotate_reg<"rotrv", GPR32Opnd, II_ROTRV>, |
Akira Hatanaka | cd9b74a | 2013-04-25 01:11:15 +0000 | [diff] [blame] | 290 | SRLV_FM_MM<0xd0, 0>; |
Akira Hatanaka | f0aa6c9 | 2013-04-25 01:21:25 +0000 | [diff] [blame] | 291 | |
| 292 | /// Load and Store Instructions - aligned |
Vladimir Medic | dde3d58 | 2013-09-06 12:30:36 +0000 | [diff] [blame] | 293 | let DecoderMethod = "DecodeMemMMImm16" in { |
| 294 | def LB_MM : Load<"lb", GPR32Opnd>, MMRel, LW_FM_MM<0x7>; |
| 295 | def LBu_MM : Load<"lbu", GPR32Opnd>, MMRel, LW_FM_MM<0x5>; |
| 296 | def LH_MM : Load<"lh", GPR32Opnd>, MMRel, LW_FM_MM<0xf>; |
| 297 | def LHu_MM : Load<"lhu", GPR32Opnd>, MMRel, LW_FM_MM<0xd>; |
| 298 | def LW_MM : Load<"lw", GPR32Opnd>, MMRel, LW_FM_MM<0x3f>; |
| 299 | def SB_MM : Store<"sb", GPR32Opnd>, MMRel, LW_FM_MM<0x6>; |
| 300 | def SH_MM : Store<"sh", GPR32Opnd>, MMRel, LW_FM_MM<0xe>; |
| 301 | def SW_MM : Store<"sw", GPR32Opnd>, MMRel, LW_FM_MM<0x3e>; |
| 302 | } |
Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 303 | |
Daniel Sanders | 0b385ac | 2014-01-21 15:21:14 +0000 | [diff] [blame] | 304 | def LWU_MM : LoadMM<"lwu", GPR32Opnd, zextloadi32, II_LWU>, LL_FM_MM<0xe>; |
Zoran Jovanovic | d4cb61c | 2014-01-15 13:01:18 +0000 | [diff] [blame] | 305 | |
Jack Carter | 9770097 | 2013-08-13 20:19:16 +0000 | [diff] [blame] | 306 | /// Load and Store Instructions - unaligned |
Akira Hatanaka | a43b56d | 2013-08-20 20:46:51 +0000 | [diff] [blame] | 307 | def LWL_MM : LoadLeftRightMM<"lwl", MipsLWL, GPR32Opnd, mem_mm_12>, |
| 308 | LWL_FM_MM<0x0>; |
| 309 | def LWR_MM : LoadLeftRightMM<"lwr", MipsLWR, GPR32Opnd, mem_mm_12>, |
| 310 | LWL_FM_MM<0x1>; |
| 311 | def SWL_MM : StoreLeftRightMM<"swl", MipsSWL, GPR32Opnd, mem_mm_12>, |
| 312 | LWL_FM_MM<0x8>; |
| 313 | def SWR_MM : StoreLeftRightMM<"swr", MipsSWR, GPR32Opnd, mem_mm_12>, |
| 314 | LWL_FM_MM<0x9>; |
Vladimir Medic | e0fbb44 | 2013-09-06 12:41:17 +0000 | [diff] [blame] | 315 | |
| 316 | /// Move Conditional |
| 317 | def MOVZ_I_MM : MMRel, CMov_I_I_FT<"movz", GPR32Opnd, GPR32Opnd, |
| 318 | NoItinerary>, ADD_FM_MM<0, 0x58>; |
| 319 | def MOVN_I_MM : MMRel, CMov_I_I_FT<"movn", GPR32Opnd, GPR32Opnd, |
| 320 | NoItinerary>, ADD_FM_MM<0, 0x18>; |
Daniel Sanders | 4aefdc7 | 2014-01-16 17:13:57 +0000 | [diff] [blame] | 321 | def MOVT_I_MM : MMRel, CMov_F_I_FT<"movt", GPR32Opnd, II_MOVT>, |
Vladimir Medic | e0fbb44 | 2013-09-06 12:41:17 +0000 | [diff] [blame] | 322 | CMov_F_I_FM_MM<0x25>; |
Daniel Sanders | 4aefdc7 | 2014-01-16 17:13:57 +0000 | [diff] [blame] | 323 | def MOVF_I_MM : MMRel, CMov_F_I_FT<"movf", GPR32Opnd, II_MOVF>, |
Vladimir Medic | e0fbb44 | 2013-09-06 12:41:17 +0000 | [diff] [blame] | 324 | CMov_F_I_FM_MM<0x5>; |
Vladimir Medic | 457ba56 | 2013-09-06 12:53:21 +0000 | [diff] [blame] | 325 | |
| 326 | /// Move to/from HI/LO |
| 327 | def MTHI_MM : MMRel, MoveToLOHI<"mthi", GPR32Opnd, [HI0]>, |
| 328 | MTLO_FM_MM<0x0b5>; |
| 329 | def MTLO_MM : MMRel, MoveToLOHI<"mtlo", GPR32Opnd, [LO0]>, |
| 330 | MTLO_FM_MM<0x0f5>; |
Akira Hatanaka | 1604833 | 2013-10-07 18:49:46 +0000 | [diff] [blame] | 331 | def MFHI_MM : MMRel, MoveFromLOHI<"mfhi", GPR32Opnd, AC0>, |
Vladimir Medic | 457ba56 | 2013-09-06 12:53:21 +0000 | [diff] [blame] | 332 | MFLO_FM_MM<0x035>; |
Akira Hatanaka | 1604833 | 2013-10-07 18:49:46 +0000 | [diff] [blame] | 333 | def MFLO_MM : MMRel, MoveFromLOHI<"mflo", GPR32Opnd, AC0>, |
Vladimir Medic | 457ba56 | 2013-09-06 12:53:21 +0000 | [diff] [blame] | 334 | MFLO_FM_MM<0x075>; |
Vladimir Medic | b936da1 | 2013-09-06 13:08:00 +0000 | [diff] [blame] | 335 | |
| 336 | /// Multiply Add/Sub Instructions |
Daniel Sanders | e95a137 | 2014-01-17 14:32:41 +0000 | [diff] [blame] | 337 | def MADD_MM : MMRel, MArithR<"madd", II_MADD, 1>, MULT_FM_MM<0x32c>; |
| 338 | def MADDU_MM : MMRel, MArithR<"maddu", II_MADDU, 1>, MULT_FM_MM<0x36c>; |
| 339 | def MSUB_MM : MMRel, MArithR<"msub", II_MSUB>, MULT_FM_MM<0x3ac>; |
| 340 | def MSUBU_MM : MMRel, MArithR<"msubu", II_MSUBU>, MULT_FM_MM<0x3ec>; |
Zoran Jovanovic | ab85278 | 2013-09-14 06:49:25 +0000 | [diff] [blame] | 341 | |
| 342 | /// Count Leading |
Daniel Sanders | 070fd1c | 2014-05-12 12:41:59 +0000 | [diff] [blame] | 343 | def CLZ_MM : MMRel, CountLeading0<"clz", GPR32Opnd>, CLO_FM_MM<0x16c>, |
| 344 | ISA_MIPS32; |
| 345 | def CLO_MM : MMRel, CountLeading1<"clo", GPR32Opnd>, CLO_FM_MM<0x12c>, |
| 346 | ISA_MIPS32; |
Zoran Jovanovic | ab85278 | 2013-09-14 06:49:25 +0000 | [diff] [blame] | 347 | |
| 348 | /// Sign Ext In Register Instructions. |
Daniel Sanders | fcea810 | 2014-05-12 12:28:15 +0000 | [diff] [blame] | 349 | def SEB_MM : MMRel, SignExtInReg<"seb", i8, GPR32Opnd, II_SEB>, |
| 350 | SEB_FM_MM<0x0ac>, ISA_MIPS32R2; |
| 351 | def SEH_MM : MMRel, SignExtInReg<"seh", i16, GPR32Opnd, II_SEH>, |
| 352 | SEB_FM_MM<0x0ec>, ISA_MIPS32R2; |
Zoran Jovanovic | ab85278 | 2013-09-14 06:49:25 +0000 | [diff] [blame] | 353 | |
| 354 | /// Word Swap Bytes Within Halfwords |
Daniel Sanders | 39d0051 | 2014-05-12 12:15:41 +0000 | [diff] [blame] | 355 | def WSBH_MM : MMRel, SubwordSwap<"wsbh", GPR32Opnd>, SEB_FM_MM<0x1ec>, |
| 356 | ISA_MIPS32R2; |
Zoran Jovanovic | ab85278 | 2013-09-14 06:49:25 +0000 | [diff] [blame] | 357 | |
| 358 | def EXT_MM : MMRel, ExtBase<"ext", GPR32Opnd, uimm5, MipsExt>, |
| 359 | EXT_FM_MM<0x2c>; |
| 360 | def INS_MM : MMRel, InsBase<"ins", GPR32Opnd, uimm5, MipsIns>, |
| 361 | EXT_FM_MM<0x0c>; |
Zoran Jovanovic | 507e084 | 2013-10-29 16:38:59 +0000 | [diff] [blame] | 362 | |
| 363 | /// Jump Instructions |
| 364 | let DecoderMethod = "DecodeJumpTargetMM" in { |
| 365 | def J_MM : MMRel, JumpFJ<jmptarget_mm, "j", br, bb, "j">, |
| 366 | J_FM_MM<0x35>; |
| 367 | def JAL_MM : MMRel, JumpLink<"jal", calltarget_mm>, J_FM_MM<0x3d>; |
Zoran Jovanovic | 507e084 | 2013-10-29 16:38:59 +0000 | [diff] [blame] | 368 | } |
| 369 | def JR_MM : MMRel, IndirectBranch<"jr", GPR32Opnd>, JR_FM_MM<0x3c>; |
Zoran Jovanovic | 87d13e5 | 2014-03-20 10:18:24 +0000 | [diff] [blame] | 370 | def JALR_MM : JumpLinkReg<"jalr", GPR32Opnd>, JALR_FM_MM<0x03c>; |
Zoran Jovanovic | 8a80aa7 | 2013-11-04 14:53:22 +0000 | [diff] [blame] | 371 | |
Zoran Jovanovic | ac9ef12 | 2014-09-12 13:43:41 +0000 | [diff] [blame] | 372 | /// Jump Instructions - Short Delay Slot |
| 373 | def JALS_MM : JumpLinkMM<"jals", calltarget_mm>, J_FM_MM<0x1d>; |
| 374 | def JALRS_MM : JumpLinkRegMM<"jalrs", GPR32Opnd>, JALR_FM_MM<0x13c>; |
| 375 | |
Zoran Jovanovic | 8a80aa7 | 2013-11-04 14:53:22 +0000 | [diff] [blame] | 376 | /// Branch Instructions |
| 377 | def BEQ_MM : MMRel, CBranch<"beq", brtarget_mm, seteq, GPR32Opnd>, |
| 378 | BEQ_FM_MM<0x25>; |
| 379 | def BNE_MM : MMRel, CBranch<"bne", brtarget_mm, setne, GPR32Opnd>, |
| 380 | BEQ_FM_MM<0x2d>; |
| 381 | def BGEZ_MM : MMRel, CBranchZero<"bgez", brtarget_mm, setge, GPR32Opnd>, |
| 382 | BGEZ_FM_MM<0x2>; |
| 383 | def BGTZ_MM : MMRel, CBranchZero<"bgtz", brtarget_mm, setgt, GPR32Opnd>, |
| 384 | BGEZ_FM_MM<0x6>; |
| 385 | def BLEZ_MM : MMRel, CBranchZero<"blez", brtarget_mm, setle, GPR32Opnd>, |
| 386 | BGEZ_FM_MM<0x4>; |
| 387 | def BLTZ_MM : MMRel, CBranchZero<"bltz", brtarget_mm, setlt, GPR32Opnd>, |
| 388 | BGEZ_FM_MM<0x0>; |
| 389 | def BGEZAL_MM : MMRel, BGEZAL_FT<"bgezal", brtarget_mm, GPR32Opnd>, |
| 390 | BGEZAL_FM_MM<0x03>; |
| 391 | def BLTZAL_MM : MMRel, BGEZAL_FT<"bltzal", brtarget_mm, GPR32Opnd>, |
| 392 | BGEZAL_FM_MM<0x01>; |
Zoran Jovanovic | c18b6d1 | 2013-11-07 14:35:24 +0000 | [diff] [blame] | 393 | |
Zoran Jovanovic | ed6dd6b | 2014-09-12 13:51:58 +0000 | [diff] [blame] | 394 | /// Branch Instructions - Short Delay Slot |
| 395 | def BGEZALS_MM : BranchCompareToZeroLinkMM<"bgezals", brtarget_mm, |
| 396 | GPR32Opnd>, BGEZAL_FM_MM<0x13>; |
| 397 | def BLTZALS_MM : BranchCompareToZeroLinkMM<"bltzals", brtarget_mm, |
| 398 | GPR32Opnd>, BGEZAL_FM_MM<0x11>; |
| 399 | |
Zoran Jovanovic | 8e918c3 | 2013-12-19 16:25:00 +0000 | [diff] [blame] | 400 | /// Control Instructions |
| 401 | def SYNC_MM : MMRel, SYNC_FT<"sync">, SYNC_FM_MM; |
| 402 | def BREAK_MM : MMRel, BRK_FT<"break">, BRK_FM_MM; |
| 403 | def SYSCALL_MM : MMRel, SYS_FT<"syscall">, SYS_FM_MM; |
Zoran Jovanovic | a0f5328 | 2014-03-20 10:41:37 +0000 | [diff] [blame] | 404 | def WAIT_MM : WaitMM<"wait">, WAIT_FM_MM; |
Zoran Jovanovic | 8e918c3 | 2013-12-19 16:25:00 +0000 | [diff] [blame] | 405 | def ERET_MM : MMRel, ER_FT<"eret">, ER_FM_MM<0x3cd>; |
| 406 | def DERET_MM : MMRel, ER_FT<"deret">, ER_FM_MM<0x38d>; |
Daniel Sanders | 387fc15 | 2014-05-13 11:45:36 +0000 | [diff] [blame] | 407 | def EI_MM : MMRel, DEI_FT<"ei", GPR32Opnd>, EI_FM_MM<0x15d>, |
| 408 | ISA_MIPS32R2; |
| 409 | def DI_MM : MMRel, DEI_FT<"di", GPR32Opnd>, EI_FM_MM<0x11d>, |
| 410 | ISA_MIPS32R2; |
Zoran Jovanovic | 8e918c3 | 2013-12-19 16:25:00 +0000 | [diff] [blame] | 411 | |
Zoran Jovanovic | c18b6d1 | 2013-11-07 14:35:24 +0000 | [diff] [blame] | 412 | /// Trap Instructions |
| 413 | def TEQ_MM : MMRel, TEQ_FT<"teq", GPR32Opnd>, TEQ_FM_MM<0x0>; |
| 414 | def TGE_MM : MMRel, TEQ_FT<"tge", GPR32Opnd>, TEQ_FM_MM<0x08>; |
| 415 | def TGEU_MM : MMRel, TEQ_FT<"tgeu", GPR32Opnd>, TEQ_FM_MM<0x10>; |
| 416 | def TLT_MM : MMRel, TEQ_FT<"tlt", GPR32Opnd>, TEQ_FM_MM<0x20>; |
| 417 | def TLTU_MM : MMRel, TEQ_FT<"tltu", GPR32Opnd>, TEQ_FM_MM<0x28>; |
| 418 | def TNE_MM : MMRel, TEQ_FT<"tne", GPR32Opnd>, TEQ_FM_MM<0x30>; |
Zoran Jovanovic | ccb70ca | 2013-11-13 13:15:03 +0000 | [diff] [blame] | 419 | |
| 420 | def TEQI_MM : MMRel, TEQI_FT<"teqi", GPR32Opnd>, TEQI_FM_MM<0x0e>; |
| 421 | def TGEI_MM : MMRel, TEQI_FT<"tgei", GPR32Opnd>, TEQI_FM_MM<0x09>; |
| 422 | def TGEIU_MM : MMRel, TEQI_FT<"tgeiu", GPR32Opnd>, TEQI_FM_MM<0x0b>; |
| 423 | def TLTI_MM : MMRel, TEQI_FT<"tlti", GPR32Opnd>, TEQI_FM_MM<0x08>; |
| 424 | def TLTIU_MM : MMRel, TEQI_FT<"tltiu", GPR32Opnd>, TEQI_FM_MM<0x0a>; |
| 425 | def TNEI_MM : MMRel, TEQI_FT<"tnei", GPR32Opnd>, TEQI_FM_MM<0x0c>; |
Zoran Jovanovic | ff9d5f3 | 2013-12-19 16:12:56 +0000 | [diff] [blame] | 426 | |
| 427 | /// Load-linked, Store-conditional |
| 428 | def LL_MM : LLBaseMM<"ll", GPR32Opnd>, LL_FM_MM<0x3>; |
| 429 | def SC_MM : SCBaseMM<"sc", GPR32Opnd>, LL_FM_MM<0xb>; |
Zoran Jovanovic | 4e7ac4a | 2014-09-12 13:33:33 +0000 | [diff] [blame] | 430 | |
| 431 | def TLBP_MM : MMRel, TLB<"tlbp">, COP0_TLB_FM_MM<0x0d>; |
| 432 | def TLBR_MM : MMRel, TLB<"tlbr">, COP0_TLB_FM_MM<0x4d>; |
| 433 | def TLBWI_MM : MMRel, TLB<"tlbwi">, COP0_TLB_FM_MM<0x8d>; |
| 434 | def TLBWR_MM : MMRel, TLB<"tlbwr">, COP0_TLB_FM_MM<0xcd>; |
Akira Hatanaka | be6a818 | 2013-04-19 19:03:11 +0000 | [diff] [blame] | 435 | } |
Zoran Jovanovic | a0f5328 | 2014-03-20 10:41:37 +0000 | [diff] [blame] | 436 | |
| 437 | //===----------------------------------------------------------------------===// |
| 438 | // MicroMips instruction aliases |
| 439 | //===----------------------------------------------------------------------===// |
| 440 | |
| 441 | let Predicates = [InMicroMips] in { |
Daniel Sanders | 7d290b0 | 2014-05-08 16:12:31 +0000 | [diff] [blame] | 442 | def : MipsInstAlias<"wait", (WAIT_MM 0x0), 1>; |
Zoran Jovanovic | a0f5328 | 2014-03-20 10:41:37 +0000 | [diff] [blame] | 443 | } |