Fix: produced jgt instead of jg
This commit is contained in:
parent
5e03b1bebb
commit
34b3d1fb52
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue