Skip to content

[spec] Add missing text format for relaxed_dot instructions#2163

Merged
rossberg merged 4 commits into
mainfrom
fix.2157
May 13, 2026
Merged

[spec] Add missing text format for relaxed_dot instructions#2163
rossberg merged 4 commits into
mainfrom
fix.2157

Conversation

@rossberg
Copy link
Copy Markdown
Member

Fix #2157.

| "i16x8.extmul_high_i8x16_s" => VEXTBINOP (I16 X `8) (I8 X `16) EXTMUL HIGH S
| "i16x8.extmul_high_i8x16_u" => VEXTBINOP (I16 X `8) (I8 X `16) EXTMUL HIGH U
;;| "i16x8.dot_i8x16_s" => VEXTBINOP (I16 X `8) (I8 X `16) DOT S ;; does not exist!
| "i16x8.dot_i8x16_i7x16_s" => VEXTBINOP (I16 X `8) (I8 X `16) RELAXED_DOT S ;; does not exist!
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
| "i16x8.dot_i8x16_i7x16_s" => VEXTBINOP (I16 X `8) (I8 X `16) RELAXED_DOT S ;; does not exist!
| "i16x8.dot_i8x16_i7x16_s" => VEXTBINOP (I16 X `8) (I8 X `16) RELAXED_DOT S

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Actually, the name was wrong as well. :) Fixed now.

@rossberg rossberg merged commit 9fb128d into main May 13, 2026
9 checks passed
@rossberg rossberg deleted the fix.2157 branch May 13, 2026 21:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Relaxed SIMD instructions missing in text format chapter

2 participants