Cranelift: Crash on aarch64: `bxor.f64` triggers float/int assertion failure

[akldc]

.clif Test Case

test optimize    
    set opt_level=none
    set preserve_frame_pointers=true
    set enable_multi_ret_implicit_sret=true
    target aarch64
            
function %main() -> f64 fast {

block0:
    v1 = f64const 0x1.11044b092d153p-1
    v2 = bxor.f64 v1, v1
    return v2
}

; print: %main()

When run on aarch64, the test case shows the following error:

thread 'main' panicked at cranelift/codegen/src/isa/aarch64/inst/emit.rs:97:5:
assertion `left == right` failed
  left: Float
 right: Int
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

Environment

qemu-aarch64 to emulate execution on an x86 machine.

[bjorn3]

This should result in a verifier error if you enable the ir verifier.

[akldc]

@bjorn3
It runs correctly on other architectures (after modifying the target).

[x86    ] %main() -> 0.0
[riscv64] %main() -> 0.0
[aarch64] thread 'main' panicked at cranelift/codegen/src/isa/aarch64/inst/emit.rs:97:5:
assertion `left == right` failed
  left: Float
 right: Int
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

[bjorn3]

Indeed. Didn't know bitwise operations were also allowed on floats.