Remove unused Arch.num_args_addressing (ocaml#13060)

tmcgilchrist · Mar 31, 2024 · 1f3c26c · 1f3c26c
1 parent 7ae4fdb
commit 1f3c26c
Show file tree

Hide file tree

Showing 10 changed files with 0 additions and 33 deletions.
diff --git a/asmcomp/amd64/arch.ml b/asmcomp/amd64/arch.ml
@@ -77,13 +77,6 @@ let offset_addressing addr delta =
   | Iscaled(scale, n) -> Iscaled(scale, n + delta)
   | Iindexed2scaled(scale, n) -> Iindexed2scaled(scale, n + delta)
 
-let num_args_addressing = function
-    Ibased _ -> 0
-  | Iindexed _ -> 1
-  | Iindexed2 _ -> 2
-  | Iscaled _ -> 1
-  | Iindexed2scaled _ -> 2
-
 (* Printing operations and addressing modes *)
 
 let print_addressing printreg addr ppf arg =

diff --git a/asmcomp/amd64/arch.mli b/asmcomp/amd64/arch.mli
@@ -61,8 +61,6 @@ val identity_addressing : addressing_mode
 
 val offset_addressing : addressing_mode -> int -> addressing_mode
 
-val num_args_addressing : addressing_mode -> int
-
 val print_addressing :
   (Format.formatter -> 'a -> unit) -> addressing_mode ->
   Format.formatter -> 'a array -> unit

diff --git a/asmcomp/arm64/arch.ml b/asmcomp/arm64/arch.ml
@@ -89,10 +89,6 @@ let offset_addressing addr delta =
   | Iindexed n -> Iindexed(n + delta)
   | Ibased(s, n) -> Ibased(s, n + delta)
 
-let num_args_addressing = function
-  | Iindexed _ -> 1
-  | Ibased _ -> 0
-
 (* Printing operations and addressing modes *)
 
 let print_addressing printreg addr ppf arg =

diff --git a/asmcomp/arm64/arch.mli b/asmcomp/arm64/arch.mli
@@ -86,8 +86,6 @@ val identity_addressing : addressing_mode
 
 val offset_addressing : addressing_mode -> int -> addressing_mode
 
-val num_args_addressing : addressing_mode -> int
-
 (* Printing operations and addressing modes *)
 
 val print_addressing :

diff --git a/asmcomp/power/arch.ml b/asmcomp/power/arch.ml
@@ -72,11 +72,6 @@ let offset_addressing addr delta =
   | Iindexed n -> Iindexed(n + delta)
   | Iindexed2 -> assert false
 
-let num_args_addressing = function
-    Ibased _ -> 0
-  | Iindexed _ -> 1
-  | Iindexed2 -> 2
-
 (* Printing operations and addressing modes *)
 
 let print_addressing printreg addr ppf arg =

diff --git a/asmcomp/power/arch.mli b/asmcomp/power/arch.mli
@@ -64,8 +64,6 @@ val identity_addressing : addressing_mode
 
 val offset_addressing : addressing_mode -> int -> addressing_mode
 
-val num_args_addressing : addressing_mode -> int
-
 (* Printing operations and addressing modes *)
 
 val print_addressing :

diff --git a/asmcomp/riscv/arch.ml b/asmcomp/riscv/arch.ml
@@ -58,9 +58,6 @@ let offset_addressing addr delta =
   match addr with
   | Iindexed n -> Iindexed(n + delta)
 
-let num_args_addressing = function
-  | Iindexed _ -> 1
-
 (* Printing operations and addressing modes *)
 
 let print_addressing printreg addr ppf arg =

diff --git a/asmcomp/riscv/arch.mli b/asmcomp/riscv/arch.mli
@@ -55,8 +55,6 @@ val identity_addressing : addressing_mode
 
 val offset_addressing : addressing_mode -> int -> addressing_mode
 
-val num_args_addressing : addressing_mode -> int
-
 (* Printing operations and addressing modes *)
 
 val print_addressing :

diff --git a/asmcomp/s390x/arch.ml b/asmcomp/s390x/arch.ml
@@ -65,10 +65,6 @@ let offset_addressing addr delta =
   | Iindexed n -> Iindexed(n + delta)
   | Iindexed2 n -> Iindexed2(n + delta)
 
-let num_args_addressing = function
-  | Iindexed _ -> 1
-  | Iindexed2 _ -> 2
-
 (* Printing operations and addressing modes *)
 
 let print_addressing printreg addr ppf arg =

diff --git a/asmcomp/s390x/arch.mli b/asmcomp/s390x/arch.mli
@@ -58,8 +58,6 @@ val identity_addressing : addressing_mode
 
 val offset_addressing : addressing_mode -> int -> addressing_mode
 
-val num_args_addressing : addressing_mode -> int
-
 (* Printing operations and addressing modes *)
 
 val print_addressing :