@@ -446,10 +446,10 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
446
446
Instruction (r'\I16X8.\BITMASK' , r'\hex{FD}~~132' , r'[\V128] \to [\I32]' , r'valid-simd-bitmask' , r'exec-simd-bitmask' ),
447
447
Instruction (r'\I16X8.\NARROW\K{\_i16x8\_s}' , r'\hex{FD}~~133' , r'[\V128~\V128] \to [\V128]' , r'valid-vbinop' , r'exec-simd-narrow' ),
448
448
Instruction (r'\I16X8.\NARROW\K{\_i16x8\_u}' , r'\hex{FD}~~134' , r'[\V128~\V128] \to [\V128]' , r'valid-vbinop' , r'exec-simd-narrow' ),
449
- Instruction (r'\I16X8.\WIDEN \K{\_low\_i8x16\_s}' , r'\hex{FD}~~135' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
450
- Instruction (r'\I16X8.\WIDEN \K{\_high\_i8x16\_s}' , r'\hex{FD}~~136' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
451
- Instruction (r'\I16X8.\WIDEN \K{\_low\_i8x16\_u}' , r'\hex{FD}~~137' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
452
- Instruction (r'\I16X8.\WIDEN \K{\_high\_i8x16\_u}' , r'\hex{FD}~~138' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
449
+ Instruction (r'\I16X8.\VEXTEND \K{\_low\_i8x16\_s}' , r'\hex{FD}~~135' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
450
+ Instruction (r'\I16X8.\VEXTEND \K{\_high\_i8x16\_s}' , r'\hex{FD}~~136' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
451
+ Instruction (r'\I16X8.\VEXTEND \K{\_low\_i8x16\_u}' , r'\hex{FD}~~137' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
452
+ Instruction (r'\I16X8.\VEXTEND \K{\_high\_i8x16\_u}' , r'\hex{FD}~~138' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
453
453
Instruction (r'\I16X8.\VSHL' , r'\hex{FD}~~139' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishl' ),
454
454
Instruction (r'\I16X8.\VSHR\K{\_s}' , r'\hex{FD}~~140' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishr_s' ),
455
455
Instruction (r'\I16X8.\VSHR\K{\_u}' , r'\hex{FD}~~141' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishr_u' ),
@@ -474,10 +474,10 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
474
474
Instruction (r'\I32X4.\VNEG' , r'\hex{FD}~~161' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-vunop' , r'op-ineg' ),
475
475
Instruction (r'\I32X4.\ALLTRUE' , r'\hex{FD}~~163' , r'[\V128] \to [\I32]' , r'valid-vitestop' , r'exec-vitestop' ),
476
476
Instruction (r'\I32X4.\BITMASK' , r'\hex{FD}~~164' , r'[\V128] \to [\I32]' , r'valid-simd-bitmask' , r'exec-simd-bitmask' ),
477
- Instruction (r'\I32X4.\WIDEN \K{\_low\_i16x8\_s}' , r'\hex{FD}~~167' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
478
- Instruction (r'\I32X4.\WIDEN \K{\_high\_i16x8\_s}' , r'\hex{FD}~~168' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
479
- Instruction (r'\I32X4.\WIDEN \K{\_low\_i16x8\_u}' , r'\hex{FD}~~169' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
480
- Instruction (r'\I32X4.\WIDEN \K{\_high\_i16x8\_u}' , r'\hex{FD}~~170' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
477
+ Instruction (r'\I32X4.\VEXTEND \K{\_low\_i16x8\_s}' , r'\hex{FD}~~167' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
478
+ Instruction (r'\I32X4.\VEXTEND \K{\_high\_i16x8\_s}' , r'\hex{FD}~~168' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
479
+ Instruction (r'\I32X4.\VEXTEND \K{\_low\_i16x8\_u}' , r'\hex{FD}~~169' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
480
+ Instruction (r'\I32X4.\VEXTEND \K{\_high\_i16x8\_u}' , r'\hex{FD}~~170' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
481
481
Instruction (r'\I32X4.\VSHL' , r'\hex{FD}~~171' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishl' ),
482
482
Instruction (r'\I32X4.\VSHR\K{\_s}' , r'\hex{FD}~~172' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishr_s' ),
483
483
Instruction (r'\I32X4.\VSHR\K{\_u}' , r'\hex{FD}~~173' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishr_u' ),
@@ -495,10 +495,10 @@ def Instruction(name, opcode, type=None, validation=None, execution=None, operat
495
495
Instruction (r'\I64X2.\VABS' , r'\hex{FD}~~162' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-vunop' , r'op-iabs' ),
496
496
Instruction (r'\I64X2.\VNEG' , r'\hex{FD}~~193' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-vunop' , r'op-ineg' ),
497
497
Instruction (r'\I64X2.\BITMASK' , r'\hex{FD}~~196' , r'[\V128] \to [\I32]' , r'valid-simd-bitmask' , r'exec-simd-bitmask' ),
498
- Instruction (r'\I64X2.\WIDEN \K{\_low\_i32x4\_s}' , r'\hex{FD}~~199' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
499
- Instruction (r'\I64X2.\WIDEN \K{\_high\_i32x4\_s}' , r'\hex{FD}~~200' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
500
- Instruction (r'\I64X2.\WIDEN \K{\_low\_i32x4\_u}' , r'\hex{FD}~~201' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
501
- Instruction (r'\I64X2.\WIDEN \K{\_high\_i32x4\_u}' , r'\hex{FD}~~202' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-widen ' ),
498
+ Instruction (r'\I64X2.\VEXTEND \K{\_low\_i32x4\_s}' , r'\hex{FD}~~199' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
499
+ Instruction (r'\I64X2.\VEXTEND \K{\_high\_i32x4\_s}' , r'\hex{FD}~~200' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
500
+ Instruction (r'\I64X2.\VEXTEND \K{\_low\_i32x4\_u}' , r'\hex{FD}~~201' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
501
+ Instruction (r'\I64X2.\VEXTEND \K{\_high\_i32x4\_u}' , r'\hex{FD}~~202' , r'[\V128] \to [\V128]' , r'valid-vunop' , r'exec-simd-extend ' ),
502
502
Instruction (r'\I64X2.\VSHL' , r'\hex{FD}~~203' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishl' ),
503
503
Instruction (r'\I64X2.\VSHR\K{\_s}' , r'\hex{FD}~~204' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishr_s' ),
504
504
Instruction (r'\I64X2.\VSHR\K{\_u}' , r'\hex{FD}~~205' , r'[\V128~\I32] \to [\V128]' , r'valid-vshiftop' , r'exec-vshiftop' , r'op-ishr_u' ),
0 commit comments