1--TEST-- 2JIT ADD: 012 register allocation for 64-bit constant 3--INI-- 4opcache.enable=1 5opcache.enable_cli=1 6opcache.file_update_protection=0 7--SKIPIF-- 8<?php if (PHP_INT_SIZE != 8) die("skip: 64-bit only"); ?> 9--FILE-- 10<?php 11$x = 0; 12$y = [0]; 13$y[$x]++; 14$y[$x] += 4467793343; 15?> 16DONE 17--EXPECT-- 18DONE