diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-25 13:04:41 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-25 13:04:41 +0000 |
| commit | 4878271adfa7d4e69b927fe17c3f087b09b2506b (patch) | |
| tree | 0ae9280253df3c052277719f7b674ab4cfff0de8 /asmcomp/cmm.mli | |
| parent | d1e2b83c19f18d20072cc486d95d64e481767ad7 (diff) | |
| download | ocaml-4878271adfa7d4e69b927fe17c3f087b09b2506b.tar.gz | |
Suppression de Cmodify / Imodify.
Strength reduction sur les multiplications, divisions, modulo de
puissances de 2.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@147 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/cmm.mli')
| -rw-r--r-- | asmcomp/cmm.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli index 1c8290b3fe..520a4ee4d8 100644 --- a/asmcomp/cmm.mli +++ b/asmcomp/cmm.mli @@ -42,7 +42,6 @@ type operation = | Calloc | Cstore | Cstorechunk of memory_chunk - | Cmodify | Caddi | Csubi | Cmuli | Cdivi | Cmodi | Cand | Cor | Cxor | Clsl | Clsr | Casr | Ccmpi of comparison |