diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-11-19 12:46:52 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-11-20 16:47:46 +0100 |
| commit | fa67864c13d0910c92ef51f76fce5891f9b07d33 (patch) | |
| tree | fc98e261351255815f4663c0cf11c5660cde7527 /ext/opcache/Optimizer/zend_dump.c | |
| parent | c0d1dbcb432f65d09f1c88cc368aa89eb5f067f4 (diff) | |
| download | php-git-fa67864c13d0910c92ef51f76fce5891f9b07d33.tar.gz | |
Use MIN/MAX when dumping RANGE[]
It's very common that one of the bounds is LONG_MIN or LONG_MAX.
Dump them as MIN/MAX instead of the int representation in that
case, as it makes the dump less noisy.
Diffstat (limited to 'ext/opcache/Optimizer/zend_dump.c')
| -rw-r--r-- | ext/opcache/Optimizer/zend_dump.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/opcache/Optimizer/zend_dump.c b/ext/opcache/Optimizer/zend_dump.c index f6d9bd519a..73ddd77a98 100644 --- a/ext/opcache/Optimizer/zend_dump.c +++ b/ext/opcache/Optimizer/zend_dump.c @@ -154,11 +154,15 @@ static void zend_dump_range(const zend_ssa_range *r) fprintf(stderr, " RANGE["); if (r->underflow) { fprintf(stderr, "--.."); + } else if (r->min == ZEND_LONG_MIN) { + fprintf(stderr, "MIN.."); } else { fprintf(stderr, ZEND_LONG_FMT "..", r->min); } if (r->overflow) { fprintf(stderr, "++]"); + } else if (r->max == ZEND_LONG_MAX) { + fprintf(stderr, "MAX]"); } else { fprintf(stderr, ZEND_LONG_FMT "]", r->max); } |