136 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 --check-globals none2; RUN: opt -passes=loop-versioning -S < %s | FileCheck %s3 4; Make sure all PHIs are properly updated in the exit block. Based on5; PR28037.6 7@x = external global [2 x [3 x [5 x i16]]]8 9define void @phi_with_poison() {10; CHECK-LABEL: define void @phi_with_poison() {11; CHECK-NEXT: [[BB6_LVER_CHECK:.*:]]12; CHECK-NEXT: br i1 poison, label %[[BB6_PH_LVER_ORIG:.*]], label %[[BB6_PH:.*]]13; CHECK: [[BB6_PH_LVER_ORIG]]:14; CHECK-NEXT: br label %[[BB6_LVER_ORIG:.*]]15; CHECK: [[BB6_LVER_ORIG]]:16; CHECK-NEXT: [[_TMP1423_LVER_ORIG:%.*]] = phi i64 [ poison, %[[BB6_PH_LVER_ORIG]] ], [ [[_TMP142_LVER_ORIG:%.*]], %[[BB6_LVER_ORIG]] ]17; CHECK-NEXT: [[_TMP123_LVER_ORIG:%.*]] = getelementptr [2 x [3 x [5 x i16]]], ptr @x, i16 0, i64 poison18; CHECK-NEXT: [[_TMP126_LVER_ORIG:%.*]] = getelementptr [3 x [5 x i16]], ptr [[_TMP123_LVER_ORIG]], i16 0, i64 [[_TMP1423_LVER_ORIG]]19; CHECK-NEXT: [[_TMP129_LVER_ORIG:%.*]] = getelementptr [5 x i16], ptr [[_TMP126_LVER_ORIG]], i16 0, i64 poison20; CHECK-NEXT: [[_TMP130_LVER_ORIG:%.*]] = load i16, ptr [[_TMP129_LVER_ORIG]], align 221; CHECK-NEXT: store i16 poison, ptr @x, align 222; CHECK-NEXT: [[_TMP142_LVER_ORIG]] = add i64 [[_TMP1423_LVER_ORIG]], 123; CHECK-NEXT: br i1 false, label %[[BB6_LVER_ORIG]], label %[[LOOP_EXIT_LOOPEXIT:.*]]24; CHECK: [[BB6_PH]]:25; CHECK-NEXT: br label %[[BB6:.*]]26; CHECK: [[BB6]]:27; CHECK-NEXT: [[_TMP1423:%.*]] = phi i64 [ poison, %[[BB6_PH]] ], [ [[_TMP142:%.*]], %[[BB6]] ]28; CHECK-NEXT: [[_TMP123:%.*]] = getelementptr [2 x [3 x [5 x i16]]], ptr @x, i16 0, i64 poison29; CHECK-NEXT: [[_TMP126:%.*]] = getelementptr [3 x [5 x i16]], ptr [[_TMP123]], i16 0, i64 [[_TMP1423]]30; CHECK-NEXT: [[_TMP129:%.*]] = getelementptr [5 x i16], ptr [[_TMP126]], i16 0, i64 poison31; CHECK-NEXT: [[_TMP130:%.*]] = load i16, ptr [[_TMP129]], align 2, !alias.scope [[META0:![0-9]+]]32; CHECK-NEXT: store i16 poison, ptr @x, align 2, !alias.scope [[META3:![0-9]+]]33; CHECK-NEXT: [[_TMP142]] = add i64 [[_TMP1423]], 134; CHECK-NEXT: br i1 false, label %[[BB6]], label %[[LOOP_EXIT_LOOPEXIT1:.*]]35; CHECK: [[LOOP_EXIT_LOOPEXIT]]:36; CHECK-NEXT: [[_TMP142_LCSSA_PH:%.*]] = phi i64 [ [[_TMP142_LVER_ORIG]], %[[BB6_LVER_ORIG]] ]37; CHECK-NEXT: [[SPLIT_PH:%.*]] = phi i16 [ poison, %[[BB6_LVER_ORIG]] ]38; CHECK-NEXT: br label %[[LOOP_EXIT:.*]]39; CHECK: [[LOOP_EXIT_LOOPEXIT1]]:40; CHECK-NEXT: [[_TMP142_LCSSA_PH2:%.*]] = phi i64 [ [[_TMP142]], %[[BB6]] ]41; CHECK-NEXT: [[SPLIT_PH3:%.*]] = phi i16 [ poison, %[[BB6]] ]42; CHECK-NEXT: br label %[[LOOP_EXIT]]43; CHECK: [[LOOP_EXIT]]:44; CHECK-NEXT: [[_TMP142_LCSSA:%.*]] = phi i64 [ [[_TMP142_LCSSA_PH]], %[[LOOP_EXIT_LOOPEXIT]] ], [ [[_TMP142_LCSSA_PH2]], %[[LOOP_EXIT_LOOPEXIT1]] ]45; CHECK-NEXT: [[SPLIT:%.*]] = phi i16 [ [[SPLIT_PH]], %[[LOOP_EXIT_LOOPEXIT]] ], [ [[SPLIT_PH3]], %[[LOOP_EXIT_LOOPEXIT1]] ]46; CHECK-NEXT: br label %[[BB9:.*]]47; CHECK: [[BB9]]:48; CHECK-NEXT: ret void49;50bb6.lr.ph: ; preds = %bb5.preheader51 br label %bb652 53bb6: ; preds = %bb6.lr.ph, %bb654 %_tmp1423 = phi i64 [ poison, %bb6.lr.ph ], [ %_tmp142, %bb6 ]55 %_tmp123 = getelementptr [2 x [3 x [5 x i16]]], ptr @x, i16 0, i64 poison56 %_tmp126 = getelementptr [3 x [5 x i16]], ptr %_tmp123, i16 0, i64 %_tmp142357 %_tmp129 = getelementptr [5 x i16], ptr %_tmp126, i16 0, i64 poison58 %_tmp130 = load i16, ptr %_tmp12959 store i16 poison, ptr getelementptr ([2 x [3 x [5 x i16]]], ptr @x, i64 0, i64 poison, i64 poison, i64 poison)60 %_tmp142 = add i64 %_tmp1423, 161 br i1 false, label %bb6, label %loop.exit62 63loop.exit: ; preds = %bb664 %_tmp142.lcssa = phi i64 [ %_tmp142, %bb6 ]65 %split = phi i16 [ poison, %bb6 ]66 br label %bb967 68bb9: ; preds = %bb9.loopexit, %bb169 ret void70}71 72define void @phi_with_non_loop_defined_value() {73; CHECK-LABEL: define void @phi_with_non_loop_defined_value() {74; CHECK-NEXT: [[BB6_LVER_CHECK:.*:]]75; CHECK-NEXT: [[T:%.*]] = add i16 1, 176; CHECK-NEXT: br i1 poison, label %[[BB6_PH_LVER_ORIG:.*]], label %[[BB6_PH:.*]]77; CHECK: [[BB6_PH_LVER_ORIG]]:78; CHECK-NEXT: br label %[[BB6_LVER_ORIG:.*]]79; CHECK: [[BB6_LVER_ORIG]]:80; CHECK-NEXT: [[_TMP1423_LVER_ORIG:%.*]] = phi i64 [ poison, %[[BB6_PH_LVER_ORIG]] ], [ [[_TMP142_LVER_ORIG:%.*]], %[[BB6_LVER_ORIG]] ]81; CHECK-NEXT: [[_TMP123_LVER_ORIG:%.*]] = getelementptr [2 x [3 x [5 x i16]]], ptr @x, i16 0, i64 poison82; CHECK-NEXT: [[_TMP126_LVER_ORIG:%.*]] = getelementptr [3 x [5 x i16]], ptr [[_TMP123_LVER_ORIG]], i16 0, i64 [[_TMP1423_LVER_ORIG]]83; CHECK-NEXT: [[_TMP129_LVER_ORIG:%.*]] = getelementptr [5 x i16], ptr [[_TMP126_LVER_ORIG]], i16 0, i64 poison84; CHECK-NEXT: [[_TMP130_LVER_ORIG:%.*]] = load i16, ptr [[_TMP129_LVER_ORIG]], align 285; CHECK-NEXT: store i16 poison, ptr @x, align 286; CHECK-NEXT: [[_TMP142_LVER_ORIG]] = add i64 [[_TMP1423_LVER_ORIG]], 187; CHECK-NEXT: br i1 false, label %[[BB6_LVER_ORIG]], label %[[LOOP_EXIT_LOOPEXIT:.*]]88; CHECK: [[BB6_PH]]:89; CHECK-NEXT: br label %[[BB6:.*]]90; CHECK: [[BB6]]:91; CHECK-NEXT: [[_TMP1423:%.*]] = phi i64 [ poison, %[[BB6_PH]] ], [ [[_TMP142:%.*]], %[[BB6]] ]92; CHECK-NEXT: [[_TMP123:%.*]] = getelementptr [2 x [3 x [5 x i16]]], ptr @x, i16 0, i64 poison93; CHECK-NEXT: [[_TMP126:%.*]] = getelementptr [3 x [5 x i16]], ptr [[_TMP123]], i16 0, i64 [[_TMP1423]]94; CHECK-NEXT: [[_TMP129:%.*]] = getelementptr [5 x i16], ptr [[_TMP126]], i16 0, i64 poison95; CHECK-NEXT: [[_TMP130:%.*]] = load i16, ptr [[_TMP129]], align 2, !alias.scope [[META5:![0-9]+]]96; CHECK-NEXT: store i16 poison, ptr @x, align 2, !alias.scope [[META8:![0-9]+]]97; CHECK-NEXT: [[_TMP142]] = add i64 [[_TMP1423]], 198; CHECK-NEXT: br i1 false, label %[[BB6]], label %[[LOOP_EXIT_LOOPEXIT1:.*]]99; CHECK: [[LOOP_EXIT_LOOPEXIT]]:100; CHECK-NEXT: [[_TMP142_LCSSA_PH:%.*]] = phi i64 [ [[_TMP142_LVER_ORIG]], %[[BB6_LVER_ORIG]] ]101; CHECK-NEXT: [[SPLIT_PH:%.*]] = phi i16 [ [[T]], %[[BB6_LVER_ORIG]] ]102; CHECK-NEXT: br label %[[LOOP_EXIT:.*]]103; CHECK: [[LOOP_EXIT_LOOPEXIT1]]:104; CHECK-NEXT: [[_TMP142_LCSSA_PH2:%.*]] = phi i64 [ [[_TMP142]], %[[BB6]] ]105; CHECK-NEXT: [[SPLIT_PH3:%.*]] = phi i16 [ [[T]], %[[BB6]] ]106; CHECK-NEXT: br label %[[LOOP_EXIT]]107; CHECK: [[LOOP_EXIT]]:108; CHECK-NEXT: [[_TMP142_LCSSA:%.*]] = phi i64 [ [[_TMP142_LCSSA_PH]], %[[LOOP_EXIT_LOOPEXIT]] ], [ [[_TMP142_LCSSA_PH2]], %[[LOOP_EXIT_LOOPEXIT1]] ]109; CHECK-NEXT: [[SPLIT:%.*]] = phi i16 [ [[SPLIT_PH]], %[[LOOP_EXIT_LOOPEXIT]] ], [ [[SPLIT_PH3]], %[[LOOP_EXIT_LOOPEXIT1]] ]110; CHECK-NEXT: br label %[[BB9:.*]]111; CHECK: [[BB9]]:112; CHECK-NEXT: ret void113;114bb6.lr.ph: ; preds = %bb5.preheader115 %t = add i16 1, 1116 br label %bb6117 118bb6: ; preds = %bb6.lr.ph, %bb6119 %_tmp1423 = phi i64 [ poison, %bb6.lr.ph ], [ %_tmp142, %bb6 ]120 %_tmp123 = getelementptr [2 x [3 x [5 x i16]]], ptr @x, i16 0, i64 poison121 %_tmp126 = getelementptr [3 x [5 x i16]], ptr %_tmp123, i16 0, i64 %_tmp1423122 %_tmp129 = getelementptr [5 x i16], ptr %_tmp126, i16 0, i64 poison123 %_tmp130 = load i16, ptr %_tmp129124 store i16 poison, ptr getelementptr ([2 x [3 x [5 x i16]]], ptr @x, i64 0, i64 poison, i64 poison, i64 poison)125 %_tmp142 = add i64 %_tmp1423, 1126 br i1 false, label %bb6, label %loop.exit127 128loop.exit: ; preds = %bb6129 %_tmp142.lcssa = phi i64 [ %_tmp142, %bb6 ]130 %split = phi i16 [ %t, %bb6 ]131 br label %bb9132 133bb9: ; preds = %bb9.loopexit, %bb1134 ret void135}136