From 6cf0154c1f00e0479c9bb1561944cb3b238a9e26 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 6 Apr 2019 09:07:17 +0200 Subject: no need for this to be in two_address_op --- mppa_k1c/Machregs.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mppa_k1c/Machregs.v') diff --git a/mppa_k1c/Machregs.v b/mppa_k1c/Machregs.v index f36962f3..823b13e9 100644 --- a/mppa_k1c/Machregs.v +++ b/mppa_k1c/Machregs.v @@ -209,7 +209,7 @@ Global Opaque Definition two_address_op (op: operation) : bool := match op with - | Ocast32unsigned | Omadd | Omaddimm _ | Omaddl | Omaddlimm _ | Oselect _ | Oselectl _ | Oselectf _ | Oselectfs _ => true + | Omadd | Omaddimm _ | Omaddl | Omaddlimm _ | Oselect _ | Oselectl _ | Oselectf _ | Oselectfs _ => true | _ => false end. -- cgit