Skip to content

Commit 7f29b70

Browse files
Ian AtolKeno
andauthored
More aggressive SROA considering uses of new_new_nodes (#44557)
Co-authored-by: Keno Fischer <keno@juliacomputing.com>
1 parent c92ab5e commit 7f29b70

File tree

4 files changed

+279
-115
lines changed

4 files changed

+279
-115
lines changed

base/compiler/ssair/inlining.jl

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -376,7 +376,6 @@ function ir_inline_item!(compact::IncrementalCompact, idx::Int, argexprs::Vector
376376
stmt′ = ssa_substitute!(idx′, stmt′, argexprs, sig, sparam_vals, linetable_offset, boundscheck, compact)
377377
if isa(stmt′, ReturnNode)
378378
val = stmt′.val
379-
isa(val, SSAValue) && (compact.used_ssas[val.id] += 1)
380379
return_value = SSAValue(idx′)
381380
inline_compact[idx′] = val
382381
inline_compact.result[idx′][:type] =
@@ -433,13 +432,6 @@ function ir_inline_item!(compact::IncrementalCompact, idx::Int, argexprs::Vector
433432
just_fixup!(inline_compact)
434433
compact.result_idx = inline_compact.result_idx
435434
compact.active_result_bb = inline_compact.active_result_bb
436-
for i = 1:length(pn.values)
437-
isassigned(pn.values, i) || continue
438-
v = pn.values[i]
439-
if isa(v, SSAValue)
440-
compact.used_ssas[v.id] += 1
441-
end
442-
end
443435
if length(pn.edges) == 1
444436
return_value = pn.values[1]
445437
else

0 commit comments

Comments
 (0)