- changed pattern matcher to use the erased ver...

- changed pattern matcher to use the erased versions of asInstanceOf
when possible, to gain some speed when run time types are enabled; i.e.
instead of generating code like this:

    if (x.isInstanceOf[List[Int]]) {
      val temp$ = x.asInstanceOf[List[Int]];
      ...
    }

  the pattern matcher now generates code like that:

    if (x.isInstanceOf[List[Int]]) {
      val temp$ = x.asInstanceOf$erased[List[Int]];
      ...
    }

1 files changed, 14 insertions, 8 deletions

diff --git a/sources/scalac/ast/TreeGen.java b/sources/scalac/ast/TreeGen.java
index 43d1fc1ed5..9167a4cf94 100644
--- a/sources/scalac/ast/TreeGen.java
+++ b/sources/scalac/ast/TreeGen.java
@@ -640,23 +640,29 @@ public class TreeGen implements Kinds, Modifiers, TypeTags {
     }
 
     /** Builds an instance test with given value and type. */
-    public Tree mkIsInstanceOf(int pos, Tree value, Type type) {
-        Symbol sym = global.currentPhase.id >= global.PHASE.TYPESASVALUES.id()
-            ? definitions.ANY_IS_ERASED
-            : definitions.ANY_IS;
+    public Tree mkIsInstanceOf(int pos, Tree value, Type type, boolean erased) {
+        Symbol sym = erased ? definitions.ANY_IS_ERASED : definitions.ANY_IS;
         return mkApplyT_(pos, Select(value, sym), new Type[]{type});
     }
+    public Tree mkIsInstanceOf(int pos, Tree value, Type type) {
+        boolean afterTAV =
+            global.currentPhase.id >= global.PHASE.TYPESASVALUES.id();
+        return mkIsInstanceOf(pos, value, type, afterTAV);
+    }
     public Tree mkIsInstanceOf(Tree value, Type type) {
         return mkIsInstanceOf(value.pos, value, type);
     }
 
     /** Builds a cast with given value and type. */
-    public Tree mkAsInstanceOf(int pos, Tree value, Type type) {
-        Symbol sym = global.currentPhase.id >= global.PHASE.TYPESASVALUES.id()
-            ? definitions.ANY_AS_ERASED
-            : definitions.ANY_AS;
+    public Tree mkAsInstanceOf(int pos, Tree value, Type type, boolean erased) {
+        Symbol sym = erased ? definitions.ANY_AS_ERASED : definitions.ANY_AS;
         return mkApplyT_(pos, Select(value, sym), new Type[]{type});
     }
+    public Tree mkAsInstanceOf(int pos, Tree value, Type type) {
+        boolean afterTAV =
+            global.currentPhase.id >= global.PHASE.TYPESASVALUES.id();
+        return mkAsInstanceOf(pos, value, type, afterTAV);
+    }
     public Tree mkAsInstanceOf(Tree value, Type type) {
         return mkAsInstanceOf(value.pos, value, type);
     }