71 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes='default<O3>' %s -o - | FileCheck %s3define void @test_builtin_ppc_compare_and_swaplp(i64 %a, i64 %b, i64 %c) {4; CHECK-LABEL: @test_builtin_ppc_compare_and_swaplp(5; CHECK-NEXT: entry:6; CHECK-NEXT: [[A_ADDR:%.*]] = alloca i64, align 87; CHECK-NEXT: store i64 [[A:%.*]], ptr [[A_ADDR]], align 88; CHECK-NEXT: [[TMP0:%.*]] = cmpxchg weak volatile ptr [[A_ADDR]], i64 [[B:%.*]], i64 [[C:%.*]] monotonic monotonic, align 89; CHECK-NEXT: ret void10;11entry:12 %a.addr = alloca i64, align 813 %b.addr = alloca i64, align 814 %c.addr = alloca i64, align 815 store i64 %a, ptr %a.addr, align 816 store i64 %b, ptr %b.addr, align 817 store i64 %c, ptr %c.addr, align 818 %0 = load i64, ptr %c.addr, align 819 %1 = load i64, ptr %b.addr, align 820 %2 = cmpxchg weak volatile ptr %a.addr, i64 %1, i64 %0 monotonic monotonic, align 821 %3 = extractvalue { i64, i1 } %2, 022 %4 = extractvalue { i64, i1 } %2, 123 store i64 %3, ptr %b.addr, align 824 ret void25}26 27define dso_local void @test_builtin_ppc_compare_and_swaplp_loop(ptr %a) {28; CHECK-LABEL: @test_builtin_ppc_compare_and_swaplp_loop(29; CHECK-NEXT: entry:30; CHECK-NEXT: [[CALL:%.*]] = tail call i64 @bar()31; CHECK-NEXT: br label [[DO_BODY:%.*]]32; CHECK: do.body:33; CHECK-NEXT: [[X_0:%.*]] = phi i64 [ [[CALL]], [[ENTRY:%.*]] ], [ [[TMP1:%.*]], [[DO_BODY]] ]34; CHECK-NEXT: [[ADD:%.*]] = add nsw i64 [[X_0]], 135; CHECK-NEXT: [[TMP0:%.*]] = cmpxchg weak volatile ptr [[A:%.*]], i64 [[X_0]], i64 [[ADD]] monotonic monotonic, align 836; CHECK-NEXT: [[TMP1]] = extractvalue { i64, i1 } [[TMP0]], 037; CHECK-NEXT: [[TMP2:%.*]] = extractvalue { i64, i1 } [[TMP0]], 138; CHECK-NEXT: br i1 [[TMP2]], label [[DO_BODY]], label [[DO_END:%.*]]39; CHECK: do.end:40; CHECK-NEXT: ret void41;42entry:43 %a.addr = alloca ptr, align 844 %x = alloca i64, align 845 store ptr %a, ptr %a.addr, align 846 %call = call i64 @bar()47 store i64 %call, ptr %x, align 848 br label %do.body49 50do.body: ; preds = %do.cond, %entry51 br label %do.cond52 53do.cond: ; preds = %do.body54 %0 = load ptr, ptr %a.addr, align 855 %1 = load i64, ptr %x, align 856 %add = add nsw i64 %1, 157 %2 = load ptr, ptr %a.addr, align 858 %3 = load i64, ptr %x, align 859 %4 = cmpxchg weak volatile ptr %2, i64 %3, i64 %add monotonic monotonic, align 860 %5 = extractvalue { i64, i1 } %4, 061 %6 = extractvalue { i64, i1 } %4, 162 store i64 %5, ptr %x, align 863 %tobool = icmp ne i1 %6, false64 br i1 %tobool, label %do.body, label %do.end65 66do.end: ; preds = %do.cond67 ret void68}69 70declare i64 @bar(...)71