diff options
Diffstat (limited to 'asmcomp/cmm.ml')
| -rw-r--r-- | asmcomp/cmm.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/asmcomp/cmm.ml b/asmcomp/cmm.ml index b2d58d0b81..05c97114d8 100644 --- a/asmcomp/cmm.ml +++ b/asmcomp/cmm.ml @@ -27,11 +27,6 @@ let typ_addr = [|Addr|] let typ_int = [|Int|] let typ_float = [|Float|] -let size_component = function - | Val | Addr -> Arch.size_addr - | Int -> Arch.size_int - | Float -> Arch.size_float - (** [machtype_component]s are partially ordered as follows: Addr Float @@ -82,13 +77,6 @@ let ge_component comp1 comp2 = | Float, (Int | Addr | Val) -> assert false -let size_machtype mty = - let size = ref 0 in - for i = 0 to Array.length mty - 1 do - size := !size + size_component mty.(i) - done; - !size - type integer_comparison = Lambda.integer_comparison = | Ceq | Cne | Clt | Cgt | Cle | Cge |