Changeset 2dcd80a for libcfa/src/startup.cfa

Timestamp:

Dec 14, 2022, 12:23:42 PM (3 years ago)

Author:

caparson <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

441a6a7

Parents:

7d9598d8 (diff), d8bdf13 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• libcfa/src/startup.cfa (modified) (3 diffs)

libcfa/src/startup.cfa

@@ -10 +10 @@
 // Created On       : Tue Jul 24 16:21:57 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Oct  6 13:51:57 2022
-// Update Count     : 57
+// Last Modified On : Mon Dec  5 11:41:58 2022
+// Update Count     : 73
 //
 
@@ -18 +18 @@
 #include <stdlib.h>                                                                             // getenv
 #include "bits/defs.hfa"                                                                // rdtscl
+#include "bits/random.hfa"                                                              // rdtscl
 #include "startup.hfa"
 
-extern uint32_t __global_random_seed;                                   // sequential/concurrent
-extern uint32_t __global_random_state;                                  // sequential
+extern size_t __global_random_seed;                                             // sequential/concurrent
+extern PRNG_STATE_T __global_random_state;                              // sequential
 
 extern "C" {
@@ -68 +69 @@
         void __cfaabi_core_startup( void ) __attribute__(( constructor( STARTUP_PRIORITY_CORE ) ));
         void __cfaabi_core_startup( void ) {
-                __global_random_state = __global_random_seed = rdtscl();
+                __global_random_seed = rdtscl();
+                PRNG_SET_SEED( __global_random_state, __global_random_seed );
+
                 __cfaabi_interpose_startup();
                 __cfaabi_device_startup();