aboutsummaryrefslogtreecommitdiff
path: root/compiler/tests/verifier/expr_types.good
blob: 162bdb45ce8fb6a91c40d59864091e6a4d1b322a (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


int ia = 1;
int ib = -1;
int ic = 1+1;
int id = ic;
int ie = -ic + ib;

bool ba = :true;
bool bb = :false;
bool bc = not :false;
bool bd = :true and :true;
bool be = not :false xor :true;
bool bf = bc;
bool bg = bc or ba;

uint ne = compl 0x123;
uint nf = 0x256 << 1;

int8 i8 = -1;
int16 i16 = -1;
int32 i32 = -1;
int64 i64 = -1;
int128 i128 = -1;

count c = 1;
byte byt = 1;
uint8 u8 = 1;
uint16 u16 = 1;
uint32 u32 = 1;
uint64 u64 = 1;
uint128 u128 = 1;

wcount w = 1;
wuint8 w8 = 1;
wuint16 w16 = 1;
wuint32 w32 = 1;
wuint64 w64 = 1;
wuint128 w128 = 1;

short cs = -1;
long cl = -1;
longlong cll = -1;

ushort cus = 1;
ulong cul = 1;
ulonglong cull = 1;

wushort cws = 1;
wuint cwi = 1;
wulong cwl = 1;
wulonglong cwll = 1;

float f = 1.0;
float16 f16 = 1.0;
float32 f32 = 1.0;
float64 f64 = 1.0;
float128 f128 = 1.0;

cfloat cf = 1.0;
cdouble cd = 1.0;
clongdouble cld = 1.0;