Define size_domainstate_args as 64 * size_int

Works both in 32 and 64 bits.
ocaml · Sep 1, 2021 · 304da3c · 304da3c
1 parent 3499df5
commit 304da3c
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 6 deletions.
diff --git a/asmcomp/amd64/proc.ml b/asmcomp/amd64/proc.ml
@@ -155,7 +155,7 @@ let word_addressed = false
 
 (* Calling conventions *)
 
-let size_domainstate_args = 64 * 8
+let size_domainstate_args = 64 * size_int
 
 let calling_conventions first_int last_int first_float last_float
                         make_stack first_stack

diff --git a/asmcomp/arm/proc.ml b/asmcomp/arm/proc.ml
@@ -109,7 +109,7 @@ let stack_slot slot ty =
 
 (* Calling conventions *)
 
-let size_domainstate_args = 64 * 8
+let size_domainstate_args = 64 * size_int
 
 let loc_int last_int make_stack int ofs =
   if !int <= last_int then begin

diff --git a/asmcomp/arm64/proc.ml b/asmcomp/arm64/proc.ml
@@ -107,7 +107,7 @@ let stack_slot slot ty =
 
 (* Calling conventions *)
 
-let size_domainstate_args = 64 * 8
+let size_domainstate_args = 64 * size_int
 
 let loc_int last_int make_stack int ofs =
   if !int <= last_int then begin

diff --git a/asmcomp/i386/proc.ml b/asmcomp/i386/proc.ml
@@ -101,7 +101,7 @@ let word_addressed = false
 
 (* Calling conventions *)
 
-let size_domainstate_args = 64 * 4
+let size_domainstate_args = 64 * size_int
 
 let calling_conventions first_int last_int first_float last_float make_stack
                         arg =

diff --git a/asmcomp/riscv/proc.ml b/asmcomp/riscv/proc.ml
@@ -122,7 +122,7 @@ let stack_slot slot ty =
 
 (* Calling conventions *)
 
-let size_domainstate_args = 64 * 8
+let size_domainstate_args = 64 * size_int
 
 let calling_conventions
     first_int last_int first_float last_float make_stack first_stack arg =

diff --git a/asmcomp/s390x/proc.ml b/asmcomp/s390x/proc.ml
@@ -96,7 +96,7 @@ let stack_slot slot ty =
 
 (* Calling conventions *)
 
-let size_domainstate_args = 64 * 8
+let size_domainstate_args = 64 * size_int
 
 let calling_conventions
     first_int last_int first_float last_float make_stack stack_ofs arg =