34 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=gvn -o - %s | FileCheck %s3 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 49; CHECK-NEXT: br i1 [[COND:%.*]], label [[PRE:%.*]], label [[MERGE:%.*]]10; CHECK: pre:11; CHECK-NEXT: [[T0:%.*]] = load i32, ptr [[P:%.*]], align 412; 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 %q21 br i1 %cond, label %pre, label %merge22 23pre:24 %t0 = load i32, ptr %p25 br label %merge26 27merge:28 %m0 = phi i32 [ %t0, %pre ], [ 0, %entry ]29 %r0 = call i32 @llvm.convergent(i32 %m0)30 ret i32 %r031}32 33declare i32 @llvm.convergent(i32) convergent nounwind readnone willreturn34