diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-19 15:13:42 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-19 15:13:42 +0000 |
| commit | eb7c8587f462adca878088ef5f610c81734efc70 (patch) | |
| tree | 6771c5be9d0d6048357be99c663ec64981ad63dd /cfrontend/Cminorgen.v | |
| parent | 165407527b1be7df6a376791719321c788e55149 (diff) | |
Meilleure compilation de la negation booleenne
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@112 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend/Cminorgen.v')
| -rw-r--r-- | cfrontend/Cminorgen.v | 1 |
1 files changed, 1 insertions, 0 deletions
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) |