llvm/test/Transforms/GVN/pre-skip-convergent.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=gvn -o - %s | FileCheck %s
   3
   4 define i32 @foo(i1 %cond, ptr %q, ptr %p) {
   5 ; CHECK-LABEL: @foo(
   6 ; CHECK-NEXT:  entry:
   7 ; CHECK-NEXT:    [[V0:%.*]] = call i32 @llvm.convergent(i32 0)
   8 ; CHECK-NEXT:    store i32 [[V0]], ptr [[Q:%.*]], align 4
   9 ; CHECK-NEXT:    br i1 [[COND:%.*]], label [[PRE:%.*]], label [[MERGE:%.*]]
  10 ; CHECK:       pre:
  11 ; CHECK-NEXT:    [[T0:%.*]] = load i32, ptr [[P:%.*]], align 4
  12 ; CHECK-NEXT:    br label [[MERGE]]
  13 ; CHECK:       merge:
  14 ; CHECK-NEXT:    [[M0:%.*]] = phi i32 [ [[T0]], [[PRE]] ], [ 0, [[ENTRY:%.*]] ]
  15 ; CHECK-NEXT:    [[R0:%.*]] = call i32 @llvm.convergent(i32 [[M0]])
  16 ; CHECK-NEXT:    ret i32 [[R0]]
  17 ;
  18 entry:
  19   %v0 = call i32 @llvm.convergent(i32 0)
  20   store i32 %v0, ptr %q
  21   br i1 %cond, label %pre, label %merge
  22
  23 pre:
  24   %t0 = load i32, ptr %p
  25   br label %merge
  26
  27 merge:
  28   %m0 = phi i32 [ %t0, %pre ], [ 0, %entry ]
  29   %r0 = call i32 @llvm.convergent(i32 %m0)
  30   ret i32 %r0
  31 }
  32
  33 declare i32 @llvm.convergent(i32) convergent nounwind readnone willreturn