Changeset 267535 in webkit for trunk/Source/JavaScriptCore/offlineasm

Timestamp:

Sep 24, 2020, 9:16:59 AM (5 years ago)

Author:

[email protected]

Message:

[MIPS] Broken build after r267371
​https://bugs.webkit.org/show_bug.cgi?id=216893

Patch by Angelos Oikonomopoulos <Angelos Oikonomopoulos> on 2020-09-24
Reviewed by Adrian Perez de Castro.

This addresses two issues.

First, the fix in ​https://bugs.webkit.org/show_bug.cgi?id=216772 was not
getting exercised, because the LabelReference offset was always zero.

The reason the offset was zero is that LabelReference.mapChildren would discard
the offset when generating a new LabelReference to wrap the Label returned by
the code block it yielded to.

The reason this was only an issue on MIPS is because only MIPS was using the
result of calls to LabelReference.mapChildren (in its lowering phase,
assignRegistersToTemporaries -> replaceTemporariesWithRegisters ->
mapChildren). Other archs, e.g. X86_64 only call mapChildren in earlier phases
(specifically, subsequent to a call to isASTErroneous), in which the new
LabelReferences returned by mapChildren are later discarded. Even though ARM
32/64 contains indirect calls to mapChildren, those are made after the
arm{,64}LowerLabelReferences transformation which doesn't leave any
LabelReference nodes around for .mapChildren to be called on.

So this is not an issue for architectures other than MIPS because
(a) AddImmediates.fold correctly constructs a LabelReference with an offset by
calling LabelReference.plusOffset and
(b) they don't call (and therefore don't use the result of)
LabelReference.mapChildren in their lowering code.

Second, the code we generate needs to look up the /label/ in the GOT, not the
computed address. After the lookup, we simply need to add the offset.

• offlineasm/ast.rb:
• offlineasm/mips.rb:

Location:

trunk/Source/JavaScriptCore/offlineasm

Files:

• ast.rb (modified) (1 diff)
• mips.rb (modified) (1 diff)

trunk/Source/JavaScriptCore/offlineasm/ast.rb

@@ -1164 +1164 @@
     
     def mapChildren
-        LabelReference.new(codeOrigin, (yield @label))
+        result = LabelReference.new(codeOrigin, (yield @label))
+        result.offset = @offset
+        result
     end
     

trunk/Source/JavaScriptCore/offlineasm/mips.rb

@@ -1051 +1051 @@
             if operands[0].is_a? LabelReference
                 labelRef = operands[0]
+                $asm.puts "lw #{operands[1].mipsOperand}, %got(#{labelRef.asmLabel})($gp)"
                 if labelRef.offset > 0
-                    $asm.puts "li #{operands[1].mipsOperand}, #{labelRef.asmLabel}"
                     $asm.puts "addu #{operands[1].mipsOperand}, #{operands[1].mipsOperand}, #{labelRef.offset}"
-                    $asm.puts "lw #{operands[1].mipsOperand}, %got(#{operands[1].mipsOperand})($gp)"
-                else
-                    $asm.puts "lw #{operands[1].mipsOperand}, %got(#{labelRef.asmLabel})($gp)"
                 end
             else