ZJIT: Annotate Symbol#to_s and Symbol#name as returning StringExact

Author: tekknolagi

zjit/src/cruby_methods.rs

@@ -225,6 +225,8 @@ pub fn init() -> Annotations {
     annotate_builtin!(rb_mKernel, "Float", types::Float);
     annotate_builtin!(rb_mKernel, "Integer", types::Integer);
     annotate_builtin!(rb_mKernel, "class", types::Class, leaf);
+    annotate_builtin!(rb_cSymbol, "name", types::StringExact);
+    annotate_builtin!(rb_cSymbol, "to_s", types::StringExact);
 
     Annotations {
         cfuncs: std::mem::take(cfuncs),

zjit/src/hir.rs

@@ -8185,9 +8185,9 @@ mod tests {
           EntryPoint JIT(0)
           Jump bb2(v4)
         bb2(v6:BasicObject):
-          v11:BasicObject = InvokeBuiltin leaf _bi28, v6
+          v11:StringExact = InvokeBuiltin leaf _bi28, v6
           Jump bb3(v6, v11)
-        bb3(v13:BasicObject, v14:BasicObject):
+        bb3(v13:BasicObject, v14:StringExact):
           CheckInterrupts
           Return v14
         ");
@@ -8207,9 +8207,9 @@ mod tests {
           EntryPoint JIT(0)
           Jump bb2(v4)
         bb2(v6:BasicObject):
-          v11:BasicObject = InvokeBuiltin leaf _bi12, v6
+          v11:StringExact = InvokeBuiltin leaf _bi12, v6
           Jump bb3(v6, v11)
-        bb3(v13:BasicObject, v14:BasicObject):
+        bb3(v13:BasicObject, v14:StringExact):
           CheckInterrupts
           Return v14
         ");
@@ -15391,7 +15391,7 @@ mod opt_tests {
           PatchPoint MethodRedefined(Symbol@0x1000, to_s@0x1008, cme:0x1010)
           v21:StaticSymbol = GuardType v9, StaticSymbol
           IncrCounter inline_iseq_optimized_send_count
-          v24:BasicObject = InvokeBuiltin leaf _bi12, v21
+          v24:StringExact = InvokeBuiltin leaf _bi12, v21
           CheckInterrupts
           Return v24
         ");
@@ -15417,7 +15417,7 @@ mod opt_tests {
           PatchPoint MethodRedefined(Symbol@0x1000, to_s@0x1008, cme:0x1010)
           v21:StaticSymbol = GuardType v9, StaticSymbol
           IncrCounter inline_iseq_optimized_send_count
-          v24:BasicObject = InvokeBuiltin leaf _bi12, v21
+          v24:StringExact = InvokeBuiltin leaf _bi12, v21
           CheckInterrupts
           Return v24
         ");