Run type propagation after LICM to ensure correct reaching types for hoisted values.

tests/language/deopt_hoisted_smi_check_test.dart

Index: tests/language/deopt_hoisted_smi_check_test.dart
diff --git a/tests/language/deopt_hoisted_smi_check_test.dart b/tests/language/deopt_hoisted_smi_check_test.dart
deleted file mode 100644
index 5ed53374c15eaa54512c87b62008ba1d19ec0854..0000000000000000000000000000000000000000
--- a/tests/language/deopt_hoisted_smi_check_test.dart
+++ /dev/null
@@ -1,19 +0,0 @@
-// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-// Test deoptimization on an optimistically hoisted smi check.
-
-sum(a, b) {
-  var sum = 0;
-  for (var j = 1; j < 10; j++) {
-    for (var i = a; i < b; i++) {
-      sum++;
-    }
-  }
-  return sum;
-}
-
-main() {
-  for (var i = 0; i < 2000; i++) Expect.equals(9, sum(1, 2));
-  Expect.equals(9, sum(1.0, 2.0));  // Passing double causes deoptimization.
-}