Code

[feedback] per-edge dataflow#47664

Code

Closed

nikomatsakis wants to merge 8 commits intorust-lang:masterrust-lang/rust:masterfrom nikomatsakis:nll-per-edge-dataflownikomatsakis/rust:nll-per-edge-dataflowCopy head branch name to clipboard

+431-161

Commits

Commits on Jan 22, 2018

• use '_ to make clear that BlockSets contain references

  nikomatsakis

  committed
  68b9f0b

  Copy full SHA for 68b9f0b

• document that sets.on_entry is not *always* block entry

  nikomatsakis

  committed
  3f768fd

  Copy full SHA for 3f768fd

• convert propagate_call_return to take sets and be pure function

  Show description for af62153
  nikomatsakis

  committed
  af62153

  Copy full SHA for af62153

• s/&mut sets.on_entry/&sets.on_entry/

  nikomatsakis

  committed
  3056861

  Copy full SHA for 3056861

• introduce (unused) scratch buffer

  nikomatsakis

  committed
  7619704

  Copy full SHA for 7619704

• introduce helper for propagating bits across a list of edges

  Show description for 0285472
  nikomatsakis

  committed
  0285472

  Copy full SHA for 0285472

• generalize propagate_call_return to edge_effect

  Show description for 5fe40f6
  nikomatsakis

  committed
  5fe40f6

  Copy full SHA for 5fe40f6

• micro-optimize "anything changed?" check

  Show description for 642815f
  nikomatsakis

  committed
  642815f

  Copy full SHA for 642815f