24 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt < %s -passes=mem2reg -S | FileCheck %s3 4define i32 @testfunc(i1 %C, i32 %i, i8 %j) {5; CHECK-LABEL: define i32 @testfunc(6; CHECK-SAME: i1 [[C:%.*]], i32 [[I:%.*]], i8 [[J:%.*]]) {7; CHECK-NEXT: br i1 [[C]], label %[[T:.*]], label %[[CONT:.*]]8; CHECK: [[T]]:9; CHECK-NEXT: br label %[[CONT]]10; CHECK: [[CONT]]:11; CHECK-NEXT: [[I_0:%.*]] = phi i32 [ [[I]], %[[T]] ], [ undef, [[TMP0:%.*]] ]12; CHECK-NEXT: ret i32 [[I_0]]13;14 %I = alloca i3215 br i1 %C, label %T, label %Cont16T:17 store i32 %i, ptr %I18 br label %Cont19Cont:20 %Y = load i32, ptr %I21 ret i32 %Y22}23 24