; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-unknown-linux-gnu |  FileCheck %s

define i32 @exchange_and_add(ptr %mem, i32 %val) nounwind {
; CHECK-LABEL: exchange_and_add:
; CHECK: lwarx {{[0-9]+}}, 0, {{[0-9]+}}
  %tmp = atomicrmw add ptr %mem, i32 %val monotonic
; CHECK: stwcx. {{[0-9]+}}, 0, {{[0-9]+}}
  ret i32 %tmp
}

define i32 @exchange_and_cmp(ptr %mem) nounwind {
; CHECK-LABEL: exchange_and_cmp:
; CHECK: lwarx
  %tmppair = cmpxchg ptr %mem, i32 0, i32 1 monotonic monotonic
  %tmp = extractvalue { i32, i1 } %tmppair, 0
; CHECK: stwcx.
  ret i32 %tmp
}

define i32 @exchange(ptr %mem, i32 %val) nounwind {
; CHECK-LABEL: exchange:
; CHECK: lwarx
  %tmp = atomicrmw xchg ptr %mem, i32 1 monotonic
; CHECK: stwcx.
  ret i32 %tmp
}