Souper requires an `i1` condition value, we don't and will implicitly check against 0. We were truncating conditions but should actually be doing the comparison against `0`.
This crate contains the core Cranelift code generator. It translates code from an intermediate representation into executable machine code.