diff options
Diffstat (limited to 'powerpc/SelectOp.v')
-rw-r--r-- | powerpc/SelectOp.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/powerpc/SelectOp.v b/powerpc/SelectOp.v index c421cdc5..b735fad0 100644 --- a/powerpc/SelectOp.v +++ b/powerpc/SelectOp.v @@ -146,7 +146,7 @@ Definition notint (e: expr) := (** ** Boolean negation *) Definition notbool_base (e: expr) := - Eop (Ocmp (Ccompimm Ceq Int.zero)) (e ::: Enil). + Eop (Ocmp (Ccompuimm Ceq Int.zero)) (e ::: Enil). Fixpoint notbool (e: expr) {struct e} : expr := match e with |