1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
--TEST--
Optimizer may rely on preloaded symbols
--INI--
opcache.enable=1
opcache.enable_cli=1
opcache.preload={PWD}/preload_optimizer.inc
opcache.opt_debug_level=0x20000
--EXTENSIONS--
opcache
--SKIPIF--
<?php
if (PHP_OS_FAMILY == 'Windows') die('skip Preloading is not supported on Windows');
?>
--FILE--
<?php
echo foo();
?>
--EXPECTF--
$_main:
; (lines=1, args=0, vars=0, tmps=%d)
; (after optimizer)
; $PRELOAD$:0-0
0000 RETURN null
foo:
; (lines=1, args=0, vars=0, tmps=%d)
; (after optimizer)
; %spreload_optimizer.inc:3-5
0000 RETURN int(42)
$_main:
; (lines=1, args=0, vars=0, tmps=%d)
; (after optimizer)
; %spreload_optimizer.inc:1-6
0000 RETURN int(1)
$_main:
; (lines=2, args=0, vars=0, tmps=%d)
; (after optimizer)
; %spreload_optimizer.php:1-4
0000 ECHO string("42")
0001 RETURN int(1)
42
|
