Bitcoin Core  26.99.0
P2P Digital Currency
int128_native_impl.h
Go to the documentation of this file.
1 #ifndef SECP256K1_INT128_NATIVE_IMPL_H
2 #define SECP256K1_INT128_NATIVE_IMPL_H
3 
4 #include "int128.h"
5 #include "util.h"
6 
7 static SECP256K1_INLINE void secp256k1_u128_load(secp256k1_uint128 *r, uint64_t hi, uint64_t lo) {
8  *r = (((uint128_t)hi) << 64) + lo;
9 }
10 
11 static SECP256K1_INLINE void secp256k1_u128_mul(secp256k1_uint128 *r, uint64_t a, uint64_t b) {
12  *r = (uint128_t)a * b;
13 }
14 
15 static SECP256K1_INLINE void secp256k1_u128_accum_mul(secp256k1_uint128 *r, uint64_t a, uint64_t b) {
16  *r += (uint128_t)a * b;
17 }
18 
20  *r += a;
21 }
22 
23 static SECP256K1_INLINE void secp256k1_u128_rshift(secp256k1_uint128 *r, unsigned int n) {
24  VERIFY_CHECK(n < 128);
25  *r >>= n;
26 }
27 
29  return (uint64_t)(*a);
30 }
31 
33  return (uint64_t)(*a >> 64);
34 }
35 
37  *r = a;
38 }
39 
40 static SECP256K1_INLINE int secp256k1_u128_check_bits(const secp256k1_uint128 *r, unsigned int n) {
41  VERIFY_CHECK(n < 128);
42  return (*r >> n == 0);
43 }
44 
45 static SECP256K1_INLINE void secp256k1_i128_load(secp256k1_int128 *r, int64_t hi, uint64_t lo) {
46  *r = (((uint128_t)(uint64_t)hi) << 64) + lo;
47 }
48 
49 static SECP256K1_INLINE void secp256k1_i128_mul(secp256k1_int128 *r, int64_t a, int64_t b) {
50  *r = (int128_t)a * b;
51 }
52 
53 static SECP256K1_INLINE void secp256k1_i128_accum_mul(secp256k1_int128 *r, int64_t a, int64_t b) {
54  int128_t ab = (int128_t)a * b;
55  VERIFY_CHECK(0 <= ab ? *r <= INT128_MAX - ab : INT128_MIN - ab <= *r);
56  *r += ab;
57 }
58 
59 static SECP256K1_INLINE void secp256k1_i128_det(secp256k1_int128 *r, int64_t a, int64_t b, int64_t c, int64_t d) {
60  int128_t ad = (int128_t)a * d;
61  int128_t bc = (int128_t)b * c;
62  VERIFY_CHECK(0 <= bc ? INT128_MIN + bc <= ad : ad <= INT128_MAX + bc);
63  *r = ad - bc;
64 }
65 
66 static SECP256K1_INLINE void secp256k1_i128_rshift(secp256k1_int128 *r, unsigned int n) {
67  VERIFY_CHECK(n < 128);
68  *r >>= n;
69 }
70 
72  return (uint64_t)*a;
73 }
74 
76  VERIFY_CHECK(INT64_MIN <= *a && *a <= INT64_MAX);
77  return *a;
78 }
79 
81  *r = a;
82 }
83 
85  return *a == *b;
86 }
87 
88 static SECP256K1_INLINE int secp256k1_i128_check_pow2(const secp256k1_int128 *r, unsigned int n, int sign) {
89  VERIFY_CHECK(n < 127);
90  VERIFY_CHECK(sign == 1 || sign == -1);
91  return (*r == (int128_t)((uint128_t)sign << n));
92 }
93 
94 #endif
int128_t secp256k1_int128
Definition: int128_native.h:17
static SECP256K1_INLINE void secp256k1_i128_load(secp256k1_int128 *r, int64_t hi, uint64_t lo)
static SECP256K1_INLINE void secp256k1_i128_det(secp256k1_int128 *r, int64_t a, int64_t b, int64_t c, int64_t d)
static SECP256K1_INLINE int secp256k1_u128_check_bits(const secp256k1_uint128 *r, unsigned int n)
static SECP256K1_INLINE void secp256k1_i128_rshift(secp256k1_int128 *r, unsigned int n)
static SECP256K1_INLINE uint64_t secp256k1_u128_hi_u64(const secp256k1_uint128 *a)
static SECP256K1_INLINE uint64_t secp256k1_i128_to_u64(const secp256k1_int128 *a)
static SECP256K1_INLINE void secp256k1_i128_from_i64(secp256k1_int128 *r, int64_t a)
static SECP256K1_INLINE void secp256k1_u128_from_u64(secp256k1_uint128 *r, uint64_t a)
static SECP256K1_INLINE int secp256k1_i128_eq_var(const secp256k1_int128 *a, const secp256k1_int128 *b)
static SECP256K1_INLINE int64_t secp256k1_i128_to_i64(const secp256k1_int128 *a)
static SECP256K1_INLINE void secp256k1_i128_mul(secp256k1_int128 *r, int64_t a, int64_t b)
static SECP256K1_INLINE void secp256k1_u128_rshift(secp256k1_uint128 *r, unsigned int n)
static SECP256K1_INLINE int secp256k1_i128_check_pow2(const secp256k1_int128 *r, unsigned int n, int sign)
static SECP256K1_INLINE void secp256k1_u128_accum_u64(secp256k1_uint128 *r, uint64_t a)
static SECP256K1_INLINE void secp256k1_i128_accum_mul(secp256k1_int128 *r, int64_t a, int64_t b)
static SECP256K1_INLINE void secp256k1_u128_accum_mul(secp256k1_uint128 *r, uint64_t a, uint64_t b)
static SECP256K1_INLINE void secp256k1_u128_load(secp256k1_uint128 *r, uint64_t hi, uint64_t lo)
static SECP256K1_INLINE void secp256k1_u128_mul(secp256k1_uint128 *r, uint64_t a, uint64_t b)
static SECP256K1_INLINE uint64_t secp256k1_u128_to_u64(const secp256k1_uint128 *a)
#define SECP256K1_INLINE
Definition: util.h:48
#define VERIFY_CHECK(cond)
Definition: util.h:139