From aecc44ba24c68b03f5cd978ce193ac9b7bc9bb42 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 16 May 2019 14:32:51 +0200
Subject: simplify sdiv

---
 runtime/mppa_k1c/vararg.S | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'runtime')

diff --git a/runtime/mppa_k1c/vararg.S b/runtime/mppa_k1c/vararg.S
index d3626c25..e7b05893 100644
--- a/runtime/mppa_k1c/vararg.S
+++ b/runtime/mppa_k1c/vararg.S
@@ -63,9 +63,7 @@ __compcert_i32_udiv:
 __compcert_i32_umod:
 	sxwd $r0 = $r0
 	sxwd $r1 = $r1
-	;; /* Can't issue next in the same bundle */
 	make $r2 = 0x3ff0000000000000
-	addd $r12 = $r12, -16
 	;;
 	floatd.rn.s $r0 = $r0, 0
 	;;
@@ -86,9 +84,6 @@ __compcert_i32_umod:
 	;;
 	ffmad $r0 = $r2, $r1
 	;;
-	sd 8[$r12] = $r1
-	addd $r12 = $r12, 16
-	;;
 	fixedd.rz $r0 = $r0, 0
 	ret
 	;;
-- 
cgit