Lines Matching full:symbolic
94 STATISTIC(SymbolicRDIVapplications, "Symbolic RDIV applications");
95 STATISTIC(SymbolicRDIVindependence, "Symbolic RDIV independence");
984 // In the presence of symbolic terms, we can sometimes make progress.
1885 // we can use the symbolic tests to disprove some dependences, serving as a
1924 DEBUG(dbgs() << "\ttry symbolic RDIV test\n");
