1--TEST--
2Zend signed multiply 32-bit
3--SKIPIF--
4<?php if ((1 << 31) > 0) print "skip Running on 64-bit target"; ?>
5--FILE--
6<?php
7var_dump(0x8000 * -0xffff);
8var_dump(0x8001 * 0xfffe);
9var_dump(0x8001 * -0xffff);
10?>
11--EXPECTF--
12int(-2147450880)
13int(2147483646)
14float(-2147516415)
15