74 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes="loop-mssa(loop-deletion,simple-loop-unswitch<nontrivial;trivial>),loop(indvars)" -verify-scev -S %s | FileCheck %s3 4define void @pr58868(i1 %c.1, ptr %src, ptr %dst) {5; CHECK-LABEL: @pr58868(6; CHECK-NEXT: entry:7; CHECK-NEXT: br i1 [[C_1:%.*]], label [[ENTRY_SPLIT_US:%.*]], label [[ENTRY_SPLIT:%.*]]8; CHECK: entry.split.us:9; CHECK-NEXT: br label [[OUTER_HEADER_US:%.*]]10; CHECK: outer.header.us:11; CHECK-NEXT: br label [[OUTER_BB1_US:%.*]]12; CHECK: outer.bb1.us:13; CHECK-NEXT: br label [[OUTER_BB2_US:%.*]]14; CHECK: outer.bb2.us:15; CHECK-NEXT: [[LV_US:%.*]] = load i16, ptr [[SRC:%.*]], align 116; CHECK-NEXT: br i1 true, label [[OUTER_HEADER_LOOPEXIT_US:%.*]], label [[OUTER_BB2_SPLIT_SPLIT_US:%.*]]17; CHECK: outer.header.loopexit.us:18; CHECK-NEXT: br label [[OUTER_HEADER_US]]19; CHECK: outer.bb2.split.split.us:20; CHECK-NEXT: [[LV_LCSSA_US:%.*]] = phi i16 [ [[LV_US]], [[OUTER_BB2_US]] ]21; CHECK-NEXT: br label [[OUTER_BB2_SPLIT:%.*]]22; CHECK: entry.split:23; CHECK-NEXT: br label [[OUTER_HEADER:%.*]]24; CHECK: outer.header.loopexit:25; CHECK-NEXT: unreachable26; CHECK: outer.header:27; CHECK-NEXT: br label [[OUTER_BB2:%.*]]28; CHECK: outer.bb2:29; CHECK-NEXT: [[LV:%.*]] = load i16, ptr [[SRC]], align 130; CHECK-NEXT: br i1 false, label [[OUTER_HEADER_LOOPEXIT:%.*]], label [[OUTER_BB2_SPLIT_SPLIT:%.*]]31; CHECK: outer.bb2.split.split:32; CHECK-NEXT: [[LV_LCSSA:%.*]] = phi i16 [ [[LV]], [[OUTER_BB2]] ]33; CHECK-NEXT: br label [[OUTER_BB2_SPLIT]]34; CHECK: outer.bb2.split:35; CHECK-NEXT: [[DOTUS_PHI:%.*]] = phi i16 [ [[LV_LCSSA]], [[OUTER_BB2_SPLIT_SPLIT]] ], [ [[LV_LCSSA_US]], [[OUTER_BB2_SPLIT_SPLIT_US]] ]36; CHECK-NEXT: br label [[INNER_HEADER:%.*]]37; CHECK: inner.header:38; CHECK-NEXT: [[IV:%.*]] = phi i16 [ [[DOTUS_PHI]], [[OUTER_BB2_SPLIT]] ], [ [[IV_NEXT:%.*]], [[INNER_LATCH:%.*]] ]39; CHECK-NEXT: br label [[INNER_LATCH]]40; CHECK: inner.latch:41; CHECK-NEXT: [[IV_NEXT]] = add nsw i16 [[IV]], 142; CHECK-NEXT: store i16 0, ptr [[DST:%.*]], align 143; CHECK-NEXT: [[C_2:%.*]] = icmp ne i16 [[IV]], 044; CHECK-NEXT: br i1 [[C_2]], label [[INNER_HEADER]], label [[EXIT:%.*]]45; CHECK: exit:46; CHECK-NEXT: ret void47;48entry:49 br label %outer.header50 51outer.header:52 br i1 %c.1, label %outer.bb1, label %outer.bb253 54outer.bb1:55 br label %outer.bb256 57outer.bb2:58 %lv = load i16, ptr %src, align 159 br label %inner.header60 61inner.header:62 %iv = phi i16 [ %lv, %outer.bb2 ], [ %iv.next, %inner.latch ]63 br i1 %c.1, label %outer.header, label %inner.latch64 65inner.latch:66 %iv.next = add nsw i16 %iv, 167 store i16 0, ptr %dst, align 168 %c.2 = icmp ne i16 %iv, 069 br i1 %c.2, label %inner.header, label %exit70 71exit:72 ret void73}74