https://github.com/bjorn3/rustc_codegen_cranelift/blob/b82472184d12235e971ab1b62e527aa62d15d141/src/intrinsics.rs#L557-L559 I thought `band_not` implemented `nand`, but it seems it implements `x&(~y)` instead.