diff options
Diffstat (limited to 'llvm/test/CodeGen/WebAssembly/atomic-rmw.ll')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/atomic-rmw.ll | 184 |
1 files changed, 184 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/atomic-rmw.ll b/llvm/test/CodeGen/WebAssembly/atomic-rmw.ll index 1a9b2e84aaa..3f138a2c002 100644 --- a/llvm/test/CodeGen/WebAssembly/atomic-rmw.ll +++ b/llvm/test/CodeGen/WebAssembly/atomic-rmw.ll @@ -64,6 +64,27 @@ define i32 @xchg_i32(i32* %p, i32 %v) { ret i32 %old } +; CHECK-LABEL: cmpxchg_i32_loaded_value: +; CHECK-NEXT: .param i32, i32, i32{{$}} +; CHECK: i32.atomic.rmw.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: return $pop0{{$}} +define i32 @cmpxchg_i32_loaded_value(i32* %p, i32 %exp, i32 %new) { + %pair = cmpxchg i32* %p, i32 %exp, i32 %new seq_cst seq_cst + %old = extractvalue { i32, i1 } %pair, 0 + ret i32 %old +} + +; CHECK-LABEL: cmpxchg_i32_success: +; CHECK-NEXT: .param i32, i32, i32{{$}} +; CHECK: i32.atomic.rmw.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: i32.eq $push1=, $pop0, $1{{$}} +; CHECK-NEXT: return $pop1{{$}} +define i1 @cmpxchg_i32_success(i32* %p, i32 %exp, i32 %new) { + %pair = cmpxchg i32* %p, i32 %exp, i32 %new seq_cst seq_cst + %succ = extractvalue { i32, i1 } %pair, 1 + ret i1 %succ +} + ;===---------------------------------------------------------------------------- ; Atomic read-modify-writes: 64-bit ;===---------------------------------------------------------------------------- @@ -122,6 +143,27 @@ define i64 @xchg_i64(i64* %p, i64 %v) { ret i64 %old } +; CHECK-LABEL: cmpxchg_i64_loaded_value: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i64.atomic.rmw.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: return $pop0{{$}} +define i64 @cmpxchg_i64_loaded_value(i64* %p, i64 %exp, i64 %new) { + %pair = cmpxchg i64* %p, i64 %exp, i64 %new seq_cst seq_cst + %old = extractvalue { i64, i1 } %pair, 0 + ret i64 %old +} + +; CHECK-LABEL: cmpxchg_i64_success: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i64.atomic.rmw.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: i64.eq $push1=, $pop0, $1{{$}} +; CHECK-NEXT: return $pop1{{$}} +define i1 @cmpxchg_i64_success(i64* %p, i64 %exp, i64 %new) { + %pair = cmpxchg i64* %p, i64 %exp, i64 %new seq_cst seq_cst + %succ = extractvalue { i64, i1 } %pair, 1 + ret i1 %succ +} + ;===---------------------------------------------------------------------------- ; Atomic truncating & sign-extending RMWs ;===---------------------------------------------------------------------------- @@ -510,6 +552,81 @@ define i64 @xchg_sext_i32_i64(i32* %p, i64 %v) { ret i64 %e } +; cmpxchg + +; CHECK-LABEL: cmpxchg_sext_i8_i32: +; CHECK-NEXT: .param i32, i32, i32{{$}} +; CHECK: i32.atomic.rmw8_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: i32.extend8_s $push1=, $pop0{{$}} +; CHECK-NEXT: return $pop1{{$}} +define i32 @cmpxchg_sext_i8_i32(i8* %p, i32 %exp, i32 %new) { + %exp_t = trunc i32 %exp to i8 + %new_t = trunc i32 %new to i8 + %pair = cmpxchg i8* %p, i8 %exp_t, i8 %new_t seq_cst seq_cst + %old = extractvalue { i8, i1 } %pair, 0 + %e = sext i8 %old to i32 + ret i32 %e +} + +; CHECK-LABEL: cmpxchg_sext_i16_i32: +; CHECK-NEXT: .param i32, i32, i32{{$}} +; CHECK: i32.atomic.rmw16_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: i32.extend16_s $push1=, $pop0{{$}} +; CHECK-NEXT: return $pop1{{$}} +define i32 @cmpxchg_sext_i16_i32(i16* %p, i32 %exp, i32 %new) { + %exp_t = trunc i32 %exp to i16 + %new_t = trunc i32 %new to i16 + %pair = cmpxchg i16* %p, i16 %exp_t, i16 %new_t seq_cst seq_cst + %old = extractvalue { i16, i1 } %pair, 0 + %e = sext i16 %old to i32 + ret i32 %e +} + +; CHECK-LABEL: cmpxchg_sext_i8_i64: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i64.atomic.rmw8_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: i64.extend8_s $push1=, $pop0{{$}} +; CHECK-NEXT: return $pop1{{$}} +define i64 @cmpxchg_sext_i8_i64(i8* %p, i64 %exp, i64 %new) { + %exp_t = trunc i64 %exp to i8 + %new_t = trunc i64 %new to i8 + %pair = cmpxchg i8* %p, i8 %exp_t, i8 %new_t seq_cst seq_cst + %old = extractvalue { i8, i1 } %pair, 0 + %e = sext i8 %old to i64 + ret i64 %e +} + +; CHECK-LABEL: cmpxchg_sext_i16_i64: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i64.atomic.rmw16_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: i64.extend16_s $push1=, $pop0{{$}} +; CHECK-NEXT: return $pop1{{$}} +define i64 @cmpxchg_sext_i16_i64(i16* %p, i64 %exp, i64 %new) { + %exp_t = trunc i64 %exp to i16 + %new_t = trunc i64 %new to i16 + %pair = cmpxchg i16* %p, i16 %exp_t, i16 %new_t seq_cst seq_cst + %old = extractvalue { i16, i1 } %pair, 0 + %e = sext i16 %old to i64 + ret i64 %e +} + +; 32->64 sext rmw gets selected as i32.atomic.rmw.cmpxchg, i64_extend_s/i32 +; CHECK-LABEL: cmpxchg_sext_i32_i64: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i32.wrap/i64 $push1=, $1{{$}} +; CHECK-NEXT: i32.wrap/i64 $push0=, $2{{$}} +; CHECK-NEXT: i32.atomic.rmw.cmpxchg $push2=, 0($0), $pop1, $pop0{{$}} +; CHECK-NEXT: i64.extend_s/i32 $push3=, $pop2{{$}} +; CHECK-NEXT: return $pop3{{$}} +define i64 @cmpxchg_sext_i32_i64(i32* %p, i64 %exp, i64 %new) { + %exp_t = trunc i64 %exp to i32 + %new_t = trunc i64 %new to i32 + %pair = cmpxchg i32* %p, i32 %exp_t, i32 %new_t seq_cst seq_cst + %old = extractvalue { i32, i1 } %pair, 0 + %e = sext i32 %old to i64 + ret i64 %e +} + ;===---------------------------------------------------------------------------- ; Atomic truncating & zero-extending RMWs ;===---------------------------------------------------------------------------- @@ -855,3 +972,70 @@ define i64 @xchg_zext_i32_i64(i32* %p, i64 %v) { %e = zext i32 %old to i64 ret i64 %e } + +; cmpxchg + +; CHECK-LABEL: cmpxchg_zext_i8_i32: +; CHECK-NEXT: .param i32, i32, i32{{$}} +; CHECK: i32.atomic.rmw8_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: return $pop0{{$}} +define i32 @cmpxchg_zext_i8_i32(i8* %p, i32 %exp, i32 %new) { + %exp_t = trunc i32 %exp to i8 + %new_t = trunc i32 %new to i8 + %pair = cmpxchg i8* %p, i8 %exp_t, i8 %new_t seq_cst seq_cst + %old = extractvalue { i8, i1 } %pair, 0 + %e = zext i8 %old to i32 + ret i32 %e +} + +; CHECK-LABEL: cmpxchg_zext_i16_i32: +; CHECK-NEXT: .param i32, i32, i32{{$}} +; CHECK: i32.atomic.rmw16_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: return $pop0{{$}} +define i32 @cmpxchg_zext_i16_i32(i16* %p, i32 %exp, i32 %new) { + %exp_t = trunc i32 %exp to i16 + %new_t = trunc i32 %new to i16 + %pair = cmpxchg i16* %p, i16 %exp_t, i16 %new_t seq_cst seq_cst + %old = extractvalue { i16, i1 } %pair, 0 + %e = zext i16 %old to i32 + ret i32 %e +} + +; CHECK-LABEL: cmpxchg_zext_i8_i64: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i64.atomic.rmw8_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: return $pop0{{$}} +define i64 @cmpxchg_zext_i8_i64(i8* %p, i64 %exp, i64 %new) { + %exp_t = trunc i64 %exp to i8 + %new_t = trunc i64 %new to i8 + %pair = cmpxchg i8* %p, i8 %exp_t, i8 %new_t seq_cst seq_cst + %old = extractvalue { i8, i1 } %pair, 0 + %e = zext i8 %old to i64 + ret i64 %e +} + +; CHECK-LABEL: cmpxchg_zext_i16_i64: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i64.atomic.rmw16_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: return $pop0{{$}} +define i64 @cmpxchg_zext_i16_i64(i16* %p, i64 %exp, i64 %new) { + %exp_t = trunc i64 %exp to i16 + %new_t = trunc i64 %new to i16 + %pair = cmpxchg i16* %p, i16 %exp_t, i16 %new_t seq_cst seq_cst + %old = extractvalue { i16, i1 } %pair, 0 + %e = zext i16 %old to i64 + ret i64 %e +} + +; CHECK-LABEL: cmpxchg_zext_i32_i64: +; CHECK-NEXT: .param i32, i64, i64{{$}} +; CHECK: i64.atomic.rmw32_u.cmpxchg $push0=, 0($0), $1, $2{{$}} +; CHECK-NEXT: return $pop0{{$}} +define i64 @cmpxchg_zext_i32_i64(i32* %p, i64 %exp, i64 %new) { + %exp_t = trunc i64 %exp to i32 + %new_t = trunc i64 %new to i32 + %pair = cmpxchg i32* %p, i32 %exp_t, i32 %new_t seq_cst seq_cst + %old = extractvalue { i32, i1 } %pair, 0 + %e = zext i32 %old to i64 + ret i64 %e +} |
