[vm/tests] Update expectations for pkg/vm/test/transformations/type_flow/summary_collector_test

TEST=pkg/vm/test/transformations/type_flow/summary_collector_test
Closes #51692

Change-Id: Ib45863063e1d0f98355b627198ef309ef1672d21
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/288301
Commit-Queue: Slava Egorov <[email protected]>
Reviewed-by: Slava Egorov <[email protected]>
Auto-Submit: Alexander Markov <[email protected]>

Author: alexmarkov

pkg/vm/testcases/transformations/type_flow/summary_collector/control_flow.dart.expect

@@ -248,26 +248,31 @@ RESULT: x_0
 ------------ switch1 ------------
 %selector = _Parameter #0 [_T (dart.core::int)+?]
 t1* = _Call direct [#lib::C1.] (_T (#lib::C1))
-t2* = _Call direct [#lib::C2.] (_T (#lib::C2))
-t3* = _Call direct [#lib::C3.] (_T (#lib::C3))
-x_2 = _Join [dynamic] (t3, t1)
-x_3 = _Join [dynamic] (x_2, t2)
-RESULT: x_3
+t2* = _Call [dart.core::num.==] (_T (dart.core::int)+?, _T (dart.core::int)+?)
+t3* = _Call direct [#lib::C2.] (_T (#lib::C2))
+t4* = _Call [dart.core::num.==] (_T (dart.core::int)+?, _T (dart.core::int)+?)
+t5* = _Call direct [#lib::C3.] (_T (#lib::C3))
+x_0 = _Join [dynamic] (t5, t1)
+x_1 = _Join [dynamic] (x_0, t3)
+RESULT: x_1
 ------------ switch2 ------------
 %selector = _Parameter #0 [_T (dart.core::int)+?]
 t1 = _Call direct [#lib::C1.] (_T (#lib::C1))
-t2* = _Call direct [#lib::C2.] (_T (#lib::C2))
-t3* = _Call direct [#lib::C3.] (_T (#lib::C3))
-x_2 = _Join [dynamic] (t3, t2)
-RESULT: x_2
+t2* = _Call [dart.core::num.==] (_T (dart.core::int)+?, _T (dart.core::int)+?)
+t3* = _Call direct [#lib::C2.] (_T (#lib::C2))
+t4* = _Call direct [#lib::C3.] (_T (#lib::C3))
+x_0 = _Join [dynamic] (t4, t3)
+RESULT: x_0
 ------------ switch3 ------------
 %selector = _Parameter #0 [_T (dart.core::int)+?]
 t1* = _Call direct [#lib::C1.] (_T (#lib::C1))
-t2* = _Call direct [#lib::C2.] (_T (#lib::C2))
-x_1 = _Join [dynamic] (t1, t2)
-t4 = _Call direct [#lib::foo] (x_1)
-t5* = _Call direct [#lib::C3.] (_T (#lib::C3))
-x_2 = _Join [dynamic] (t1, t5)
+t2* = _Call [dart.core::num.==] (_T (dart.core::int)+?, _T (dart.core::int)+?)
+t3* = _Call [dart.core::num.==] (_T (dart.core::int)+?, _T (dart.core::int)+?)
+t4* = _Call direct [#lib::C2.] (_T (#lib::C2))
+x_1 = _Join [dynamic] (t1, t4)
+t6 = _Call direct [#lib::foo] (x_1)
+t7* = _Call direct [#lib::C3.] (_T (#lib::C3))
+x_2 = _Join [dynamic] (t1, t7)
 RESULT: x_2
 ------------ cast1 ------------
 %x = _Parameter #0 [_T ANY?]

pkg/vm/testcases/transformations/type_flow/summary_collector/implicit_return_null.dart.expect

@@ -73,6 +73,8 @@ RESULT: %result
 %c = _Parameter #0 [_T (dart.core::bool)+?]
 %i = _Parameter #1 [_T (dart.core::int)+?]
 t2* = _Call direct [#lib::T.] (_T (#lib::T))
+t3* = _Call [dart.core::num.==] (_T (dart.core::int)+?, _T (dart.core::int)+?)
+t4* = _Call [dart.core::num.==] (_T (dart.core::int)+?, _T (dart.core::int)+?)
 %result = _Join [dynamic] (t2, _T {}?)
 RESULT: %result
 ------------ if1 ------------