From: ceriel <none@none>
Date: Tue, 25 Jul 1995 13:21:53 +0000 (+0000)
Subject: Fix: produced jgt instead of jg
X-Git-Tag: release-5-5~115
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=34b3d1fb5275c49330b44047d5aabed09c203743;p=ack.git

Fix: produced jgt instead of jg
---

diff --git a/mach/i386/ncg/table b/mach/i386/ncg/table
index a41d7a5f5..d1ea809ad 100644
--- a/mach/i386/ncg/table
+++ b/mach/i386/ncg/table
@@ -227,7 +227,6 @@ jcxz label cost(1,4).
 je label cost(1,4).
 jg label cost(1,4).
 jge label cost(1,4).
-jgt label cost(1,4).
 jl label cost(1,4).
 jle label cost(1,4).
 jne label cost(1,4).
@@ -2698,7 +2697,7 @@ with rm STACK
   gen
       killcc.
       test %1
-      jgt {label, $1}
+      jg {label, $1}
 
 pat zne
 with rm+rm1 STACK