summaryrefslogtreecommitdiff
path: root/src/haversine/libs/pcg/pcg-output-64.c
blob: 8c6b7e40cb8e9f53b2bfb4178f22e7a6f0d66aa2 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
/*
 * PCG Random Number Generation for C.
 *
 * Copyright 2014 Melissa O'Neill <oneill@pcg-random.org>
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 *
 * For additional information about the PCG random number generation scheme,
 * including its license and other licensing options, visit
 *
 *       http://www.pcg-random.org
 */
 
/* 
 * This code is derived from the canonical C++ PCG implementation, which
 * has many additional features and is preferable if you can use C++ in
 * your project.
 *
 * The contents of this file were mechanically derived from pcg_variants.h
 * (every inline function defined there gets an exern declaration here).
 */

#include "pcg_variants.h"

/*
 * Rotate helper functions.
 */

extern inline uint64_t pcg_rotr_64(uint64_t value, unsigned int rot);

/*
 * Output functions.  These are the core of the PCG generation scheme.
 */

// XSH RS

#if PCG_HAS_128BIT_OPS
extern inline uint64_t pcg_output_xsh_rs_128_64(pcg128_t state);
#endif

// XSH RR

#if PCG_HAS_128BIT_OPS
extern inline uint64_t pcg_output_xsh_rr_128_64(pcg128_t state);
#endif

// RXS M XS

extern inline uint64_t pcg_output_rxs_m_xs_64_64(uint64_t state);

// XSL RR (only defined for >= 64 bits)

#if PCG_HAS_128BIT_OPS
extern inline uint64_t pcg_output_xsl_rr_128_64(pcg128_t state);
#endif

// XSL RR RR (only defined for >= 64 bits)

extern inline uint64_t pcg_output_xsl_rr_rr_64_64(uint64_t state);