Ejemplo n.º 1
0
Archivo: int64.c Proyecto: 8l/CompCert
int main()
{
  int i, j;
  u64 x, y;

  for (i = 0; i < NUM_SPECIAL_VALUES; i++) {
    for (j = 0; j < NUM_SPECIAL_VALUES; j++) {
      test1(special_values[i], special_values[j]);
    }
    test1(special_values[i], rnd64());
    test1(rnd64(), special_values[i]);
  }
  for (i = 0; i < 100; i++) {
    x = rnd64(); y = rnd64();
    test1(x, y);
  }
  return 0;
}
Ejemplo n.º 2
0
Archivo: hash.c Proyecto: tomasvdw/rogo
void hash_init()
{
	int n;
	unsigned p;

	memset(nodes, 0, sizeof(nodes));
	hash_node_count = 0;

    // setup random hash values
	for(n=0; n < 16; n++) 
		nodetype_hash[n] = rnd64();

	for(p=0; p < POSCOUNT; p++) 
	{
		target_hash[p] = rnd64();
		move_hash[p] = rnd64();
	}

}