1. 15 Mar, 2010 1 commit
  2. 10 Mar, 2010 1 commit
  3. 06 Mar, 2010 1 commit
  4. 27 Feb, 2010 11 commits
  5. 20 Feb, 2010 2 commits
  6. 13 Feb, 2010 2 commits
  7. 11 Feb, 2010 3 commits
  8. 10 Feb, 2010 3 commits
    • yb9976's avatar
      Fixed VRP bugs. · be690519
      yb9976 authored
      [r27107]
      be690519
    • Jonas Fietz's avatar
      Add optimizations for Proj after Cond using VRP · 46998ae9
      Jonas Fietz authored
      This uses the vrp information to evaluate int projs.
      This optimizes cases like:
      x |= 33;
      y = x & 96;
      to y = 1;
      
      [r27100]
      46998ae9
    • Jonas Fietz's avatar
      Add analysis for vrp information · 235611b2
      Jonas Fietz authored
      This commit adds the basic analysis needed to derive vrp information. It
      should not run infinetely, but there may be border cases.
      There might be error conditions for which there are no checks yet.
      Also, a lot of the derivations can still be improved.
      
      [r27096]
      235611b2