diff options
Diffstat (limited to 'src/Compilers/Z/BinaryNotationConstants.v')
-rw-r--r-- | src/Compilers/Z/BinaryNotationConstants.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Compilers/Z/BinaryNotationConstants.v b/src/Compilers/Z/BinaryNotationConstants.v index 6a4d58051..4d381cda0 100644 --- a/src/Compilers/Z/BinaryNotationConstants.v +++ b/src/Compilers/Z/BinaryNotationConstants.v @@ -132,6 +132,7 @@ nums = tuple(sorted(set(systematic_nums + [ 134217690, 134217694, 134217697, + 134217698, 134217699, 134217703, 134217710, @@ -1118,6 +1119,8 @@ Notation "'0b111111111111111111111011110'" (* 134217694 (0x7ffffde) *) := (Const WO~0~0~0~0~0~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~0~1~1~1~1~0). Notation "'0b111111111111111111111100001'" (* 134217697 (0x7ffffe1) *) := (Const WO~0~0~0~0~0~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~0~0~0~0~1). +Notation "'0b111111111111111111111100010'" (* 134217698 (0x7ffffe2) *) + := (Const WO~0~0~0~0~0~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~0~0~0~1~0). Notation "'0b111111111111111111111100011'" (* 134217699 (0x7ffffe3) *) := (Const WO~0~0~0~0~0~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~1~0~0~0~1~1). Notation "'0b111111111111111111111100111'" (* 134217703 (0x7ffffe7) *) |