diff options
Diffstat (limited to 'arm/CBuiltins.ml')
-rw-r--r-- | arm/CBuiltins.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/arm/CBuiltins.ml b/arm/CBuiltins.ml index 17aa5115..00de4df7 100644 --- a/arm/CBuiltins.ml +++ b/arm/CBuiltins.ml @@ -55,3 +55,7 @@ let builtins = { let size_va_list = 4 let va_list_scalar = true + +(* Expand memory references inside extended asm statements. Used in C2C. *) + +let asm_mem_argument arg = Printf.sprintf "[%s, #0]" arg |