From 73ab7968d862c4d4d883fb3d3215353eba905b0f Mon Sep 17 00:00:00 2001
From: Michael Schmidt <github@mschmidt.me>
Date: Fri, 15 Dec 2017 00:01:30 +0100
Subject: Introduce 'cmn' instruction and optimize compare-with-immediate when
 negated immediates can be encoded.

---
 arm/TargetPrinter.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'arm/TargetPrinter.ml')

diff --git a/arm/TargetPrinter.ml b/arm/TargetPrinter.ml
index 93733f56..bb7f24df 100644
--- a/arm/TargetPrinter.ml
+++ b/arm/TargetPrinter.ml
@@ -239,6 +239,8 @@ struct
       fprintf oc "	clz	%a, %a\n" ireg r1 ireg r2
     | Pcmp(r1, so) ->
       fprintf oc "	cmp	%a, %a\n" ireg r1 shift_op so
+    | Pcmn(r1, so) ->
+      fprintf oc "	cmn	%a, %a\n" ireg r1 shift_op so
     | Pdmb ->
       fprintf oc "	dmb\n"
     | Pdsb ->
-- 
cgit