Changeset fd73248 for doc/working/exception/impl

Timestamp:

Jan 14, 2019, 5:02:08 PM (6 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, no_list, persistent-indexer, pthread-emulation, qualifiedEnum

Children:

3e06da2

Parents:

276a55b2

Message:

Some progress on pic exceptions

Location:

doc/working/exception/impl

Files:

• Makefile (added)
• exception.c (modified) (4 diffs)
• nopic.s (modified) (1 diff)
• pic.s (modified) (2 diffs)

doc/working/exception/impl/exception.c

@@ -243 +243 @@
 
                                         // Get a function pointer from the relative offset and call it
-                                        // _Unwind_Reason_Code (*matcher)() = (_Unwind_Reason_Code (*)())lsd_info.LPStart + imatcher;                                   
+                                        // _Unwind_Reason_Code (*matcher)() = (_Unwind_Reason_Code (*)())lsd_info.LPStart + imatcher;
 
                                         _Unwind_Reason_Code (*matcher)() =
@@ -320 +320 @@
         // on how the assembly works.
         // Setup the personality routine
+        #if defined(__PIC__)
+        asm volatile (".cfi_personality 0x9b,CFA.ref.__gcfa_personality_v0");
+        // Setup the exception table
+        asm volatile (".cfi_lsda 0x1b, .LLSDACFA2");
+        #else
         asm volatile (".cfi_personality 0x3,__gcfa_personality_v0");
         // Setup the exception table
         asm volatile (".cfi_lsda 0x3, .LLSDACFA2");
+        #endif
 
         // Label which defines the start of the area for which the handler is setup
@@ -356 +362 @@
 // Some more works need to be done if we want to have a single
 // call to the try routine
+#if defined(__PIC__)
+asm (
+        //HEADER
+        ".LFECFA1:\n"
+        "       .globl  __gcfa_personality_v0\n"
+        "       .section        .gcc_except_table,\"a\",@progbits\n"
+        ".LLSDACFA2:\n"                                                 //TABLE header
+        "       .byte   0xff\n"
+        "       .byte   0xff\n"
+        "       .byte   0x1\n"
+        "       .uleb128 .LLSDACSECFA2-.LLSDACSBCFA2\n"         // BODY length
+        // Body uses language specific data and therefore could be modified arbitrarily
+        ".LLSDACSBCFA2:\n"                                              // BODY start
+        "       .uleb128 .TRYSTART-__try_terminate\n"           // Handled area start  (relative to start of function)
+        "       .uleb128 .TRYEND-.TRYSTART\n"                           // Handled area length
+        "       .uleb128 .CATCH-__try_terminate\n"                      // Handler landing pad adress  (relative to start of function)
+        "       .uleb128 1\n"                                           // Action code, gcc seems to use always 0
+        ".LLSDACSECFA2:\n"                                              // BODY end
+        "       .text\n"                                                        // TABLE footer
+        "       .size   __try_terminate, .-__try_terminate\n"
+        "       .hidden CFA.ref.__gcfa_personality_v0\n"        // Declare an new hidden symbol
+        "       .weak   CFA.ref.__gcfa_personality_v0\n"
+        "       .section        .data.rel.local.CFA.ref.__gcfa_personality_v0,\"awG\",@progbits,CFA.ref.__gcfa_personality_v0,comdat\n" // No clue what this does specifically
+        "       .align 8\n"
+        "       .type CFA.ref.__gcfa_personality_v0, @object\n" // Type of our hidden symbol (it's not actually the function itself)
+        "       .size CFA.ref.__gcfa_personality_v0, 8\n"               // Size of our hidden symbol
+        "CFA.ref.__gcfa_personality_v0:\n"
+        "       .quad __gcfa_personality_v0\n"
+);
+#else
 asm (
         //HEADER
@@ -375 +411 @@
         "       .text\n"                                                        // TABLE footer
         "       .size   __try_terminate, .-__try_terminate\n"
-        "       .ident  \"GCC: (Ubuntu 6.2.0-3ubuntu11~16.04) 6.2.0 20160901\"\n"
-//      "       .section        .note.GNU-stack,\"x\",@progbits\n"
 );
+#endif

doc/working/exception/impl/nopic.s

@@ -101 +101 @@
         .text
         .size   foo, .-foo
-        .ident  "GCC: (Ubuntu 7.3.0-21ubuntu1~16.04) 7.3.0"
+        .ident  "GCC: (Ubuntu 7.4.0-1ubuntu1~16.04~ppa1) 7.4.0"
         .section        .note.GNU-stack,"",@progbits

doc/working/exception/impl/pic.s

@@ -103 +103 @@
         .hidden DW.ref.__gcc_personality_v0
         .weak   DW.ref.__gcc_personality_v0
-        .section        .data.DW.ref.__gcc_personality_v0,"awG",@progbits,DW.ref.__gcc_personality_v0,comdat
+        .section        .data.rel.local.DW.ref.__gcc_personality_v0,"awG",@progbits,DW.ref.__gcc_personality_v0,comdat
         .align 8
         .type   DW.ref.__gcc_personality_v0, @object
@@ -109 +109 @@
 DW.ref.__gcc_personality_v0:
         .quad   __gcc_personality_v0
-        .ident  "GCC: (Ubuntu 7.3.0-21ubuntu1~16.04) 7.3.0"
+        .ident  "GCC: (Ubuntu 7.4.0-1ubuntu1~16.04~ppa1) 7.4.0"
         .section        .note.GNU-stack,"",@progbits