Code

Branch folding#5851

Code

Open

mmitton wants to merge 11 commits intobytecodealliance:mainbytecodealliance/wasmtime:mainfrom mmitton:branch_foldingmmitton/wasmtime:branch_foldingCopy head branch name to clipboard

+273-46

Commits

Commits on Feb 20, 2023

• First pass at branch folding. Handles Brif, need to handle jump tables and remove references to not taken branches

  mmitton

  committed
  2464ee0

• Implemented br_table branch folding

  mmitton

  committed
  91b830d

Commits on Feb 21, 2023

• Remove dead code and recompute dfg during egraph_pass. Alias block parameters to BlockCall args if there is a single pred and there is only one BlockCall in that inst that matches the block

  mmitton

  committed
  85b13e6

Commits on Feb 22, 2023

• Merge branch 'bytecodealliance:main' into branch_folding

  mmitton

  authored
  236f26e

• Removed multiple loops through egraph

  Show description for 2ec6518
  mmitton

  committed
  2ec6518

• Merge branch 'branch_folding' of github.com:mmitton/wasmtime into branch_folding

  mmitton

  committed
  4171c8d

• Added loop detection in checking for a dead block after a branch fold

  mmitton

  committed
  67d8674

• Change dead block detection to only eliminate a head of loop block if it only has one pred

  mmitton

  committed
  9dc96a6

• Skip processing a block in dead block detection if it was already detected to be unreachable (loops)

  mmitton

  committed
  eee43c9

• Fixed bug in block param aliasing

  mmitton

  committed
  e6b85e0

Commits on Feb 28, 2023

• Merge branch 'bytecodealliance:main' into branch_folding

  mmitton

  authored
  f37330a