198 lines
4.8 KiB
Plaintext
198 lines
4.8 KiB
Plaintext
test run
|
|
target aarch64
|
|
target x86_64 machinst
|
|
target s390x
|
|
|
|
; We can't test that these instructions are right regarding atomicity, but we can
|
|
; test if they perform their operation correctly
|
|
|
|
function %atomic_rmw_add_i64(i64, i64) -> i64 {
|
|
ss0 = explicit_slot 8
|
|
|
|
block0(v0: i64, v1: i64):
|
|
stack_store.i64 v0, ss0
|
|
|
|
v2 = stack_addr.i64 ss0
|
|
v3 = atomic_rmw.i64 add v2, v1
|
|
|
|
v4 = stack_load.i64 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_add_i64(0, 0) == 0
|
|
; run: %atomic_rmw_add_i64(1, 0) == 1
|
|
; run: %atomic_rmw_add_i64(0, 1) == 1
|
|
; run: %atomic_rmw_add_i64(1, 1) == 2
|
|
; run: %atomic_rmw_add_i64(0xC0FFEEEE_C0FFEEEE, 0x1DCB1111_1DCB1111) == 0xDECAFFFF_DECAFFFF
|
|
|
|
function %atomic_rmw_add_i32(i32, i32) -> i32 {
|
|
ss0 = explicit_slot 4
|
|
|
|
block0(v0: i32, v1: i32):
|
|
stack_store.i32 v0, ss0
|
|
|
|
v2 = stack_addr.i32 ss0
|
|
v3 = atomic_rmw.i32 add v2, v1
|
|
|
|
v4 = stack_load.i32 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_add_i32(0, 0) == 0
|
|
; run: %atomic_rmw_add_i32(1, 0) == 1
|
|
; run: %atomic_rmw_add_i32(0, 1) == 1
|
|
; run: %atomic_rmw_add_i32(1, 1) == 2
|
|
; run: %atomic_rmw_add_i32(0xC0FFEEEE, 0x1DCB1111) == 0xDECAFFFF
|
|
|
|
|
|
|
|
function %atomic_rmw_sub_i64(i64, i64) -> i64 {
|
|
ss0 = explicit_slot 8
|
|
|
|
block0(v0: i64, v1: i64):
|
|
stack_store.i64 v0, ss0
|
|
|
|
v2 = stack_addr.i64 ss0
|
|
v3 = atomic_rmw.i64 sub v2, v1
|
|
|
|
v4 = stack_load.i64 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_sub_i64(0, 0) == 0
|
|
; run: %atomic_rmw_sub_i64(1, 0) == 1
|
|
; run: %atomic_rmw_sub_i64(0, 1) == -1
|
|
; run: %atomic_rmw_sub_i64(1, 1) == 0
|
|
; run: %atomic_rmw_sub_i64(0xDECAFFFF_DECAFFFF, 0x1DCB1111_1DCB1111) == 0xC0FFEEEE_C0FFEEEE
|
|
|
|
function %atomic_rmw_sub_i32(i32, i32) -> i32 {
|
|
ss0 = explicit_slot 4
|
|
|
|
block0(v0: i32, v1: i32):
|
|
stack_store.i32 v0, ss0
|
|
|
|
v2 = stack_addr.i32 ss0
|
|
v3 = atomic_rmw.i32 sub v2, v1
|
|
|
|
v4 = stack_load.i32 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_sub_i32(0, 0) == 0
|
|
; run: %atomic_rmw_sub_i32(1, 0) == 1
|
|
; run: %atomic_rmw_sub_i32(0, 1) == -1
|
|
; run: %atomic_rmw_sub_i32(1, 1) == 0
|
|
; run: %atomic_rmw_sub_i32(0xDECAFFFF, 0x1DCB1111) == 0xC0FFEEEE
|
|
|
|
|
|
|
|
function %atomic_rmw_and_i64(i64, i64) -> i64 {
|
|
ss0 = explicit_slot 8
|
|
|
|
block0(v0: i64, v1: i64):
|
|
stack_store.i64 v0, ss0
|
|
|
|
v2 = stack_addr.i64 ss0
|
|
v3 = atomic_rmw.i64 and v2, v1
|
|
|
|
v4 = stack_load.i64 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_and_i64(0, 0) == 0
|
|
; run: %atomic_rmw_and_i64(1, 0) == 0
|
|
; run: %atomic_rmw_and_i64(0, 1) == 0
|
|
; run: %atomic_rmw_and_i64(1, 1) == 1
|
|
; run: %atomic_rmw_and_i64(0xF1FFFEFE_FEEEFFFF, 0xCEFFEFEF_DFDBFFFF) == 0xC0FFEEEE_DECAFFFF
|
|
|
|
function %atomic_rmw_and_i32(i32, i32) -> i32 {
|
|
ss0 = explicit_slot 4
|
|
|
|
block0(v0: i32, v1: i32):
|
|
stack_store.i32 v0, ss0
|
|
|
|
v2 = stack_addr.i32 ss0
|
|
v3 = atomic_rmw.i32 and v2, v1
|
|
|
|
v4 = stack_load.i32 ss0
|
|
return v4
|
|
}
|
|
|
|
; run: %atomic_rmw_and_i64(0, 0) == 0
|
|
; run: %atomic_rmw_and_i64(1, 0) == 0
|
|
; run: %atomic_rmw_and_i64(0, 1) == 0
|
|
; run: %atomic_rmw_and_i64(1, 1) == 1
|
|
; run: %atomic_rmw_and_i64(0xF1FFFEFE, 0xCEFFEFEF) == 0xC0FFEEEE
|
|
|
|
|
|
|
|
function %atomic_rmw_or_i64(i64, i64) -> i64 {
|
|
ss0 = explicit_slot 8
|
|
|
|
block0(v0: i64, v1: i64):
|
|
stack_store.i64 v0, ss0
|
|
|
|
v2 = stack_addr.i64 ss0
|
|
v3 = atomic_rmw.i64 or v2, v1
|
|
|
|
v4 = stack_load.i64 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_or_i64(0, 0) == 0
|
|
; run: %atomic_rmw_or_i64(1, 0) == 1
|
|
; run: %atomic_rmw_or_i64(0, 1) == 1
|
|
; run: %atomic_rmw_or_i64(1, 1) == 1
|
|
; run: %atomic_rmw_or_i64(0x80AAAAAA_8A8AAAAA, 0x40554444_54405555) == 0xC0FFEEEE_DECAFFFF
|
|
|
|
function %atomic_rmw_or_i32(i32, i32) -> i32 {
|
|
ss0 = explicit_slot 4
|
|
|
|
block0(v0: i32, v1: i32):
|
|
stack_store.i32 v0, ss0
|
|
|
|
v2 = stack_addr.i32 ss0
|
|
v3 = atomic_rmw.i32 or v2, v1
|
|
|
|
v4 = stack_load.i32 ss0
|
|
return v4
|
|
}
|
|
|
|
; run: %atomic_rmw_or_i32(0, 0) == 0
|
|
; run: %atomic_rmw_or_i32(1, 0) == 1
|
|
; run: %atomic_rmw_or_i32(0, 1) == 1
|
|
; run: %atomic_rmw_or_i32(1, 1) == 1
|
|
; run: %atomic_rmw_or_i32(0x80AAAAAA, 0x40554444) == 0xC0FFEEEE
|
|
|
|
|
|
|
|
function %atomic_rmw_xor_i64(i64, i64) -> i64 {
|
|
ss0 = explicit_slot 8
|
|
|
|
block0(v0: i64, v1: i64):
|
|
stack_store.i64 v0, ss0
|
|
|
|
v2 = stack_addr.i64 ss0
|
|
v3 = atomic_rmw.i64 xor v2, v1
|
|
|
|
v4 = stack_load.i64 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_xor_i64(0, 0) == 0
|
|
; run: %atomic_rmw_xor_i64(1, 0) == 1
|
|
; run: %atomic_rmw_xor_i64(0, 1) == 1
|
|
; run: %atomic_rmw_xor_i64(1, 1) == 0
|
|
; run: %atomic_rmw_xor_i64(0x8FA50A64_9440A07D, 0x4F5AE48A_4A8A5F82) == 0xC0FFEEEE_DECAFFFF
|
|
|
|
function %atomic_rmw_xor_i32(i32, i32) -> i32 {
|
|
ss0 = explicit_slot 4
|
|
|
|
block0(v0: i32, v1: i32):
|
|
stack_store.i32 v0, ss0
|
|
|
|
v2 = stack_addr.i32 ss0
|
|
v3 = atomic_rmw.i32 xor v2, v1
|
|
|
|
v4 = stack_load.i32 ss0
|
|
return v4
|
|
}
|
|
; run: %atomic_rmw_xor_i32(0, 0) == 0
|
|
; run: %atomic_rmw_xor_i32(1, 0) == 1
|
|
; run: %atomic_rmw_xor_i32(0, 1) == 1
|
|
; run: %atomic_rmw_xor_i32(1, 1) == 0
|
|
; run: %atomic_rmw_xor_i32(0x8FA50A64, 0x4F5AE48A) == 0xC0FFEEEE
|