Skip to content

Commit

Permalink
[arm] Add CFI directives to the native runtime.
Browse files Browse the repository at this point in the history 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
  • Loading branch information
bmeurer committed Jan 13, 2013
1 parent f36833d commit a9d12ab
Showing 1 changed file with 65 additions and 30 deletions.
95 changes: 65 additions & 30 deletions asmrun/arm.S
View file
Expand Up @@ -44,22 +44,30 @@
cmp \reg, #0
beq \lbl
.endm
.macro vpop regs
.endm
.macro vpush regs
.endm
#endif

trap_ptr .req r8
alloc_ptr .req r10
alloc_limit .req r11

/* Support for CFI directives */

#if defined(ASM_CFI_SUPPORTED)
#define CFI_STARTPROC .cfi_startproc
#define CFI_ENDPROC .cfi_endproc
#define CFI_ADJUST(n) .cfi_adjust_cfa_offset n
#else
#define CFI_STARTPROC
#define CFI_ENDPROC
#define CFI_ADJUST(n)
#endif

/* Support for profiling with gprof */

#if defined(PROFILING) && (defined(SYS_linux_eabihf) || defined(SYS_linux_eabi))
#define PROFILE \
push {lr}; \
bl __gnu_mcount_nc
push {lr}; CFI_ADJUST(4); \
bl __gnu_mcount_nc; CFI_ADJUST(-4)
#else
#define PROFILE
#endif
Expand All @@ -71,8 +79,8 @@ caml_system__code_begin:

.align 2
.globl caml_call_gc
.type caml_call_gc, %function
caml_call_gc:
CFI_STARTPROC
PROFILE
/* Record return address */
ldr r12, =caml_last_return_address
Expand All @@ -81,10 +89,12 @@ caml_call_gc:
/* Record lowest stack address */
ldr r12, =caml_bottom_of_stack
str sp, [r12]
#if defined(SYS_linux_eabihf)
/* Save caller floating-point registers on the stack */
vpush {d0-d7}
vpush {d0-d7}; CFI_ADJUST(64)
#endif
/* Save integer registers and return address on the stack */
push {r0-r7,r12,lr}
push {r0-r7,r12,lr}; CFI_ADJUST(40)
/* Store pointer to saved integer registers in caml_gc_regs */
ldr r12, =caml_gc_regs
str sp, [r12]
Expand All @@ -97,23 +107,26 @@ caml_call_gc:
/* Call the garbage collector */
bl caml_garbage_collection
/* Restore integer registers and return address from the stack */
pop {r0-r7,r12,lr}
pop {r0-r7,r12,lr}; CFI_ADJUST(-40)
#if defined(SYS_linux_eabihf)
/* Restore floating-point registers from the stack */
vpop {d0-d7}
vpop {d0-d7}; CFI_ADJUST(-64)
#endif
/* Reload new allocation pointer and limit */
/* alloc_limit still points to caml_young_ptr */
ldr r12, =caml_young_limit
ldr alloc_ptr, [alloc_limit]
ldr alloc_limit, [r12]
/* Return to caller */
bx lr
CFI_ENDPROC
.type caml_call_gc, %function
.size caml_call_gc, .-caml_call_gc

.align 2
.globl caml_alloc1
.type caml_alloc1, %function
caml_alloc1:
CFI_STARTPROC
PROFILE
.Lcaml_alloc1:
sub alloc_ptr, alloc_ptr, 8
Expand All @@ -129,13 +142,14 @@ caml_alloc1:
ldr lr, [r7]
/* Try again */
b .Lcaml_alloc1
CFI_ENDPROC
.type caml_alloc1, %function
.size caml_alloc1, .-caml_alloc1

.align 2
.globl caml_alloc2
.type caml_alloc2, %function
caml_alloc2:
CFI_STARTPROC
PROFILE
.Lcaml_alloc2:
sub alloc_ptr, alloc_ptr, 12
Expand All @@ -151,13 +165,15 @@ caml_alloc2:
ldr lr, [r7]
/* Try again */
b .Lcaml_alloc2
CFI_ENDPROC
.type caml_alloc2, %function
.size caml_alloc2, .-caml_alloc2

