@rengolin Thank you so much for answering my question. From the IR viewpoint, we can keep it undefined. The language frontend or the hardware should be responsible for how to treat the decision-by-zero case. That clarifies everything to me.
Lewuathe
3
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Semantics of fdiv division by zero | 3 | 158 | June 22, 2017 | |
| Integer divide by zero | 37 | 369 | April 16, 2013 | |
| floating point division by 0.0 and -ftrapv | 3 | 140 | January 25, 2012 | |
| Undefined behavior in the math dialect | 5 | 269 | April 27, 2026 | |
| [llvm] r206732 - Implement builtins for safe division: safe.sdiv.iN, safe.udiv.iN, safe.srem.iN, | 2 | 159 | April 26, 2014 |