1; RUN: opt < %s -sccp -S | FileCheck %s
2
3define i1 @test_cmpxchg(i32* %addr, i32 %desired, i32 %new) {
4; CHECK-LABEL: @test_cmpxchg
5; CHECK: cmpxchg i32* %addr, i32 %desired, i32 %new seq_cst seq_cst
6  %val = cmpxchg i32* %addr, i32 %desired, i32 %new seq_cst seq_cst
7  %res = extractvalue { i32, i1 } %val, 1
8  ret i1 %res
9}
10