1. 21 Mar, 2019 2 commits
    • Scott Pillow's avatar
      Add mask argument to wavePrefix and waveInverseBallot. This is support for coming commits · 6a6a81d9
      Scott Pillow authored
      Change-Id: Ic524f8083e729796041b3f277ab5a75c4f03dd5f
      6a6a81d9
    • Junjie Gu's avatar
      Revert of: · c21c1fc5
      Junjie Gu authored
      This is the second and final step to get rid of Node's flags.
      A isolated node is the one with a single value, thus checking
      its parent will be enough to know if it is single-value congruent
      class.
      
      Remove Node's flags enum and several dead code. This commit
      should have no function change
      
      Change-Id: I916829c63f2c75b39aebde217fdb1f51e9f78971
      c21c1fc5
  2. 20 Mar, 2019 1 commit
    • Junjie Gu's avatar
      This is the second and final step to get rid of Node's flags. · 2d11db1d
      Junjie Gu authored
      A isolated node is the one with a single value, thus checking
      its parent will be enough to know if it is single-value congruent
      class.
      
      Remove Node's flags enum and several dead code. This commit
      should have no function change
      
      Change-Id: Ia8e1658fd08b18d67a9a4c565e4ec4d81acc9006
      2d11db1d
  3. 19 Mar, 2019 2 commits
    • Jurek, Pawel's avatar
      Call getAnalysis in doFinalization only if it is needed. · 5faeeecc
      Jurek, Pawel authored
      There is a corner case: when we compile a file that has no kernels in it, the analysis is not added to the manager and we can't use it. This could result in a crash
      
      Change-Id: Ia48c276277b35ff0072f4763cb93fe67b586d24d
      5faeeecc
    • Junjie Gu's avatar
      All nodes of congruent class (CC) are linked. The previous · 3bb520c8
      Junjie Gu authored
      implementation keeps an isolated node in that link. This change
      will remove an isolated node from the link and put it in a
      separate congruent class (single-valued, thus isolated).
      
      This change will make it be able to do re-union nodes from different
      congruent class later after DeSSA is done. And this change seems
      easier to understand as well.
      
      The first version of this change had a bug (did not reset leader
      always once a node is removed), which is fixed in this change.
      Also, for the existing Path Halving (getLeader), it did not set
      the parent node correctly, though this is not correctness issue
      but bad for performance, which is also fixed in this change
      
      Change-Id: I8976dd394d24034cef388f4fbe4e2f77be62af79
      3bb520c8
  4. 18 Mar, 2019 2 commits
  5. 15 Mar, 2019 3 commits
  6. 14 Mar, 2019 4 commits
  7. 13 Mar, 2019 2 commits
  8. 12 Mar, 2019 4 commits
  9. 11 Mar, 2019 11 commits
  10. 09 Mar, 2019 1 commit
  11. 06 Mar, 2019 4 commits
  12. 05 Mar, 2019 4 commits