326 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -aa-pipeline='basic-aa,scoped-noalias-aa' -passes=slp-vectorizer -mtriple=x86_64-apple-darwin -S %s | FileCheck %s3 4define void @version_multiple(ptr nocapture %out_block, ptr nocapture readonly %counter) {5; CHECK-LABEL: @version_multiple(6; CHECK-NEXT: entry:7; CHECK-NEXT: [[TMP0:%.*]] = load i32, ptr [[COUNTER:%.*]], align 48; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[OUT_BLOCK:%.*]], align 49; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[TMP1]], [[TMP0]]10; CHECK-NEXT: store i32 [[XOR]], ptr [[OUT_BLOCK]], align 411; CHECK-NEXT: [[ARRAYIDX_1:%.*]] = getelementptr inbounds i32, ptr [[COUNTER]], i64 112; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[ARRAYIDX_1]], align 413; CHECK-NEXT: [[ARRAYIDX2_1:%.*]] = getelementptr inbounds i32, ptr [[OUT_BLOCK]], i64 114; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[ARRAYIDX2_1]], align 415; CHECK-NEXT: [[XOR_1:%.*]] = xor i32 [[TMP3]], [[TMP2]]16; CHECK-NEXT: store i32 [[XOR_1]], ptr [[ARRAYIDX2_1]], align 417; CHECK-NEXT: [[ARRAYIDX_2:%.*]] = getelementptr inbounds i32, ptr [[COUNTER]], i64 218; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[ARRAYIDX_2]], align 419; CHECK-NEXT: [[ARRAYIDX2_2:%.*]] = getelementptr inbounds i32, ptr [[OUT_BLOCK]], i64 220; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[ARRAYIDX2_2]], align 421; CHECK-NEXT: [[XOR_2:%.*]] = xor i32 [[TMP5]], [[TMP4]]22; CHECK-NEXT: store i32 [[XOR_2]], ptr [[ARRAYIDX2_2]], align 423; CHECK-NEXT: [[ARRAYIDX_3:%.*]] = getelementptr inbounds i32, ptr [[COUNTER]], i64 324; CHECK-NEXT: [[TMP6:%.*]] = load i32, ptr [[ARRAYIDX_3]], align 425; CHECK-NEXT: [[ARRAYIDX2_3:%.*]] = getelementptr inbounds i32, ptr [[OUT_BLOCK]], i64 326; CHECK-NEXT: [[TMP7:%.*]] = load i32, ptr [[ARRAYIDX2_3]], align 427; CHECK-NEXT: [[XOR_3:%.*]] = xor i32 [[TMP7]], [[TMP6]]28; CHECK-NEXT: store i32 [[XOR_3]], ptr [[ARRAYIDX2_3]], align 429; CHECK-NEXT: ret void30;31entry:32 %0 = load i32, ptr %counter, align 433 %1 = load i32, ptr %out_block, align 434 %xor = xor i32 %1, %035 store i32 %xor, ptr %out_block, align 436 %arrayidx.1 = getelementptr inbounds i32, ptr %counter, i64 137 %2 = load i32, ptr %arrayidx.1, align 438 %arrayidx2.1 = getelementptr inbounds i32, ptr %out_block, i64 139 %3 = load i32, ptr %arrayidx2.1, align 440 %xor.1 = xor i32 %3, %241 store i32 %xor.1, ptr %arrayidx2.1, align 442 %arrayidx.2 = getelementptr inbounds i32, ptr %counter, i64 243 %4 = load i32, ptr %arrayidx.2, align 444 %arrayidx2.2 = getelementptr inbounds i32, ptr %out_block, i64 245 %5 = load i32, ptr %arrayidx2.2, align 446 %xor.2 = xor i32 %5, %447 store i32 %xor.2, ptr %arrayidx2.2, align 448 %arrayidx.3 = getelementptr inbounds i32, ptr %counter, i64 349 %6 = load i32, ptr %arrayidx.3, align 450 %arrayidx2.3 = getelementptr inbounds i32, ptr %out_block, i64 351 %7 = load i32, ptr %arrayidx2.3, align 452 %xor.3 = xor i32 %7, %653 store i32 %xor.3, ptr %arrayidx2.3, align 454 ret void55}56 57declare void @use(<8 x float>)58define void @delete_pointer_bound(ptr %a, ptr %b, i1 %c) #0 {59; CHECK-LABEL: @delete_pointer_bound(60; CHECK-NEXT: entry:61; CHECK-NEXT: [[B_10:%.*]] = getelementptr inbounds float, ptr [[B:%.*]], i64 1062; CHECK-NEXT: [[B_14:%.*]] = getelementptr inbounds float, ptr [[B]], i64 1463; CHECK-NEXT: br i1 [[C:%.*]], label [[THEN:%.*]], label [[ELSE:%.*]]64; CHECK: else:65; CHECK-NEXT: [[L0:%.*]] = load float, ptr [[B_10]], align 466; CHECK-NEXT: [[L1:%.*]] = load float, ptr [[B_14]], align 467; CHECK-NEXT: [[I2:%.*]] = insertelement <8 x float> undef, float [[L0]], i32 268; CHECK-NEXT: [[I3:%.*]] = insertelement <8 x float> [[I2]], float [[L0]], i32 369; CHECK-NEXT: [[I4:%.*]] = insertelement <8 x float> [[I3]], float [[L1]], i32 470; CHECK-NEXT: [[I7:%.*]] = insertelement <8 x float> [[I4]], float [[L1]], i32 771; CHECK-NEXT: call void @use(<8 x float> [[I7]])72; CHECK-NEXT: ret void73; CHECK: then:74; CHECK-NEXT: [[A_8:%.*]] = getelementptr inbounds float, ptr [[A:%.*]], i64 875; CHECK-NEXT: store float 0.000000e+00, ptr [[A_8]], align 476; CHECK-NEXT: [[L6:%.*]] = load float, ptr [[B_14]], align 477; CHECK-NEXT: [[A_5:%.*]] = getelementptr inbounds float, ptr [[A]], i64 578; CHECK-NEXT: store float [[L6]], ptr [[A_5]], align 479; CHECK-NEXT: [[A_6:%.*]] = getelementptr inbounds float, ptr [[A]], i64 680; CHECK-NEXT: store <2 x float> zeroinitializer, ptr [[A_6]], align 481; CHECK-NEXT: ret void82;83entry:84 %b.10 = getelementptr inbounds float, ptr %b, i64 1085 %b.14 = getelementptr inbounds float, ptr %b, i64 1486 br i1 %c, label %then, label %else87 88else:89 %l0 = load float, ptr %b.10, align 490 %l1 = load float, ptr %b.14, align 491 %i2 = insertelement <8 x float> undef, float %l0, i32 292 %i3 = insertelement <8 x float> %i2, float %l0, i32 393 %i4 = insertelement <8 x float> %i3, float %l1, i32 494 %i7 = insertelement <8 x float> %i4, float %l1, i32 795 call void @use(<8 x float> %i7)96 ret void97 98then:99 %a.8 = getelementptr inbounds float, ptr %a, i64 8100 store float 0.0, ptr %a.8, align 4101 %l6 = load float, ptr %b.14, align 4102 %a.5 = getelementptr inbounds float, ptr %a, i64 5103 store float %l6, ptr %a.5, align 4104 %a.6 = getelementptr inbounds float, ptr %a, i64 6105 store float 0.0, ptr %a.6, align 4106 %a.7 = getelementptr inbounds float, ptr %a, i64 7107 store float 0.0, ptr %a.7, align 4108 ret void109}110 111%struct.zot = type { i16, i16, i16, i32, float, float, float, ptr, ptr, ptr, %struct.wombat.0 }112%struct.quux = type { i16, ptr, ptr }113%struct.wombat = type { i32, i16, i8, i8, ptr }114%struct.eggs = type { float, i8, %struct.ham }115%struct.ham = type { [2 x double], [8 x i8] }116%struct.wombat.0 = type { %struct.bar }117%struct.bar = type { [3 x double], [3 x double], double, double, i16, ptr, i32, [3 x double] }118 119define double @preserve_loop_info(ptr %arg, i1 %arg2) {120; CHECK-LABEL: @preserve_loop_info(121; CHECK-NEXT: entry:122; CHECK-NEXT: [[TMP:%.*]] = alloca [3 x double], align 16123; CHECK-NEXT: br label [[OUTER_HEADER:%.*]]124; CHECK: outer.header:125; CHECK-NEXT: br label [[INNER:%.*]]126; CHECK: inner:127; CHECK-NEXT: br i1 [[ARG2:%.*]], label [[OUTER_LATCH:%.*]], label [[INNER]]128; CHECK: outer.latch:129; CHECK-NEXT: br i1 [[ARG2]], label [[BB:%.*]], label [[OUTER_HEADER]]130; CHECK: bb:131; CHECK-NEXT: [[TMP5:%.*]] = load ptr, ptr undef, align 8132; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds [3 x double], ptr [[TMP]], i64 0, i64 1133; CHECK-NEXT: br label [[LOOP_3HEADER:%.*]]134; CHECK: loop.3header:135; CHECK-NEXT: br i1 [[ARG2]], label [[LOOP_3LATCH:%.*]], label [[BB9:%.*]]136; CHECK: bb9:137; CHECK-NEXT: [[TMP10:%.*]] = getelementptr inbounds [3 x double], ptr [[TMP5]], i64 undef, i64 1138; CHECK-NEXT: store double undef, ptr [[TMP]], align 16139; CHECK-NEXT: [[TMP12:%.*]] = load double, ptr [[TMP10]], align 8140; CHECK-NEXT: store double [[TMP12]], ptr [[TMP7]], align 8141; CHECK-NEXT: br label [[LOOP_3LATCH]]142; CHECK: loop.3latch:143; CHECK-NEXT: br i1 [[ARG2]], label [[BB14:%.*]], label [[LOOP_3HEADER]]144; CHECK: bb14:145; CHECK-NEXT: [[TMP15:%.*]] = call double undef(ptr [[TMP]], ptr [[ARG:%.*]])146; CHECK-NEXT: ret double undef147;148entry:149 %tmp = alloca [3 x double], align 16150 br label %outer.header151 152outer.header: ; preds = %bb3, %bb153 br label %inner154 155inner:156 br i1 %arg2, label %outer.latch, label %inner157 158outer.latch: ; preds = %bb16159 br i1 %arg2, label %bb, label %outer.header160 161bb: ; preds = %bb3162 %tmp5 = load ptr, ptr undef, align 8163 %tmp7 = getelementptr inbounds [3 x double], ptr %tmp, i64 0, i64 1164 br label %loop.3header165 166loop.3header: ; preds = %bb13, %bb4167 br i1 %arg2, label %loop.3latch, label %bb9168 169bb9: ; preds = %bb8170 %tmp10 = getelementptr inbounds [3 x double], ptr %tmp5, i64 undef, i64 1171 store double undef, ptr %tmp, align 16172 %tmp12 = load double, ptr %tmp10, align 8173 store double %tmp12, ptr %tmp7, align 8174 br label %loop.3latch175 176loop.3latch: ; preds = %bb11, %bb8177 br i1 %arg2, label %bb14, label %loop.3header178 179bb14: ; preds = %bb13180 %tmp15 = call double undef(ptr %tmp, ptr %arg)181 ret double undef182}183 184define void @gather_sequence_crash(<2 x float> %arg, ptr %arg1, float %arg2, ptr %arg3, ptr %arg4, ptr %arg5, i1 %c.1, i1 %c.2) {185; CHECK-LABEL: @gather_sequence_crash(186; CHECK-NEXT: bb:187; CHECK-NEXT: br i1 [[C_1:%.*]], label [[BB16:%.*]], label [[BB6:%.*]]188; CHECK: bb6:189; CHECK-NEXT: [[TMP8:%.*]] = getelementptr inbounds float, ptr [[ARG1:%.*]], i32 3190; CHECK-NEXT: [[TMP0:%.*]] = shufflevector <2 x float> [[ARG:%.*]], <2 x float> poison, <4 x i32> <i32 poison, i32 0, i32 1, i32 poison>191; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <4 x float> [[TMP0]], <4 x float> <float poison, float poison, float poison, float 0.000000e+00>, <4 x i32> <i32 poison, i32 1, i32 2, i32 7>192; CHECK-NEXT: [[TMP6:%.*]] = insertelement <4 x float> poison, float [[ARG2:%.*]], i32 0193; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[TMP1]], <4 x float> [[TMP6]], <4 x i32> <i32 4, i32 1, i32 2, i32 3>194; CHECK-NEXT: [[TMP3:%.*]] = fmul <4 x float> [[TMP2]], zeroinitializer195; CHECK-NEXT: store <4 x float> [[TMP3]], ptr [[TMP8]], align 4196; CHECK-NEXT: ret void197; CHECK: bb16:198; CHECK-NEXT: br label [[BB17:%.*]]199; CHECK: bb17:200; CHECK-NEXT: br label [[BB18:%.*]]201; CHECK: bb18:202; CHECK-NEXT: br label [[BB19:%.*]]203; CHECK: bb19:204; CHECK-NEXT: br label [[BB20:%.*]]205; CHECK: bb20:206; CHECK-NEXT: br label [[BB21:%.*]]207; CHECK: bb21:208; CHECK-NEXT: br label [[BB22:%.*]]209; CHECK: bb22:210; CHECK-NEXT: [[TMP24:%.*]] = getelementptr float, ptr [[ARG4:%.*]], i64 7211; CHECK-NEXT: br i1 [[C_2:%.*]], label [[BB25:%.*]], label [[BB22]]212; CHECK: bb25:213; CHECK-NEXT: [[TMP26:%.*]] = getelementptr float, ptr [[ARG4]], i64 6214; CHECK-NEXT: store float 0.000000e+00, ptr [[TMP24]], align 4215; CHECK-NEXT: [[TMP27:%.*]] = load float, ptr [[ARG5:%.*]], align 4216; CHECK-NEXT: [[TMP29:%.*]] = fadd float 0.000000e+00, 0.000000e+00217; CHECK-NEXT: store float 0.000000e+00, ptr [[TMP26]], align 4218; CHECK-NEXT: [[TMP30:%.*]] = getelementptr float, ptr [[ARG4]], i64 4219; CHECK-NEXT: [[TMP31:%.*]] = fadd float 0.000000e+00, 0.000000e+00220; CHECK-NEXT: store <2 x float> zeroinitializer, ptr [[TMP30]], align 4221; CHECK-NEXT: br label [[BB33:%.*]]222; CHECK: bb33:223; CHECK-NEXT: br label [[BB34:%.*]]224; CHECK: bb34:225; CHECK-NEXT: [[TMP35:%.*]] = getelementptr float, ptr [[ARG4]], i64 3226; CHECK-NEXT: [[TMP37:%.*]] = load float, ptr [[TMP35]], align 4227; CHECK-NEXT: [[TMP38:%.*]] = fadd float 0.000000e+00, [[TMP37]]228; CHECK-NEXT: store float [[TMP38]], ptr [[TMP35]], align 4229; CHECK-NEXT: [[TMP39:%.*]] = getelementptr float, ptr [[ARG4]], i64 1230; CHECK-NEXT: [[TMP4:%.*]] = load <2 x float>, ptr [[TMP39]], align 4231; CHECK-NEXT: [[TMP5:%.*]] = fadd <2 x float> zeroinitializer, [[TMP4]]232; CHECK-NEXT: store <2 x float> [[TMP5]], ptr [[TMP39]], align 4233; CHECK-NEXT: [[TMP44:%.*]] = load float, ptr [[ARG3:%.*]], align 4234; CHECK-NEXT: [[TMP45:%.*]] = load float, ptr [[ARG4]], align 4235; CHECK-NEXT: [[TMP46:%.*]] = fadd float 0.000000e+00, [[TMP45]]236; CHECK-NEXT: store float [[TMP46]], ptr [[ARG4]], align 4237; CHECK-NEXT: call void @quux()238; CHECK-NEXT: br label [[BB47:%.*]]239; CHECK: bb47:240; CHECK-NEXT: br label [[BB17]]241;242bb:243 br i1 %c.1, label %bb16, label %bb6244 245bb6: ; preds = %bb246 %tmp = getelementptr inbounds float, ptr %arg1, i32 4247 %tmp7 = getelementptr inbounds float, ptr %arg1, i32 5248 %tmp8 = getelementptr inbounds float, ptr %arg1, i32 3249 %tmp9 = getelementptr inbounds float, ptr %arg1, i32 6250 %tmp10 = extractelement <2 x float> %arg, i32 0251 %tmp11 = fmul float %tmp10, 0.000000e+00252 store float %tmp11, ptr %tmp, align 4253 %tmp12 = extractelement <2 x float> %arg, i32 1254 %tmp13 = fmul float %tmp12, 0.000000e+00255 store float %tmp13, ptr %tmp7, align 4256 %tmp14 = fmul float %arg2, 0.000000e+00257 store float %tmp14, ptr %tmp8, align 4258 %tmp15 = fmul float 0.000000e+00, 0.000000e+00259 store float %tmp15, ptr %tmp9, align 4260 ret void261 262bb16: ; preds = %bb263 br label %bb17264 265bb17: ; preds = %bb47, %bb16266 br label %bb18267 268bb18: ; preds = %bb17269 br label %bb19270 271bb19: ; preds = %bb18272 br label %bb20273 274bb20: ; preds = %bb19275 br label %bb21276 277bb21: ; preds = %bb20278 br label %bb22279 280bb22: ; preds = %bb22, %bb21281 %tmp24 = getelementptr float, ptr %arg4, i64 7282 br i1 %c.2, label %bb25, label %bb22283 284bb25: ; preds = %bb22285 %tmp26 = getelementptr float, ptr %arg4, i64 6286 store float 0.000000e+00, ptr %tmp24, align 4287 %tmp27 = load float, ptr %arg5, align 4288 %tmp28 = getelementptr float, ptr %arg4, i64 5289 %tmp29 = fadd float 0.000000e+00, 0.000000e+00290 store float 0.000000e+00, ptr %tmp26, align 4291 %tmp30 = getelementptr float, ptr %arg4, i64 4292 store float 0.000000e+00, ptr %tmp28, align 4293 %tmp31 = fadd float 0.000000e+00, 0.000000e+00294 store float 0.000000e+00, ptr %tmp30, align 4295 br label %bb33296 297bb33: ; preds = %bb25298 br label %bb34299 300bb34: ; preds = %bb33301 %tmp35 = getelementptr float, ptr %arg4, i64 3302 %tmp36 = getelementptr float, ptr %arg4, i64 2303 %tmp37 = load float, ptr %tmp35, align 4304 %tmp38 = fadd float 0.000000e+00, %tmp37305 store float %tmp38, ptr %tmp35, align 4306 %tmp39 = getelementptr float, ptr %arg4, i64 1307 %tmp40 = load float, ptr %tmp36, align 4308 %tmp41 = fadd float 0.000000e+00, %tmp40309 store float %tmp41, ptr %tmp36, align 4310 %tmp42 = load float, ptr %tmp39, align 4311 %tmp43 = fadd float 0.000000e+00, %tmp42312 store float %tmp43, ptr %tmp39, align 4313 %tmp44 = load float, ptr %arg3, align 4314 %tmp45 = load float, ptr %arg4, align 4315 %tmp46 = fadd float 0.000000e+00, %tmp45316 store float %tmp46, ptr %arg4, align 4317 call void @quux()318 br label %bb47319 320bb47: ; preds = %bb34321 br label %bb17322}323 324declare void @quux()325attributes #0 = { "target-features"="+avx2" }326