From 41b7ecb127b93b1aecc29a298ec21dc94603e6fa Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 29 Jul 2013 12:10:11 +0000
Subject: Optimize integer divisions by positive constants, turning them into
 multiply-high and shifts.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2300 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 ia32/PrintAsm.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ia32/PrintAsm.ml')

diff --git a/ia32/PrintAsm.ml b/ia32/PrintAsm.ml
index 9c8f963a..5fb2568b 100644
--- a/ia32/PrintAsm.ml
+++ b/ia32/PrintAsm.ml
@@ -606,6 +606,10 @@ let print_instruction oc = function
       fprintf oc "	imull	%a, %a\n" ireg r1 ireg rd
   | Pimul_ri(rd, n) ->
       fprintf oc "	imull	$%a, %a\n" coqint n ireg rd
+  | Pimul_r(r1) ->
+      fprintf oc "	imull	%a\n" ireg r1
+  | Pmul_r(r1) ->
+      fprintf oc "	mull	%a\n" ireg r1
   | Pdiv(r1) ->
       fprintf oc "	xorl	%%edx, %%edx\n";
       fprintf oc "	divl	%a\n" ireg r1
-- 
cgit