; RUN: llvm-dis < %s.bc | FileCheck %s
; RUN: verify-uselistorder < %s.bc

; cmpxchg-upgrade.ll.bc was produced by running a version of llvm-as from just
; before the IR change on this file.

define i32 @test(i32* %addr, i32 %old, i32 %new) {
; CHECK:  [[TMP:%.*]] = cmpxchg i32* %addr, i32 %old, i32 %new seq_cst monotonic
; CHECK:  %val = extractvalue { i32, i1 } [[TMP]], 0
  %val = cmpxchg i32* %addr, i32 %old, i32 %new seq_cst monotonic
  ret i32 %val
}

define i32 @test(i32* %addr, i32 %old, i32 %new) {
  ret i1 %val
}