diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-16 13:51:33 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2016-03-16 13:51:33 +0100 |
commit | 1e08d4adb241e076a96f9525fdb8359cf8845527 (patch) | |
tree | 0ef2e4239e970c9904a94a5675ce0f73dc0f1fb4 /backend/Asmexpandaux.ml | |
parent | 9d95c2ce76bffe4be06697ac99936c7703c18a07 (diff) | |
download | compcert-1e08d4adb241e076a96f9525fdb8359cf8845527.tar.gz compcert-1e08d4adb241e076a96f9525fdb8359cf8845527.zip |
Added interface for the Asmexpansion.
Hide the reference used internally behind the interface and added
some functions to access the needed values.
Bug 18394
Diffstat (limited to 'backend/Asmexpandaux.ml')
-rw-r--r-- | backend/Asmexpandaux.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/backend/Asmexpandaux.ml b/backend/Asmexpandaux.ml index 3d1dd754..13aa71d2 100644 --- a/backend/Asmexpandaux.ml +++ b/backend/Asmexpandaux.ml @@ -50,6 +50,15 @@ let new_label () = let set_current_function f = current_function := f; next_label := None; current_code := [] +let get_current_function_args () = + (!current_function).fn_sig.sig_args + +let is_current_function_variadic () = + (!current_function).fn_sig.sig_cc.cc_vararg + +let get_current_function_sig () = + (!current_function).fn_sig + let get_current_function () = let c = List.rev !current_code in let fn = !current_function in |