Add some static analysis in bytecode rewriting

[tekknolagi]

No description provided.

[github-actions]

{
  "django_minimal_requests": {
    "benchmark": "django_minimal_requests",
    "cg_instructions before": 682194,
    "cg_instructions now": 689123,
    "cg_instructions ∆": "1.0%",
    "interpreter_args": [],
    "interpreter_name": "pyro",
    "version before": "cd9b613ea5d1d9e396dfa7b3fb1a2c6405ce5550",
    "version now": "af084ac9fc1961effcb0721c9d78bfa58281febd"
  }
}

[github-actions]

Summary

Metric	Average	Best	Worst	Notes
cg_instructions	2.2%	bench_compile -3.9%	richards 4.9%	typically < 0.2% noise

Benchmark details

Base vs. New

benchmark	cg_instructions
2to3	1.7%
bench_base64	3.1%
bench_compile	-3.9%
bench_pickle	2.0%
deltablue	2.1%
fannkuch	3.4%
go	2.9%
loadproperty	3.1%
nbody	1.3%
nqueens	1.9%
pyflate	2.1%
pystone	4.0%
richards	4.9%

CPython vs New

benchmark	cg_instructions
2to3	-9.2%
bench_base64	-38.3%
bench_compile	1030.7%
bench_pickle	-26.5%
deltablue	-64.6%
fannkuch	-0.1%
go	-63.6%
loadproperty	-74.8%
nbody	22.3%
nqueens	27.8%
pyflate	-32.4%
pystone	-72.9%
richards	-79.2%

Base

benchmark	cg_instructions
2to3	2,287,492,202
bench_base64	2,882,301,324
bench_compile	2,905,459,952
bench_pickle	2,986,016,742
deltablue	1,430,207,326
fannkuch	5,397,345,894
go	1,864,298,143
loadproperty	427,299,725
nbody	9,408,462,143
nqueens	2,776,577,666
pyflate	9,583,563,946
pystone	1,038,561,914
richards	957,244,835

New

benchmark	cg_instructions
2to3	2,327,252,341
bench_base64	2,971,435,128
bench_compile	2,792,709,642
bench_pickle	3,044,725,903
deltablue	1,459,558,676
fannkuch	5,579,264,803
go	1,917,717,987
loadproperty	440,336,289
nbody	9,528,609,884
nqueens	2,829,643,113
pyflate	9,787,259,785
pystone	1,080,196,918
richards	1,004,577,107

CPython

benchmark	cg_instructions
2to3	2,564,129,509
bench_base64	4,819,162,858
bench_compile	246,990,289
bench_pickle	4,145,023,015
deltablue	4,118,478,044
fannkuch	5,587,453,827
go	5,263,137,282
loadproperty	1,747,792,244
nbody	7,793,861,142
nqueens	2,213,288,210
pyflate	14,472,074,094
pystone	3,981,814,405
richards	4,819,783,249