Provide names of local variables via FramePointerAnalysis

[JaroslavTulach]

Pull Request Description

Fixes #10843 by enhancing the FramePointerAnalysis pass to compute variableNames for IR nodes that have AliasAnalysis.RootScope or AliasAnalysis.ChildScope.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• All code follows the
  Scala,
  Java,
• Unit tests have been written where possible.
• Benchmarks are fine

[JaroslavTulach]

With a25b6c7 we are at 1126 cases where we still load AliasAnalysis metadata:

$ ./built-distribution/enso-engine-0.0.0-*/enso-*/bin/enso -run test/Benchmarks/src/Startup/Hello_World.enso 2>&1 | tee out
$ grep ^BAD out  | wc -l
1126

further progress:

• down to 756 failures with fdcd78c
• down to 60 with 0195953
• down to 3 with 0a37ddf

[JaroslavTulach]

After fixes made so far I can:

sbt:enso> engine-runner/buildNativeImage

and then:

$ time ./built-distribution/enso-engine-0.0.0-*/enso-*/bin/enso -run test/Benchmarks/src/Startup/Hello_World.enso
real    0m0,827s
user    0m0,687s
sys     0m0,142s

we are able to start Enso with Standard.Base library in less than 1s on my computer. Finally.

[JaroslavTulach]

After merging with #10899 it is time to do some benchmarking:

• stdlib first run

[JaroslavTulach]

Let's replace this with Logger and use it in a test to detect no BAD!!! situations happen (when running test/Base_Tests, etc.). Btw. they do happen when using EvalNode and I believe that's necessary as it evaluates random code and needs the LocalScope with AliasGraph.

[JaroslavTulach]

Done in c87f67a - use:

./enso --log-level trace --run xyz.enso | grep "] Scope"

to see messages about "Scope computed from AliasAnalysis".

[JaroslavTulach]

Startup benchmarks seem to be fine. There is 100ms speedup in the most complicated one:

there is half of the speedup in Hello World via IO.println. There is no regression in Hello World without any libraries.

[Akirathan]

Nice to see at least some improvement. Although we all have expected a bigger improvement, because of the size of AliasAnalysis, but at least something. Some nits.

[hubertp]

mostly nits