107 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=slp-vectorizer < %s | FileCheck %s3 4target triple = "x86_64-redhat-linux-gnu"5 6; The load+store sequence inside bb10 should not get vectorized. Previously,7; we incorrectly determined that the pointers do not alias, because a cache8; entry based indirectly on a disproven NoAlias assumption was not cleared9; from the BatchAA cache.10define void @test(ptr %p1, i64 %arg1, i64 %arg2) {11; CHECK-LABEL: define void @test(12; CHECK-SAME: ptr [[P1:%.*]], i64 [[ARG1:%.*]], i64 [[ARG2:%.*]]) {13; CHECK-NEXT: [[_PREHEADER48_PREHEADER_1:.*]]:14; CHECK-NEXT: br label %[[_LOOPEXIT49_1:.*]]15; CHECK: [[_LOOPEXIT49_1]]:16; CHECK-NEXT: [[I:%.*]] = phi ptr [ [[I21:%.*]], %[[BB20:.*]] ], [ [[P1]], %[[_PREHEADER48_PREHEADER_1]] ]17; CHECK-NEXT: br i1 false, label %[[BB22:.*]], label %[[DOTPREHEADER48_PREHEADER_1:.*]]18; CHECK: [[DEAD:.*]]:19; CHECK-NEXT: br label %[[DOTPREHEADER48_PREHEADER_1]]20; CHECK: [[_PREHEADER48_PREHEADER_2:.*:]]21; CHECK-NEXT: [[I5:%.*]] = phi ptr [ [[I]], %[[DEAD]] ], [ [[I]], %[[_LOOPEXIT49_1]] ]22; CHECK-NEXT: br label %[[DOTLOOPEXIT49_1:.*]]23; CHECK: [[DEAD1:.*]]:24; CHECK-NEXT: br i1 false, label %[[DOTLOOPEXIT49_1]], label %[[BB20]]25; CHECK: [[_LOOPEXIT49_2:.*:]]26; CHECK-NEXT: [[I6:%.*]] = phi ptr [ [[I5]], %[[DEAD1]] ], [ [[I5]], %[[DOTPREHEADER48_PREHEADER_1]] ]27; CHECK-NEXT: [[I7:%.*]] = getelementptr i8, ptr [[I6]], i64 [[ARG1]]28; CHECK-NEXT: br label %[[BB10:.*]]29; CHECK: [[DEAD2:.*]]:30; CHECK-NEXT: br label %[[BB10]]31; CHECK: [[BB10]]:32; CHECK-NEXT: [[I11:%.*]] = phi ptr [ [[I7]], %[[DOTLOOPEXIT49_1]] ], [ null, %[[DEAD2]] ]33; CHECK-NEXT: [[I16:%.*]] = getelementptr i8, ptr [[I11]], i64 834; CHECK-NEXT: [[I17:%.*]] = load i64, ptr [[I16]], align 135; CHECK-NEXT: store i64 [[I17]], ptr [[I6]], align 136; CHECK-NEXT: [[I18:%.*]] = getelementptr i8, ptr [[I6]], i64 837; CHECK-NEXT: [[I19:%.*]] = load i64, ptr [[I11]], align 138; CHECK-NEXT: store i64 [[I19]], ptr [[I18]], align 139; CHECK-NEXT: br label %[[BB20]]40; CHECK: [[BB20]]:41; CHECK-NEXT: [[I21]] = phi ptr [ [[I5]], %[[DEAD1]] ], [ [[I6]], %[[BB10]] ]42; CHECK-NEXT: br label %[[_LOOPEXIT49_1]]43; CHECK: [[BB22]]:44; CHECK-NEXT: [[I23:%.*]] = getelementptr i8, ptr [[I]], i64 [[ARG2]]45; CHECK-NEXT: [[I25:%.*]] = getelementptr i8, ptr [[I23]], i64 846; CHECK-NEXT: br label %[[BB26:.*]]47; CHECK: [[BB26]]:48; CHECK-NEXT: [[I27:%.*]] = phi ptr [ null, %[[BB26]] ], [ [[I25]], %[[BB22]] ]49; CHECK-NEXT: store i64 0, ptr [[I27]], align 150; CHECK-NEXT: [[I28:%.*]] = getelementptr i8, ptr [[I27]], i64 851; CHECK-NEXT: [[I29:%.*]] = load i64, ptr [[I23]], align 152; CHECK-NEXT: store i64 0, ptr [[I28]], align 153; CHECK-NEXT: br label %[[BB26]]54;55entry:56 br label %loop157 58loop1: ; preds = %bb20, %entry59 %i = phi ptr [ %i21, %bb20 ], [ %p1, %entry ]60 br i1 false, label %bb22, label %.preheader48.preheader.161 62dead: ; No predecessors!63 br label %.preheader48.preheader.164 65.preheader48.preheader.1: ; preds = %dead, %loop166 %i5 = phi ptr [ %i, %dead ], [ %i, %loop1 ]67 br label %.loopexit49.168 69dead1: ; No predecessors!70 br i1 false, label %.loopexit49.1, label %bb2071 72.loopexit49.1: ; preds = %dead1, %.preheader48.preheader.173 %i6 = phi ptr [ %i5, %dead1 ], [ %i5, %.preheader48.preheader.1 ]74 %i7 = getelementptr i8, ptr %i6, i64 %arg175 br label %bb1076 77dead2: ; No predecessors!78 br label %bb1079 80bb10: ; preds = %dead2, %.loopexit49.181 %i11 = phi ptr [ %i7, %.loopexit49.1 ], [ null, %dead2 ]82 %i16 = getelementptr i8, ptr %i11, i64 883 %i17 = load i64, ptr %i16, align 184 store i64 %i17, ptr %i6, align 185 %i18 = getelementptr i8, ptr %i6, i64 886 %i19 = load i64, ptr %i11, align 187 store i64 %i19, ptr %i18, align 188 br label %bb2089 90bb20: ; preds = %bb10, %dead191 %i21 = phi ptr [ %i5, %dead1 ], [ %i6, %bb10 ]92 br label %loop193 94bb22: ; preds = %loop195 %i23 = getelementptr i8, ptr %i, i64 %arg296 %i25 = getelementptr i8, ptr %i23, i64 897 br label %bb2698 99bb26: ; preds = %bb26, %bb22100 %i27 = phi ptr [ null, %bb26 ], [ %i25, %bb22 ]101 store i64 0, ptr %i27, align 1102 %i28 = getelementptr i8, ptr %i27, i64 8103 %i29 = load i64, ptr %i23, align 1104 store i64 0, ptr %i28, align 1105 br label %bb26106}107