extra/wasm/wasm.factor

   1 USING: make ;
   2
   3 IN: wasm
   4
   5 ! WebAssembly 1.1 Assembler
   6
   7 : t.unreachable ( -- ) 0x00 , ;
   8 : t.nop ( -- ) 0x01 , ;
   9 : t.block ( -- ) 0x02 , ;
  10 : t.loop ( -- ) 0x03 , ;
  11 : t.if ( -- ) 0x04 , ;
  12 : t.else ( -- ) 0x05 , ;
  13 ! : (reserved) ( -- ) 0x06 , ;
  14 ! : (reserved) ( -- ) 0x07 , ;
  15 ! : (reserved) ( -- ) 0x08 , ;
  16 ! : (reserved) ( -- ) 0x09 , ;
  17 ! : (reserved) ( -- ) 0x0A , ;
  18 : t.end ( -- ) 0x0B , ;
  19 : t.br ( -- ) 0x0C , ;
  20 : t.br_if ( -- ) 0x0D , ;
  21 : t.br_table ( -- ) 0x0E , ;
  22 : t.return ( -- ) 0x0F , ;
  23 : t.call ( -- ) 0x10 , ;
  24 : t.call_indirect ( -- ) 0x11 , ;
  25 ! : (reserved) ( -- ) 0x12 , ;
  26 ! : (reserved) ( -- ) 0x13 , ;
  27 ! : (reserved) ( -- ) 0x14 , ;
  28 ! : (reserved) ( -- ) 0x15 , ;
  29 ! : (reserved) ( -- ) 0x16 , ;
  30 ! : (reserved) ( -- ) 0x17 , ;
  31 ! : (reserved) ( -- ) 0x18 , ;
  32 ! : (reserved) ( -- ) 0x19 , ;
  33 : t.drop ( -- ) 0x1A , ;
  34 : t.select1 ( -- ) 0x1B , ;
  35 : t.select2 ( -- ) 0x1C , ;
  36 ! : (reserved) ( -- ) 0x1D , ;
  37 ! : (reserved) ( -- ) 0x1E , ;
  38 ! : (reserved) ( -- ) 0x1F , ;
  39 : local.get ( -- ) 0x20 , ;
  40 : local.set ( -- ) 0x21 , ;
  41 : local.tee ( -- ) 0x22 , ;
  42 : global.get ( -- ) 0x23 , ;
  43 : global.set ( -- ) 0x24 , ;
  44 : table.get ( -- ) 0x25 , ;
  45 : table.set ( -- ) 0x26 , ;
  46 ! : (reserved) ( -- ) 0x27 , ;
  47 : i32.load ( -- ) 0x28 , ;
  48 : i64.load ( -- ) 0x29 , ;
  49 : f32.load ( -- ) 0x2A , ;
  50 : f64.load ( -- ) 0x2B , ;
  51 : i32.load8_s ( -- ) 0x2C , ;
  52 : i32.load8_u ( -- ) 0x2D , ;
  53 : i32.load16_s ( -- ) 0x2E , ;
  54 : i32.load16_u ( -- ) 0x2F , ;
  55 : i64.load8_s ( -- ) 0x30 , ;
  56 : i64.load8_u ( -- ) 0x31 , ;
  57 : i64.load16_s ( -- ) 0x32 , ;
  58 : i64.load16_u ( -- ) 0x33 , ;
  59 : i64.load32_s ( -- ) 0x34 , ;
  60 : i64.load32_u ( -- ) 0x35 , ;
  61 : i32.store ( -- ) 0x36 , ;
  62 : i64.store ( -- ) 0x37 , ;
  63 : f32.store ( -- ) 0x38 , ;
  64 : f64.store ( -- ) 0x39 , ;
  65 : i32.store8 ( -- ) 0x3A , ;
  66 : i32.store16 ( -- ) 0x3B , ;
  67 : i64.store8 ( -- ) 0x3C , ;
  68 : i64.store16 ( -- ) 0x3D , ;
  69 : i64.store32 ( -- ) 0x3E , ;
  70 : memory.size ( -- ) 0x3F , ;
  71 : memory.grow ( -- ) 0x40 , ;
  72 : i32.const ( -- ) 0x41 , ;
  73 : i64.const ( -- ) 0x42 , ;
  74 : f32.const ( -- ) 0x43 , ;
  75 : f64.const ( -- ) 0x44 , ;
  76 : i32.eqz ( -- ) 0x45 , ;
  77 : i32.eq ( -- ) 0x46 , ;
  78 : i32.ne ( -- ) 0x47 , ;
  79 : i32.lt_s ( -- ) 0x48 , ;
  80 : i32.lt_u ( -- ) 0x49 , ;
  81 : i32.gt_s ( -- ) 0x4A , ;
  82 : i32.gt_u ( -- ) 0x4B , ;
  83 : i32.le_s ( -- ) 0x4C , ;
  84 : i32.le_u ( -- ) 0x4D , ;
  85 : i32.ge_s ( -- ) 0x4E , ;
  86 : i32.ge_u ( -- ) 0x4F , ;
  87 : i64.eqz ( -- ) 0x50 , ;
  88 : i64.eq ( -- ) 0x51 , ;
  89 : i64.ne ( -- ) 0x52 , ;
  90 : i64.lt_s ( -- ) 0x53 , ;
  91 : i64.lt_u ( -- ) 0x54 , ;
  92 : i64.gt_s ( -- ) 0x55 , ;
  93 : i64.gt_u ( -- ) 0x56 , ;
  94 : i64.le_s ( -- ) 0x57 , ;
  95 : i64.le_u ( -- ) 0x58 , ;
  96 : i64.ge_s ( -- ) 0x59 , ;
  97 : i64.ge_u ( -- ) 0x5A , ;
  98 : f32.eq ( -- ) 0x5B , ;
  99 : f32.ne ( -- ) 0x5C , ;
 100 : f32.lt ( -- ) 0x5D , ;
 101 : f32.gt ( -- ) 0x5E , ;
 102 : f32.le ( -- ) 0x5F , ;
 103 : f32.ge ( -- ) 0x60 , ;
 104 : f64.eq ( -- ) 0x61 , ;
 105 : f64.ne ( -- ) 0x62 , ;
 106 : f64.lt ( -- ) 0x63 , ;
 107 : f64.gt ( -- ) 0x64 , ;
 108 : f64.le ( -- ) 0x65 , ;
 109 : f64.ge ( -- ) 0x66 , ;
 110 : i32.clz ( -- ) 0x67 , ;
 111 : i32.ctz ( -- ) 0x68 , ;
 112 : i32.popcnt ( -- ) 0x69 , ;
 113 : i32.add ( -- ) 0x6A , ;
 114 : i32.sub ( -- ) 0x6B , ;
 115 : i32.mul ( -- ) 0x6C , ;
 116 : i32.div_s ( -- ) 0x6D , ;
 117 : i32.div_u ( -- ) 0x6E , ;
 118 : i32.rem_s ( -- ) 0x6F , ;
 119 : i32.rem_u ( -- ) 0x70 , ;
 120 : i32.and ( -- ) 0x71 , ;
 121 : i32.or ( -- ) 0x72 , ;
 122 : i32.xor ( -- ) 0x73 , ;
 123 : i32.shl ( -- ) 0x74 , ;
 124 : i32.shr_s ( -- ) 0x75 , ;
 125 : i32.shr_u ( -- ) 0x76 , ;
 126 : i32.rotl ( -- ) 0x77 , ;
 127 : i32.rotr ( -- ) 0x78 , ;
 128 : i64.clz ( -- ) 0x79 , ;
 129 : i64.ctz ( -- ) 0x7A , ;
 130 : i64.popcnt ( -- ) 0x7B , ;
 131 : i64.add ( -- ) 0x7C , ;
 132 : i64.sub ( -- ) 0x7D , ;
 133 : i64.mul ( -- ) 0x7E , ;
 134 : i64.div_s ( -- ) 0x7F , ;
 135 : i64.div_u ( -- ) 0x80 , ;
 136 : i64.rem_s ( -- ) 0x81 , ;
 137 : i64.rem_u ( -- ) 0x82 , ;
 138 : i64.and ( -- ) 0x83 , ;
 139 : i64.or ( -- ) 0x84 , ;
 140 : i64.xor ( -- ) 0x85 , ;
 141 : i64.shl ( -- ) 0x86 , ;
 142 : i64.shr_s ( -- ) 0x87 , ;
 143 : i64.shr_u ( -- ) 0x88 , ;
 144 : i64.rotl ( -- ) 0x89 , ;
 145 : i64.rotr ( -- ) 0x8A , ;
 146 : f32.abs ( -- ) 0x8B , ;
 147 : f32.neg ( -- ) 0x8C , ;
 148 : f32.ceil ( -- ) 0x8D , ;
 149 : f32.floor ( -- ) 0x8E , ;
 150 : f32.trunc ( -- ) 0x8F , ;
 151 : f32.nearest ( -- ) 0x90 , ;
 152 : f32.sqrt ( -- ) 0x91 , ;
 153 : f32.add ( -- ) 0x92 , ;
 154 : f32.sub ( -- ) 0x93 , ;
 155 : f32.mul ( -- ) 0x94 , ;
 156 : f32.div ( -- ) 0x95 , ;
 157 : f32.min ( -- ) 0x96 , ;
 158 : f32.max ( -- ) 0x97 , ;
 159 : f32.copysign ( -- ) 0x98 , ;
 160 : f64.abs ( -- ) 0x99 , ;
 161 : f64.neg ( -- ) 0x9A , ;
 162 : f64.ceil ( -- ) 0x9B , ;
 163 : f64.floor ( -- ) 0x9C , ;
 164 : f64.trunc ( -- ) 0x9D , ;
 165 : f64.nearest ( -- ) 0x9E , ;
 166 : f64.sqrt ( -- ) 0x9F , ;
 167 : f64.add ( -- ) 0xA0 , ;
 168 : f64.sub ( -- ) 0xA1 , ;
 169 : f64.mul ( -- ) 0xA2 , ;
 170 : f64.div ( -- ) 0xA3 , ;
 171 : f64.min ( -- ) 0xA4 , ;
 172 : f64.max ( -- ) 0xA5 , ;
 173 : f64.copysign ( -- ) 0xA6 , ;
 174 : i32.wrap_i64 ( -- ) 0xA7 , ;
 175 : i32.trunc_f32_s ( -- ) 0xA8 , ;
 176 : i32.trunc_f32_u ( -- ) 0xA9 , ;
 177 : i32.trunc_f64_s ( -- ) 0xAA , ;
 178 : i32.trunc_f64_u ( -- ) 0xAB , ;
 179 : i64.extend_i32_s ( -- ) 0xAC , ;
 180 : i64.extend_i32_u ( -- ) 0xAD , ;
 181 : i64.trunc_f32_s ( -- ) 0xAE , ;
 182 : i64.trunc_f32_u ( -- ) 0xAF , ;
 183 : i64.trunc_f64_s ( -- ) 0xB0 , ;
 184 : i64.trunc_f64_u ( -- ) 0xB1 , ;
 185 : f32.convert_i32_s ( -- ) 0xB2 , ;
 186 : f32.convert_i32_u ( -- ) 0xB3 , ;
 187 : f32.convert_i64_s ( -- ) 0xB4 , ;
 188 : f32.convert_i64_u ( -- ) 0xB5 , ;
 189 : f32.demote_f64 ( -- ) 0xB6 , ;
 190 : f64.convert_i32_s ( -- ) 0xB7 , ;
 191 : f64.convert_i32_u ( -- ) 0xB8 , ;
 192 : f64.convert_i64_s ( -- ) 0xB9 , ;
 193 : f64.convert_i64_u ( -- ) 0xBA , ;
 194 : f64.promote_f32 ( -- ) 0xBB , ;
 195 : i32.reinterpret_f32 ( -- ) 0xBC , ;
 196 : i64.reinterpret_f64 ( -- ) 0xBD , ;
 197 : f32.reinterpret_i32 ( -- ) 0xBE , ;
 198 : f64.reinterpret_i64 ( -- ) 0xBF , ;
 199 : i32.extend8_s ( -- ) 0xC0 , ;
 200 : i32.extend16_s ( -- ) 0xC1 , ;
 201 : i64.extend8_s ( -- ) 0xC2 , ;
 202 : i64.extend16_s ( -- ) 0xC3 , ;
 203 : i64.extend32_s ( -- ) 0xC4 , ;
 204 ! : (reserved) ( -- ) 0xC5 , ;
 205 ! : (reserved) ( -- ) 0xC6 , ;
 206 ! : (reserved) ( -- ) 0xC7 , ;
 207 ! : (reserved) ( -- ) 0xC8 , ;
 208 ! : (reserved) ( -- ) 0xC9 , ;
 209 ! : (reserved) ( -- ) 0xCA , ;
 210 ! : (reserved) ( -- ) 0xCB , ;
 211 ! : (reserved) ( -- ) 0xCC , ;
 212 ! : (reserved) ( -- ) 0xCD , ;
 213 ! : (reserved) ( -- ) 0xCE , ;
 214 ! : (reserved) ( -- ) 0xCF , ;
 215 : ref.null ( -- ) 0xD0 , ;
 216 : ref.is_null ( -- ) 0xD1 , ;
 217 : ref.func ( -- ) 0xD2 , ;
 218 ! : (reserved) ( -- ) 0xD3 , ;
 219 ! : (reserved) ( -- ) 0xD4 , ;
 220 ! : (reserved) ( -- ) 0xD5 , ;
 221 ! : (reserved) ( -- ) 0xD6 , ;
 222 ! : (reserved) ( -- ) 0xD7 , ;
 223 ! : (reserved) ( -- ) 0xD8 , ;
 224 ! : (reserved) ( -- ) 0xD9 , ;
 225 ! : (reserved) ( -- ) 0xDA , ;
 226 ! : (reserved) ( -- ) 0xDB , ;
 227 ! : (reserved) ( -- ) 0xDC , ;
 228 ! : (reserved) ( -- ) 0xDD , ;
 229 ! : (reserved) ( -- ) 0xDE , ;
 230 ! : (reserved) ( -- ) 0xDF , ;
 231 ! : (reserved) ( -- ) 0xE0 , ;
 232 ! : (reserved) ( -- ) 0xE1 , ;
 233 ! : (reserved) ( -- ) 0xE2 , ;
 234 ! : (reserved) ( -- ) 0xE3 , ;
 235 ! : (reserved) ( -- ) 0xE4 , ;
 236 ! : (reserved) ( -- ) 0xE5 , ;
 237 ! : (reserved) ( -- ) 0xE6 , ;
 238 ! : (reserved) ( -- ) 0xE7 , ;
 239 ! : (reserved) ( -- ) 0xE8 , ;
 240 ! : (reserved) ( -- ) 0xE9 , ;
 241 ! : (reserved) ( -- ) 0xEA , ;
 242 ! : (reserved) ( -- ) 0xEB , ;
 243 ! : (reserved) ( -- ) 0xEC , ;
 244 ! : (reserved) ( -- ) 0xED , ;
 245 ! : (reserved) ( -- ) 0xEE , ;
 246 ! : (reserved) ( -- ) 0xEF , ;
 247 ! : (reserved) ( -- ) 0xF0 , ;
 248 ! : (reserved) ( -- ) 0xF1 , ;
 249 ! : (reserved) ( -- ) 0xF2 , ;
 250 ! : (reserved) ( -- ) 0xF3 , ;
 251 ! : (reserved) ( -- ) 0xF4 , ;
 252 ! : (reserved) ( -- ) 0xF5 , ;
 253 ! : (reserved) ( -- ) 0xF6 , ;
 254 ! : (reserved) ( -- ) 0xF7 , ;
 255 ! : (reserved) ( -- ) 0xF8 , ;
 256 ! : (reserved) ( -- ) 0xF9 , ;
 257 ! : (reserved) ( -- ) 0xFA , ;
 258 ! : (reserved) ( -- ) 0xFB , ;
 259 : i32.trunc_sat_f32_s ( -- ) { 0xFC 0x00 } % ;
 260 : i32.trunc_sat_f32_u ( -- ) { 0xFC 0x01 } % ;
 261 : i32.trunc_sat_f64_s ( -- ) { 0xFC 0x02 } % ;
 262 : i32.trunc_sat_f64_u ( -- ) { 0xFC 0x03 } % ;
 263 : i64.trunc_sat_f32_s ( -- ) { 0xFC 0x04 } % ;
 264 : i64.trunc_sat_f32_u ( -- ) { 0xFC 0x05 } % ;
 265 : i64.trunc_sat_f64_s ( -- ) { 0xFC 0x06 } % ;
 266 : i64.trunc_sat_f64_u ( -- ) { 0xFC 0x07 } % ;
 267 : memory.init ( -- ) { 0xFC 0x08 } % ;
 268 : data.drop ( -- ) { 0xFC 0x09 } % ;
 269 : memory.copy ( -- ) { 0xFC 0x0A } % ;
 270 : memory.fill ( -- ) { 0xFC 0x0B } % ;
 271 : table.init ( -- ) { 0xFC 0x0C } % ;
 272 : elem.drop ( -- ) { 0xFC 0x0D } % ;
 273 : table.copy ( -- ) { 0xFC 0x0E } % ;
 274 : table.grow ( -- ) { 0xFC 0x0F } % ;
 275 : table.size ( -- ) { 0xFC 0x10 } % ;
 276 : table.fill ( -- ) { 0xFC 0x11 } % ;
 277 : v128.load ( -- ) { 0xFD 0x00 } % ;
 278 : v128.load8x8_s ( -- ) { 0xFD 0x01 } % ;
 279 : v128.load8x8_u ( -- ) { 0xFD 0x02 } % ;
 280 : v128.load16x4_s ( -- ) { 0xFD 0x03 } % ;
 281 : v128.load16x4_u ( -- ) { 0xFD 0x04 } % ;
 282 : v128.load32x2_s ( -- ) { 0xFD 0x05 } % ;
 283 : v128.load32x2_u ( -- ) { 0xFD 0x06 } % ;
 284 : v128.load_splat1 ( -- ) { 0xFD 0x07 } % ;
 285 : v128.load_splat2 ( -- ) { 0xFD 0x08 } % ;
 286 : v128.load_splat3 ( -- ) { 0xFD 0x09 } % ;
 287 : v128.load_splat4 ( -- ) { 0xFD 0x0A } % ;
 288 : v128.store ( -- ) { 0xFD 0x0B } % ;
 289 : v128.const ( -- ) { 0xFD 0x0C } % ;
 290 : i8x16.shuffle ( -- ) { 0xFD 0x0D } % ;
 291 : i8x16.swizzle ( -- ) { 0xFD 0x0E } % ;
 292 : i8x16.splat ( -- ) { 0xFD 0x0F } % ;
 293 : i16x8.splat ( -- ) { 0xFD 0x10 } % ;
 294 : i32x4.splat ( -- ) { 0xFD 0x11 } % ;
 295 : i64x2.splat ( -- ) { 0xFD 0x12 } % ;
 296 : f32x4.splat ( -- ) { 0xFD 0x13 } % ;
 297 : f64x2.splat ( -- ) { 0xFD 0x14 } % ;
 298 : i8x16.extract_lane_s ( -- ) { 0xFD 0x15 } % ;
 299 : i8x16.extract_lane_u ( -- ) { 0xFD 0x16 } % ;
 300 : i8x16.replace_lane ( -- ) { 0xFD 0x17 } % ;
 301 : i16x8.extract_lane_s ( -- ) { 0xFD 0x18 } % ;
 302 : i16x8.extract_lane_u ( -- ) { 0xFD 0x19 } % ;
 303 : i16x8.replace_lane ( -- ) { 0xFD 0x1A } % ;
 304 : i32x4.extract_lane ( -- ) { 0xFD 0x1B } % ;
 305 : i32x4.replace_lane ( -- ) { 0xFD 0x1C } % ;
 306 : i64x2.extract_lane ( -- ) { 0xFD 0x1D } % ;
 307 : i64x2.replace_lane ( -- ) { 0xFD 0x1E } % ;
 308 : f32x4.extract_lane ( -- ) { 0xFD 0x1F } % ;
 309 : f32x4.replace_lane ( -- ) { 0xFD 0x20 } % ;
 310 : f64x2.extract_lane ( -- ) { 0xFD 0x21 } % ;
 311 : f64x2.replace_lane ( -- ) { 0xFD 0x22 } % ;
 312 : i8x16.eq ( -- ) { 0xFD 0x23 } % ;
 313 : i8x16.ne ( -- ) { 0xFD 0x24 } % ;
 314 : i8x16.lt_s ( -- ) { 0xFD 0x25 } % ;
 315 : i8x16.lt_u ( -- ) { 0xFD 0x26 } % ;
 316 : i8x16.gt_s ( -- ) { 0xFD 0x27 } % ;
 317 : i8x16.gt_u ( -- ) { 0xFD 0x28 } % ;
 318 : i8x16.le_s ( -- ) { 0xFD 0x29 } % ;
 319 : i8x16.le_u ( -- ) { 0xFD 0x2A } % ;
 320 : i8x16.ge_s ( -- ) { 0xFD 0x2B } % ;
 321 : i8x16.ge_u ( -- ) { 0xFD 0x2C } % ;
 322 : i16x8.eq ( -- ) { 0xFD 0x2D } % ;
 323 : i16x8.ne ( -- ) { 0xFD 0x2E } % ;
 324 : i16x8.lt_s ( -- ) { 0xFD 0x2F } % ;
 325 : i16x8.lt_u ( -- ) { 0xFD 0x30 } % ;
 326 : i16x8.gt_s ( -- ) { 0xFD 0x31 } % ;
 327 : i16x8.gt_u ( -- ) { 0xFD 0x32 } % ;
 328 : i16x8.le_s ( -- ) { 0xFD 0x33 } % ;
 329 : i16x8.le_u ( -- ) { 0xFD 0x34 } % ;
 330 : i16x8.ge_s ( -- ) { 0xFD 0x35 } % ;
 331 : i16x8.ge_u ( -- ) { 0xFD 0x36 } % ;
 332 : i32x4.eq ( -- ) { 0xFD 0x37 } % ;
 333 : i32x4.ne ( -- ) { 0xFD 0x38 } % ;
 334 : i32x4.lt_s ( -- ) { 0xFD 0x39 } % ;
 335 : i32x4.lt_u ( -- ) { 0xFD 0x3A } % ;
 336 : i32x4.gt_s ( -- ) { 0xFD 0x3B } % ;
 337 : i32x4.gt_u ( -- ) { 0xFD 0x3C } % ;
 338 : i32x4.le_s ( -- ) { 0xFD 0x3D } % ;
 339 : i32x4.le_u ( -- ) { 0xFD 0x3E } % ;
 340 : i32x4.ge_s ( -- ) { 0xFD 0x3F } % ;
 341 : i32x4.ge_u ( -- ) { 0xFD 0x40 } % ;
 342 : f32x4.eq ( -- ) { 0xFD 0x41 } % ;
 343 : f32x4.ne ( -- ) { 0xFD 0x42 } % ;
 344 : f32x4.lt ( -- ) { 0xFD 0x43 } % ;
 345 : f32x4.gt ( -- ) { 0xFD 0x44 } % ;
 346 : f32x4.le ( -- ) { 0xFD 0x45 } % ;
 347 : f32x4.ge ( -- ) { 0xFD 0x46 } % ;
 348 : f64x2.eq ( -- ) { 0xFD 0x47 } % ;
 349 : f64x2.ne ( -- ) { 0xFD 0x48 } % ;
 350 : f64x2.lt ( -- ) { 0xFD 0x49 } % ;
 351 : f64x2.gt ( -- ) { 0xFD 0x4A } % ;
 352 : f64x2.le ( -- ) { 0xFD 0x4B } % ;
 353 : f64x2.ge ( -- ) { 0xFD 0x4C } % ;
 354 : v128.not ( -- ) { 0xFD 0x4D } % ;
 355 : v128.and ( -- ) { 0xFD 0x4E } % ;
 356 : v128.andnot ( -- ) { 0xFD 0x4F } % ;
 357 : v128.or ( -- ) { 0xFD 0x50 } % ;
 358 : v128.xor ( -- ) { 0xFD 0x51 } % ;
 359 : v128.bitselect ( -- ) { 0xFD 0x52 } % ;
 360 : v128.any_true ( -- ) { 0xFD 0x53 } % ;
 361 : v128.load8_lane ( -- ) { 0xFD 0x54 } % ;
 362 : v128.load16_lane ( -- ) { 0xFD 0x55 } % ;
 363 : v128.load32_lane ( -- ) { 0xFD 0x56 } % ;
 364 : v128.load64_lane ( -- ) { 0xFD 0x57 } % ;
 365 : v128.store8_lane ( -- ) { 0xFD 0x58 } % ;
 366 : v128.store16_lane ( -- ) { 0xFD 0x59 } % ;
 367 : v128.store32_lane ( -- ) { 0xFD 0x5A } % ;
 368 : v128.store64_lane ( -- ) { 0xFD 0x5B } % ;
 369 : v128.load32_zero ( -- ) { 0xFD 0x5C } % ;
 370 : v128.load64_zero ( -- ) { 0xFD 0x5D } % ;
 371 : f32x4.demote_f64x2_zero ( -- ) { 0xFD 0x5E } % ;
 372 : f64x2.promote_low_f32x4 ( -- ) { 0xFD 0x5F } % ;
 373 : i8x16.abs ( -- ) { 0xFD 0x60 } % ;
 374 : i8x16.neg ( -- ) { 0xFD 0x61 } % ;
 375 : i8x16.popcnt ( -- ) { 0xFD 0x62 } % ;
 376 : i8x16.all_true ( -- ) { 0xFD 0x63 } % ;
 377 : i8x16.bitmask ( -- ) { 0xFD 0x64 } % ;
 378 : i8x16.narrow_i16x8_s ( -- ) { 0xFD 0x65 } % ;
 379 : i8x16.narrow_i16x8_u ( -- ) { 0xFD 0x66 } % ;
 380 : f32x4.ceil ( -- ) { 0xFD 0x67 } % ;
 381 : f32x4.floor ( -- ) { 0xFD 0x68 } % ;
 382 : f32x4.trunc ( -- ) { 0xFD 0x69 } % ;
 383 : f32x4.nearest ( -- ) { 0xFD 0x6A } % ;
 384 : i8x16.shl ( -- ) { 0xFD 0x6B } % ;
 385 : i8x16.shr_s ( -- ) { 0xFD 0x6C } % ;
 386 : i8x16.shr_u ( -- ) { 0xFD 0x6D } % ;
 387 : i8x16.add ( -- ) { 0xFD 0x6E } % ;
 388 : i8x16.add_sat_s ( -- ) { 0xFD 0x6F } % ;
 389 : i8x16.add_sat_u ( -- ) { 0xFD 0x70 } % ;
 390 : i8x16.sub ( -- ) { 0xFD 0x71 } % ;
 391 : i8x16.sub_sat_s ( -- ) { 0xFD 0x72 } % ;
 392 : i8x16.sub_sat_u ( -- ) { 0xFD 0x73 } % ;
 393 : f64x2.ceil ( -- ) { 0xFD 0x74 } % ;
 394 : f64x2.floor ( -- ) { 0xFD 0x75 } % ;
 395 : i8x16.min_s ( -- ) { 0xFD 0x76 } % ;
 396 : i8x16.min_u ( -- ) { 0xFD 0x77 } % ;
 397 : i8x16.max_s ( -- ) { 0xFD 0x78 } % ;
 398 : i8x16.max_u ( -- ) { 0xFD 0x79 } % ;
 399 : f64x2.trunc ( -- ) { 0xFD 0x7A } % ;
 400 : i8x16.avgr_u ( -- ) { 0xFD 0x7B } % ;
 401 : i16x8.extadd_pairwise_i8x16_s ( -- ) { 0xFD 0x7C } % ;
 402 : i16x8.extadd_pairwise_i8x16_u ( -- ) { 0xFD 0x7D } % ;
 403 : i32x4.extadd_pairwise_i16x8_s ( -- ) { 0xFD 0x7E } % ;
 404 : i32x4.extadd_pairwise_i16x8_u ( -- ) { 0xFD 0x7F } % ;
 405 : i16x8.abs ( -- ) { 0xFD 0x80 } % ;
 406 : i16x8.neg ( -- ) { 0xFD 0x81 } % ;
 407 : i16x8.q15mulr_sat_s ( -- ) { 0xFD 0x82 } % ;
 408 : i16x8.all_true ( -- ) { 0xFD 0x83 } % ;
 409 : i16x8.bitmask ( -- ) { 0xFD 0x84 } % ;
 410 : i16x8.narrow_i32x4_s ( -- ) { 0xFD 0x85 } % ;
 411 : i16x8.narrow_i32x4_u ( -- ) { 0xFD 0x86 } % ;
 412 : i16x8.extend_low_i8x16_s ( -- ) { 0xFD 0x87 } % ;
 413 : i16x8.extend_high_i8x16_s ( -- ) { 0xFD 0x88 } % ;
 414 : i16x8.extend_low_i8x16_u ( -- ) { 0xFD 0x89 } % ;
 415 : i16x8.extend_high_i8x16_u ( -- ) { 0xFD 0x8A } % ;
 416 : i16x8.shl ( -- ) { 0xFD 0x8B } % ;
 417 : i16x8.shr_s ( -- ) { 0xFD 0x8C } % ;
 418 : i16x8.shr_u ( -- ) { 0xFD 0x8D } % ;
 419 : i16x8.add ( -- ) { 0xFD 0x8E } % ;
 420 : i16x8.add_sat_s ( -- ) { 0xFD 0x8F } % ;
 421 : i16x8.add_sat_u ( -- ) { 0xFD 0x90 } % ;
 422 : i16x8.sub ( -- ) { 0xFD 0x91 } % ;
 423 : i16x8.sub_sat_s ( -- ) { 0xFD 0x92 } % ;
 424 : i16x8.sub_sat_u ( -- ) { 0xFD 0x93 } % ;
 425 : f64x2.nearest ( -- ) { 0xFD 0x94 } % ;
 426 : i16x8.mul ( -- ) { 0xFD 0x95 } % ;
 427 : i16x8.min_s ( -- ) { 0xFD 0x96 } % ;
 428 : i16x8.min_u ( -- ) { 0xFD 0x97 } % ;
 429 : i16x8.max_s ( -- ) { 0xFD 0x98 } % ;
 430 : i16x8.max_u ( -- ) { 0xFD 0x99 } % ;
 431 : i16x8.avgr_u ( -- ) { 0xFD 0x9B } % ;
 432 : i16x8.extmul_low_i8x16_s ( -- ) { 0xFD 0x9C } % ;
 433 : i16x8.extmul_high_i8x16_s ( -- ) { 0xFD 0x9D } % ;
 434 : i16x8.extmul_low_i8x16_u ( -- ) { 0xFD 0x9E } % ;
 435 : i16x8.extmul_high_i8x16_u ( -- ) { 0xFD 0x9F } % ;
 436 : i32x4.abs ( -- ) { 0xFD 0xA0 } % ;
 437 : i32x4.neg ( -- ) { 0xFD 0xA1 } % ;
 438 : i32x4.all_true ( -- ) { 0xFD 0xA3 } % ;
 439 : i32x4.bitmask ( -- ) { 0xFD 0xA4 } % ;
 440 : i32x4.extend_low_i16x8_s ( -- ) { 0xFD 0xA7 } % ;
 441 : i32x4.extend_high_i16x8_s ( -- ) { 0xFD 0xA8 } % ;
 442 : i32x4.extend_low_i16x8_u ( -- ) { 0xFD 0xA9 } % ;
 443 : i32x4.extend_high_i16x8_u ( -- ) { 0xFD 0xAA } % ;
 444 : i32x4.shl ( -- ) { 0xFD 0xAB } % ;
 445 : i32x4.shr_s ( -- ) { 0xFD 0xAC } % ;
 446 : i32x4.shr_u ( -- ) { 0xFD 0xAD } % ;
 447 : i32x4.add ( -- ) { 0xFD 0xAE } % ;
 448 : i32x4.sub ( -- ) { 0xFD 0xB1 } % ;
 449 : i32x4.mul ( -- ) { 0xFD 0xB5 } % ;
 450 : i32x4.min_s ( -- ) { 0xFD 0xB6 } % ;
 451 : i32x4.min_u ( -- ) { 0xFD 0xB7 } % ;
 452 : i32x4.max_s ( -- ) { 0xFD 0xB8 } % ;
 453 : i32x4.max_u ( -- ) { 0xFD 0xB9 } % ;
 454 : i32x4.dot_i16x8_s ( -- ) { 0xFD 0xBA } % ;
 455 : i32x4.extmul_low_i16x8_s ( -- ) { 0xFD 0xBC } % ;
 456 : i32x4.extmul_high_i16x8_s ( -- ) { 0xFD 0xBD } % ;
 457 : i32x4.extmul_low_i16x8_u ( -- ) { 0xFD 0xBE } % ;
 458 : i32x4.extmul_high_i16x8_u ( -- ) { 0xFD 0xBF } % ;
 459 : i64x2.abs ( -- ) { 0xFD 0xC0 } % ;
 460 : i64x2.neg ( -- ) { 0xFD 0xC1 } % ;
 461 : i64x2.all_true ( -- ) { 0xFD 0xC3 } % ;
 462 : i64x2.bitmask ( -- ) { 0xFD 0xC4 } % ;
 463 : i64x2.extend_low_i32x4_s ( -- ) { 0xFD 0xC7 } % ;
 464 : i64x2.extend_high_i32x4_s ( -- ) { 0xFD 0xC8 } % ;
 465 : i64x2.extend_low_i32x4_u ( -- ) { 0xFD 0xC9 } % ;
 466 : i64x2.extend_high_i32x4_u ( -- ) { 0xFD 0xCA } % ;
 467 : i64x2.shl ( -- ) { 0xFD 0xCB } % ;
 468 : i64x2.shr_s ( -- ) { 0xFD 0xCC } % ;
 469 : i64x2.shr_u ( -- ) { 0xFD 0xCD } % ;
 470 : i64x2.add ( -- ) { 0xFD 0xCE } % ;
 471 : i64x2.sub ( -- ) { 0xFD 0xD1 } % ;
 472 : i64x2.mul ( -- ) { 0xFD 0xD5 } % ;
 473 : i64x2.eq ( -- ) { 0xFD 0xD6 } % ;
 474 : i64x2.ne ( -- ) { 0xFD 0xD7 } % ;
 475 : i64x2.lt_s ( -- ) { 0xFD 0xD8 } % ;
 476 : i64x2.gt_s ( -- ) { 0xFD 0xD9 } % ;
 477 : i64x2.le_s ( -- ) { 0xFD 0xDA } % ;
 478 : i64x2.ge_s ( -- ) { 0xFD 0xDB } % ;
 479 : i64x2.extmul_low_i32x4_s ( -- ) { 0xFD 0xDC } % ;
 480 : i64x2.extmul_high_i32x4_s ( -- ) { 0xFD 0xDD } % ;
 481 : i64x2.extmul_low_i32x4_u ( -- ) { 0xFD 0xDE } % ;
 482 : i64x2.extmul_high_i32x4_u ( -- ) { 0xFD 0xDF } % ;
 483 : f32x4.abs ( -- ) { 0xFD 0xE0 } % ;
 484 : f32x4.neg ( -- ) { 0xFD 0xE1 } % ;
 485 : f32x4.sqrt ( -- ) { 0xFD 0xE3 } % ;
 486 : f32x4.add ( -- ) { 0xFD 0xE4 } % ;
 487 : f32x4.sub ( -- ) { 0xFD 0xE5 } % ;
 488 : f32x4.mul ( -- ) { 0xFD 0xE6 } % ;
 489 : f32x4.div ( -- ) { 0xFD 0xE7 } % ;
 490 : f32x4.min ( -- ) { 0xFD 0xE8 } % ;
 491 : f32x4.max ( -- ) { 0xFD 0xE9 } % ;
 492 : f32x4.pmin ( -- ) { 0xFD 0xEA } % ;
 493 : f32x4.pmax ( -- ) { 0xFD 0xEB } % ;
 494 : f64x2.abs ( -- ) { 0xFD 0xEC } % ;
 495 : f64x2.neg ( -- ) { 0xFD 0xED } % ;
 496 : f64x2.sqrt ( -- ) { 0xFD 0xEF } % ;
 497 : f64x2.add ( -- ) { 0xFD 0xF0 } % ;
 498 : f64x2.sub ( -- ) { 0xFD 0xF1 } % ;
 499 : f64x2.mul ( -- ) { 0xFD 0xF2 } % ;
 500 : f64x2.div ( -- ) { 0xFD 0xF3 } % ;
 501 : f64x2.min ( -- ) { 0xFD 0xF4 } % ;
 502 : f64x2.max ( -- ) { 0xFD 0xF5 } % ;
 503 : f64x2.pmin ( -- ) { 0xFD 0xF6 } % ;
 504 : f64x2.pmax ( -- ) { 0xFD 0xF7 } % ;
 505 : i32x4.trunc_sat_f32x4_s ( -- ) { 0xFD 0xF8 } % ;
 506 : i32x4.trunc_sat_f32x4_u ( -- ) { 0xFD 0xF9 } % ;
 507 : f32x4.convert_i32x4_s ( -- ) { 0xFD 0xFA } % ;
 508 : f32x4.convert_i32x4_u ( -- ) { 0xFD 0xFB } % ;
 509 : i32x4.trunc_sat_f64x2_s_zero ( -- ) { 0xFD 0xFC } % ;
 510 : i32x4.trunc_sat_f64x2_u_zero ( -- ) { 0xFD 0xFD } % ;
 511 : f64x2.convert_low_i32x4_s ( -- ) { 0xFD 0xFE } % ;
 512 : f64x2.convert_low_i32x4_u ( -- ) { 0xFD 0xFF } % ;