6. 浮点、异常和陷阱
MODE 提供舍入 rne/rtz/rdn/rup/rmm、次正规数 flush-to-zero/denorm-preserve 及异常使能;显式 rm 优先,dyn 读取 MODE。浮点异常设置 fflags,默认不打断执行。除零、非法描述符、未对齐/越界的强制错误和显式 trap 可产生陷阱;标有 may_trap 的指令必须保留精确 PC 和 lane mask。
v0.1 陷阱策略是暂停 warp 并通知 CP。硬件保存 trapcause、trappc、trapinfo 和 EXEC,CP 可选择终止、修复后重启或交给调试器;trapbase 指向可选处理程序。处理程序返回前必须恢复 EXEC、MODE 和 pending wait 状态。非法指令、保留长度编码和保留位非零均为 illegal-instruction 陷阱。