;; Function f (f) ;; 2 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 3 4 5 ;; ;; Loop 1 ;; header 4, latch 3 ;; depth 1, outer 0 ;; nodes: 4 3 ;; 2 succs { 4 } ;; 3 succs { 4 } ;; 4 succs { 3 5 } ;; 5 succs { 1 } 1 edges in bb 2 predicted to even probabilities 1 edges in bb 3 predicted to even probabilities Predictions for bb 4 DS theory heuristics (ignored): 91.0% first match heuristics: 91.0% combined heuristics: 91.0% loop exit heuristics: 91.0% 1 edges in bb 5 predicted to even probabilities ;; Function g (g) ;; 1 loops found ;; ;; Loop 0 ;; header 0, latch 1 ;; depth 0, outer -1 ;; nodes: 0 1 2 9 10 8 ;; 2 succs { 9 10 } ;; 9 succs { 8 } ;; 10 succs { 8 } ;; 8 succs { 1 } Predictions for bb 2 DS theory heuristics: 39.0% first match heuristics (ignored): 39.0% combined heuristics: 39.0% early return (on trees) heuristics: 39.0% 1 edges in bb 9 predicted to even probabilities 1 edges in bb 10 predicted to even probabilities 1 edges in bb 8 predicted to even probabilities