1--TEST--
2JIT Shift Right: 003
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.file_update_protection=0
7opcache.protect_memory=1
8--EXTENSIONS--
9opcache
10--FILE--
11<?php
12function encodeDynamicInteger(int $int): string {
13    $out = "";
14    for ($i = 0; ($int >> $i) > 0x80; $i += 7) {
15        $out .= \chr(0x80 | (($int >> $i) & 0x7f));
16    }
17    return $out . \chr($int >> $i);
18}
19$s = encodeDynamicInteger(235);
20var_dump(strlen($s), ord($s[0]), ord($s[1]));
21?>
22--EXPECT--
23int(2)
24int(235)
25int(1)
26