@@ -114,34 +114,34 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
114114 Instruction (r'\LOCALTEE~x' , r'\hex{22}' , r'[t] \to [t]' , r'valid-local.tee' , r'exec-local.tee' ),
115115 Instruction (r'\GLOBALGET~x' , r'\hex{23}' , r'[] \to [t]' , r'valid-global.get' , r'exec-global.get' ),
116116 Instruction (r'\GLOBALSET~x' , r'\hex{24}' , r'[t] \to []' , r'valid-global.set' , r'exec-global.set' ),
117- Instruction (r'\TABLEGET~x' , r'\hex{25}' , r'[\I32 ] \to [t]' , r'valid-table.get' , r'exec-table.get' ),
118- Instruction (r'\TABLESET~x' , r'\hex{26}' , r'[\I32 ~t] \to []' , r'valid-table.set' , r'exec-table.set' ),
117+ Instruction (r'\TABLEGET~x' , r'\hex{25}' , r'[\X{at} ] \to [t]' , r'valid-table.get' , r'exec-table.get' ),
118+ Instruction (r'\TABLESET~x' , r'\hex{26}' , r'[\X{at} ~t] \to []' , r'valid-table.set' , r'exec-table.set' ),
119119 Instruction (None , r'\hex{27}' ),
120- Instruction (r'\I32.\LOAD~x~\memarg' , r'\hex{28}' , r'[\I32 ] \to [\I32]' , r'valid-load' , r'exec-load' ),
121- Instruction (r'\I64.\LOAD~x~\memarg' , r'\hex{29}' , r'[\I32 ] \to [\I64]' , r'valid-load' , r'exec-load' ),
122- Instruction (r'\F32.\LOAD~x~\memarg' , r'\hex{2A}' , r'[\I32 ] \to [\F32]' , r'valid-load' , r'exec-load' ),
123- Instruction (r'\F64.\LOAD~x~\memarg' , r'\hex{2B}' , r'[\I32 ] \to [\F64]' , r'valid-load' , r'exec-load' ),
124- Instruction (r'\I32.\LOAD\K{8\_s}~x~\memarg' , r'\hex{2C}' , r'[\I32 ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
125- Instruction (r'\I32.\LOAD\K{8\_u}~x~\memarg' , r'\hex{2D}' , r'[\I32 ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
126- Instruction (r'\I32.\LOAD\K{16\_s}~x~\memarg' , r'\hex{2E}' , r'[\I32 ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
127- Instruction (r'\I32.\LOAD\K{16\_u}~x~\memarg' , r'\hex{2F}' , r'[\I32 ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
128- Instruction (r'\I64.\LOAD\K{8\_s}~x~\memarg' , r'\hex{30}' , r'[\I32 ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
129- Instruction (r'\I64.\LOAD\K{8\_u}~x~\memarg' , r'\hex{31}' , r'[\I32 ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
130- Instruction (r'\I64.\LOAD\K{16\_s}~x~\memarg' , r'\hex{32}' , r'[\I32 ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
131- Instruction (r'\I64.\LOAD\K{16\_u}~x~\memarg' , r'\hex{33}' , r'[\I32 ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
132- Instruction (r'\I64.\LOAD\K{32\_s}~x~\memarg' , r'\hex{34}' , r'[\I32 ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
133- Instruction (r'\I64.\LOAD\K{32\_u}~x~\memarg' , r'\hex{35}' , r'[\I32 ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
134- Instruction (r'\I32.\STORE~x~\memarg' , r'\hex{36}' , r'[\I32 ~\I32] \to []' , r'valid-store' , r'exec-store' ),
135- Instruction (r'\I64.\STORE~x~\memarg' , r'\hex{37}' , r'[\I32 ~\I64] \to []' , r'valid-store' , r'exec-store' ),
136- Instruction (r'\F32.\STORE~x~\memarg' , r'\hex{38}' , r'[\I32 ~\F32] \to []' , r'valid-store' , r'exec-store' ),
137- Instruction (r'\F64.\STORE~x~\memarg' , r'\hex{39}' , r'[\I32 ~\F64] \to []' , r'valid-store' , r'exec-store' ),
138- Instruction (r'\I32.\STORE\K{8}~x~\memarg' , r'\hex{3A}' , r'[\I32 ~\I32] \to []' , r'valid-storen' , r'exec-storen' ),
139- Instruction (r'\I32.\STORE\K{16}~x~\memarg' , r'\hex{3B}' , r'[\I32 ~\I32] \to []' , r'valid-storen' , r'exec-storen' ),
140- Instruction (r'\I64.\STORE\K{8}~x~\memarg' , r'\hex{3C}' , r'[\I32 ~\I64] \to []' , r'valid-storen' , r'exec-storen' ),
141- Instruction (r'\I64.\STORE\K{16}~x~\memarg' , r'\hex{3D}' , r'[\I32 ~\I64] \to []' , r'valid-storen' , r'exec-storen' ),
142- Instruction (r'\I64.\STORE\K{32}~x~\memarg' , r'\hex{3E}' , r'[\I32 ~\I64] \to []' , r'valid-storen' , r'exec-storen' ),
143- Instruction (r'\MEMORYSIZE~x' , r'\hex{3F}' , r'[] \to [\I32 ]' , r'valid-memory.size' , r'exec-memory.size' ),
144- Instruction (r'\MEMORYGROW~x' , r'\hex{40}' , r'[\I32 ] \to [\I32 ]' , r'valid-memory.grow' , r'exec-memory.grow' ),
120+ Instruction (r'\I32.\LOAD~x~\memarg' , r'\hex{28}' , r'[\X{at} ] \to [\I32]' , r'valid-load' , r'exec-load' ),
121+ Instruction (r'\I64.\LOAD~x~\memarg' , r'\hex{29}' , r'[\X{at} ] \to [\I64]' , r'valid-load' , r'exec-load' ),
122+ Instruction (r'\F32.\LOAD~x~\memarg' , r'\hex{2A}' , r'[\X{at} ] \to [\F32]' , r'valid-load' , r'exec-load' ),
123+ Instruction (r'\F64.\LOAD~x~\memarg' , r'\hex{2B}' , r'[\X{at} ] \to [\F64]' , r'valid-load' , r'exec-load' ),
124+ Instruction (r'\I32.\LOAD\K{8\_s}~x~\memarg' , r'\hex{2C}' , r'[\X{at} ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
125+ Instruction (r'\I32.\LOAD\K{8\_u}~x~\memarg' , r'\hex{2D}' , r'[\X{at} ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
126+ Instruction (r'\I32.\LOAD\K{16\_s}~x~\memarg' , r'\hex{2E}' , r'[\X{at} ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
127+ Instruction (r'\I32.\LOAD\K{16\_u}~x~\memarg' , r'\hex{2F}' , r'[\X{at} ] \to [\I32]' , r'valid-loadn' , r'exec-loadn' ),
128+ Instruction (r'\I64.\LOAD\K{8\_s}~x~\memarg' , r'\hex{30}' , r'[\X{at} ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
129+ Instruction (r'\I64.\LOAD\K{8\_u}~x~\memarg' , r'\hex{31}' , r'[\X{at} ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
130+ Instruction (r'\I64.\LOAD\K{16\_s}~x~\memarg' , r'\hex{32}' , r'[\X{at} ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
131+ Instruction (r'\I64.\LOAD\K{16\_u}~x~\memarg' , r'\hex{33}' , r'[\X{at} ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
132+ Instruction (r'\I64.\LOAD\K{32\_s}~x~\memarg' , r'\hex{34}' , r'[\X{at} ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
133+ Instruction (r'\I64.\LOAD\K{32\_u}~x~\memarg' , r'\hex{35}' , r'[\X{at} ] \to [\I64]' , r'valid-loadn' , r'exec-loadn' ),
134+ Instruction (r'\I32.\STORE~x~\memarg' , r'\hex{36}' , r'[\X{at} ~\I32] \to []' , r'valid-store' , r'exec-store' ),
135+ Instruction (r'\I64.\STORE~x~\memarg' , r'\hex{37}' , r'[\X{at} ~\I64] \to []' , r'valid-store' , r'exec-store' ),
136+ Instruction (r'\F32.\STORE~x~\memarg' , r'\hex{38}' , r'[\X{at} ~\F32] \to []' , r'valid-store' , r'exec-store' ),
137+ Instruction (r'\F64.\STORE~x~\memarg' , r'\hex{39}' , r'[\X{at} ~\F64] \to []' , r'valid-store' , r'exec-store' ),
138+ Instruction (r'\I32.\STORE\K{8}~x~\memarg' , r'\hex{3A}' , r'[\X{at} ~\I32] \to []' , r'valid-storen' , r'exec-storen' ),
139+ Instruction (r'\I32.\STORE\K{16}~x~\memarg' , r'\hex{3B}' , r'[\X{at} ~\I32] \to []' , r'valid-storen' , r'exec-storen' ),
140+ Instruction (r'\I64.\STORE\K{8}~x~\memarg' , r'\hex{3C}' , r'[\X{at} ~\I64] \to []' , r'valid-storen' , r'exec-storen' ),
141+ Instruction (r'\I64.\STORE\K{16}~x~\memarg' , r'\hex{3D}' , r'[\X{at} ~\I64] \to []' , r'valid-storen' , r'exec-storen' ),
142+ Instruction (r'\I64.\STORE\K{32}~x~\memarg' , r'\hex{3E}' , r'[\X{at} ~\I64] \to []' , r'valid-storen' , r'exec-storen' ),
143+ Instruction (r'\MEMORYSIZE~x' , r'\hex{3F}' , r'[] \to [\X{at} ]' , r'valid-memory.size' , r'exec-memory.size' ),
144+ Instruction (r'\MEMORYGROW~x' , r'\hex{40}' , r'[\X{at} ] \to [\X{at} ]' , r'valid-memory.grow' , r'exec-memory.grow' ),
145145 Instruction (r'\I32.\CONST~\i32' , r'\hex{41}' , r'[] \to [\I32]' , r'valid-const' , r'exec-const' ),
146146 Instruction (r'\I64.\CONST~\i64' , r'\hex{42}' , r'[] \to [\I64]' , r'valid-const' , r'exec-const' ),
147147 Instruction (r'\F32.\CONST~\f32' , r'\hex{43}' , r'[] \to [\F32]' , r'valid-const' , r'exec-const' ),
@@ -368,29 +368,29 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
368368 Instruction (r'\I64.\TRUNC\K{\_sat\_}\F32\K{\_u}' , r'\hex{FC}~\hex{05}' , r'[\F32] \to [\I64]' , r'valid-cvtop' , r'exec-cvtop' , r'op-trunc_sat_u' ),
369369 Instruction (r'\I64.\TRUNC\K{\_sat\_}\F64\K{\_s}' , r'\hex{FC}~\hex{06}' , r'[\F64] \to [\I64]' , r'valid-cvtop' , r'exec-cvtop' , r'op-trunc_sat_s' ),
370370 Instruction (r'\I64.\TRUNC\K{\_sat\_}\F64\K{\_u}' , r'\hex{FC}~\hex{07}' , r'[\F64] \to [\I64]' , r'valid-cvtop' , r'exec-cvtop' , r'op-trunc_sat_u' ),
371- Instruction (r'\MEMORYINIT~x~y' , r'\hex{FC}~\hex{08}' , r'[\I32 ~\I32~\I32] \to []' , r'valid-memory.init' , r'exec-memory.init' ),
371+ Instruction (r'\MEMORYINIT~x~y' , r'\hex{FC}~\hex{08}' , r'[\X{at} ~\I32~\I32] \to []' , r'valid-memory.init' , r'exec-memory.init' ),
372372 Instruction (r'\DATADROP~x' , r'\hex{FC}~\hex{09}' , r'[] \to []' , r'valid-data.drop' , r'exec-data.drop' ),
373- Instruction (r'\MEMORYCOPY~x~y' , r'\hex{FC}~\hex{0A}' , r'[\I32~\I32~\I32 ] \to []' , r'valid-memory.copy' , r'exec-memory.copy' ),
374- Instruction (r'\MEMORYFILL~y' , r'\hex{FC}~\hex{0B}' , r'[\I32 ~\I32~\I32 ] \to []' , r'valid-memory.fill' , r'exec-memory.fill' ),
375- Instruction (r'\TABLEINIT~x~y' , r'\hex{FC}~\hex{0C}' , r'[\I32 ~\I32~\I32] \to []' , r'valid-table.init' , r'exec-table.init' ),
373+ Instruction (r'\MEMORYCOPY~x~y' , r'\hex{FC}~\hex{0A}' , r'[\X{at}_1~\X{at}_2~\addrtypemin(\X{at}_x, \X{at}_y) ] \to []' , r'valid-memory.copy' , r'exec-memory.copy' ),
374+ Instruction (r'\MEMORYFILL~y' , r'\hex{FC}~\hex{0B}' , r'[\X{at} ~\I32~\X{at} ] \to []' , r'valid-memory.fill' , r'exec-memory.fill' ),
375+ Instruction (r'\TABLEINIT~x~y' , r'\hex{FC}~\hex{0C}' , r'[\X{at} ~\I32~\I32] \to []' , r'valid-table.init' , r'exec-table.init' ),
376376 Instruction (r'\ELEMDROP~x' , r'\hex{FC}~\hex{0D}' , r'[] \to []' , r'valid-elem.drop' , r'exec-elem.drop' ),
377- Instruction (r'\TABLECOPY~x~y' , r'\hex{FC}~\hex{0E}' , r'[\I32~\I32~\I32 ] \to []' , r'valid-table.copy' , r'exec-table.copy' ),
378- Instruction (r'\TABLEGROW~x' , r'\hex{FC}~\hex{0F}' , r'[t~\I32 ] \to [\I32 ]' , r'valid-table.grow' , r'exec-table.grow' ),
379- Instruction (r'\TABLESIZE~x' , r'\hex{FC}~\hex{10}' , r'[] \to [\I32 ]' , r'valid-table.size' , r'exec-table.size' ),
380- Instruction (r'\TABLEFILL~x' , r'\hex{FC}~\hex{11}' , r'[\I32 ~t~\I32 ] \to []' , r'valid-table.fill' , r'exec-table.fill' ),
377+ Instruction (r'\TABLECOPY~x~y' , r'\hex{FC}~\hex{0E}' , r'[\X{at}_1~\X{at}_2~\addrtypemin(\X{at}_1, \X{at}_2) ] \to []' , r'valid-table.copy' , r'exec-table.copy' ),
378+ Instruction (r'\TABLEGROW~x' , r'\hex{FC}~\hex{0F}' , r'[t~\X{at} ] \to [\X{at} ]' , r'valid-table.grow' , r'exec-table.grow' ),
379+ Instruction (r'\TABLESIZE~x' , r'\hex{FC}~\hex{10}' , r'[] \to [\X{at} ]' , r'valid-table.size' , r'exec-table.size' ),
380+ Instruction (r'\TABLEFILL~x' , r'\hex{FC}~\hex{11}' , r'[\X{at} ~t~\X{at} ] \to []' , r'valid-table.fill' , r'exec-table.fill' ),
381381 Instruction (None , r'\hex{FC}~\hex{1E} \dots' ),
382- Instruction (r'\V128.\LOAD~x~\memarg' , r'\hex{FD}~~\hex{00}' , r'[\I32 ] \to [\V128]' , r'valid-load' , r'exec-load' ),
383- Instruction (r'\V128.\LOAD\K{8x8\_s}~x~\memarg' , r'\hex{FD}~~\hex{01}' , r'[\I32 ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
384- Instruction (r'\V128.\LOAD\K{8x8\_u}~x~\memarg' , r'\hex{FD}~~\hex{02}' , r'[\I32 ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
385- Instruction (r'\V128.\LOAD\K{16x4\_s}~x~\memarg' , r'\hex{FD}~~\hex{03}' , r'[\I32 ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
386- Instruction (r'\V128.\LOAD\K{16x4\_u}~x~\memarg' , r'\hex{FD}~~\hex{04}' , r'[\I32 ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
387- Instruction (r'\V128.\LOAD\K{32x2\_s}~x~\memarg' , r'\hex{FD}~~\hex{05}' , r'[\I32 ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
388- Instruction (r'\V128.\LOAD\K{32x2\_u}~x~\memarg' , r'\hex{FD}~~\hex{06}' , r'[\I32 ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
389- Instruction (r'\V128.\LOAD\K{8\_splat}~x~\memarg' , r'\hex{FD}~~\hex{07}' , r'[\I32 ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
390- Instruction (r'\V128.\LOAD\K{16\_splat}~x~\memarg' , r'\hex{FD}~~\hex{08}' , r'[\I32 ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
391- Instruction (r'\V128.\LOAD\K{32\_splat}~x~\memarg' , r'\hex{FD}~~\hex{09}' , r'[\I32 ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
392- Instruction (r'\V128.\LOAD\K{64\_splat}~x~\memarg' , r'\hex{FD}~~\hex{0A}' , r'[\I32 ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
393- Instruction (r'\V128.\STORE~x~\memarg' , r'\hex{FD}~~\hex{0B}' , r'[\I32 ~\V128] \to []' , r'valid-store' , r'exec-store' ),
382+ Instruction (r'\V128.\LOAD~x~\memarg' , r'\hex{FD}~~\hex{00}' , r'[\X{at} ] \to [\V128]' , r'valid-load' , r'exec-load' ),
383+ Instruction (r'\V128.\LOAD\K{8x8\_s}~x~\memarg' , r'\hex{FD}~~\hex{01}' , r'[\X{at} ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
384+ Instruction (r'\V128.\LOAD\K{8x8\_u}~x~\memarg' , r'\hex{FD}~~\hex{02}' , r'[\X{at} ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
385+ Instruction (r'\V128.\LOAD\K{16x4\_s}~x~\memarg' , r'\hex{FD}~~\hex{03}' , r'[\X{at} ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
386+ Instruction (r'\V128.\LOAD\K{16x4\_u}~x~\memarg' , r'\hex{FD}~~\hex{04}' , r'[\X{at} ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
387+ Instruction (r'\V128.\LOAD\K{32x2\_s}~x~\memarg' , r'\hex{FD}~~\hex{05}' , r'[\X{at} ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
388+ Instruction (r'\V128.\LOAD\K{32x2\_u}~x~\memarg' , r'\hex{FD}~~\hex{06}' , r'[\X{at} ] \to [\V128]' , r'valid-load-extend' , r'exec-load-extend' ),
389+ Instruction (r'\V128.\LOAD\K{8\_splat}~x~\memarg' , r'\hex{FD}~~\hex{07}' , r'[\X{at} ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
390+ Instruction (r'\V128.\LOAD\K{16\_splat}~x~\memarg' , r'\hex{FD}~~\hex{08}' , r'[\X{at} ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
391+ Instruction (r'\V128.\LOAD\K{32\_splat}~x~\memarg' , r'\hex{FD}~~\hex{09}' , r'[\X{at} ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
392+ Instruction (r'\V128.\LOAD\K{64\_splat}~x~\memarg' , r'\hex{FD}~~\hex{0A}' , r'[\X{at} ] \to [\V128]' , r'valid-load-splat' , r'exec-load-splat' ),
393+ Instruction (r'\V128.\STORE~x~\memarg' , r'\hex{FD}~~\hex{0B}' , r'[\X{at} ~\V128] \to []' , r'valid-store' , r'exec-store' ),
394394 Instruction (r'\V128.\VCONST~\i128' , r'\hex{FD}~~\hex{0C}' , r'[] \to [\V128]' , r'valid-vconst' , r'exec-vconst' ),
395395 Instruction (r'\I8X16.\SHUFFLE~\laneidx^{16}' , r'\hex{FD}~~\hex{0D}' , r'[\V128~\V128] \to [\V128]' , r'valid-vec-shuffle' , r'exec-vec-shuffle' ),
396396 Instruction (r'\I8X16.\SWIZZLE' , r'\hex{FD}~~\hex{0E}' , r'[\V128~\V128] \to [\V128]' , r'valid-vbinop' , r'exec-vec-swizzle' ),
@@ -463,16 +463,16 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
463463 Instruction (r'\V128.\VXOR' , r'\hex{FD}~~\hex{51}' , r'[\V128~\V128] \to [\V128]' , r'valid-vvbinop' , r'exec-vvbinop' , r'op-ixor' ),
464464 Instruction (r'\V128.\BITSELECT' , r'\hex{FD}~~\hex{52}' , r'[\V128~\V128~\V128] \to [\V128]' , r'valid-vvternop' , r'exec-vvternop' , r'op-ibitselect' ),
465465 Instruction (r'\V128.\ANYTRUE' , r'\hex{FD}~~\hex{53}' , r'[\V128] \to [\I32]' , r'valid-vvtestop' , r'exec-vvtestop' ),
466- Instruction (r'\V128.\LOAD\K{8\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{54}' , r'[\I32 ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
467- Instruction (r'\V128.\LOAD\K{16\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{55}' , r'[\I32 ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
468- Instruction (r'\V128.\LOAD\K{32\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{56}' , r'[\I32 ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
469- Instruction (r'\V128.\LOAD\K{64\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{57}' , r'[\I32 ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
470- Instruction (r'\V128.\STORE\K{8\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{58}' , r'[\I32 ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
471- Instruction (r'\V128.\STORE\K{16\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{59}' , r'[\I32 ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
472- Instruction (r'\V128.\STORE\K{32\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{5A}' , r'[\I32 ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
473- Instruction (r'\V128.\STORE\K{64\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{5B}' , r'[\I32 ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
474- Instruction (r'\V128.\LOAD\K{32\_zero}~\memarg' , r'\hex{FD}~~\hex{5C}' , r'[\I32 ] \to [\V128]' , r'valid-load-zero' , r'exec-load-zero' ),
475- Instruction (r'\V128.\LOAD\K{64\_zero}~\memarg' , r'\hex{FD}~~\hex{5D}' , r'[\I32 ] \to [\V128]' , r'valid-load-zero' , r'exec-load-zero' ),
466+ Instruction (r'\V128.\LOAD\K{8\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{54}' , r'[\X{at} ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
467+ Instruction (r'\V128.\LOAD\K{16\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{55}' , r'[\X{at} ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
468+ Instruction (r'\V128.\LOAD\K{32\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{56}' , r'[\X{at} ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
469+ Instruction (r'\V128.\LOAD\K{64\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{57}' , r'[\X{at} ~\V128] \to [\V128]' , r'valid-load-lane' , r'exec-load-lane' ),
470+ Instruction (r'\V128.\STORE\K{8\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{58}' , r'[\X{at} ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
471+ Instruction (r'\V128.\STORE\K{16\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{59}' , r'[\X{at} ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
472+ Instruction (r'\V128.\STORE\K{32\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{5A}' , r'[\X{at} ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
473+ Instruction (r'\V128.\STORE\K{64\_lane}~\memarg~\laneidx' , r'\hex{FD}~~\hex{5B}' , r'[\X{at} ~\V128] \to []' , r'valid-store-lane' , r'exec-store-lane' ),
474+ Instruction (r'\V128.\LOAD\K{32\_zero}~\memarg' , r'\hex{FD}~~\hex{5C}' , r'[\X{at} ] \to [\V128]' , r'valid-load-zero' , r'exec-load-zero' ),
475+ Instruction (r'\V128.\LOAD\K{64\_zero}~\memarg' , r'\hex{FD}~~\hex{5D}' , r'[\X{at} ] \to [\V128]' , r'valid-load-zero' , r'exec-load-zero' ),
476476 Instruction (r'\F32X4.\VDEMOTE\K{\_f64x2\_zero}' , r'\hex{FD}~~\hex{5E}' , r'[\V128] \to [\V128]' , r'valid-vcvtop' , r'exec-vcvtop' , r'op-demote' ),
477477 Instruction (r'\F64X2.\VPROMOTE\K{\_low\_f32x4}' , r'\hex{FD}~~\hex{5F}' , r'[\V128] \to [\V128]' , r'valid-vcvtop' , r'exec-vcvtop' , r'op-promote' ),
478478 Instruction (r'\I8X16.\VABS' , r'\hex{FD}~~\hex{60}' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-vunop' , r'op-iabs' ),
0 commit comments