diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-01-09 19:40:48 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-01-09 19:40:48 +0000 |
| commit | ec928fee86c2017d38f440fdbe7aaf23954cfec0 (patch) | |
| tree | d65140c00f1f708b66a5e0b176204bc16f4457a6 /asmcomp/linearize.mli | |
| parent | acc0cf07b14b189a56e21553bc111b1f9f2a2982 (diff) | |
| download | ocaml-ec928fee86c2017d38f440fdbe7aaf23954cfec0.tar.gz | |
PowerPC: traiter correctement les branchements conditionnels relatifs qui debordent (PR#723)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4242 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/linearize.mli')
| -rw-r--r-- | asmcomp/linearize.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index 0cc7893d4a..7a76f07e81 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -19,7 +19,7 @@ val new_label: unit -> label type instruction = { mutable desc: instruction_desc; - next: instruction; + mutable next: instruction; arg: Reg.t array; res: Reg.t array; live: Reg.Set.t } @@ -43,6 +43,7 @@ val has_fallthrough : instruction_desc -> bool val end_instr: instruction val instr_cons: instruction_desc -> Reg.t array -> Reg.t array -> instruction -> instruction +val invert_test: Mach.test -> Mach.test type fundecl = { fun_name: string; |