src/jit/emitfmtsarm64.h

   1 // Licensed to the .NET Foundation under one or more agreements.
   2 // The .NET Foundation licenses this file to you under the MIT license.
   3 // See the LICENSE file in the project root for more information.
   4 //////////////////////////////////////////////////////////////////////////////
   5
   6 // clang-format off
   7 #if !defined(_TARGET_ARM64_)
   8 #error Unexpected target type
   9 #endif
  10
  11 #ifdef DEFINE_ID_OPS
  12 //////////////////////////////////////////////////////////////////////////////
  13
  14 #undef DEFINE_ID_OPS
  15
  16 enum ID_OPS
  17 {
  18     ID_OP_NONE, // no additional arguments
  19     ID_OP_SCNS, // small const  operand (21-bits or less, no reloc)
  20     ID_OP_JMP,  // local jump
  21     ID_OP_CALL, // method call
  22     ID_OP_SPEC, // special handling required
  23 };
  24
  25 //////////////////////////////////////////////////////////////////////////////
  26 #else // !DEFINE_ID_OPS
  27 //////////////////////////////////////////////////////////////////////////////
  28
  29 #ifndef IF_DEF
  30 #error Must define IF_DEF macro before including this file
  31 #endif
  32
  33 //////////////////////////////////////////////////////////////////////////////
  34 //
  35 // enum insFormat   instruction            enum ID_OPS
  36 //                  scheduling
  37 //                  (unused)
  38 //////////////////////////////////////////////////////////////////////////////
  39
  40 IF_DEF(NONE, IS_NONE, NONE) //
  41
  42 IF_DEF(LABEL, IS_NONE, JMP)    // label
  43 IF_DEF(LARGEJMP, IS_NONE, JMP) // large conditional branch pseudo-op (cond branch + uncond branch)
  44 IF_DEF(LARGEADR, IS_NONE, JMP) // large address pseudo-op (adrp + add)
  45 IF_DEF(LARGELDC, IS_NONE, JMP) // large constant pseudo-op (adrp + ldr)
  46
  47 /////////////////////////////////////////////////////////////////////////////////////////////////////////
  48
  49 IF_DEF(EN9, IS_NONE, NONE)  // Instruction has 9 possible encoding types
  50 IF_DEF(EN6A, IS_NONE, NONE) // Instruction has 6 possible encoding types, type A
  51 IF_DEF(EN5A, IS_NONE, NONE) // Instruction has 5 possible encoding types, type A
  52 IF_DEF(EN5B, IS_NONE, NONE) // Instruction has 5 possible encoding types, type B
  53 IF_DEF(EN5C, IS_NONE, NONE) // Instruction has 5 possible encoding types, type C
  54 IF_DEF(EN4A, IS_NONE, NONE) // Instruction has 4 possible encoding types, type A
  55 IF_DEF(EN4B, IS_NONE, NONE) // Instruction has 4 possible encoding types, type B
  56 IF_DEF(EN4C, IS_NONE, NONE) // Instruction has 4 possible encoding types, type C
  57 IF_DEF(EN4D, IS_NONE, NONE) // Instruction has 4 possible encoding types, type D
  58 IF_DEF(EN4E, IS_NONE, NONE) // Instruction has 4 possible encoding types, type E
  59 IF_DEF(EN4F, IS_NONE, NONE) // Instruction has 4 possible encoding types, type F
  60 IF_DEF(EN4G, IS_NONE, NONE) // Instruction has 4 possible encoding types, type G
  61 IF_DEF(EN4H, IS_NONE, NONE) // Instruction has 4 possible encoding types, type H
  62 IF_DEF(EN4I, IS_NONE, NONE) // Instruction has 4 possible encoding types, type I
  63 IF_DEF(EN3A, IS_NONE, NONE) // Instruction has 3 possible encoding types, type A
  64 IF_DEF(EN3B, IS_NONE, NONE) // Instruction has 3 possible encoding types, type B
  65 IF_DEF(EN3C, IS_NONE, NONE) // Instruction has 3 possible encoding types, type C
  66 IF_DEF(EN3D, IS_NONE, NONE) // Instruction has 3 possible encoding types, type D
  67 IF_DEF(EN3E, IS_NONE, NONE) // Instruction has 3 possible encoding types, type E
  68 IF_DEF(EN3F, IS_NONE, NONE) // Instruction has 3 possible encoding types, type F
  69 IF_DEF(EN3G, IS_NONE, NONE) // Instruction has 3 possible encoding types, type G
  70 IF_DEF(EN3H, IS_NONE, NONE) // Instruction has 3 possible encoding types, type H
  71 IF_DEF(EN3I, IS_NONE, NONE) // Instruction has 3 possible encoding types, type I
  72 IF_DEF(EN2A, IS_NONE, NONE) // Instruction has 2 possible encoding types, type A
  73 IF_DEF(EN2B, IS_NONE, NONE) // Instruction has 2 possible encoding types, type B
  74 IF_DEF(EN2C, IS_NONE, NONE) // Instruction has 2 possible encoding types, type C
  75 IF_DEF(EN2D, IS_NONE, NONE) // Instruction has 2 possible encoding types, type D
  76 IF_DEF(EN2E, IS_NONE, NONE) // Instruction has 2 possible encoding types, type E
  77 IF_DEF(EN2F, IS_NONE, NONE) // Instruction has 2 possible encoding types, type F
  78 IF_DEF(EN2G, IS_NONE, NONE) // Instruction has 2 possible encoding types, type G
  79 IF_DEF(EN2H, IS_NONE, NONE) // Instruction has 2 possible encoding types, type H
  80 IF_DEF(EN2I, IS_NONE, NONE) // Instruction has 2 possible encoding types, type I
  81 IF_DEF(EN2J, IS_NONE, NONE) // Instruction has 2 possible encoding types, type J
  82 IF_DEF(EN2K, IS_NONE, NONE) // Instruction has 2 possible encoding types, type K
  83 IF_DEF(EN2L, IS_NONE, NONE) // Instruction has 2 possible encoding types, type L
  84 IF_DEF(EN2M, IS_NONE, NONE) // Instruction has 2 possible encoding types, type M
  85 IF_DEF(EN2N, IS_NONE, NONE) // Instruction has 2 possible encoding types, type N
  86 IF_DEF(EN2O, IS_NONE, NONE) // Instruction has 2 possible encoding types, type O
  87 IF_DEF(EN2P, IS_NONE, NONE) // Instruction has 2 possible encoding types, type P
  88
  89 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
  90 //
  91 // Key for insFormat names:
  92 //
  93 // Above (Specifies multiple encodings)
  94 //
  95 //   EN#? ::  (count of the number of encodings)
  96 //            (? is a unique letter A,B,C...)
  97 //
  98 // Below  (Specifies an exact instruction encoding)
  99 //
 100 //       -- the first two characters are
 101 //
 102 //   DI  :: Data Processing - Immediate
 103 //   DR  :: Data Processing - Register
 104 //   DV  :: Data Processing - Vector Register
 105 //   LS  :: Loads and Stores
 106 //   BI  :: Branches - Immediate
 107 //   BR  :: Branches - Register
 108 //   SN  :: System - No Registers or Immediates
 109 //   SI  :: System - Immediate
 110 //
 111 //   _   :: a separator char '_'
 112 //
 113 //       -- the next two characters are
 114 //
 115 //   #   :: number of registers in the encoding
 116 //   ?   :: A unique letter A,B,C,...
 117 //       -- optional third character
 118 //   I   :: by elem immediate
 119 //
 120 /////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
 121
 122 IF_DEF(BI_0A, IS_NONE, JMP)  // BI_0A   ......iiiiiiiiii iiiiiiiiiiiiiiii               simm26:00   b
 123 IF_DEF(BI_0B, IS_NONE, JMP)  // BI_0B   ......iiiiiiiiii iiiiiiiiiii.....               simm19:00   b<cond>
 124 IF_DEF(BI_0C, IS_NONE, CALL) // BI_0C   ......iiiiiiiiii iiiiiiiiiiiiiiii               simm26:00   bl
 125 IF_DEF(BI_1A, IS_NONE, JMP)  // BI_1A   X.......iiiiiiii iiiiiiiiiiittttt      Rt       simm19:00   cbz cbnz
 126 IF_DEF(BI_1B, IS_NONE, JMP)  // BI_1B   B.......bbbbbiii iiiiiiiiiiittttt      Rt imm6  simm14:00   tbz tbnz
 127 IF_DEF(BR_1A, IS_NONE, CALL) // BR_1A   ................ ......nnnnn.....         Rn                ret
 128 IF_DEF(BR_1B, IS_NONE, CALL) // BR_1B   ................ ......nnnnn.....         Rn                br blr
 129
 130 IF_DEF(LS_1A, IS_NONE, JMP)  // LS_1A   XX...V..iiiiiiii iiiiiiiiiiittttt      Rt    PC imm(1MB)
 131 IF_DEF(LS_2A, IS_NONE, NONE) // LS_2A   .X.......X...... ......nnnnnttttt      Rt Rn
 132 IF_DEF(LS_2B, IS_NONE, NONE) // LS_2B   .X.......Xiiiiii iiiiiinnnnnttttt      Rt Rn    imm(0-4095)
 133 IF_DEF(LS_2C, IS_NONE, NONE) // LS_2C   .X.......X.iiiii iiiiP.nnnnnttttt      Rt Rn    imm(-256..+255) pre/post inc
 134 IF_DEF(LS_3A, IS_NONE, NONE) // LS_3A   .X.......X.mmmmm xxxS..nnnnnttttt      Rt Rn Rm ext(Rm) LSL {}
 135 IF_DEF(LS_3B, IS_NONE, NONE) // LS_3B   X............... .aaaaannnnnddddd      Rd Ra Rn
 136 IF_DEF(LS_3C, IS_NONE, NONE) // LS_3C   X.........iiiiii iaaaaannnnnddddd      Rd Ra Rn imm(im7,sh)
 137 IF_DEF(LS_3D, IS_NONE, NONE) // LS_3D   .X.......X.mmmmm ......nnnnnttttt      Wm Rt Rn
 138
 139 IF_DEF(DI_1A, IS_NONE, NONE) // DI_1A   X.......shiiiiii iiiiiinnnnn.....         Rn    imm(i12,sh)
 140 IF_DEF(DI_1B, IS_NONE, NONE) // DI_1B   X........hwiiiii iiiiiiiiiiiddddd      Rd       imm(i16,hw)
 141 IF_DEF(DI_1C, IS_NONE, NONE) // DI_1C   X........Nrrrrrr ssssssnnnnn.....         Rn    imm(N,r,s)
 142 IF_DEF(DI_1D, IS_NONE, NONE) // DI_1D   X........Nrrrrrr ssssss.....ddddd      Rd       imm(N,r,s)
 143 IF_DEF(DI_1E, IS_NONE, JMP)  // DI_1E   .ii.....iiiiiiii iiiiiiiiiiiddddd      Rd       simm21
 144 IF_DEF(DI_1F, IS_NONE, NONE) // DI_1F   X..........iiiii cccc..nnnnn.nzcv      Rn imm5  nzcv cond
 145
 146 IF_DEF(DI_2A, IS_NONE, NONE) // DI_2A   X.......shiiiiii iiiiiinnnnnddddd      Rd Rn    imm(i12,sh)
 147 IF_DEF(DI_2B, IS_NONE, NONE) // DI_2B   X.........Xnnnnn ssssssnnnnnddddd      Rd Rn    imm(0-63)
 148 IF_DEF(DI_2C, IS_NONE, NONE) // DI_2C   X........Nrrrrrr ssssssnnnnnddddd      Rd Rn    imm(N,r,s)
 149 IF_DEF(DI_2D, IS_NONE, NONE) // DI_2D   X........Nrrrrrr ssssssnnnnnddddd      Rd Rn    imr, imms   (N,r,s)
 150
 151 IF_DEF(DR_1D, IS_NONE, NONE) // DR_1D   X............... cccc.......ddddd      Rd       cond
 152
 153 IF_DEF(DR_2A, IS_NONE, NONE) // DR_2A   X..........mmmmm ......nnnnn.....         Rn Rm
 154 IF_DEF(DR_2B, IS_NONE, NONE) // DR_2B   X.......sh.mmmmm ssssssnnnnn.....         Rn Rm {LSL,LSR,ASR} imm(0-63)
 155 IF_DEF(DR_2C, IS_NONE, NONE) // DR_2C   X..........mmmmm xxxsssnnnnn.....         Rn Rm ext(Rm) LSL imm(0-4)
 156 IF_DEF(DR_2D, IS_NONE, NONE) // DR_2D   X..........nnnnn cccc..nnnnnddddd      Rd Rn    cond
 157 IF_DEF(DR_2E, IS_NONE, NONE) // DR_2E   X..........mmmmm ...........ddddd      Rd    Rm
 158 IF_DEF(DR_2F, IS_NONE, NONE) // DR_2F   X.......sh.mmmmm ssssss.....ddddd      Rd    Rm {LSL,LSR,ASR} imm(0-63)
 159 IF_DEF(DR_2G, IS_NONE, NONE) // DR_2G   X............... ......nnnnnddddd      Rd Rn
 160 IF_DEF(DR_2H, IS_NONE, NONE) // DR_2H   X........X...... ......nnnnnddddd      Rd Rn
 161 IF_DEF(DR_2I, IS_NONE, NONE) // DR_2I   X..........mmmmm cccc..nnnnn.nzcv      Rn Rm    nzcv cond
 162 IF_DEF(DR_2J, IS_NONE, NONE) // DR_2J   ................ ......nnnnnddddd      Sd Sn
 163
 164 IF_DEF(DR_3A, IS_NONE, NONE) // DR_3A   X..........mmmmm ......nnnnnddddd      Rd Rn Rm
 165 IF_DEF(DR_3B, IS_NONE, NONE) // DR_3B   X.......sh.mmmmm ssssssnnnnnddddd      Rd Rn Rm {LSL,LSR,ASR} imm(0-63)
 166 IF_DEF(DR_3C, IS_NONE, NONE) // DR_3C   X..........mmmmm xxxsssnnnnnddddd      Rd Rn Rm ext(Rm) LSL imm(0-4)
 167 IF_DEF(DR_3D, IS_NONE, NONE) // DR_3D   X..........mmmmm cccc..nnnnnddddd      Rd Rn Rm cond
 168 IF_DEF(DR_3E, IS_NONE, NONE) // DR_3E   X........X.mmmmm ssssssnnnnnddddd      Rd Rn Rm imm(0-63)
 169
 170 IF_DEF(DR_4A, IS_NONE, NONE) // DR_4A   X..........mmmmm .aaaaannnnnddddd      Rd Rn Rm Ra
 171
 172 IF_DEF(DV_1A, IS_NONE, NONE) // DV_1A   .........X.iiiii iii........ddddd      Vd imm8    (fmov - immediate scalar)
 173 IF_DEF(DV_1B, IS_NONE, NONE) // DV_1B   .QX..........iii jjjj..iiiiiddddd      Vd imm8    (fmov/movi - immediate vector)
 174 IF_DEF(DV_1C, IS_NONE, NONE) // DV_1C   .........X...... ......nnnnn.....      Vn #0.0    (fcmp - with zero)
 175
 176 IF_DEF(DV_2A, IS_NONE, NONE) // DV_2A   .Q.......X...... ......nnnnnddddd      Vd Vn      (fabs, fcvtXX - vector)
 177 IF_DEF(DV_2B, IS_NONE, NONE) // DV_2B   .Q.........iiiii ......nnnnnddddd      Rd Vn[]    (umov/smov    - to general)
 178 IF_DEF(DV_2C, IS_NONE, NONE) // DV_2C   .Q.........iiiii ......nnnnnddddd      Vd Rn      (dup/ins - vector from
 179                              // general)
 180 IF_DEF(DV_2D, IS_NONE, NONE) // DV_2D   .Q.........iiiii ......nnnnnddddd      Vd Vn[]    (dup - vector)
 181 IF_DEF(DV_2E, IS_NONE, NONE) // DV_2E   ...........iiiii ......nnnnnddddd      Vd Vn[]    (dup - scalar)
 182 IF_DEF(DV_2F, IS_NONE, NONE) // DV_2F   ...........iiiii .jjjj.nnnnnddddd      Vd[] Vn[]  (ins - element)
 183 IF_DEF(DV_2G, IS_NONE, NONE) // DV_2G   .........X...... ......nnnnnddddd      Vd Vn      (fmov, fcvtXX - register)
 184 IF_DEF(DV_2H, IS_NONE, NONE) // DV_2H   X........X...... ......nnnnnddddd      Rd Vn      (fmov, fcvtXX - to general)
 185 IF_DEF(DV_2I, IS_NONE, NONE) // DV_2I   X........X...... ......nnnnnddddd      Vd Rn      (fmov, fcvtXX - from general)
 186 IF_DEF(DV_2J, IS_NONE, NONE) // DV_2J   .........d...... D.....nnnnnddddd      Vd Vn      (fcvt)
 187 IF_DEF(DV_2K, IS_NONE, NONE) // DV_2K   .........X.mmmmm ......nnnnn.....      Vn Vm      (fcmp)
 188 IF_DEF(DV_2L, IS_NONE, NONE) // DV_2L   ........XX...... ......nnnnnddddd      Vd Vn      (abs, neg - scalar)
 189 IF_DEF(DV_2M, IS_NONE, NONE) // DV_2M   .Q......XX...... ......nnnnnddddd      Vd Vn      (abs, neg - vector)
 190 IF_DEF(DV_2N, IS_NONE, NONE) // DV_2N   .........iiiiiii ......nnnnnddddd      Vd Vn imm  (shift - scalar)
 191 IF_DEF(DV_2O, IS_NONE, NONE) // DV_2O   .Q.......iiiiiii ......nnnnnddddd      Vd Vn imm  (shift - vector)
 192 IF_DEF(DV_2P, IS_NONE, NONE) // DV_2P   .,.............. ......nnnnnddddd      Vd Vn      (Vd used as both source and destination)
 193
 194 IF_DEF(DV_3A, IS_NONE, NONE)  // DV_3A   .Q......XX.mmmmm ......nnnnnddddd      Vd Vn Vm   (vector)
 195 IF_DEF(DV_3AI, IS_NONE, NONE) // DV_3AI  .Q......XXLMmmmm ....H.nnnnnddddd      Vd Vn Vm[] (vector by elem)
 196 IF_DEF(DV_3B, IS_NONE, NONE)  // DV_3B   .Q.......X.mmmmm ......nnnnnddddd      Vd Vn Vm   (vector)
 197 IF_DEF(DV_3BI, IS_NONE, NONE) // DV_3BI  .Q.......XLmmmmm ....H.nnnnnddddd      Vd Vn Vm[] (vector by elem)
 198 IF_DEF(DV_3C, IS_NONE, NONE)  // DV_3C   .Q.........mmmmm ......nnnnnddddd      Vd Vn Vm   (vector)
 199 IF_DEF(DV_3D, IS_NONE, NONE)  // DV_3D   .........X.mmmmm ......nnnnnddddd      Vd Vn Vm   (scalar)
 200 IF_DEF(DV_3DI, IS_NONE, NONE) // DV_3DI  .........XLmmmmm ....H.nnnnnddddd      Vd Vn Vm[] (scalar by elem)
 201 IF_DEF(DV_3E, IS_NONE, NONE)  // DV_3E   ...........mmmmm ......nnnnnddddd      Vd Vn Vm   (scalar)
 202 IF_DEF(DV_3F, IS_NONE, NONE)  // DV_3F   ...........mmmmm ......nnnnnddddd      Qd Sn Vm   (Qd used as both source and destination)
 203
 204 IF_DEF(DV_4A, IS_NONE, NONE) // DV_4A   .........X.mmmmm .aaaaannnnnddddd      Vd Vn Vm Va (scalar)
 205
 206 IF_DEF(SN_0A, IS_NONE, NONE) // SN_0A   ................ ................
 207 IF_DEF(SI_0A, IS_NONE, NONE) // SI_0A   ...........iiiii iiiiiiiiiii.....               imm16
 208 IF_DEF(SI_0B, IS_NONE, NONE) // SI_0B   ................ ....bbbb........               imm4 - barrier
 209
 210 IF_DEF(INVALID, IS_NONE, NONE) //
 211
 212 //////////////////////////////////////////////////////////////////////////////
 213 #undef IF_DEF
 214 //////////////////////////////////////////////////////////////////////////////
 215
 216 #endif // !DEFINE_ID_OPS
 217 //////////////////////////////////////////////////////////////////////////////
 218 // clang-format on