diff options
| author | Christian Heimes <christian@cheimes.de> | 2007-12-31 15:18:55 +0000 |
|---|---|---|
| committer | Christian Heimes <christian@cheimes.de> | 2007-12-31 15:18:55 +0000 |
| commit | 3adfe9aaae214dbee36e9b1ba4753997bfe9ae05 (patch) | |
| tree | f70ac325e8ec9d412ad83133a2c5f24d58c4944f /PCbuild/build_pgo.bat | |
| parent | ce49f020638588f0d4ad3c9b5b139821372f0d4f (diff) | |
| download | cpython-git-3adfe9aaae214dbee36e9b1ba4753997bfe9ae05.tar.gz | |
Renamed PCBuild9 directory to PCBuild
Diffstat (limited to 'PCbuild/build_pgo.bat')
| -rw-r--r-- | PCbuild/build_pgo.bat | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/PCbuild/build_pgo.bat b/PCbuild/build_pgo.bat new file mode 100644 index 0000000000..0c0a473b2c --- /dev/null +++ b/PCbuild/build_pgo.bat @@ -0,0 +1,41 @@ +@echo off +rem A batch program to build PGO (Profile guided optimization) by first +rem building instrumented binaries, then running the testsuite, and +rem finally building the optimized code. +rem Note, after the first instrumented run, one can just keep on +rem building the PGUpdate configuration while developing. + +setlocal +set platf=Win32 + +rem use the performance testsuite. This is quick and simple +set job1=..\tools\pybench\pybench.py -n 1 -C 1 --with-gc +set path1=..\tools\pybench + +rem or the whole testsuite for more thorough testing +set job2=..\lib\test\regrtest.py +set path2=..\lib + +set job=%job1% +set clrpath=%path1% + +:CheckOpts +if "%1"=="-p" (set platf=%2) & shift & shift & goto CheckOpts +if "%1"=="-2" (set job=%job2%) & (set clrpath=%path2%) & shift & goto CheckOpts + +set PGI=%platf%-pgi +set PGO=%platf%-pgo + +@echo on +rem build the instrumented version +call build -p %platf% -c PGInstrument + +rem remove .pyc files, .pgc files and execute the job +%PGI%\python.exe rmpyc.py %clrpath% +del %PGI%\*.pgc +%PGI%\python.exe %job% + +rem finally build the optimized version +if exist %PGO% del /s /q %PGO% +call build -p %platf% -c PGUpdate + |
