From eb7c8587f462adca878088ef5f610c81734efc70 Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 19 Sep 2006 15:13:42 +0000 Subject: Meilleure compilation de la negation booleenne git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@112 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cfrontend/Cminorgen.v | 1 + 1 file changed, 1 insertion(+) (limited to 'cfrontend/Cminorgen.v') diff --git a/cfrontend/Cminorgen.v b/cfrontend/Cminorgen.v index 27aa453..34a1080 100644 --- a/cfrontend/Cminorgen.v +++ b/cfrontend/Cminorgen.v @@ -50,6 +50,7 @@ Definition make_op (op: Csharpminor.operation) (el: exprlist): option expr := | Csharpminor.Ocast16unsigned => Some(Cmconstr.cast16unsigned e1) | Csharpminor.Ocast16signed => Some(Cmconstr.cast16signed e1) | Csharpminor.Onotint => Some(Cmconstr.notint e1) + | Csharpminor.Onotbool => Some(Cmconstr.notbool e1) | Csharpminor.Onegf => Some(Cmconstr.negfloat e1) | Csharpminor.Oabsf => Some(Cmconstr.absfloat e1) | Csharpminor.Osingleoffloat => Some(Cmconstr.singleoffloat e1) -- cgit v1.2.3