summaryrefslogtreecommitdiff
path: root/powerpc
diff options
context:
space:
mode:
Diffstat (limited to 'powerpc')
-rw-r--r--powerpc/Archi.v4
1 files changed, 2 insertions, 2 deletions
diff --git a/powerpc/Archi.v b/powerpc/Archi.v
index 0672dce..0b871d9 100644
--- a/powerpc/Archi.v
+++ b/powerpc/Archi.v
@@ -20,13 +20,13 @@ Require Import ZArith.
Require Import Fappli_IEEE.
Require Import Fappli_IEEE_bits.
-Definition big_endian := false.
+Definition big_endian := true.
Notation align_int64 := 8%Z (only parsing).
Notation align_float64 := 8%Z (only parsing).
Program Definition default_pl : bool * nan_pl 53 :=
- (true, nat_iter 51 xO xH).
+ (false, nat_iter 51 xO xH).
Definition choose_binop_pl (s1: bool) (pl1: nan_pl 53) (s2: bool) (pl2: nan_pl 53) :=
false. (**r always choose first NaN *)