diff options
Diffstat (limited to 'tools/prof.sh')
| -rw-r--r-- | tools/prof.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/prof.sh b/tools/prof.sh new file mode 100644 index 0000000..ef9d280 --- /dev/null +++ b/tools/prof.sh @@ -0,0 +1,5 @@ +timestamp="$(date '+%Y%m%d-%H%M')" +# php -d 'error_reporting=E_ALL & ~E_DEPRECATED & ~E_USER_DEPRECATED' vendor/bin/reli inspector:trace -o traces/"$timestamp".log -- php -d memory_limit=512M -d opcache.enable_cli=on -d opcache.jit=on -d opcache.jit_buffer_size=1G examples/php-on-wasm/php-wasm.php 2> traces/"$timestamp".stderr.log +# vendor/bin/reli converter:flamegraph < traces/"$timestamp".log > traces/"$timestamp".svg + +php -d zend.assertions=-1 -d memory_limit=512M -d opcache.enable_cli=on -d opcache.jit=on -d opcache.jit_buffer_size=1G examples/php-on-wasm/php-wasm.php 2> traces/"$timestamp".stderr.log |