diff options
| author | Andi Gutmans <andi@php.net> | 2000-01-28 13:25:55 +0000 |
|---|---|---|
| committer | Andi Gutmans <andi@php.net> | 2000-01-28 13:25:55 +0000 |
| commit | 6f63373bb239f27dc2b29cdb6ace8297f30992a7 (patch) | |
| tree | 83e36fd5718a39dd4d25365ad9fb5bc6363ff800 | |
| parent | 3a35a6955da74fd1f178243297f9211c6e5d34c7 (diff) | |
| download | php-git-6f63373bb239f27dc2b29cdb6ace8297f30992a7.tar.gz | |
- This makes the switch() statement twice as quick. Moving to enum
might make this a general speed up for other platforms too
| -rw-r--r-- | Zend/zend_execute.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Zend/zend_execute.c b/Zend/zend_execute.c index 380ba61627..b0f20d73e5 100644 --- a/Zend/zend_execute.c +++ b/Zend/zend_execute.c @@ -2270,8 +2270,12 @@ send_by_ref: case ZEND_EXT_NOP: case ZEND_NOP: break; +#if (WINNT|WIN32) /* This makes the switch() statement twice as quick. Moving to enum + might make this a general speed up for other platforms too */ default: + __assume(0); break; +#endif } opline++; } |