llvm/test/CodeGen/PowerPC/opt-builtins-ppc-xlcompat-cas.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes='default<O3>' %s -o - | FileCheck %s
   3 define 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 8
   7 ; CHECK-NEXT:    store i64 [[A:%.*]], ptr [[A_ADDR]], align 8
   8 ; CHECK-NEXT:    [[TMP0:%.*]] = cmpxchg weak volatile ptr [[A_ADDR]], i64 [[B:%.*]], i64 [[C:%.*]] monotonic monotonic, align 8
   9 ; CHECK-NEXT:    ret void
  10 ;
  11 entry:
  12   %a.addr = alloca i64, align 8
  13   %b.addr = alloca i64, align 8
  14   %c.addr = alloca i64, align 8
  15   store i64 %a, ptr %a.addr, align 8
  16   store i64 %b, ptr %b.addr, align 8
  17   store i64 %c, ptr %c.addr, align 8
  18   %0 = load i64, ptr %c.addr, align 8
  19   %1 = load i64, ptr %b.addr, align 8
  20   %2 = cmpxchg weak volatile ptr %a.addr, i64 %1, i64 %0 monotonic monotonic, align 8
  21   %3 = extractvalue { i64, i1 } %2, 0
  22   %4 = extractvalue { i64, i1 } %2, 1
  23   store i64 %3, ptr %b.addr, align 8
  24   ret void
  25 }
  26
  27 define 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]], 1
  35 ; CHECK-NEXT:    [[TMP0:%.*]] = cmpxchg weak volatile ptr [[A:%.*]], i64 [[X_0]], i64 [[ADD]] monotonic monotonic, align 8
  36 ; CHECK-NEXT:    [[TMP1]] = extractvalue { i64, i1 } [[TMP0]], 0
  37 ; CHECK-NEXT:    [[TMP2:%.*]] = extractvalue { i64, i1 } [[TMP0]], 1
  38 ; CHECK-NEXT:    br i1 [[TMP2]], label [[DO_BODY]], label [[DO_END:%.*]]
  39 ; CHECK:       do.end:
  40 ; CHECK-NEXT:    ret void
  41 ;
  42 entry:
  43   %a.addr = alloca ptr, align 8
  44   %x = alloca i64, align 8
  45   store ptr %a, ptr %a.addr, align 8
  46   %call = call i64 @bar()
  47   store i64 %call, ptr %x, align 8
  48   br label %do.body
  49
  50 do.body:                                          ; preds = %do.cond, %entry
  51   br label %do.cond
  52
  53 do.cond:                                          ; preds = %do.body
  54   %0 = load ptr, ptr %a.addr, align 8
  55   %1 = load i64, ptr %x, align 8
  56   %add = add nsw i64 %1, 1
  57   %2 = load ptr, ptr %a.addr, align 8
  58   %3 = load i64, ptr %x, align 8
  59   %4 = cmpxchg weak volatile ptr %2, i64 %3, i64 %add monotonic monotonic, align 8
  60   %5 = extractvalue { i64, i1 } %4, 0
  61   %6 = extractvalue { i64, i1 } %4, 1
  62   store i64 %5, ptr %x, align 8
  63   %tobool = icmp ne i1 %6, false
  64   br i1 %tobool, label %do.body, label %do.end
  65
  66 do.end:                                           ; preds = %do.cond
  67   ret void
  68 }
  69
  70 declare i64 @bar(...)