testint128.c File Reference

#include "postgres_fe.h"
#include "common/int128.h"
#include "common/pg_prng.h"

Include dependency graph for testint128.c:

Go to the source code of this file.

Data Structures
union	test128

Macros
#define	USE_NATIVE_INT128   0

Functions
static int	my_int128_compare (int128 x, int128 y)
int	main (int argc, char **argv)

Macro Definition Documentation

USE_NATIVE_INT128

#define USE_NATIVE_INT128   0

Definition at line 26 of file testint128.c.

Function Documentation

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 74 of file testint128.c.

{
    long        count;
 
    pg_prng_seed(&pg_global_prng_state, 0);
 
    if (argc >= 2)
        count = strtol(argv[1], NULL, 0);
    else
        count = 1000000000;
 
    while (count-- > 0)
    {
        int64       x = pg_prng_uint64(&pg_global_prng_state);
        int64       y = pg_prng_uint64(&pg_global_prng_state);
        int64       z = pg_prng_uint64(&pg_global_prng_state);
        test128     t1;
        test128     t2;
 
        /* check unsigned addition */
        t1.hl.hi = x;
        t1.hl.lo = y;
        t2 = t1;
        t1.i128 += (int128) (uint64) z;
        int128_add_uint64(&t2.I128, (uint64) z);
 
        if (t1.hl.hi != t2.hl.hi || t1.hl.lo != t2.hl.lo)
        {
            printf("%016lX%016lX + unsigned %lX\n", x, y, z);
            printf("native = %016lX%016lX\n", t1.hl.hi, t1.hl.lo);
            printf("result = %016lX%016lX\n", t2.hl.hi, t2.hl.lo);
            return 1;
        }
 
        /* check signed addition */
        t1.hl.hi = x;
        t1.hl.lo = y;
        t2 = t1;
        t1.i128 += (int128) z;
        int128_add_int64(&t2.I128, z);
 
        if (t1.hl.hi != t2.hl.hi || t1.hl.lo != t2.hl.lo)
        {
            printf("%016lX%016lX + signed %lX\n", x, y, z);
            printf("native = %016lX%016lX\n", t1.hl.hi, t1.hl.lo);
            printf("result = %016lX%016lX\n", t2.hl.hi, t2.hl.lo);
            return 1;
        }
 
        /* check multiplication */
        t1.i128 = (int128) x * (int128) y;
 
        t2.hl.hi = t2.hl.lo = 0;
        int128_add_int64_mul_int64(&t2.I128, x, y);
 
        if (t1.hl.hi != t2.hl.hi || t1.hl.lo != t2.hl.lo)
        {
            printf("%lX * %lX\n", x, y);
            printf("native = %016lX%016lX\n", t1.hl.hi, t1.hl.lo);
            printf("result = %016lX%016lX\n", t2.hl.hi, t2.hl.lo);
            return 1;
        }
 
        /* check comparison */
        t1.hl.hi = x;
        t1.hl.lo = y;
        t2.hl.hi = z;
        t2.hl.lo = pg_prng_uint64(&pg_global_prng_state);
 
        if (my_int128_compare(t1.i128, t2.i128) !=
            int128_compare(t1.I128, t2.I128))
        {
            printf("comparison failure: %d vs %d\n",
                   my_int128_compare(t1.i128, t2.i128),
                   int128_compare(t1.I128, t2.I128));
            printf("arg1 = %016lX%016lX\n", t1.hl.hi, t1.hl.lo);
            printf("arg2 = %016lX%016lX\n", t2.hl.hi, t2.hl.lo);
            return 1;
        }
 
        /* check case with identical hi parts; above will hardly ever hit it */
        t2.hl.hi = x;
 
        if (my_int128_compare(t1.i128, t2.i128) !=
            int128_compare(t1.I128, t2.I128))
        {
            printf("comparison failure: %d vs %d\n",
                   my_int128_compare(t1.i128, t2.i128),
                   int128_compare(t1.I128, t2.I128));
            printf("arg1 = %016lX%016lX\n", t1.hl.hi, t1.hl.lo);
            printf("arg2 = %016lX%016lX\n", t2.hl.hi, t2.hl.lo);
            return 1;
        }
    }
 
    return 0;
}

References test128::hi, test128::hl, test128::i128, test128::I128, int128_add_int64(), int128_add_int64_mul_int64(), int128_add_uint64(), int128_compare(), test128::lo, my_int128_compare(), pg_global_prng_state, pg_prng_seed(), pg_prng_uint64(), printf, x, and y.

my_int128_compare()

static int my_int128_compare ( int128  x, int128  y  )

inlinestatic

Definition at line 56 of file testint128.c.

{
    if (x < y)
        return -1;
    if (x > y)
        return 1;
    return 0;
}

References x, and y.

Referenced by main().