wok diff linld/stuff/src/pipehole.awk @ rev 22288

linld: 8086 may load zImage (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Wed Nov 13 15:08:02 2019 +0100 (2019-11-13)
parents e7373d3e0818
children 53c1379e13fa
line diff
     1.1 --- a/linld/stuff/src/pipehole.awk	Mon Nov 11 22:57:56 2019 +0100
     1.2 +++ b/linld/stuff/src/pipehole.awk	Wed Nov 13 15:08:02 2019 +0100
     1.3 @@ -553,6 +553,7 @@
     1.4  			if (isnum(args[2])) {
     1.5  				for (i = kept++; i > 0; i--) line[i] = line[i-1]
     1.6  				line[0] = "\tlea\t" regs[1] ",[" regs[2] op args[2] "]"
     1.7 +				sub(/\+-/,"-",line[0])
     1.8  				hold=10; next
     1.9  			}
    1.10  			line[kept++]=$0