[GR-18163] Use MethodEntry Assumptions to track whether CoreMethodAssumptions still hold

PullRequest: truffleruby/4249

Author: eregon

CHANGELOG.md

@@ -29,6 +29,8 @@ Changes:
 
 Memory Footprint:
 
+* Use inlined core method nodes even when modules are prepended to core classes (#3546, @eregon).
+
 # 24.0.0
 
 New features:

spec/ruby/core/module/prepend_spec.rb

@@ -75,6 +75,26 @@ def foo
     foo.call.should == 'm'
   end
 
+  it "updates the optimized method when a prepended module is updated" do
+    out = ruby_exe(<<~RUBY)
+    module M; end
+    class Integer
+      prepend M
+    end
+    l = -> { 1 + 2 }
+    p l.call
+    M.module_eval do
+      def +(o)
+        $called = true
+        super(o)
+      end
+    end
+    p l.call
+    p $called
+    RUBY
+    out.should == "3\n3\ntrue\n"
+  end
+
   it "updates the method when there is a base included method and the prepended module overrides it" do
     base_module = Module.new do
       def foo

spec/tags/core/module/prepend_tags.txt

@@ -1,3 +1,4 @@
 fails:Module#prepend uses only new module when dupping the module
 fails:Module#prepend prepends a module if it is included in a super class
 fails:Module#prepend when module already exists in ancestor chain modifies the ancestor chain
+slow:Module#prepend updates the optimized method when a prepended module is updated

spec/tags/truffle/redefining_optimized_core_methods_tags.txt

@@ -1,2 +1,4 @@
 slow:Redefining optimized core methods emits performance warning for redefining core classes methods
 slow:Prepending a module into a class with optimised methods emits performance warning
+slow:Prepending a module into a class with optimised methods keeps the inlined nodes if no optimised method is overridden
+slow:Prepending a module into a class with optimised methods emits performance warning if that module overrides an optimised method

spec/truffle/parsing/fixtures/case/with_expression_and_when/with_else_branch.yaml

@@ -78,7 +78,7 @@ ast: |
                               attributes:
                                   assumptions = [Assumption(valid, name=set_trace_func is not used)]
                                   flags = 0
-                                  integerCaseEqualAssumption = Assumption(valid, name=inlined Integer#===)
+                                  integerCaseEqualAssumption = Assumption(valid, name=core method is not overridden:)
                                   parameters = RubyCallNodeParameters{methodName='===', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=true, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
                                   sourceCharIndex = -1
                                   sourceLength = 0
@@ -110,7 +110,7 @@ ast: |
                                           attributes:
                                               assumptions = [Assumption(valid, name=set_trace_func is not used)]
                                               flags = 0
-                                              integerCaseEqualAssumption = Assumption(valid, name=inlined Integer#===)
+                                              integerCaseEqualAssumption = Assumption(valid, name=core method is not overridden:)
                                               parameters = RubyCallNodeParameters{methodName='===', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=true, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
                                               sourceCharIndex = -1
                                               sourceLength = 0

spec/truffle/parsing/fixtures/case/with_expression_and_when/with_multiple_values.yaml

@@ -78,7 +78,7 @@ ast: |
                                           attributes:
                                               assumptions = [Assumption(valid, name=set_trace_func is not used)]
                                               flags = 0
-                                              integerCaseEqualAssumption = Assumption(valid, name=inlined Integer#===)
+                                              integerCaseEqualAssumption = Assumption(valid, name=core method is not overridden:)
                                               parameters = RubyCallNodeParameters{methodName='===', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=true, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
                                               sourceCharIndex = -1
                                               sourceLength = 0
@@ -103,7 +103,7 @@ ast: |
                                           attributes:
                                               assumptions = [Assumption(valid, name=set_trace_func is not used)]
                                               flags = 0
-                                              integerCaseEqualAssumption = Assumption(valid, name=inlined Integer#===)
+                                              integerCaseEqualAssumption = Assumption(valid, name=core method is not overridden:)
                                               parameters = RubyCallNodeParameters{methodName='===', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=true, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
                                               sourceCharIndex = -1
                                               sourceLength = 0

spec/truffle/parsing/fixtures/case/with_expression_and_when/with_single_value.yaml

@@ -77,7 +77,7 @@ ast: |
                               attributes:
                                   assumptions = [Assumption(valid, name=set_trace_func is not used)]
                                   flags = 0
-                                  integerCaseEqualAssumption = Assumption(valid, name=inlined Integer#===)
+                                  integerCaseEqualAssumption = Assumption(valid, name=core method is not overridden:)
                                   parameters = RubyCallNodeParameters{methodName='===', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=true, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
                                   sourceCharIndex = -1
                                   sourceLength = 0
@@ -109,7 +109,7 @@ ast: |
                                           attributes:
                                               assumptions = [Assumption(valid, name=set_trace_func is not used)]
                                               flags = 0
-                                              integerCaseEqualAssumption = Assumption(valid, name=inlined Integer#===)
+                                              integerCaseEqualAssumption = Assumption(valid, name=core method is not overridden:)
                                               parameters = RubyCallNodeParameters{methodName='===', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=true, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
                                               sourceCharIndex = -1
                                               sourceLength = 0

spec/truffle/parsing/fixtures/case/with_expression_and_when/with_string_literal_in_when_clause.yaml

@@ -20,7 +20,7 @@ ast: |
                   attributes:
                       assumptions = [Assumption(valid, name=set_trace_func is not used)]
                       flags = 0
-                      integerCaseEqualAssumption = Assumption(valid, name=inlined Integer#===)
+                      integerCaseEqualAssumption = Assumption(valid, name=core method is not overridden:)
                       parameters = RubyCallNodeParameters{methodName='===', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=true, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
                       sourceCharIndex = -1
                       sourceLength = 0

spec/truffle/parsing/fixtures/complex_numbers/with_rational_and_imaginary_parts.yaml

@@ -8,7 +8,7 @@ ruby: |
 ast: |
   InlinedAddNodeGen
       attributes:
-          assumptions = [Assumption(valid, name=set_trace_func is not used), Assumption(valid, name=inlined Integer#+), Assumption(valid, name=inlined Float#+)]
+          assumptions = [Assumption(valid, name=set_trace_func is not used), Assumption(valid, name=core method is not overridden:), Assumption(valid, name=core method is not overridden:)]
           flags = 1
           parameters = RubyCallNodeParameters{methodName='+', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=false, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
           sourceCharIndex = 0

spec/truffle/parsing/fixtures/method_calls/special_cases/method_%.yaml

@@ -6,7 +6,7 @@ ruby: |
 ast: |
   InlinedModNodeGen
       attributes:
-          assumptions = [Assumption(valid, name=set_trace_func is not used), Assumption(valid, name=inlined Integer#%), Assumption(valid, name=inlined Float#%)]
+          assumptions = [Assumption(valid, name=set_trace_func is not used), Assumption(valid, name=core method is not overridden:), Assumption(valid, name=core method is not overridden:)]
           flags = 1
           parameters = RubyCallNodeParameters{methodName='%', descriptor=NoKeywordArgumentsDescriptor, isSplatted=false, ignoreVisibility=false, isVCall=false, isSafeNavigation=false, isAttrAssign=false}
           sourceCharIndex = 0