| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -scoped-noalias-aa -slp-vectorizer -mtriple=x86_64-apple-darwin -enable-new-pm=false -S %s | FileCheck %s |
| ; RUN: opt -aa-pipeline='basic-aa,scoped-noalias-aa' -passes=slp-vectorizer -mtriple=x86_64-apple-darwin -S %s | FileCheck %s |
| |
| define void @version_multiple(i32* nocapture %out_block, i32* nocapture readonly %counter) { |
| ; CHECK-LABEL: @version_multiple( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* [[COUNTER:%.*]], align 4 |
| ; CHECK-NEXT: [[TMP1:%.*]] = load i32, i32* [[OUT_BLOCK:%.*]], align 4 |
| ; CHECK-NEXT: [[XOR:%.*]] = xor i32 [[TMP1]], [[TMP0]] |
| ; CHECK-NEXT: store i32 [[XOR]], i32* [[OUT_BLOCK]], align 4 |
| ; CHECK-NEXT: [[ARRAYIDX_1:%.*]] = getelementptr inbounds i32, i32* [[COUNTER]], i64 1 |
| ; CHECK-NEXT: [[TMP2:%.*]] = load i32, i32* [[ARRAYIDX_1]], align 4 |
| ; CHECK-NEXT: [[ARRAYIDX2_1:%.*]] = getelementptr inbounds i32, i32* [[OUT_BLOCK]], i64 1 |
| ; CHECK-NEXT: [[TMP3:%.*]] = load i32, i32* [[ARRAYIDX2_1]], align 4 |
| ; CHECK-NEXT: [[XOR_1:%.*]] = xor i32 [[TMP3]], [[TMP2]] |
| ; CHECK-NEXT: store i32 [[XOR_1]], i32* [[ARRAYIDX2_1]], align 4 |
| ; CHECK-NEXT: [[ARRAYIDX_2:%.*]] = getelementptr inbounds i32, i32* [[COUNTER]], i64 2 |
| ; CHECK-NEXT: [[TMP4:%.*]] = load i32, i32* [[ARRAYIDX_2]], align 4 |
| ; CHECK-NEXT: [[ARRAYIDX2_2:%.*]] = getelementptr inbounds i32, i32* [[OUT_BLOCK]], i64 2 |
| ; CHECK-NEXT: [[TMP5:%.*]] = load i32, i32* [[ARRAYIDX2_2]], align 4 |
| ; CHECK-NEXT: [[XOR_2:%.*]] = xor i32 [[TMP5]], [[TMP4]] |
| ; CHECK-NEXT: store i32 [[XOR_2]], i32* [[ARRAYIDX2_2]], align 4 |
| ; CHECK-NEXT: [[ARRAYIDX_3:%.*]] = getelementptr inbounds i32, i32* [[COUNTER]], i64 3 |
| ; CHECK-NEXT: [[TMP6:%.*]] = load i32, i32* [[ARRAYIDX_3]], align 4 |
| ; CHECK-NEXT: [[ARRAYIDX2_3:%.*]] = getelementptr inbounds i32, i32* [[OUT_BLOCK]], i64 3 |
| ; CHECK-NEXT: [[TMP7:%.*]] = load i32, i32* [[ARRAYIDX2_3]], align 4 |
| ; CHECK-NEXT: [[XOR_3:%.*]] = xor i32 [[TMP7]], [[TMP6]] |
| ; CHECK-NEXT: store i32 [[XOR_3]], i32* [[ARRAYIDX2_3]], align 4 |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %0 = load i32, i32* %counter, align 4 |
| %1 = load i32, i32* %out_block, align 4 |
| %xor = xor i32 %1, %0 |
| store i32 %xor, i32* %out_block, align 4 |
| %arrayidx.1 = getelementptr inbounds i32, i32* %counter, i64 1 |
| %2 = load i32, i32* %arrayidx.1, align 4 |
| %arrayidx2.1 = getelementptr inbounds i32, i32* %out_block, i64 1 |
| %3 = load i32, i32* %arrayidx2.1, align 4 |
| %xor.1 = xor i32 %3, %2 |
| store i32 %xor.1, i32* %arrayidx2.1, align 4 |
| %arrayidx.2 = getelementptr inbounds i32, i32* %counter, i64 2 |
| %4 = load i32, i32* %arrayidx.2, align 4 |
| %arrayidx2.2 = getelementptr inbounds i32, i32* %out_block, i64 2 |
| %5 = load i32, i32* %arrayidx2.2, align 4 |
| %xor.2 = xor i32 %5, %4 |
| store i32 %xor.2, i32* %arrayidx2.2, align 4 |
| %arrayidx.3 = getelementptr inbounds i32, i32* %counter, i64 3 |
| %6 = load i32, i32* %arrayidx.3, align 4 |
| %arrayidx2.3 = getelementptr inbounds i32, i32* %out_block, i64 3 |
| %7 = load i32, i32* %arrayidx2.3, align 4 |
| %xor.3 = xor i32 %7, %6 |
| store i32 %xor.3, i32* %arrayidx2.3, align 4 |
| ret void |
| } |
| |
| declare void @use(<8 x float>) |
| define void @delete_pointer_bound(float* %a, float* %b, i1 %c) #0 { |
| ; CHECK-LABEL: @delete_pointer_bound( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[B_10:%.*]] = getelementptr inbounds float, float* [[B:%.*]], i64 10 |
| ; CHECK-NEXT: [[B_14:%.*]] = getelementptr inbounds float, float* [[B]], i64 14 |
| ; CHECK-NEXT: br i1 [[C:%.*]], label [[THEN:%.*]], label [[ELSE:%.*]] |
| ; CHECK: else: |
| ; CHECK-NEXT: [[L0:%.*]] = load float, float* [[B_10]], align 4 |
| ; CHECK-NEXT: [[L1:%.*]] = load float, float* [[B_14]], align 4 |
| ; CHECK-NEXT: [[I2:%.*]] = insertelement <8 x float> undef, float [[L0]], i32 2 |
| ; CHECK-NEXT: [[I3:%.*]] = insertelement <8 x float> [[I2]], float [[L0]], i32 3 |
| ; CHECK-NEXT: [[I4:%.*]] = insertelement <8 x float> [[I3]], float [[L1]], i32 4 |
| ; CHECK-NEXT: [[I7:%.*]] = insertelement <8 x float> [[I4]], float [[L1]], i32 7 |
| ; CHECK-NEXT: call void @use(<8 x float> [[I7]]) |
| ; CHECK-NEXT: ret void |
| ; CHECK: then: |
| ; CHECK-NEXT: [[A_8:%.*]] = getelementptr inbounds float, float* [[A:%.*]], i64 8 |
| ; CHECK-NEXT: store float 0.000000e+00, float* [[A_8]], align 4 |
| ; CHECK-NEXT: [[L6:%.*]] = load float, float* [[B_14]], align 4 |
| ; CHECK-NEXT: [[A_5:%.*]] = getelementptr inbounds float, float* [[A]], i64 5 |
| ; CHECK-NEXT: store float [[L6]], float* [[A_5]], align 4 |
| ; CHECK-NEXT: [[A_6:%.*]] = getelementptr inbounds float, float* [[A]], i64 6 |
| ; CHECK-NEXT: store float 0.000000e+00, float* [[A_6]], align 4 |
| ; CHECK-NEXT: [[A_7:%.*]] = getelementptr inbounds float, float* [[A]], i64 7 |
| ; CHECK-NEXT: store float 0.000000e+00, float* [[A_7]], align 4 |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| %b.10 = getelementptr inbounds float, float* %b, i64 10 |
| %b.14 = getelementptr inbounds float, float* %b, i64 14 |
| br i1 %c, label %then, label %else |
| |
| else: |
| %l0 = load float, float* %b.10, align 4 |
| %l1 = load float, float* %b.14, align 4 |
| %i2 = insertelement <8 x float> undef, float %l0, i32 2 |
| %i3 = insertelement <8 x float> %i2, float %l0, i32 3 |
| %i4 = insertelement <8 x float> %i3, float %l1, i32 4 |
| %i7 = insertelement <8 x float> %i4, float %l1, i32 7 |
| call void @use(<8 x float> %i7) |
| ret void |
| |
| then: |
| %a.8 = getelementptr inbounds float, float* %a, i64 8 |
| store float 0.0, float* %a.8, align 4 |
| %l6 = load float, float* %b.14, align 4 |
| %a.5 = getelementptr inbounds float, float* %a, i64 5 |
| store float %l6, float* %a.5, align 4 |
| %a.6 = getelementptr inbounds float, float* %a, i64 6 |
| store float 0.0, float* %a.6, align 4 |
| %a.7 = getelementptr inbounds float, float* %a, i64 7 |
| store float 0.0, float* %a.7, align 4 |
| ret void |
| } |
| |
| %struct.zot = type { i16, i16, i16, i32, float, float, float, %struct.quux*, %struct.zot*, %struct.wombat*, %struct.wombat.0 } |
| %struct.quux = type { i16, %struct.quux*, %struct.quux* } |
| %struct.wombat = type { i32, i16, i8, i8, %struct.eggs* } |
| %struct.eggs = type { float, i8, %struct.ham } |
| %struct.ham = type { [2 x double], [8 x i8] } |
| %struct.wombat.0 = type { %struct.bar } |
| %struct.bar = type { [3 x double], [3 x double], double, double, i16, [3 x double]*, i32, [3 x double] } |
| |
| define double @preserve_loop_info(%struct.zot* %arg) { |
| ; CHECK-LABEL: @preserve_loop_info( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[TMP:%.*]] = alloca [3 x double], align 16 |
| ; CHECK-NEXT: br label [[OUTER_HEADER:%.*]] |
| ; CHECK: outer.header: |
| ; CHECK-NEXT: br label [[INNER:%.*]] |
| ; CHECK: inner: |
| ; CHECK-NEXT: br i1 undef, label [[OUTER_LATCH:%.*]], label [[INNER]] |
| ; CHECK: outer.latch: |
| ; CHECK-NEXT: br i1 undef, label [[BB:%.*]], label [[OUTER_HEADER]] |
| ; CHECK: bb: |
| ; CHECK-NEXT: [[TMP5:%.*]] = load [3 x double]*, [3 x double]** undef, align 8 |
| ; CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds [3 x double], [3 x double]* [[TMP]], i64 0, i64 0 |
| ; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds [3 x double], [3 x double]* [[TMP]], i64 0, i64 1 |
| ; CHECK-NEXT: br label [[LOOP_3HEADER:%.*]] |
| ; CHECK: loop.3header: |
| ; CHECK-NEXT: br i1 undef, label [[LOOP_3LATCH:%.*]], label [[BB9:%.*]] |
| ; CHECK: bb9: |
| ; CHECK-NEXT: [[TMP10:%.*]] = getelementptr inbounds [3 x double], [3 x double]* [[TMP5]], i64 undef, i64 1 |
| ; CHECK-NEXT: store double undef, double* [[TMP6]], align 16 |
| ; CHECK-NEXT: [[TMP12:%.*]] = load double, double* [[TMP10]], align 8 |
| ; CHECK-NEXT: store double [[TMP12]], double* [[TMP7]], align 8 |
| ; CHECK-NEXT: br label [[LOOP_3LATCH]] |
| ; CHECK: loop.3latch: |
| ; CHECK-NEXT: br i1 undef, label [[BB14:%.*]], label [[LOOP_3HEADER]] |
| ; CHECK: bb14: |
| ; CHECK-NEXT: [[TMP15:%.*]] = call double undef(double* [[TMP6]], %struct.zot* [[ARG:%.*]]) |
| ; CHECK-NEXT: ret double undef |
| ; |
| entry: |
| %tmp = alloca [3 x double], align 16 |
| br label %outer.header |
| |
| outer.header: ; preds = %bb3, %bb |
| br label %inner |
| |
| inner: |
| br i1 undef, label %outer.latch, label %inner |
| |
| outer.latch: ; preds = %bb16 |
| br i1 undef, label %bb, label %outer.header |
| |
| bb: ; preds = %bb3 |
| %tmp5 = load [3 x double]*, [3 x double]** undef, align 8 |
| %tmp6 = getelementptr inbounds [3 x double], [3 x double]* %tmp, i64 0, i64 0 |
| %tmp7 = getelementptr inbounds [3 x double], [3 x double]* %tmp, i64 0, i64 1 |
| br label %loop.3header |
| |
| loop.3header: ; preds = %bb13, %bb4 |
| br i1 undef, label %loop.3latch, label %bb9 |
| |
| bb9: ; preds = %bb8 |
| %tmp10 = getelementptr inbounds [3 x double], [3 x double]* %tmp5, i64 undef, i64 1 |
| store double undef, double* %tmp6, align 16 |
| %tmp12 = load double, double* %tmp10, align 8 |
| store double %tmp12, double* %tmp7, align 8 |
| br label %loop.3latch |
| |
| loop.3latch: ; preds = %bb11, %bb8 |
| br i1 undef, label %bb14, label %loop.3header |
| |
| bb14: ; preds = %bb13 |
| %tmp15 = call double undef(double* %tmp6, %struct.zot* %arg) |
| ret double undef |
| } |
| |
| define void @gather_sequence_crash(<2 x float> %arg, float* %arg1, float %arg2, float* %arg3, float* %arg4, float* %arg5, i1 %c.1, i1 %c.2) { |
| ; CHECK-LABEL: @gather_sequence_crash( |
| ; CHECK-NEXT: bb: |
| ; CHECK-NEXT: br i1 [[C_1:%.*]], label [[BB16:%.*]], label [[BB6:%.*]] |
| ; CHECK: bb6: |
| ; CHECK-NEXT: [[TMP:%.*]] = getelementptr inbounds float, float* [[ARG1:%.*]], i32 4 |
| ; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds float, float* [[ARG1]], i32 5 |
| ; CHECK-NEXT: [[TMP8:%.*]] = getelementptr inbounds float, float* [[ARG1]], i32 3 |
| ; CHECK-NEXT: [[TMP9:%.*]] = getelementptr inbounds float, float* [[ARG1]], i32 6 |
| ; CHECK-NEXT: [[TMP0:%.*]] = insertelement <4 x float> <float poison, float poison, float poison, float 0.000000e+00>, float [[ARG2:%.*]], i32 0 |
| ; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <2 x float> [[ARG:%.*]], <2 x float> poison, <4 x i32> <i32 0, i32 1, i32 undef, i32 undef> |
| ; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x float> [[TMP0]], <4 x float> [[TMP1]], <4 x i32> <i32 0, i32 4, i32 5, i32 3> |
| ; CHECK-NEXT: [[TMP3:%.*]] = fmul <4 x float> [[TMP2]], zeroinitializer |
| ; CHECK-NEXT: [[TMP4:%.*]] = bitcast float* [[TMP8]] to <4 x float>* |
| ; CHECK-NEXT: store <4 x float> [[TMP3]], <4 x float>* [[TMP4]], align 4 |
| ; CHECK-NEXT: ret void |
| ; CHECK: bb16: |
| ; CHECK-NEXT: br label [[BB17:%.*]] |
| ; CHECK: bb17: |
| ; CHECK-NEXT: br label [[BB18:%.*]] |
| ; CHECK: bb18: |
| ; CHECK-NEXT: br label [[BB19:%.*]] |
| ; CHECK: bb19: |
| ; CHECK-NEXT: br label [[BB20:%.*]] |
| ; CHECK: bb20: |
| ; CHECK-NEXT: br label [[BB21:%.*]] |
| ; CHECK: bb21: |
| ; CHECK-NEXT: br label [[BB22:%.*]] |
| ; CHECK: bb22: |
| ; CHECK-NEXT: [[TMP23:%.*]] = getelementptr inbounds float, float* [[ARG4:%.*]], i32 0 |
| ; CHECK-NEXT: [[TMP24:%.*]] = getelementptr float, float* [[TMP23]], i64 7 |
| ; CHECK-NEXT: br i1 [[C_2:%.*]], label [[BB25:%.*]], label [[BB22]] |
| ; CHECK: bb25: |
| ; CHECK-NEXT: [[TMP26:%.*]] = getelementptr float, float* [[TMP23]], i64 6 |
| ; CHECK-NEXT: store float 0.000000e+00, float* [[TMP24]], align 4 |
| ; CHECK-NEXT: [[TMP27:%.*]] = load float, float* [[ARG5:%.*]], align 4 |
| ; CHECK-NEXT: [[TMP28:%.*]] = getelementptr float, float* [[TMP23]], i64 5 |
| ; CHECK-NEXT: [[TMP29:%.*]] = fadd float 0.000000e+00, 0.000000e+00 |
| ; CHECK-NEXT: store float 0.000000e+00, float* [[TMP26]], align 4 |
| ; CHECK-NEXT: [[TMP30:%.*]] = getelementptr float, float* [[TMP23]], i64 4 |
| ; CHECK-NEXT: store float 0.000000e+00, float* [[TMP28]], align 4 |
| ; CHECK-NEXT: [[TMP31:%.*]] = fadd float 0.000000e+00, 0.000000e+00 |
| ; CHECK-NEXT: store float 0.000000e+00, float* [[TMP30]], align 4 |
| ; CHECK-NEXT: [[TMP32:%.*]] = getelementptr inbounds float, float* [[ARG4]], i32 0 |
| ; CHECK-NEXT: br label [[BB33:%.*]] |
| ; CHECK: bb33: |
| ; CHECK-NEXT: br label [[BB34:%.*]] |
| ; CHECK: bb34: |
| ; CHECK-NEXT: [[TMP35:%.*]] = getelementptr float, float* [[TMP32]], i64 3 |
| ; CHECK-NEXT: [[TMP36:%.*]] = getelementptr float, float* [[TMP32]], i64 2 |
| ; CHECK-NEXT: [[TMP37:%.*]] = load float, float* [[TMP35]], align 4 |
| ; CHECK-NEXT: [[TMP38:%.*]] = fadd float 0.000000e+00, [[TMP37]] |
| ; CHECK-NEXT: store float [[TMP38]], float* [[TMP35]], align 4 |
| ; CHECK-NEXT: [[TMP39:%.*]] = getelementptr float, float* [[TMP32]], i64 1 |
| ; CHECK-NEXT: [[TMP40:%.*]] = load float, float* [[TMP36]], align 4 |
| ; CHECK-NEXT: [[TMP41:%.*]] = fadd float 0.000000e+00, [[TMP40]] |
| ; CHECK-NEXT: store float [[TMP41]], float* [[TMP36]], align 4 |
| ; CHECK-NEXT: [[TMP42:%.*]] = load float, float* [[TMP39]], align 4 |
| ; CHECK-NEXT: [[TMP43:%.*]] = fadd float 0.000000e+00, [[TMP42]] |
| ; CHECK-NEXT: store float [[TMP43]], float* [[TMP39]], align 4 |
| ; CHECK-NEXT: [[TMP44:%.*]] = load float, float* [[ARG3:%.*]], align 4 |
| ; CHECK-NEXT: [[TMP45:%.*]] = load float, float* [[TMP32]], align 4 |
| ; CHECK-NEXT: [[TMP46:%.*]] = fadd float 0.000000e+00, [[TMP45]] |
| ; CHECK-NEXT: store float [[TMP46]], float* [[TMP32]], align 4 |
| ; CHECK-NEXT: call void @quux() |
| ; CHECK-NEXT: br label [[BB47:%.*]] |
| ; CHECK: bb47: |
| ; CHECK-NEXT: br label [[BB17]] |
| ; |
| bb: |
| br i1 %c.1, label %bb16, label %bb6 |
| |
| bb6: ; preds = %bb |
| %tmp = getelementptr inbounds float, float* %arg1, i32 4 |
| %tmp7 = getelementptr inbounds float, float* %arg1, i32 5 |
| %tmp8 = getelementptr inbounds float, float* %arg1, i32 3 |
| %tmp9 = getelementptr inbounds float, float* %arg1, i32 6 |
| %tmp10 = extractelement <2 x float> %arg, i32 0 |
| %tmp11 = fmul float %tmp10, 0.000000e+00 |
| store float %tmp11, float* %tmp, align 4 |
| %tmp12 = extractelement <2 x float> %arg, i32 1 |
| %tmp13 = fmul float %tmp12, 0.000000e+00 |
| store float %tmp13, float* %tmp7, align 4 |
| %tmp14 = fmul float %arg2, 0.000000e+00 |
| store float %tmp14, float* %tmp8, align 4 |
| %tmp15 = fmul float 0.000000e+00, 0.000000e+00 |
| store float %tmp15, float* %tmp9, align 4 |
| ret void |
| |
| bb16: ; preds = %bb |
| br label %bb17 |
| |
| bb17: ; preds = %bb47, %bb16 |
| br label %bb18 |
| |
| bb18: ; preds = %bb17 |
| br label %bb19 |
| |
| bb19: ; preds = %bb18 |
| br label %bb20 |
| |
| bb20: ; preds = %bb19 |
| br label %bb21 |
| |
| bb21: ; preds = %bb20 |
| br label %bb22 |
| |
| bb22: ; preds = %bb22, %bb21 |
| %tmp23 = getelementptr inbounds float, float* %arg4, i32 0 |
| %tmp24 = getelementptr float, float* %tmp23, i64 7 |
| br i1 %c.2, label %bb25, label %bb22 |
| |
| bb25: ; preds = %bb22 |
| %tmp26 = getelementptr float, float* %tmp23, i64 6 |
| store float 0.000000e+00, float* %tmp24, align 4 |
| %tmp27 = load float, float* %arg5, align 4 |
| %tmp28 = getelementptr float, float* %tmp23, i64 5 |
| %tmp29 = fadd float 0.000000e+00, 0.000000e+00 |
| store float 0.000000e+00, float* %tmp26, align 4 |
| %tmp30 = getelementptr float, float* %tmp23, i64 4 |
| store float 0.000000e+00, float* %tmp28, align 4 |
| %tmp31 = fadd float 0.000000e+00, 0.000000e+00 |
| store float 0.000000e+00, float* %tmp30, align 4 |
| %tmp32 = getelementptr inbounds float, float* %arg4, i32 0 |
| br label %bb33 |
| |
| bb33: ; preds = %bb25 |
| br label %bb34 |
| |
| bb34: ; preds = %bb33 |
| %tmp35 = getelementptr float, float* %tmp32, i64 3 |
| %tmp36 = getelementptr float, float* %tmp32, i64 2 |
| %tmp37 = load float, float* %tmp35, align 4 |
| %tmp38 = fadd float 0.000000e+00, %tmp37 |
| store float %tmp38, float* %tmp35, align 4 |
| %tmp39 = getelementptr float, float* %tmp32, i64 1 |
| %tmp40 = load float, float* %tmp36, align 4 |
| %tmp41 = fadd float 0.000000e+00, %tmp40 |
| store float %tmp41, float* %tmp36, align 4 |
| %tmp42 = load float, float* %tmp39, align 4 |
| %tmp43 = fadd float 0.000000e+00, %tmp42 |
| store float %tmp43, float* %tmp39, align 4 |
| %tmp44 = load float, float* %arg3, align 4 |
| %tmp45 = load float, float* %tmp32, align 4 |
| %tmp46 = fadd float 0.000000e+00, %tmp45 |
| store float %tmp46, float* %tmp32, align 4 |
| call void @quux() |
| br label %bb47 |
| |
| bb47: ; preds = %bb34 |
| br label %bb17 |
| } |
| |
| declare void @quux() |
| attributes #0 = { "target-features"="+avx2" } |
