Code

Speed up alias analysis#8695

Code

Merged

bjorng merged 25 commits intoerlang:mastererlang/otp:masterfrom frej:frej/speedupfrej/otp:frej/speedupCopy head branch name to clipboardOct 4, 2024

+973-340

Commits

Commits on Aug 20, 2024

• compiler: Extend sharing status db to handle a sequence of extracts

  Show description for 5c9a929
  frej

  committed
  5c9a929

  Copy full SHA for 5c9a929

• compiler SSA-checker: Handle succeeded instructions

  Show description for 08bd121
  frej

  committed
  08bd121

  Copy full SHA for 08bd121

• compiler destructive update: Simplify logic in patch_is/5

  Show description for 2680c84
  frej

  committed
  2680c84

  Copy full SHA for 2680c84

• compiler beam_digraph: Implement del_vertex/2

  Show description for 31d4302
  frej

  committed
  31d4302

  Copy full SHA for 31d4302

• beam_digraph: Add beam_digraph:vertex/3 analogous to maps:get/3

  Show description for 9c52efd
  frej

  committed
  9c52efd

  Copy full SHA for 9c52efd

• compiler beam_digraph: Add edges/1

  Show description for 3ce859c
  frej

  committed
  3ce859c

  Copy full SHA for 3ce859c

• compiler beam_ssa_ss: Improve debug dumps

  Show description for d6d613f
  frej

  committed
  d6d613f

  Copy full SHA for d6d613f

• compiler beam_ssa_ss: Remove TODO after investigating performance

  Show description for b332468
  frej

  committed
  b332468

  Copy full SHA for b332468

• compiler alias analysis: Unify support for debugging dumps

  Show description for 368a79d
  frej

  committed
  368a79d

  Copy full SHA for 368a79d

• compiler alias analysis: Use beam_ssa_ss:dump/1 for debug printouts

  Show description for 82f52a1
  frej

  committed
  82f52a1

  Copy full SHA for 82f52a1

• compiler alias analysis: Unify printing of function names

  Show description for 03ea590
  frej

  committed
  03ea590

  Copy full SHA for 03ea590

• compiler alias analysis: Speed up beam_ssa_ss:prune()

  Show description for 105abbd
  frej

  committed
  105abbd

  Copy full SHA for 105abbd

• compiler alias analysis: Avoid variable creation for plain values

  Show description for 9c02c78
  frej

  committed
  9c02c78

  Copy full SHA for 9c02c78

• compiler alias analysis: Avoid redundant database changes

  Show description for 6510323
  frej

  committed
  6510323

  Copy full SHA for 6510323

• compiler alias analysis: See through embed-extract chains

  Show description for b046f24
  frej

  committed
  b046f24

  Copy full SHA for b046f24

• compiler alias analysis: Introduce explicit no_info alias status

  Show description for e775560
  frej

  committed
  e775560

  Copy full SHA for e775560

• compiler alias analysis: Improve fixpoint iteration strategy

  Show description for b2d8654
  frej

  committed
  b2d8654

  Copy full SHA for b2d8654

• compiler alias analysis: Analyze zero-arity functions first

  Show description for 4a58947
  frej

  committed
  4a58947

  Copy full SHA for 4a58947

• compiler alias analysis: Always record call argument status

  Show description for a6868d6
  frej

  committed
  a6868d6

  Copy full SHA for a6868d6

• compiler alias analysis: Status of not analyzed callee is no_info

  Show description for f4310bc
  frej

  committed
  f4310bc

  Copy full SHA for f4310bc

• compiler alias analysis: Improve handling of Phi-instructions

  Show description for b4f7a6c
  frej

  committed
  b4f7a6c

  Copy full SHA for b4f7a6c

• compiler alias analysis: Change work limiting strategy

  Show description for d0b64a2
  frej

  committed
  d0b64a2

  Copy full SHA for d0b64a2

• compiler alias analysis: Alternate function traversal order

  Show description for e66fa4d
  frej

  committed
  e66fa4d

  Copy full SHA for e66fa4d

• compiler alias analysis: Speed up state pruning

  Show description for ccf5a66
  frej

  committed
  ccf5a66

  Copy full SHA for ccf5a66

• compiler: Avoid reuse hint for update_record with > 1 update

  Show description for b83561a
  frej

  committed
  b83561a

  Copy full SHA for b83561a