Tag
undefined-behavior
- May 21, 2022 What Behavior-Preserving Change Cannot Preserve Cost, stack shape, interleaving, and resource lifetime fall outside the observation set by design. The cases where that exclusion stops being acceptable are the ones that matter. software engineering
- Feb 23, 2022 Poison, Undef, and What an IR Must Say About Speculation How deferred undefined behaviour lets an IR move and duplicate operations that might trap, why poison propagates through flags like nsw, and what a freeze instruction buys in exchange for lost optimisation. compilers