<?php

$empty = false; $t = microtime(1); for ($i = 0; $i < 100000000; $i++) if(empty($empty));echo microtime(1) - $t; echo " - ", (int) $empty, "\n";
$empty = true; $t = microtime(1); for ($i = 0; $i < 100000000; $i++) if(empty($empty));echo microtime(1) - $t; echo " - ", (int) $empty, "\n";
$empty = false; $t = microtime(1); for ($i = 0; $i < 100000000; $i++) if(!empty($empty));echo microtime(1) - $t; echo " - !", (int) $empty, "\n";
$empty = true; $t = microtime(1); for ($i = 0; $i < 100000000; $i++) if(!empty($empty));echo microtime(1) - $t; echo " - !", (int) $empty, "\n";


?>
3.4698710441589 - 0
3.1269850730896 - 1
3.8833770751953 - !0
4.4716360569 - !1