tgymnich wrote: @Tim096 1) Folding any type is fine, as long as it matches what `--arith-expand=include-f8e8m0` does. 2) nan are not folded in general, so I would personally skip the nan special cases for now. https://github.com/llvm/llvm-project/pull/215123