aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier/expr_numberliterals.good
blob: 192ecb3b0ace4a4c5c3828f5448e6b957412d0eb (plain)
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103


count c = 1;
    
uint ui = 1;
int i = 1;
eint ei = 1;
    
short s = 1;
ushort us = 1;
eshort es = 1;
long l = 1;
ulong ul = 1;
elong el = 1;
longlong ll = 1;
ulonglong ull = 1;
elonglong ell = 1;

uint8 ui8min  = 0;
uint8 ui8xmin = 0x0;
uint8 ui8big  = 254;
uint8 ui8max  = 255;
uint8 ui8xmax = 0xFF;
uint8 ui8xbig = 0xFE;
byte b8min    = 0; // byte = uint8, but can be assigned to/from an int8
byte b8max    = 255;
int8 i8min    = -128;
int8 i8xmin   = -0x80;
int8 i8max    = 127;
int8 i8xmax   = 0x7f;
eint8 ei8min  = 0;
eint8 ei8max  = 127;
eint8 ei8xmax = 0x7f;

uint16 ui16min  = 0;
uint16 ui16xmin = 0x0;
uint16 ui16max  = 65535;
uint16 ui16xmax = 0xffff;
int16 i16min    = -32768;
int16 i16xmin   = -0x8000;
int16 i16max    = 32767;
int16 i16xmax   = 0x7FFF;
int16 ei16max   = 32767;

uint32 ui32min  = 0;
uint32 ui32xmin = 0x0;
uint32 ui32max  = 4294967295;
uint32 ui32xmax = 0xFFFFFFFF;
int32 i32min    = -2147483648;
int32 i32xmin   = -0x80000000;
int32 i32max    = 2147483647;
int32 i32xmax   = 0x7fffffff;
int32 ei32max   = 2147483647;

uint64 ui64min  = 0;
uint64 ui64xmin = 0x0;
uint64 ui64max  = 18446744073709551615;
uint64 ui64xmax = 0xFFFFFFFFFFFFFFFF;
int64 i64min    = -9223372036854775808;
int64 i64xmin   = -0x8000000000000000;
int64 i64max    = 9223372036854775807;
int64 i64xmax   = 0x7FFFFFFFFFFFFFFF;
int64 ei64max   = 9223372036854775807;

uint128 ui128min  = 0;
uint128 ui128xmin = 0x0;
uint128 ui128max  = 340282366920938463463374607431768211455;
uint128 ui128xmax = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;
int128 i128min    = -170141183460469231731687303715884105728;
int128 i128xmin   = -0x80000000000000000000000000000000;
int128 i128max    = 170141183460469231731687303715884105727;
int128 i128xmax   = 0x7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;
int128 ei128max   = 170141183460469231731687303715884105727;

wcount wc = 1;
wuint8 w8 = 1;
wuint8 w8min = 0;
wuint8 w8max = 255;
wuint16 w16 = 1;
wuint32 w32 = 1;
wuint64 w64 = 1;
wuint128 w128 = 1;
wuint128 w128max = 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF;

wushort ws = 1;
wuint wi = 1;
wulong wl = 1;
wulonglong wll = 1;
    
float f = 1;
float16 f16 = 1;
float32 f32 = 1;
float64 f64 = 1;
float80 f80 = 1;
float128 f128 = 1;
    
cfloat cf = 1;
cdouble cd = 1;
clongdouble cld = 1;

float f_exp = 3e15;
float f_frac = 3.2;
float f_expfrac = 3.2e15;