Files
wasmtime/cranelift/filetests/filetests/wasm/select.clif
Anton Kirilov a1b39276e1 Enable more CLIF tests on AArch64
The tests for the SIMD floating-point maximum and minimum operations
require particular care because the handling of the NaN values is
non-deterministic and may vary between platforms. There is no way to
match several NaN values in a test, so the solution is to extract the
non-deterministic test cases into a separate file that is subsequently
replicated for every backend under test, with adjustments made to the
expected results.

Copyright (c) 2021, Arm Limited.
2021-08-17 13:27:58 +01:00

31 lines
636 B
Plaintext

; Test basic code generation for the select WebAssembly instruction.
test compile
target aarch64
target i686 haswell
target x86_64 haswell
function %select_i32(i32, i32, i32) -> i32 {
block0(v0: i32, v1: i32, v2: i32):
v3 = select v2, v0, v1
return v3
}
function %select_i64(i64, i64, i32) -> i64 {
block0(v0: i64, v1: i64, v2: i32):
v3 = select v2, v0, v1
return v3
}
function %select_f32(f32, f32, i32) -> f32 {
block0(v0: f32, v1: f32, v2: i32):
v3 = select v2, v0, v1
return v3
}
function %select_f64(f64, f64, i32) -> f64 {
block0(v0: f64, v1: f64, v2: i32):
v3 = select v2, v0, v1
return v3
}