Lines 914-919
Link Here
|
914 |
` .data\n`; |
914 |
` .data\n`; |
915 |
List.iter emit_item l |
915 |
List.iter emit_item l |
916 |
|
916 |
|
|
|
917 |
(* Mark stack as non executable *) |
918 |
let nx_stack() = |
919 |
if Config.system = "linux_elf" then |
920 |
` .section .note.GNU-stack,\"\",%progbits\n` |
921 |
|
917 |
(* Beginning / end of an assembly file *) |
922 |
(* Beginning / end of an assembly file *) |
918 |
|
923 |
|
919 |
let begin_assembly() = |
924 |
let begin_assembly() = |
Lines 927-932
Link Here
|
927 |
`{emit_symbol lbl_begin}:\n` |
932 |
`{emit_symbol lbl_begin}:\n` |
928 |
|
933 |
|
929 |
let end_assembly() = |
934 |
let end_assembly() = |
|
|
935 |
nx_stack(); |
930 |
let lbl_end = Compilenv.make_symbol (Some "code_end") in |
936 |
let lbl_end = Compilenv.make_symbol (Some "code_end") in |
931 |
` .text\n`; |
937 |
` .text\n`; |
932 |
` .globl {emit_symbol lbl_end}\n`; |
938 |
` .globl {emit_symbol lbl_end}\n`; |