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

linld: spare up to 30k more for zImage (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sat Nov 09 13:26:32 2019 +0100 (2019-11-09)
parents 10fa26e4c60d
children ee7d4644eb13
line diff
     1.1 --- a/linld/stuff/src/pipehole.awk	Fri Nov 08 20:55:40 2019 +0100
     1.2 +++ b/linld/stuff/src/pipehole.awk	Sat Nov 09 13:26:32 2019 +0100
     1.3 @@ -183,15 +183,16 @@
     1.4  			print	"	extrn	N_LXLSH@4:near"
     1.5  			sub(/N_LXLSH@/,"N_LXLSH@4")
     1.6  		}
     1.7 -		sub(/-3\],0/,"-3],dh")
     1.8 +		sub(/pm_high,0/,"pm_high,dh")
     1.9  		if (/_base_himem\+2/ || /pop/ || /push/) next
    1.10  		if (/_base_himem$/) {
    1.11 -			sub(/mov	dx,/,"les	dx,d")
    1.12 +			sub(/mov	dx,/,"les	ax,d")
    1.13  			isload++
    1.14  		}
    1.15  	}
    1.16  	if (isload == 401) {
    1.17  		sub(/,ax/,",es")
    1.18 +		sub(/,dx/,",ax")
    1.19  		if (/load_image/) isload=0
    1.20  	}
    1.21  	if (isload == 4 && is386) {  # LOAD.LST