Add MacroAssembler::isBreakpoint() query function.
authormark.lam@apple.com <mark.lam@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Fri, 3 Mar 2017 21:05:55 +0000 (21:05 +0000)
committermark.lam@apple.com <mark.lam@apple.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Fri, 3 Mar 2017 21:05:55 +0000 (21:05 +0000)
https://bugs.webkit.org/show_bug.cgi?id=169139

Reviewed by Michael Saboff.

This will be needed soon when we use breakpoint instructions to implement
non-polling VM traps, and need to discern between a VM trap signal and a genuine
assertion breakpoint.

* assembler/ARM64Assembler.h:
(JSC::ARM64Assembler::isBrk):
(JSC::ARM64Assembler::excepnGenerationImmMask):
* assembler/ARMAssembler.h:
(JSC::ARMAssembler::isBkpt):
* assembler/ARMv7Assembler.h:
(JSC::ARMv7Assembler::isBkpt):
* assembler/MIPSAssembler.h:
(JSC::MIPSAssembler::isBkpt):
* assembler/MacroAssemblerARM.h:
(JSC::MacroAssemblerARM::isBreakpoint):
* assembler/MacroAssemblerARM64.h:
(JSC::MacroAssemblerARM64::isBreakpoint):
* assembler/MacroAssemblerARMv7.h:
(JSC::MacroAssemblerARMv7::isBreakpoint):
* assembler/MacroAssemblerMIPS.h:
(JSC::MacroAssemblerMIPS::isBreakpoint):
* assembler/MacroAssemblerX86Common.h:
(JSC::MacroAssemblerX86Common::isBreakpoint):
* assembler/X86Assembler.h:
(JSC::X86Assembler::isInt3):

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@213376 268f45cc-cd09-0410-ab3c-d52691b4dbfc

Source/JavaScriptCore/ChangeLog
Source/JavaScriptCore/assembler/ARM64Assembler.h
Source/JavaScriptCore/assembler/ARMAssembler.h
Source/JavaScriptCore/assembler/ARMv7Assembler.h
Source/JavaScriptCore/assembler/MIPSAssembler.h
Source/JavaScriptCore/assembler/MacroAssemblerARM.h
Source/JavaScriptCore/assembler/MacroAssemblerARM64.h
Source/JavaScriptCore/assembler/MacroAssemblerARMv7.h
Source/JavaScriptCore/assembler/MacroAssemblerMIPS.h
Source/JavaScriptCore/assembler/MacroAssemblerX86Common.h
Source/JavaScriptCore/assembler/X86Assembler.h

index 4262ec8..2e6e557 100644 (file)
@@ -1,5 +1,38 @@
 2017-03-03  Mark Lam  <mark.lam@apple.com>
 
+        Add MacroAssembler::isBreakpoint() query function.
+        https://bugs.webkit.org/show_bug.cgi?id=169139
+
+        Reviewed by Michael Saboff.
+
+        This will be needed soon when we use breakpoint instructions to implement
+        non-polling VM traps, and need to discern between a VM trap signal and a genuine
+        assertion breakpoint.
+
+        * assembler/ARM64Assembler.h:
+        (JSC::ARM64Assembler::isBrk):
+        (JSC::ARM64Assembler::excepnGenerationImmMask):
+        * assembler/ARMAssembler.h:
+        (JSC::ARMAssembler::isBkpt):
+        * assembler/ARMv7Assembler.h:
+        (JSC::ARMv7Assembler::isBkpt):
+        * assembler/MIPSAssembler.h:
+        (JSC::MIPSAssembler::isBkpt):
+        * assembler/MacroAssemblerARM.h:
+        (JSC::MacroAssemblerARM::isBreakpoint):
+        * assembler/MacroAssemblerARM64.h:
+        (JSC::MacroAssemblerARM64::isBreakpoint):
+        * assembler/MacroAssemblerARMv7.h:
+        (JSC::MacroAssemblerARMv7::isBreakpoint):
+        * assembler/MacroAssemblerMIPS.h:
+        (JSC::MacroAssemblerMIPS::isBreakpoint):
+        * assembler/MacroAssemblerX86Common.h:
+        (JSC::MacroAssemblerX86Common::isBreakpoint):
+        * assembler/X86Assembler.h:
+        (JSC::X86Assembler::isInt3):
+
+2017-03-03  Mark Lam  <mark.lam@apple.com>
+
         We should only check for traps that we're able to handle.
         https://bugs.webkit.org/show_bug.cgi?id=169136
 
