1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt -atomic-expand -S -mtriple=powerpc64-unknown-unknown \
3; RUN:   -ppc-quadword-atomics -mcpu=pwr8 %s | FileCheck %s
4
5define i1 @test_cmpxchg_seq_cst(i128* %addr, i128 %desire, i128 %new) {
6; CHECK-LABEL: @test_cmpxchg_seq_cst(
7; CHECK-NEXT:  entry:
8; CHECK-NEXT:    [[CMPVAL_SHIFTED:%.*]] = shl i128 [[DESIRE:%.*]], 0
9; CHECK-NEXT:    [[NEWVAL_SHIFTED:%.*]] = shl i128 [[NEW:%.*]], 0
10; CHECK-NEXT:    [[CMP_LO:%.*]] = trunc i128 [[CMPVAL_SHIFTED]] to i64
11; CHECK-NEXT:    [[TMP0:%.*]] = lshr i128 [[CMPVAL_SHIFTED]], 64
12; CHECK-NEXT:    [[CMP_HI:%.*]] = trunc i128 [[TMP0]] to i64
13; CHECK-NEXT:    [[NEW_LO:%.*]] = trunc i128 [[NEWVAL_SHIFTED]] to i64
14; CHECK-NEXT:    [[TMP1:%.*]] = lshr i128 [[NEWVAL_SHIFTED]], 64
15; CHECK-NEXT:    [[NEW_HI:%.*]] = trunc i128 [[TMP1]] to i64
16; CHECK-NEXT:    [[TMP2:%.*]] = bitcast i128* [[ADDR:%.*]] to i8*
17; CHECK-NEXT:    call void @llvm.ppc.sync()
18; CHECK-NEXT:    [[TMP3:%.*]] = call { i64, i64 } @llvm.ppc.cmpxchg.i128(i8* [[TMP2]], i64 [[CMP_LO]], i64 [[CMP_HI]], i64 [[NEW_LO]], i64 [[NEW_HI]])
19; CHECK-NEXT:    call void @llvm.ppc.lwsync()
20; CHECK-NEXT:    [[LO:%.*]] = extractvalue { i64, i64 } [[TMP3]], 0
21; CHECK-NEXT:    [[HI:%.*]] = extractvalue { i64, i64 } [[TMP3]], 1
22; CHECK-NEXT:    [[LO64:%.*]] = zext i64 [[LO]] to i128
23; CHECK-NEXT:    [[HI64:%.*]] = zext i64 [[HI]] to i128
24; CHECK-NEXT:    [[TMP4:%.*]] = shl i128 [[HI64]], 64
25; CHECK-NEXT:    [[VAL64:%.*]] = or i128 [[LO64]], [[TMP4]]
26; CHECK-NEXT:    [[TMP5:%.*]] = insertvalue { i128, i1 } undef, i128 [[VAL64]], 0
27; CHECK-NEXT:    [[TMP6:%.*]] = and i128 [[VAL64]], -1
28; CHECK-NEXT:    [[SUCCESS:%.*]] = icmp eq i128 [[CMPVAL_SHIFTED]], [[TMP6]]
29; CHECK-NEXT:    [[TMP7:%.*]] = insertvalue { i128, i1 } [[TMP5]], i1 [[SUCCESS]], 1
30; CHECK-NEXT:    [[SUCC:%.*]] = extractvalue { i128, i1 } [[TMP7]], 1
31; CHECK-NEXT:    ret i1 [[SUCC]]
32;
33entry:
34  %pair = cmpxchg weak i128* %addr, i128 %desire, i128 %new seq_cst seq_cst
35  %succ = extractvalue {i128, i1} %pair, 1
36  ret i1 %succ
37}
38