Fix expected optimization logs to reflect changes to for.

collects/tests/typed-scheme/optimizer/tests/in-bytes.rkt

@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-bytes
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 495051)
 
 #lang typed/scheme

collects/tests/typed-scheme/optimizer/tests/in-list.rkt

@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-list
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 123)
 
 #lang typed/scheme

collects/tests/typed-scheme/optimizer/tests/in-string.rkt

@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-string
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 123)
 
 #lang typed/scheme

collects/tests/typed-scheme/optimizer/tests/in-vector.rkt

@@ -1,6 +1,12 @@
 #;
 (
 #f line #f col #f - make-sequence - in-vector
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
+#f line #f col #f - op - dead else branch
 123)
 
 #lang typed/scheme

collects/tests/typed-scheme/optimizer/tests/unboxed-for.rkt

@@ -12,13 +12,15 @@ unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
 unboxed-for.rkt line 51 col 31 - sum - unboxed var -> table
 #f line #f col #f - for-loop - unboxed function -> table
 #f line #f col #f - for-loop - fun -> unboxed fun
+#f line #f col #f - op - dead else branch
 unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
 unboxed-for.rkt line 53 col 9 - i - unbox float-complex
 unboxed-for.rkt line 53 col 11 - sum - unbox float-complex
 unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
 unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
 #f line #f col #f - (#%app pos->vals pos) - unbox float-complex
-#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%expression (#%app val-cont? i)) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (#%app all-cont? pos i)) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings
+#f line #f col #f - (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) - unboxed let bindings
+#f line #f col #f - op - dead else branch
 unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
 unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
 unboxed-for.rkt line 53 col 9 - i - leave var unboxed
@@ -31,6 +33,7 @@ unboxed-for.rkt line 53 col 9 - i - leave var unboxed
 unboxed-for.rkt line 53 col 11 - sum - leave var unboxed
 unboxed-for.rkt line 53 col 7 - + - unboxed binary float complex
 unboxed-for.rkt line 53 col 6 - (#%app + i sum) - unboxed float complex
+#f line #f col #f - op - dead else branch
 unboxed-for.rkt line 52 col 13 - i - unboxed complex variable
 unboxed-for.rkt line 51 col 31 - sum - unbox float-complex
 #f line #f col #f - for-loop - unboxed call site
@@ -38,16 +41,13 @@ unboxed-for.rkt line 51 col 31 - sum - unbox float-complex
 unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
 unboxed-for.rkt line 51 col 31 - sum - unboxed complex variable
 unboxed-for.rkt line 51 col 53 - 0.0+0.0i - unboxed literal
-unboxed-for.rkt line 51 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%expression (#%app pos-cont? pos)) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (#%app val-cont? i)) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (#%app all-cont? pos i)) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed call site
+unboxed-for.rkt line 51 col 0 - (letrec-values (((for-loop) (lambda (sum pos) (if (#%expression (if pos-cont? (#%app pos-cont? pos) (quote #t))) (let-values (((i) (#%app pos->vals pos))) (if (#%expression (if val-cont? (#%app val-cont? i) (quote #t))) (let-values (((sum) (let-values (((sum) sum)) (let-values () (#%app + i sum))))) (if (#%expression (if all-cont? (#%app all-cont? pos i) (quote #t))) (#%app for-loop sum (#%app pos-next pos)) sum)) sum)) sum)))) for-loop) - unboxed call site
 #f line #f col #f - for-loop - unboxed let loop
 3.0+6.0i
 )
 
 #lang typed/scheme
 #:optimize
-
-
-
 (for/fold: : Float-Complex   ((sum : Float-Complex   0.0+0.0i))
            ((i : Float-Complex   '(1.0+2.0i 2.0+4.0i)))
       (+ i sum))