Posted to tcl by kbk at Tue Aug 05 00:26:43 GMT 2014view raw

  1. isDouble(v) :- propagatesDouble(st), hasConstDoubleOperand(st),
  2. writes(st, v).
  3. isDouble(v) :- propagatesDouble(st), reads(st, v2), isDouble(v2),
  4. writes(st, v).
  5. isDouble(v) :- isPhi(st), !nonDoubleReaches(st).
  6. nonDoubleReaches(st) :- reads(st, v), writes(st2,v), !isDouble(v).
  7.