1 ; RUN: opt < %s -sccp -S | FileCheck %s
3 define 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