index 7421460..0fb373c 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2012, 2014, 2017 Apple Inc. All rights reserved.
+ * Copyright (C) 2012-2017 Apple Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
@@ -868,6 +868,14 @@ public:
         insn(excepnGeneration(ExcepnOp_BREAKPOINT, imm, 0));
     }
     
+    ALWAYS_INLINE static bool isBrk(void* address)
+    {
+        int expected = excepnGeneration(ExcepnOp_BREAKPOINT, 0, 0);
+        int immediateMask = excepnGenerationImmMask();
+        int candidateInstruction = *reinterpret_cast<int*>(address);
+        return (candidateInstruction & ~immediateMask) == expected;
+    }
+
     template<int datasize>
     ALWAYS_INLINE void cbnz(RegisterID rt, int32_t offset = 0)
     {
@@ -3282,6 +3290,11 @@ private:
         const int op2 = 0;
         return (0xd4000000 | opc << 21 | imm16 << 5 | op2 << 2 | LL);
     }
+    ALWAYS_INLINE static int excepnGenerationImmMask()
+    {
+        uint16_t imm16 =  std::numeric_limit<uint16_t>::max();
+        return (static_cast<int>(imm16) << 5);
+    }
 
     ALWAYS_INLINE static int extract(Datasize sf, RegisterID rm, int imms, RegisterID rn, RegisterID rd)
     {
index 6fba9ed..9e0fa3d 100644 (file)
@@ -1,5 +1,6 @@
 /*
  * Copyright (C) 2009, 2010 University of Szeged
+ * Copyright (C) 2017 Apple Inc.
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -701,6 +702,14 @@ namespace JSC {
             m_buffer.putInt(BKPT | ((value & 0xff0) << 4) | (value & 0xf));
         }
 
+        static bool isBkpt(void* address)
+        {
+            ARMWord expected = BKPT;
+            ARMWord immediateMask = (0xff0 << 4) | 0xf);
+            ARMWord candidateInstruction = *reinterpret_cast<ARMWord*>(address);
+            return (candidateInstruction & ~immediateMask) == expected;
+        }
+
         void nop()
         {
             m_buffer.putInt(NOP);
index 86218ea..fbf7998 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2009, 2010, 2012, 2013, 2014 Apple Inc. All rights reserved.
+ * Copyright (C) 2009-2017 Apple Inc. All rights reserved.
  * Copyright (C) 2010 University of Szeged
  *
  * Redistribution and use in source and binary forms, with or without
@@ -987,6 +987,14 @@ public:
         m_formatter.oneWordOp8Imm8(OP_BKPT, imm);
     }
 
+    static bool isBkpt(void* address)
+    {
+        unsigned short expected = OP_BKPT;
+        unsigned short immediateMask = 0xff;
+        unsigned short candidateInstruction = *reinterpret_cast<unsigned short*>(address);
+        return (candidateInstruction & ~immediateMask) == expected;
+    }
+
     ALWAYS_INLINE void clz(RegisterID rd, RegisterID rm)
     {
         ASSERT(!BadReg(rd));
index b1c4232..99e2fa7 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2009 Apple Inc. All rights reserved.
+ * Copyright (C) 2009-2017 Apple Inc. All rights reserved.
  * Copyright (C) 2009 University of Szeged
  * All rights reserved.
  * Copyright (C) 2010 MIPS Technologies, Inc. All rights reserved.
@@ -447,6 +447,14 @@ public:
         emitInst(0x0000000d | ((value & 0x3ff) << OP_SH_CODE));
     }
 
+    static bool isBkpt(void* address)
+    {
+        int value = 512; /* BRK_BUG */
+        MIPSWord expected = (0x0000000d | ((value & 0x3ff) << OP_SH_CODE));
+        MIPSWord candidateInstruction = *reinterpret_cast<MIPSWord*>(address);
+        return candidateInstruction == expected;
+    }
+
     void bgez(RegisterID rs, int imm)
     {
         emitInst(0x04010000 | (rs << OP_SH_RS) | (imm & 0xffff));
index 7d36034..27a1312 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2008, 2013-2016 Apple Inc.
+ * Copyright (C) 2008-2017 Apple Inc.
  * Copyright (C) 2009, 2010 University of Szeged
  * All rights reserved.
  *
@@ -955,6 +955,8 @@ public:
         m_assembler.bkpt(0);
     }
 
