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