Lines Matching full:checker
66 // implement a strong expression equivalence checker in SCEV. Until then, we