1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=gvn -o - %s | FileCheck %s 3 4define 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; 18entry: 19 %v0 = call i32 @llvm.convergent(i32 0) 20 store i32 %v0, ptr %q 21 br i1 %cond, label %pre, label %merge 22 23pre: 24 %t0 = load i32, ptr %p 25 br label %merge 26 27merge: 28 %m0 = phi i32 [ %t0, %pre ], [ 0, %entry ] 29 %r0 = call i32 @llvm.convergent(i32 %m0) 30 ret i32 %r0 31} 32 33declare i32 @llvm.convergent(i32) convergent nounwind readnone willreturn 34