Searched refs:fixpoint (Results 1 – 4 of 4) sorted by relevance
174 fn fixpoint<T, F>(mut x: T, f: F) -> T in fixpoint() function272 fixpoint(guess(a, n), next)313 fixpoint(guess(a), next)377 fixpoint(guess(a), next)
278 # Check "optimistic" dataflow fixpoint in phi-loops.326 # Check a loop that needs to be traversed multiple times to reach the fixpoint381 # Similar to loop1 test, but check for fixpoint of defined lanes.
262 # Check "optimistic" dataflow fixpoint in phi-loops.307 # Check a loop that needs to be traversed multiple times to reach the fixpoint359 # Similar to loop1 test, but check for fixpoint of defined lanes.
321 The result of this method is a fixpoint if passed back through the original