+    static bool isBreakpoint(void* address) { return ARMAssembler::isBkpt(address); }
+
     Call nearCall()
     {
         m_assembler.loadBranchTarget(ARMRegisters::S1, ARMAssembler::AL, true);
index f4cdd36..cf94bf9 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2012, 2014-2017 Apple Inc. All rights reserved.
+ * Copyright (C) 2012-2017 Apple Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
@@ -3348,6 +3348,8 @@ public:
         m_assembler.brk(imm);
     }
 
+    static bool isBreakpoint(void* address) { return ARM64Assembler::isBrk(address); }
+
     void nop()
     {
         m_assembler.nop();
index 3c95f28..f9c3450 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2009-2010, 2014-2016 Apple Inc. All rights reserved.
+ * Copyright (C) 2009-2017 Apple Inc. All rights reserved.
  * Copyright (C) 2010 University of Szeged
  *
  * Redistribution and use in source and binary forms, with or without
@@ -1752,6 +1752,8 @@ public:
         m_assembler.bkpt(imm);
     }
 
+    static bool isBreakpoint(void* address) { return ARMv7Assembler::isBkpt(address); }
+
     ALWAYS_INLINE Call nearCall()
     {
         moveFixedWidthEncoding(TrustedImm32(0), dataTempRegister);
index 8d0ac91..d6a05a3 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2008, 2014 Apple Inc. All rights reserved.
+ * Copyright (C) 2008-2017 Apple Inc. All rights reserved.
  * Copyright (C) 2010 MIPS Technologies, Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -2158,6 +2158,8 @@ public:
         m_assembler.bkpt();
     }
 
+    static bool isBreakpoint(void* address) { return MIPSAssembler::isBkpt(address); }
+
     Call nearCall()
     {
         /* We need two words for relaxation. */
index 695e640..cea0f6a 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2008, 2014-2017 Apple Inc. All rights reserved.
+ * Copyright (C) 2008-2017 Apple Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
@@ -2557,6 +2557,8 @@ public:
         m_assembler.int3();
     }
 
+    static bool isBreakpoint(void* address) { return X86Assembler::isInt3(address); }
+
     Call nearTailCall()
     {
         return Call(m_assembler.jmp(), Call::LinkableNearTail);
index fb3a169..bc52aff 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright (C) 2008, 2012-2017 Apple Inc. All rights reserved.
+ * Copyright (C) 2008-2017 Apple Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
@@ -2760,6 +2760,12 @@ public:
         m_formatter.oneByteOp(OP_INT3);
     }
     
+    static bool isInt3(void* address)
+    {
+        uint8_t candidateInstruction = *reinterpret_cast<uint8_t*>(address);
+        return candidateInstruction == OP_INT3;
+    }
+
     void ret()
     {
         m_formatter.oneByteOp(OP_RET);