.align 2
.globl caml_alloc3
.type caml_alloc3, %function
caml_alloc3:
CFI_STARTPROC
PROFILE
.Lcaml_alloc3:
sub alloc_ptr, alloc_ptr, 16
Expand All @@ -173,13 +189,14 @@ caml_alloc3:
ldr lr, [r7]
/* Try again */
b .Lcaml_alloc3
CFI_ENDPROC
.type caml_alloc3, %function
.size caml_alloc3, .-caml_alloc3

.align 2
.globl caml_allocN
.type caml_allocN, %function
caml_allocN:
CFI_STARTPROC
PROFILE
.Lcaml_allocN:
sub alloc_ptr, alloc_ptr, r7
Expand All @@ -196,6 +213,7 @@ caml_allocN:
ldr lr, [r12]
/* Try again */
b .Lcaml_allocN
CFI_ENDPROC
.type caml_allocN, %function
.size caml_allocN, .-caml_allocN

Expand All @@ -204,8 +222,8 @@ caml_allocN:

.align 2
.globl caml_c_call
.type caml_c_call, %function
caml_c_call:
CFI_STARTPROC
PROFILE
/* Record lowest stack address and return address */
ldr r5, =caml_last_return_address
Expand All @@ -227,15 +245,16 @@ caml_c_call:
ldr alloc_limit, [r6]
/* Return */
bx r4
CFI_ENDPROC
.type caml_c_call, %function
.size caml_c_call, .-caml_c_call

/* Start the OCaml program */

.align 2
.globl caml_start_program
.type caml_start_program, %function
caml_start_program:
CFI_STARTPROC
PROFILE
ldr r12, =caml_program

Expand All @@ -244,11 +263,14 @@ caml_start_program:
/* Arguments to the OCaml code are in r0...r3 */

.Ljump_to_caml:
#if defined(SYS_linux_eabihf)
/* Save callee-save floating-point registers */
vpush {d8-d15}; CFI_ADJUST(64)
#endif
/* Save return address and callee-save registers */
vpush {d8-d15}
push {r4-r8,r10,r11,lr} /* 8-byte alignment */
push {r4-r8,r10,r11,lr}; CFI_ADJUST(32) /* 8-byte alignment */
/* Setup a callback link on the stack */
sub sp, sp, 4*4 /* 8-byte alignment */
sub sp, sp, 16; CFI_ADJUST(16) /* 8-byte alignment */
ldr r4, =caml_bottom_of_stack
ldr r5, =caml_last_return_address
ldr r6, =caml_gc_regs
Expand All @@ -259,7 +281,7 @@ caml_start_program:
str r5, [sp, 4]
str r6, [sp, 8]
/* Setup a trap frame to catch exceptions escaping the OCaml code */
sub sp, sp, 2*4
sub sp, sp, 8; CFI_ADJUST(8)
ldr r6, =caml_exception_pointer
ldr r5, =.Ltrap_handler
ldr r4, [r6]
Expand All @@ -278,7 +300,7 @@ caml_start_program:
ldr r4, =caml_exception_pointer
ldr r5, [sp, 0]
str r5, [r4]
add sp, sp, 2*4
add sp, sp, 8; CFI_ADJUST(-8)
/* Pop the callback link, restoring the global variables */
.Lreturn_result:
ldr r4, =caml_bottom_of_stack
Expand All @@ -290,14 +312,18 @@ caml_start_program:
ldr r4, =caml_gc_regs
ldr r5, [sp, 8]
str r5, [r4]
add sp, sp, 4*4
add sp, sp, 16; CFI_ADJUST(-16)
/* Update allocation pointer */
ldr r4, =caml_young_ptr
str alloc_ptr, [r4]
/* Reload callee-save registers and return */
pop {r4-r8,r10,r11,lr}
vpop {d8-d15}
/* Reload callee-save registers and return address */
pop {r4-r8,r10,r11,lr}; CFI_ADJUST(-32)
#if defined(SYS_linux_eabihf)
/* Reload callee-save floating-point registers */
vpop {d8-d15}; CFI_ADJUST(-64)
#endif
bx lr
CFI_ENDPROC
.type .Lcaml_retaddr, %function
.size .Lcaml_retaddr, .-.Lcaml_retaddr
.type caml_start_program, %function
Expand All @@ -307,13 +333,15 @@ caml_start_program:

