<?php

$time = microtime(true);

$redis = phpiredis_connect('127.0.0.1', 6379);
if ($_SERVER['argc'] > 1 && is_numeric($_SERVER['argv'][1])) for ($i=1; $i<=$_SERVER['argv'][1] ; $i++) {
	phpiredis_command($redis, "SET foo".($i&0xff)." ".$i);
	$v = phpiredis_command($redis, "GET foo".($i&0xff));
	if ($v != $i) echo "** $i => $v\n";
} else if ($_SERVER['argc'] > 1) {
	$n=0;
	foreach (glob($_SERVER['argv'][1]) as $file) {
		$data = file_get_contents($file);
		phpiredis_command_bs($redis, ["SET", "foo$n", $data]);
		$v = phpiredis_command($redis, "STRLEN foo$n");
		if ($v != ($i=strlen($data))) echo "** $i != $v\n";
		$n++;
	}
	echo "$n files\n";
} else {
	printf("Value = %d\n", phpiredis_command($redis, "INCR foo"));
}

$time = microtime(true)-$time;
printf("Done in %.6f\n", $time);