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 7opcache.jit_buffer_size=1M 8--SKIPIF-- 9<?php if (PHP_INT_SIZE != 8) die("skip: 64-bit only"); ?> 10--FILE-- 11<?php 12$x = 0; 13$y = [0]; 14$y[$x]++; 15$y[$x] += 4467793343; 16?> 17DONE 18--EXPECT-- 19DONE