.align 2
.Ltrap_handler:
CFI_STARTPROC
/* Save exception pointer */
ldr r12, =caml_exception_pointer
str trap_ptr, [r12]
/* Encode exception bucket as an exception result */
orr r0, r0, 2
/* Return it */
b .Lreturn_result
CFI_ENDPROC
.type .Ltrap_handler, %function
.size .Ltrap_handler, .-.Ltrap_handler

Expand All @@ -322,6 +350,7 @@ caml_start_program:
.align 2
.globl caml_raise_exn
caml_raise_exn:
CFI_STARTPROC
PROFILE
/* Test if backtrace is active */
ldr r1, =caml_backtrace_active
Expand All @@ -340,15 +369,16 @@ caml_raise_exn:
mov sp, trap_ptr
/* Pop previous handler and addr of trap, and jump to it */
pop {trap_ptr, pc}
CFI_ENDPROC
.type caml_raise_exn, %function
.size caml_raise_exn, .-caml_raise_exn

/* Raise an exception from C */

.align 2
.globl caml_raise_exception
.type caml_raise_exception, %function
caml_raise_exception:
CFI_STARTPROC
PROFILE
/* Reload trap ptr, alloc ptr and alloc limit */
ldr trap_ptr, =caml_exception_pointer
Expand All @@ -375,29 +405,31 @@ caml_raise_exception:
mov sp, trap_ptr
/* Pop previous handler and addr of trap, and jump to it */
pop {trap_ptr, pc}
CFI_ENDPROC
.type caml_raise_exception, %function
.size caml_raise_exception, .-caml_raise_exception

/* Callback from C to OCaml */

.align 2
.globl caml_callback_exn
.type caml_callback_exn, %function
caml_callback_exn:
CFI_STARTPROC
PROFILE
/* Initial shuffling of arguments (r0 = closure, r1 = first arg) */
mov r12, r0
mov r0, r1 /* r0 = first arg */
mov r1, r12 /* r1 = closure environment */
ldr r12, [r12] /* code pointer */
b .Ljump_to_caml
CFI_ENDPROC
.type caml_callback_exn, %function
.size caml_callback_exn, .-caml_callback_exn

.align 2
.globl caml_callback2_exn
.type caml_callback2_exn, %function
caml_callback2_exn:
CFI_STARTPROC
PROFILE
/* Initial shuffling of arguments (r0 = closure, r1 = arg1, r2 = arg2) */
mov r12, r0
Expand All @@ -406,13 +438,14 @@ caml_callback2_exn:
mov r2, r12 /* r2 = closure environment */
ldr r12, =caml_apply2
b .Ljump_to_caml
CFI_ENDPROC
.type caml_callback2_exn, %function
.size caml_callback2_exn, .-caml_callback2_exn

.align 2
.globl caml_callback3_exn
.type caml_callback3_exn, %function
caml_callback3_exn:
CFI_STARTPROC
PROFILE
/* Initial shuffling of arguments */
/* (r0 = closure, r1 = arg1, r2 = arg2, r3 = arg3) */
Expand All @@ -423,18 +456,20 @@ caml_callback3_exn:
mov r3, r12 /* r3 = closure environment */
ldr r12, =caml_apply3
b .Ljump_to_caml
CFI_ENDPROC
.type caml_callback3_exn, %function
.size caml_callback3_exn, .-caml_callback3_exn

.align 2
.globl caml_ml_array_bound_error
.type caml_ml_array_bound_error, %function
caml_ml_array_bound_error:
CFI_STARTPROC
PROFILE
/* Load address of [caml_array_bound_error] in r7 */
ldr r7, =caml_array_bound_error
/* Call that function */
b caml_c_call
CFI_ENDPROC
.type caml_ml_array_bound_error, %function
.size caml_ml_array_bound_error, .-caml_ml_array_bound_error

Expand Down

0 comments on commit a9d12ab

Please sign in to comment.