1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=instcombine -S | FileCheck %s 3 4define i64 @cmpxchg_0(ptr %ptr, i64 %compare, i64 %new_value) { 5; CHECK-LABEL: @cmpxchg_0( 6; CHECK-NEXT: [[T0:%.*]] = cmpxchg ptr [[PTR:%.*]], i64 [[COMPARE:%.*]], i64 [[NEW_VALUE:%.*]] seq_cst seq_cst, align 8 7; CHECK-NEXT: [[T2:%.*]] = extractvalue { i64, i1 } [[T0]], 0 8; CHECK-NEXT: ret i64 [[T2]] 9; 10 %t0 = cmpxchg ptr %ptr, i64 %compare, i64 %new_value seq_cst seq_cst 11 %t1 = extractvalue { i64, i1 } %t0, 1 12 %t2 = extractvalue { i64, i1 } %t0, 0 13 %t3 = select i1 %t1, i64 %compare, i64 %t2 14 ret i64 %t3 15} 16 17define i64 @cmpxchg_1(ptr %ptr, i64 %compare, i64 %new_value) { 18; CHECK-LABEL: @cmpxchg_1( 19; CHECK-NEXT: [[T0:%.*]] = cmpxchg ptr [[PTR:%.*]], i64 [[COMPARE:%.*]], i64 [[NEW_VALUE:%.*]] seq_cst seq_cst, align 8 20; CHECK-NEXT: ret i64 [[COMPARE]] 21; 22 %t0 = cmpxchg ptr %ptr, i64 %compare, i64 %new_value seq_cst seq_cst 23 %t1 = extractvalue { i64, i1 } %t0, 1 24 %t2 = extractvalue { i64, i1 } %t0, 0 25 %t3 = select i1 %t1, i64 %t2, i64 %compare 26 ret i64 %t3 27} 28 29define i64 @cmpxchg_2(ptr %ptr, i64 %compare, i64 %new_value) { 30; CHECK-LABEL: @cmpxchg_2( 31; CHECK-NEXT: [[T0:%.*]] = cmpxchg ptr [[PTR:%.*]], i64 [[COMPARE:%.*]], i64 [[NEW_VALUE:%.*]] acq_rel monotonic, align 8 32; CHECK-NEXT: ret i64 [[COMPARE]] 33; 34 %t0 = cmpxchg ptr %ptr, i64 %compare, i64 %new_value acq_rel monotonic 35 %t1 = extractvalue { i64, i1 } %t0, 1 36 %t2 = extractvalue { i64, i1 } %t0, 0 37 %t3 = select i1 %t1, i64 %compare, i64 %t2 38 %t4 = select i1 %t1, i64 %t3, i64 %compare 39 ret i64 %t4 40} 41