fix psuedo-random state C view for arm32

original commit: 348c1798d88eea3504961effe7953103044e3ee4
This commit is contained in:
Matthew Flatt 2020-06-06 12:16:11 -06:00
parent cb4c035a9e
commit 0adffe2c19

View File

@ -22,12 +22,14 @@
/* Representation is arecord with 6 `double` fields: */
#define RANDSTATEX10(x) (((double*)&RECORDINSTIT(x, 0))[0])
#define RANDSTATEX11(x) (((double*)&RECORDINSTIT(x, 0))[1])
#define RANDSTATEX12(x) (((double*)&RECORDINSTIT(x, 0))[2])
#define RANDSTATEX20(x) (((double*)&RECORDINSTIT(x, 0))[3])
#define RANDSTATEX21(x) (((double*)&RECORDINSTIT(x, 0))[4])
#define RANDSTATEX22(x) (((double*)&RECORDINSTIT(x, 0))[5])
#define RECORDINSTDBLA(x) ((double *)((uptr)&RECORDINSTIT(x, 0) + (max_float_alignment - ptr_bytes)))
#define RANDSTATEX10(x) (RECORDINSTDBLA(x)[0])
#define RANDSTATEX11(x) (RECORDINSTDBLA(x)[1])
#define RANDSTATEX12(x) (RECORDINSTDBLA(x)[2])
#define RANDSTATEX20(x) (RECORDINSTDBLA(x)[3])
#define RANDSTATEX21(x) (RECORDINSTDBLA(x)[4])
#define RANDSTATEX22(x) (RECORDINSTDBLA(x)[5])
/* The Generator
=============