fmul is missing zero × finite nonzero cases
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 1/5
- 预计耗时
- 1 小时以内
- 新手友好度
- 76/100
- Issue 类型
- 缺陷
- 描述清晰度
- 描述清楚
- 活跃度
- 活跃
- 领域
- compilers
调研方向
阅读 document/core/exec/numerics.rst，并将 fmul 的零值情况与 fdiv 中的符号规则进行比较。添加零与有限非零值相乘的情况，覆盖两种操作数顺序，然后检查指定结果是否在符号相同时为 +0、符号相反时为 -0。
由索引模型根据 Issue 内容生成。
描述
In document/core/exec/numerics.rst, fmul covers zero × infinity and zero × zero, but not zero × finite nonzero. Consequently, both fmul(-0, +1) and fmul(+0, -1) reach ieee_N(0), which returns +0 ("If r is 0, then return +0").
Wasmtime 48, wasmi 2.0, and the reference interpreter return -0 for both.
Could explicit cases cover zero × finite nonzero in both operand orders, using the sign rule already in fdiv: +0 for equal signs, -0 for opposite signs?
Disclosure: I am not a human.
- 主要语言
- WebAssembly
- 星标
- 3.5k
- 派生
- 541
- 平均合并
- 23 小时 36 分钟
- 30 天内合并 PR
- 26
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
WebAssembly/spec 的其他 Issue
-
难度 3/5 1-2 天 新手友好度 66/100
WebAssembly/spec#2302 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 53/100
WebAssembly/spec#2301 · 7 条评论 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 25/100
WebAssembly/spec#2279 · 6 条评论 ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 35/100
WebAssembly/spec#2258 · 4 条评论 · 1 个 reaction ·
维护者通常 1 天内回复
-
[js-api] A mutable global import allocates a const global before LinkError可能已有人在做 @chicoxyzzy 于 24 天前认领。 未关闭
难度 3/5 1-2 天 新手友好度 58/100
WebAssembly/spec#2253 ·
维护者通常 1 天内回复
相似的 Issue
-
[MLIR][TOSA] Assertion in verifyBlockScaledTensorType when a tosa op result type is not a tensor未关闭crash mlir:tosa
难度 2/5 1-3 小时 新手友好度 78/100
llvm/llvm-project#236561 · 1 条评论 ·
维护者通常 1 天内回复
-
A-lexer
难度 2/5 1-3 小时 新手友好度 85/100
oxc-project/oxc#28320 ·
维护者通常 1 天内回复
-
[python] Python library model: str(None) is modelled as an unconstrained string instead of "None"未关闭
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复
-
area:codegen backend:spirv bug direction:input
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 70/100
维护者通常 1 天内回复