Code

Optimize loop of phi_function#3522

Code

Merged

tautschnig merged 8 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:optimize/phi_function_loopromainbrenguier/cbmc:optimize/phi_function_loopCopy head branch name to clipboard

Dec 6, 2018

Commits

Commits on Dec 6, 2018

• Return early if nothing to do in phi_function

  romainbrenguier

  committed
  1c1ab39

  Copy full SHA for 1c1ab39

• Inline do_simplify

  Show description for cb52281
  romainbrenguier

  committed
  cb52281

  Copy full SHA for cb52281

• Extract function from the loop in phi_function

  Show description for fd5f0d5
  romainbrenguier

  committed
  fd5f0d5

  Copy full SHA for fd5f0d5

• Document merge_names function

  romainbrenguier

  committed
  cb35222

  Copy full SHA for cb35222

• Compute goto_count and dest_count before merge_names

  Show description for 7f4aded
  romainbrenguier

  committed
  7f4aded

  Copy full SHA for 7f4aded

• Use a for_each2 function iterating over two maps

  Show description for 235310a
  romainbrenguier

  committed
  235310a

  Copy full SHA for 235310a

• Remove unused range

  romainbrenguier

  committed
  4880553

  Copy full SHA for 4880553

• Avoid duplicate get_level_0 call

  romainbrenguier

  committed
  bbec003

  Copy full SHA for bbec003