1  @echo off
 2  set FILTER=cat
 3  set Y=0
 4  if /i "%1"=="min" (
 5  	set EXE=nasm.exe
 6  	set OPT2=-DXBYAK64 -DMIN_TEST
 7  	set OPT3=win64
 8  	set FILTER=normalize_prefix
 9  ) else if /i "%1"=="64" (
10  	set EXE=nasm.exe
11  	set OPT2=-DXBYAK64
12  	set OPT3=win64
13  	set FILTER=normalize_prefix
14  ) else (
15  	set EXE=nasm.exe
16  	set OPT2=-DXBYAK32
17  	set OPT3=win32
18  )
19  call set_opt
20  bmake -f Makefile.win all
21  echo cl -I../ make_512.cpp %OPT% %OPT2% /EHs /DUSE_AVX512
22  cl -I../ make_512.cpp %OPT% %OPT2% /EHs /DUSE_AVX512
23  make_512 > a.asm
24  %EXE% -f %OPT3% -l a.lst a.asm
25  rem connect "?????-" and "??"
26  awk "{if (index($3, ""-"")) { conti=substr($3, 0, length($3) - 1) } else { conti = conti $3; print conti; conti = """" }} " < a.lst |%FILTER% > ok.lst
27  make_512 jit > nm.cpp
28  cl -I../ -DXBYAK_TEST nm_frame.cpp %OPT% %OPT2% /DXBYAK_AVX512
29  nm_frame |%FILTER% > x.lst
30  diff -w x.lst ok.lst
31  wc x.lst