SparcInstrAliases.td revision 276479
1//===-- SparcInstrAliases.td - Instruction Aliases for Sparc Target -------===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is distributed under the University of Illinois Open Source 6// License. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9// 10// This file contains instruction aliases for Sparc. 11//===----------------------------------------------------------------------===// 12 13// Instruction aliases for conditional moves. 14 15// mov<cond> <ccreg> rs2, rd 16multiclass intcond_mov_alias<string cond, int condVal, string ccreg, 17 Instruction movrr, Instruction movri, 18 Instruction fmovs, Instruction fmovd> { 19 20 // mov<cond> (%icc|%xcc), rs2, rd 21 def : InstAlias<!strconcat(!strconcat(!strconcat("mov", cond), ccreg), 22 ", $rs2, $rd"), 23 (movrr IntRegs:$rd, IntRegs:$rs2, condVal)>; 24 25 // mov<cond> (%icc|%xcc), simm11, rd 26 def : InstAlias<!strconcat(!strconcat(!strconcat("mov", cond), ccreg), 27 ", $simm11, $rd"), 28 (movri IntRegs:$rd, i32imm:$simm11, condVal)>; 29 30 // fmovs<cond> (%icc|%xcc), $rs2, $rd 31 def : InstAlias<!strconcat(!strconcat(!strconcat("fmovs", cond), ccreg), 32 ", $rs2, $rd"), 33 (fmovs FPRegs:$rd, FPRegs:$rs2, condVal)>; 34 35 // fmovd<cond> (%icc|%xcc), $rs2, $rd 36 def : InstAlias<!strconcat(!strconcat(!strconcat("fmovd", cond), ccreg), 37 ", $rs2, $rd"), 38 (fmovd DFPRegs:$rd, DFPRegs:$rs2, condVal)>; 39} 40 41// mov<cond> <ccreg> rs2, rd 42multiclass fpcond_mov_alias<string cond, int condVal, 43 Instruction movrr, Instruction movri, 44 Instruction fmovs, Instruction fmovd> { 45 46 // mov<cond> %fcc[0-3], rs2, rd 47 def : InstAlias<!strconcat(!strconcat("mov", cond), " $cc, $rs2, $rd"), 48 (movrr IntRegs:$rd, FCCRegs:$cc, IntRegs:$rs2, condVal)>; 49 50 // mov<cond> %fcc[0-3], simm11, rd 51 def : InstAlias<!strconcat(!strconcat("mov", cond), " $cc, $simm11, $rd"), 52 (movri IntRegs:$rd, FCCRegs:$cc, i32imm:$simm11, condVal)>; 53 54 // fmovs<cond> %fcc[0-3], $rs2, $rd 55 def : InstAlias<!strconcat(!strconcat("fmovs", cond), " $cc, $rs2, $rd"), 56 (fmovs FPRegs:$rd, FCCRegs:$cc, FPRegs:$rs2, condVal)>; 57 58 // fmovd<cond> %fcc[0-3], $rs2, $rd 59 def : InstAlias<!strconcat(!strconcat("fmovd", cond), " $cc, $rs2, $rd"), 60 (fmovd DFPRegs:$rd, FCCRegs:$cc, DFPRegs:$rs2, condVal)>; 61} 62 63// Instruction aliases for integer conditional branches and moves. 64multiclass int_cond_alias<string cond, int condVal> { 65 66 // b<cond> $imm 67 def : InstAlias<!strconcat(!strconcat("b", cond), " $imm"), 68 (BCOND brtarget:$imm, condVal)>; 69 70 // b<cond>,a $imm 71 def : InstAlias<!strconcat(!strconcat("b", cond), ",a $imm"), 72 (BCONDA brtarget:$imm, condVal)>; 73 74 // b<cond> %icc, $imm 75 def : InstAlias<!strconcat(!strconcat("b", cond), " %icc, $imm"), 76 (BPICC brtarget:$imm, condVal)>, Requires<[HasV9]>; 77 78 // b<cond>,pt %icc, $imm 79 def : InstAlias<!strconcat(!strconcat("b", cond), ",pt %icc, $imm"), 80 (BPICC brtarget:$imm, condVal)>, Requires<[HasV9]>; 81 82 // b<cond>,a %icc, $imm 83 def : InstAlias<!strconcat(!strconcat("b", cond), ",a %icc, $imm"), 84 (BPICCA brtarget:$imm, condVal)>, Requires<[HasV9]>; 85 86 // b<cond>,a,pt %icc, $imm 87 def : InstAlias<!strconcat(!strconcat("b", cond), ",a,pt %icc, $imm"), 88 (BPICCA brtarget:$imm, condVal)>, Requires<[HasV9]>; 89 90 // b<cond>,pn %icc, $imm 91 def : InstAlias<!strconcat(!strconcat("b", cond), ",pn %icc, $imm"), 92 (BPICCNT brtarget:$imm, condVal)>, Requires<[HasV9]>; 93 94 // b<cond>,a,pn %icc, $imm 95 def : InstAlias<!strconcat(!strconcat("b", cond), ",a,pn %icc, $imm"), 96 (BPICCANT brtarget:$imm, condVal)>, Requires<[HasV9]>; 97 98 // b<cond> %xcc, $imm 99 def : InstAlias<!strconcat(!strconcat("b", cond), " %xcc, $imm"), 100 (BPXCC brtarget:$imm, condVal)>, Requires<[Is64Bit]>; 101 102 // b<cond>,pt %xcc, $imm 103 def : InstAlias<!strconcat(!strconcat("b", cond), ",pt %xcc, $imm"), 104 (BPXCC brtarget:$imm, condVal)>, Requires<[Is64Bit]>; 105 106 // b<cond>,a %xcc, $imm 107 def : InstAlias<!strconcat(!strconcat("b", cond), ",a %xcc, $imm"), 108 (BPXCCA brtarget:$imm, condVal)>, Requires<[Is64Bit]>; 109 110 // b<cond>,a,pt %xcc, $imm 111 def : InstAlias<!strconcat(!strconcat("b", cond), ",a,pt %xcc, $imm"), 112 (BPXCCA brtarget:$imm, condVal)>, Requires<[Is64Bit]>; 113 114 // b<cond>,pn %xcc, $imm 115 def : InstAlias<!strconcat(!strconcat("b", cond), ",pn %xcc, $imm"), 116 (BPXCCNT brtarget:$imm, condVal)>, Requires<[Is64Bit]>; 117 118 // b<cond>,a,pn %xcc, $imm 119 def : InstAlias<!strconcat(!strconcat("b", cond), ",a,pn %xcc, $imm"), 120 (BPXCCANT brtarget:$imm, condVal)>, Requires<[Is64Bit]>; 121 122 123 defm : intcond_mov_alias<cond, condVal, " %icc", 124 MOVICCrr, MOVICCri, 125 FMOVS_ICC, FMOVD_ICC>, Requires<[HasV9]>; 126 127 defm : intcond_mov_alias<cond, condVal, " %xcc", 128 MOVXCCrr, MOVXCCri, 129 FMOVS_XCC, FMOVD_XCC>, Requires<[Is64Bit]>; 130 131 // fmovq<cond> (%icc|%xcc), $rs2, $rd 132 def : InstAlias<!strconcat(!strconcat("fmovq", cond), " %icc, $rs2, $rd"), 133 (FMOVQ_ICC QFPRegs:$rd, QFPRegs:$rs2, condVal)>, 134 Requires<[HasV9, HasHardQuad]>; 135 def : InstAlias<!strconcat(!strconcat("fmovq", cond), " %xcc, $rs2, $rd"), 136 (FMOVQ_XCC QFPRegs:$rd, QFPRegs:$rs2, condVal)>, 137 Requires<[Is64Bit, HasHardQuad]>; 138 139 // t<cond> %icc, rs1 + rs2 140 def : InstAlias<!strconcat(!strconcat("t", cond), " %icc, $rs1 + $rs2"), 141 (TICCrr IntRegs:$rs1, IntRegs:$rs2, condVal)>, 142 Requires<[HasV9]>; 143 144 // t<cond> %icc, rs => t<cond> %icc, G0 + rs 145 def : InstAlias<!strconcat(!strconcat("t", cond), " %icc, $rs2"), 146 (TICCrr G0, IntRegs:$rs2, condVal)>, 147 Requires<[HasV9]>; 148 149 // t<cond> %xcc, rs1 + rs2 150 def : InstAlias<!strconcat(!strconcat("t", cond), " %xcc, $rs1 + $rs2"), 151 (TXCCrr IntRegs:$rs1, IntRegs:$rs2, condVal)>, 152 Requires<[HasV9]>; 153 154 // t<cond> %xcc, rs => t<cond> %xcc, G0 + rs 155 def : InstAlias<!strconcat(!strconcat("t", cond), " %xcc, $rs2"), 156 (TXCCrr G0, IntRegs:$rs2, condVal)>, 157 Requires<[HasV9]>; 158 159 // t<cond> rs1 + rs2 => t<cond> %icc, rs1 + rs2 160 def : InstAlias<!strconcat(!strconcat("t", cond), " $rs1 + $rs2"), 161 (TICCrr IntRegs:$rs1, IntRegs:$rs2, condVal)>; 162 163 // t<cond> rs=> t<cond> %icc, G0 + rs2 164 def : InstAlias<!strconcat(!strconcat("t", cond), " $rs2"), 165 (TICCrr G0, IntRegs:$rs2, condVal)>; 166 167 // t<cond> %icc, rs1 + imm 168 def : InstAlias<!strconcat(!strconcat("t", cond), " %icc, $rs1 + $imm"), 169 (TICCri IntRegs:$rs1, i32imm:$imm, condVal)>, 170 Requires<[HasV9]>; 171 // t<cond> %icc, imm => t<cond> %icc, G0 + imm 172 def : InstAlias<!strconcat(!strconcat("t", cond), " %icc, $imm"), 173 (TICCri G0, i32imm:$imm, condVal)>, 174 Requires<[HasV9]>; 175 // t<cond> %xcc, rs1 + imm 176 def : InstAlias<!strconcat(!strconcat("t", cond), " %xcc, $rs1 + $imm"), 177 (TXCCri IntRegs:$rs1, i32imm:$imm, condVal)>, 178 Requires<[HasV9]>; 179 // t<cond> %xcc, imm => t<cond> %xcc, G0 + imm 180 def : InstAlias<!strconcat(!strconcat("t", cond), " %xcc, $imm"), 181 (TXCCri G0, i32imm:$imm, condVal)>, 182 Requires<[HasV9]>; 183 184 // t<cond> rs1 + imm => t<cond> %icc, rs1 + imm 185 def : InstAlias<!strconcat(!strconcat("t", cond), " $rs1 + $imm"), 186 (TICCri IntRegs:$rs1, i32imm:$imm, condVal)>; 187 188 // t<cond> imm => t<cond> %icc, G0 + imm 189 def : InstAlias<!strconcat(!strconcat("t", cond), " $imm"), 190 (TICCri G0, i32imm:$imm, condVal)>; 191 192} 193 194 195// Instruction aliases for floating point conditional branches and moves. 196multiclass fp_cond_alias<string cond, int condVal> { 197 198 // fb<cond> $imm 199 def : InstAlias<!strconcat(!strconcat("fb", cond), " $imm"), 200 (FBCOND brtarget:$imm, condVal), 0>; 201 202 // fb<cond>,a $imm 203 def : InstAlias<!strconcat(!strconcat("fb", cond), ",a $imm"), 204 (FBCONDA brtarget:$imm, condVal), 0>; 205 206 // fb<cond> %fcc0, $imm 207 def : InstAlias<!strconcat(!strconcat("fb", cond), " $cc, $imm"), 208 (BPFCC brtarget:$imm, condVal, FCCRegs:$cc)>, 209 Requires<[HasV9]>; 210 211 // fb<cond>,pt %fcc0, $imm 212 def : InstAlias<!strconcat(!strconcat("fb", cond), ",pt $cc, $imm"), 213 (BPFCC brtarget:$imm, condVal, FCCRegs:$cc)>, 214 Requires<[HasV9]>; 215 216 // fb<cond>,a %fcc0, $imm 217 def : InstAlias<!strconcat(!strconcat("fb", cond), ",a $cc, $imm"), 218 (BPFCCA brtarget:$imm, condVal, FCCRegs:$cc)>, 219 Requires<[HasV9]>; 220 221 // fb<cond>,a,pt %fcc0, $imm 222 def : InstAlias<!strconcat(!strconcat("fb", cond), ",a,pt $cc, $imm"), 223 (BPFCCA brtarget:$imm, condVal, FCCRegs:$cc)>, 224 Requires<[HasV9]>; 225 226 // fb<cond>,pn %fcc0, $imm 227 def : InstAlias<!strconcat(!strconcat("fb", cond), ",pn $cc, $imm"), 228 (BPFCCNT brtarget:$imm, condVal, FCCRegs:$cc)>, 229 Requires<[HasV9]>; 230 231 // fb<cond>,a,pn %fcc0, $imm 232 def : InstAlias<!strconcat(!strconcat("fb", cond), ",a,pn $cc, $imm"), 233 (BPFCCANT brtarget:$imm, condVal, FCCRegs:$cc)>, 234 Requires<[HasV9]>; 235 236 defm : fpcond_mov_alias<cond, condVal, 237 V9MOVFCCrr, V9MOVFCCri, 238 V9FMOVS_FCC, V9FMOVD_FCC>, Requires<[HasV9]>; 239 240 // fmovq<cond> %fcc0, $rs2, $rd 241 def : InstAlias<!strconcat(!strconcat("fmovq", cond), " $cc, $rs2, $rd"), 242 (V9FMOVQ_FCC QFPRegs:$rd, FCCRegs:$cc, QFPRegs:$rs2, 243 condVal)>, 244 Requires<[HasV9, HasHardQuad]>; 245} 246 247defm : int_cond_alias<"a", 0b1000>; 248defm : int_cond_alias<"n", 0b0000>; 249defm : int_cond_alias<"ne", 0b1001>; 250defm : int_cond_alias<"e", 0b0001>; 251defm : int_cond_alias<"g", 0b1010>; 252defm : int_cond_alias<"le", 0b0010>; 253defm : int_cond_alias<"ge", 0b1011>; 254defm : int_cond_alias<"l", 0b0011>; 255defm : int_cond_alias<"gu", 0b1100>; 256defm : int_cond_alias<"leu", 0b0100>; 257defm : int_cond_alias<"cc", 0b1101>; 258defm : int_cond_alias<"cs", 0b0101>; 259defm : int_cond_alias<"pos", 0b1110>; 260defm : int_cond_alias<"neg", 0b0110>; 261defm : int_cond_alias<"vc", 0b1111>; 262defm : int_cond_alias<"vs", 0b0111>; 263 264defm : fp_cond_alias<"a", 0b0000>; 265defm : fp_cond_alias<"n", 0b1000>; 266defm : fp_cond_alias<"u", 0b0111>; 267defm : fp_cond_alias<"g", 0b0110>; 268defm : fp_cond_alias<"ug", 0b0101>; 269defm : fp_cond_alias<"l", 0b0100>; 270defm : fp_cond_alias<"ul", 0b0011>; 271defm : fp_cond_alias<"lg", 0b0010>; 272defm : fp_cond_alias<"ne", 0b0001>; 273defm : fp_cond_alias<"e", 0b1001>; 274defm : fp_cond_alias<"ue", 0b1010>; 275defm : fp_cond_alias<"ge", 0b1011>; 276defm : fp_cond_alias<"uge", 0b1100>; 277defm : fp_cond_alias<"le", 0b1101>; 278defm : fp_cond_alias<"ule", 0b1110>; 279defm : fp_cond_alias<"o", 0b1111>; 280 281// Instruction aliases for JMPL. 282 283// jmp addr -> jmpl addr, %g0 284def : InstAlias<"jmp $addr", (JMPLrr G0, MEMrr:$addr), 0>; 285def : InstAlias<"jmp $addr", (JMPLri G0, MEMri:$addr), 0>; 286 287// call addr -> jmpl addr, %o7 288def : InstAlias<"call $addr", (JMPLrr O7, MEMrr:$addr), 0>; 289def : InstAlias<"call $addr", (JMPLri O7, MEMri:$addr), 0>; 290 291// retl -> RETL 8 292def : InstAlias<"retl", (RETL 8)>; 293 294// ret -> RET 8 295def : InstAlias<"ret", (RET 8)>; 296 297// mov reg, rd -> or %g0, reg, rd 298def : InstAlias<"mov $rs2, $rd", (ORrr IntRegs:$rd, G0, IntRegs:$rs2)>; 299 300// mov simm13, rd -> or %g0, simm13, rd 301def : InstAlias<"mov $simm13, $rd", (ORri IntRegs:$rd, G0, i32imm:$simm13)>; 302 303// restore -> restore %g0, %g0, %g0 304def : InstAlias<"restore", (RESTORErr G0, G0, G0)>; 305 306def : MnemonicAlias<"return", "rett">, Requires<[HasV9]>; 307 308def : MnemonicAlias<"addc", "addx">, Requires<[HasV9]>; 309def : MnemonicAlias<"addccc", "addxcc">, Requires<[HasV9]>; 310 311def : MnemonicAlias<"subc", "subx">, Requires<[HasV9]>; 312def : MnemonicAlias<"subccc", "subxcc">, Requires<[HasV9]>; 313 314 315def : InstAlias<"fcmps $rs1, $rs2", (V9FCMPS FCC0, FPRegs:$rs1, FPRegs:$rs2)>; 316def : InstAlias<"fcmpd $rs1, $rs2", (V9FCMPD FCC0, DFPRegs:$rs1, DFPRegs:$rs2)>; 317def : InstAlias<"fcmpq $rs1, $rs2", (V9FCMPQ FCC0, QFPRegs:$rs1, QFPRegs:$rs2)>, 318 Requires<[HasHardQuad]>; 319 320def : InstAlias<"fcmpes $rs1, $rs2", (V9FCMPES FCC0, FPRegs:$rs1, FPRegs:$rs2)>; 321def : InstAlias<"fcmped $rs1, $rs2", (V9FCMPED FCC0, DFPRegs:$rs1, 322 DFPRegs:$rs2)>; 323def : InstAlias<"fcmpeq $rs1, $rs2", (V9FCMPEQ FCC0, QFPRegs:$rs1, 324 QFPRegs:$rs2)>, 325 Requires<[HasHardQuad]>; 326