This is an archive of the discontinued LLVM Phabricator instance.

Differential D92047

SLP: add test for spilling with too wide vectorization
AbandonedPublic

Authored by rampitec on Nov 24 2020, 10:52 AM.

Details

Reviewers
jonpa

Diff Detail

Event Timeline

rampitec created this revision.Nov 24 2020, 10:52 AM
Herald added a project: Restricted Project. · View Herald TranscriptNov 24 2020, 10:52 AM
Herald added subscribers: kerbowa, nhaehnle, jvesely. · View Herald Transcript
rampitec requested review of this revision.Nov 24 2020, 10:52 AM
rampitec mentioned this in D82227: SLP: honor requested max vector size merging PHIs.
jonpa added a comment.Nov 28 2020, 9:50 AM

See comment on the other post - I suppose this can be abandoned now?

rampitec abandoned this revision.Dec 7 2020, 3:08 PM

Revision Contents

PathSize
llvm/
test/
Transforms/
SLPVectorizer/
AMDGPU/
130 lines

Diff 307411

llvm/test/Transforms/SLPVectorizer/AMDGPU/slp-max-phi-size.ll

  • This file was added.
; RUN: opt -slp-vectorizer -S -slp-max-reg-size=32 < %s | llc -march=amdgcn -mcpu=gfx900 | FileCheck -check-prefixes=GCN,MAX32 %s
; RUN: opt -slp-vectorizer -S -slp-max-reg-size=1024 < %s | llc -march=amdgcn -mcpu=gfx900 | FileCheck -check-prefixes=GCN,MAX1024 %s
; GCN-LABEL: {{^}}phi_float32:
; MAX32-NOT: Folded Spill
; GCN: flat_store_dword
define void @phi_float32(half %hval, float %fval) {
bb:
br label %bb1
bb1:
%i = fpext half %hval to float
%i1 = fmul float %i, %fval
%i2 = fadd float 0.000000e+00, %i1
%i3 = fpext half %hval to float
%i4 = fmul float %i3, %fval
%i5 = fadd float 0.000000e+00, %i4
%i6 = fpext half %hval to float
%i7 = fmul float %i6, %fval
%i8 = fadd float 0.000000e+00, %i7
%i9 = fpext half %hval to float
%i10 = fmul float %i9, %fval
%i11 = fadd float 0.000000e+00, %i10
%i12 = fmul float %i, %fval
%i13 = fadd float 0.000000e+00, %i12
%i14 = fmul float %i3, %fval
%i15 = fadd float 0.000000e+00, %i14
%i16 = fmul float %i6, %fval
%i17 = fadd float 0.000000e+00, %i16
%i18 = fmul float %i9, %fval
%i19 = fadd float 0.000000e+00, %i18
%i20 = fmul float %i, %fval
%i21 = fadd float 0.000000e+00, %i20
%i22 = fmul float %i3, %fval
%i23 = fadd float 0.000000e+00, %i22
%i24 = fmul float %i6, %fval
%i25 = fadd float 0.000000e+00, %i24
%i26 = fmul float %i9, %fval
%i27 = fadd float 0.000000e+00, %i26
%i28 = fmul float %i, %fval
%i29 = fadd float 0.000000e+00, %i28
%i30 = fmul float %i3, %fval
%i31 = fadd float 0.000000e+00, %i30
%i32 = fmul float %i6, %fval
%i33 = fadd float 0.000000e+00, %i32
%i34 = fmul float %i9, %fval
%i35 = fadd float 0.000000e+00, %i34
%i36 = fmul float %i, %fval
%i37 = fadd float 0.000000e+00, %i36
%i38 = fmul float %i3, %fval
%i39 = fadd float 0.000000e+00, %i38
%i40 = fmul float %i6, %fval
%i41 = fadd float 0.000000e+00, %i40
%i42 = fmul float %i9, %fval
%i43 = fadd float 0.000000e+00, %i42
%i44 = fmul float %i, %fval
%i45 = fadd float 0.000000e+00, %i44
%i46 = fmul float %i3, %fval
%i47 = fadd float 0.000000e+00, %i46
%i48 = fmul float %i6, %fval
%i49 = fadd float 0.000000e+00, %i48
%i50 = fmul float %i9, %fval
%i51 = fadd float 0.000000e+00, %i50
%i52 = fmul float %i, %fval
%i53 = fadd float 0.000000e+00, %i52
%i54 = fmul float %i3, %fval
%i55 = fadd float 0.000000e+00, %i54
%i56 = fmul float %i6, %fval
%i57 = fadd float 0.000000e+00, %i56
%i58 = fmul float %i9, %fval
%i59 = fadd float 0.000000e+00, %i58
%i60 = fmul float %i, %fval
%i61 = fadd float 0.000000e+00, %i60
%i62 = fmul float %i3, %fval
%i63 = fadd float 0.000000e+00, %i62
%i64 = fmul float %i6, %fval
%i65 = fadd float 0.000000e+00, %i64
%i66 = fmul float %i9, %fval
%i67 = fadd float 0.000000e+00, %i66
switch i32 undef, label %bb5 [
i32 0, label %bb2
i32 1, label %bb3
i32 2, label %bb4
]
bb3:
br label %bb2
bb4:
br label %bb2
bb5:
br label %bb2
bb2:
%phi1 = phi float [ %i19, %bb3 ], [ %i19, %bb4 ], [ %fval, %bb5 ], [ %i19, %bb1 ]
%phi2 = phi float [ %i17, %bb3 ], [ %fval, %bb4 ], [ %i17, %bb5 ], [ %i17, %bb1 ]
%phi3 = phi float [ %i15, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi4 = phi float [ %i13, %bb3 ], [ %i13, %bb4 ], [ %i13, %bb5 ], [ %fval, %bb1 ]
%phi5 = phi float [ %i11, %bb3 ], [ %i11, %bb4 ], [ %fval, %bb5 ], [ %i11, %bb1 ]
%phi6 = phi float [ %i8, %bb3 ], [ %fval, %bb4 ], [ %i8, %bb5 ], [ %i8, %bb1 ]
%phi7 = phi float [ %i5, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi8 = phi float [ %i2, %bb3 ], [ %i2, %bb4 ], [ %i2, %bb5 ], [ %fval, %bb1 ]
%phi9 = phi float [ %i21, %bb3 ], [ %i21, %bb4 ], [ %i21, %bb5 ], [ %fval, %bb1 ]
%phi10 = phi float [ %i23, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi11 = phi float [ %i25, %bb3 ], [ %fval, %bb4 ], [ %i25, %bb5 ], [ %i25, %bb1 ]
%phi12 = phi float [ %i27, %bb3 ], [ %i27, %bb4 ], [ %fval, %bb5 ], [ %i27, %bb1 ]
%phi13 = phi float [ %i29, %bb3 ], [ %i29, %bb4 ], [ %i29, %bb5 ], [ %fval, %bb1 ]
%phi14 = phi float [ %i31, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi15 = phi float [ %i33, %bb3 ], [ %fval, %bb4 ], [ %i33, %bb5 ], [ %i33, %bb1 ]
%phi16 = phi float [ %i35, %bb3 ], [ %i35, %bb4 ], [ %fval, %bb5 ], [ %i35, %bb1 ]
%phi17 = phi float [ %i37, %bb3 ], [ %i37, %bb4 ], [ %i37, %bb5 ], [ %fval, %bb1 ]
%phi18 = phi float [ %i39, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi19 = phi float [ %i41, %bb3 ], [ %fval, %bb4 ], [ %i41, %bb5 ], [ %i41, %bb1 ]
%phi20 = phi float [ %i43, %bb3 ], [ %i43, %bb4 ], [ %fval, %bb5 ], [ %i43, %bb1 ]
%phi21 = phi float [ %i45, %bb3 ], [ %i45, %bb4 ], [ %i45, %bb5 ], [ %fval, %bb1 ]
%phi22 = phi float [ %i47, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi23 = phi float [ %i49, %bb3 ], [ %fval, %bb4 ], [ %i49, %bb5 ], [ %i49, %bb1 ]
%phi24 = phi float [ %i51, %bb3 ], [ %i51, %bb4 ], [ %fval, %bb5 ], [ %i51, %bb1 ]
%phi25 = phi float [ %i53, %bb3 ], [ %i53, %bb4 ], [ %i53, %bb5 ], [ %fval, %bb1 ]
%phi26 = phi float [ %i55, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi27 = phi float [ %i57, %bb3 ], [ %fval, %bb4 ], [ %i57, %bb5 ], [ %i57, %bb1 ]
%phi28 = phi float [ %i59, %bb3 ], [ %i59, %bb4 ], [ %fval, %bb5 ], [ %i59, %bb1 ]
%phi29 = phi float [ %i61, %bb3 ], [ %i61, %bb4 ], [ %i61, %bb5 ], [ %fval, %bb1 ]
%phi30 = phi float [ %i63, %bb3 ], [ %fval, %bb4 ], [ %fval, %bb5 ], [ %fval, %bb1 ]
%phi31 = phi float [ %i65, %bb3 ], [ %fval, %bb4 ], [ %i65, %bb5 ], [ %i65, %bb1 ]
%phi32 = phi float [ %i67, %bb3 ], [ %i67, %bb4 ], [ %fval, %bb5 ], [ %i67, %bb1 ]
store float %phi31, float* undef
ret void
}