changes to adapt to compressed line table format

[vtjnash]

This contains some of the updates needed to keep working with the optimized debuginfo format (JuliaLang/julia#52415). This is a draft, since someone needs integrate this to maintain support for old versions, where the old code is mostly marked here with my initials (jwn) and my initials should be removed entirely and instead the implementation in those places fixed.

[codecov]

Codecov Report

Attention: Patch coverage is 33.92857% with 37 lines in your changes are missing coverage. Please review.

Project coverage is 84.11%. Comparing base (31253a0) to head (ebc743a).

Files	Patch %	Lines
src/utils.jl	42.22%	26 Missing ⚠️
src/interpret.jl	0.00%	10 Missing ⚠️
src/types.jl	0.00%	1 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #606      +/-   ##
==========================================
- Coverage   85.13%   84.11%   -1.02%     
==========================================
  Files          12       12              
  Lines        2610     2644      +34     
==========================================
+ Hits         2222     2224       +2     
- Misses        388      420      +32     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[aviatesk]

It looks like this "optimization" introduces a very bad interaction with the new lineinfo format:

JuliaInterpreter.jl/src/optimize.jl

Lines 76 to 92 in 28dd37c

	# TODO: because of builtins.jl, for CodeInfos like
	# %1 = Core.apply_type
	# %2 = (%1)(args...)
	# it would be best to *not* resolve the GlobalRef at %1
	## Replace GlobalRefs with QuoteNodes
	for (i, stmt) in enumerate(code.code)
	if isa(stmt, GlobalRef)
	code.code[i] = lookup_global_ref(stmt)
	elseif isa(stmt, Expr)
	if stmt.head === :call && stmt.args[1] === :cglobal # cglobal requires literals
	continue
	else
	lookup_global_refs!(stmt)
	code.code[i] = lookup_getproperties(code.code, stmt)
	end
	end
	end

julia> using JuliaInterpreter

julia> fnone1() = nothing;

julia> let m = only(methods(fnone1))
           JuliaInterpreter.FrameCode(m, JuliaInterpreter.get_source(m); optimize=true).src.debuginfo
       end
Core.DebugInfo(Symbol("REPL[2]"), nothing, svec(), "\x01\0\0\0\0\0\0\0\0\0\0\0\x01\x01\0")

julia> fnone2() = nothing;

julia> let m = only(methods(fnone2))
           JuliaInterpreter.FrameCode(m, JuliaInterpreter.get_source(m); optimize=true).src.debuginfo
       end
Core.DebugInfo(Symbol("REPL[4]"), nothing, svec(), "")

[aviatesk]

I don't understand this commit -- do we now store some macro expansion context within debuginfo?

[aviatesk]

For statementnumbers to function in v1.12, there's a need for a tool that can rebuild the full codelocs object from Core.DebugInfo, similar to what we could do just by looking at src.codelocs previously. Or, we may have to overhaul the statementnumbers algorithm.

[aviatesk]

This PR is obviously not finished yet, but I want to push ahead with it as is to avoid holding up progress on other packages in the ecosystem. We can tackle the specific issues that I've identified so far later on (likely when Jameson returns).