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