int63.c File Reference

#include "../int63.h"

Include dependency graph for int63.c:

Go to the source code of this file.

Macros
#define	COQ_VSU_INT63__INT63_C

Functions
int63_t	encode_int63 (int64_t x)
	Encode an integer. More...
int64_t	decode_int63 (int63_t x)
	Decode an integer. More...
int63_t	int63_zero ()
int63_t	int63_one ()
int63_t	int63_neg (int63_t x)
int63_t	int63_abs (int63_t x)
int63_t	int63_add (int63_t x, int63_t y)
int63_t	int63_sub (int63_t x, int63_t y)
int63_t	int63_mul (int63_t x, int63_t y)
int63_t	int63_div (int63_t x, int63_t y)
int63_t	int63_rem (int63_t x, int63_t y)
int63_t	int63_shiftl (int63_t x, int63_t y)
int63_t	int63_shiftr (int63_t x, int63_t y)
int63_t	int63_or (int63_t x, int63_t y)
int63_t	int63_and (int63_t x, int63_t y)
int63_t	int63_xor (int63_t x, int63_t y)
int63_t	int63_not (int63_t x)

Macro Definition Documentation

COQ_VSU_INT63__INT63_C

#define COQ_VSU_INT63__INT63_C

Definition at line 2 of file int63.c.

Function Documentation

decode_int63()

int64_t decode_int63

(

int63_t

x

)

Decode an integer.

Parameters

x	The integer to decode.

Returns

The decoded integer.

Definition at line 12 of file int63.c.

{
    return (int64_t)x >> 1;
}

Referenced by int63_div(), int63_mul(), int63_rem(), int63_shiftl(), and int63_shiftr().

encode_int63()

int63_t encode_int63

(

int64_t

x

)

Encode an integer.

Parameters

x	The integer to encode.

Returns

The encoded integer.

Definition at line 7 of file int63.c.

{
    return (x << 1) | 1;
}

Referenced by int63_div(), int63_mul(), int63_one(), int63_rem(), int63_shiftl(), int63_shiftr(), and int63_zero().

int63_abs()

int63_t int63_abs

(

int63_t

x

)

Definition at line 33 of file int63.c.

{
    return x < 0 ? int63_neg(x) : x;
}

References int63_neg().

int63_add()

int63_t int63_add	(	int63_t	x,
		int63_t	y
	)

Definition at line 38 of file int63.c.

{
    return (x + y) - 1;
}

int63_and()

int63_t int63_and	(	int63_t	x,
		int63_t	y
	)

Definition at line 93 of file int63.c.

{
    return x & y;
}

int63_div()

int63_t int63_div	(	int63_t	x,
		int63_t	y
	)

Definition at line 56 of file int63.c.

{
    const int64_t _x = decode_int63(x);
    const int64_t _y = decode_int63(y);
    const int64_t _z = _x / _y;
    return encode_int63(_z);
}

References decode_int63(), and encode_int63().

int63_mul()

int63_t int63_mul	(	int63_t	x,
		int63_t	y
	)

Definition at line 48 of file int63.c.

{
    const int64_t _x = decode_int63(x);
    const int64_t _y = decode_int63(y);
    const int64_t _z = _x * _y;
    return encode_int63(_z);
}

References decode_int63(), and encode_int63().

int63_neg()

int63_t int63_neg

(

int63_t

x

)

Definition at line 28 of file int63.c.

{
    return 2 - x;
}

Referenced by int63_abs().

int63_not()

int63_t int63_not

(

int63_t

x

)

Definition at line 103 of file int63.c.

{
    return (int63_t)1 | ~ x;
}

int63_one()

int63_t int63_one

(

)

Definition at line 23 of file int63.c.

{
    return encode_int63(1);
}

References encode_int63().

int63_or()

int63_t int63_or	(	int63_t	x,
		int63_t	y
	)

Definition at line 88 of file int63.c.

{
    return x | y;
}

int63_rem()

int63_t int63_rem	(	int63_t	x,
		int63_t	y
	)

Definition at line 64 of file int63.c.

{
    const int64_t _x = decode_int63(x);
    const int64_t _y = decode_int63(y);
    const int64_t _z = _x % _y;
    return encode_int63(_z);
}

References decode_int63(), and encode_int63().

int63_shiftl()

int63_t int63_shiftl	(	int63_t	x,
		int63_t	y
	)

Definition at line 72 of file int63.c.

{
    const int64_t _x = decode_int63(x);
    const int64_t _y = decode_int63(y);
    const int64_t _z = _x << _y;
    return encode_int63(_z);
}

References decode_int63(), and encode_int63().

int63_shiftr()

int63_t int63_shiftr	(	int63_t	x,
		int63_t	y
	)

Definition at line 80 of file int63.c.

{
    const int64_t _x = decode_int63(x);
    const int64_t _y = decode_int63(y);
    const int64_t _z = _x >> _y;
    return encode_int63(_z);
}

References decode_int63(), and encode_int63().

int63_sub()

int63_t int63_sub	(	int63_t	x,
		int63_t	y
	)

Definition at line 43 of file int63.c.

{
    return (x - y) + 1;
}

int63_xor()

int63_t int63_xor	(	int63_t	x,
		int63_t	y
	)

Definition at line 98 of file int63.c.

{
    return (int63_t)1 | (x ^ y);
}

int63_zero()

int63_t int63_zero

(

)

Definition at line 18 of file int63.c.

{
    return encode_int63(0);
}

References encode_int63().