smack icon indicating copy to clipboard operation
smack copied to clipboard
verified publisher icon smackers

Refactor RewriteBitwiseOps

Open shaobo-he opened this issue 4 years ago • 2 comments

The refactoring consists of two parts:

  1. improve code structure, in particular modularize special case handling
  2. add a special case for &(-2**n)

shaobo-he avatar Jan 16 '21 02:01 shaobo-he

What is happening with this one? Is it ready? I forgot.

zvonimir avatar Feb 11 '21 22:02 zvonimir

What is happening with this one? Is it ready? I forgot.

It's ready but it caused false alarms in SV-COMP benchmarks. I don't think the false alarms are a result of unsoundness or incompleteness of this pass.

shaobo-he avatar Feb 12 '21 22:02 shaobo-he