Support `arith.uitofp` throughout the pipeline
Open
- Dominant language
- MLIR
- Stars
- 906
- Forks
- 171
- Avg merge
- 4d 12h
- Merged PRs (30d)
- 32
Description
In #1574 to handle conditioning floating point with bool, `arith.uitofp` is used. Yet much of the rest pipeline is not aware of such op (e.g. Analysis, secret-to-scheme, backend emitter)
Contributor guide
Assessment
This issue has not been assessed yet.