1--TEST--
2Zend signed multiply 64-bit
3--SKIPIF--
4<?php if ((1 << 31) < 0) print "skip Running on 32-bit target"; ?>
5--FILE--
6<?php
7var_dump(0x80000000 * -0xffffffff);
8var_dump(0x80000001 * 0xfffffffe);
9var_dump(0x80000001 * -0xffffffff);
10?>
11--EXPECTF--
12int(-9223372034707292160)
13int(9223372036854775806)
14float(-9.2233720390023E+18)
15