diff options
Diffstat (limited to 'mppa_k1c/SelectLong.vp')
| -rw-r--r-- | mppa_k1c/SelectLong.vp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mppa_k1c/SelectLong.vp b/mppa_k1c/SelectLong.vp index ed2006b0..811a8ab1 100644 --- a/mppa_k1c/SelectLong.vp +++ b/mppa_k1c/SelectLong.vp @@ -276,6 +276,7 @@ Nondetfunction orlimm (n1: int64) (e2: expr) := match e2 with | Eop (Olongconst n2) Enil => longconst (Int64.or n1 n2) | Eop (Oorlimm n2) (t2:::Enil) => Eop (Oorlimm (Int64.or n1 n2)) (t2:::Enil) + | Eop Onotl (t2:::Enil) => Eop (Oornlimm n1) (t2:::Enil) | _ => Eop (Oorlimm n1) (e2:::Enil) end. |