diff options
Diffstat (limited to 'asmcomp/amd64/arch.mli')
-rw-r--r-- | asmcomp/amd64/arch.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/asmcomp/amd64/arch.mli b/asmcomp/amd64/arch.mli index 52a5d3ae2f..ef988a0fe7 100644 --- a/asmcomp/amd64/arch.mli +++ b/asmcomp/amd64/arch.mli @@ -76,3 +76,6 @@ val win64 : bool val operation_is_pure : specific_operation -> bool val operation_can_raise : specific_operation -> bool + +val float_cond_and_need_swap + : Lambda.float_comparison -> X86_ast.float_condition * bool |