aboutsummaryrefslogtreecommitdiffstats
path: root/test-files/mds-kbdc/compile-layout/valid/builtin_functions
blob: c81847248e91e1ba39b36f90b5a09aedc5a9c160 (plain) (blame)
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
if \not(\equals(\add(1 2) 3))
  "" : 0
end if
if \not(\equals(\sub(5 3) 2))
  "" : 0
end if
if \not(\equals(\mul(2 3) 6))
  "" : 0
end if
if \not(\equals(\div(8 2) 4))
  "" : 0
end if
if \not(\equals(\mod(14 4) 2))
  "" : 0
end if
if \not(\equals(\rsh(1024 2) 256))
  "" : 0
end if
if \not(\equals(\lsh(1 10) 1024))
  "" : 0
end if
if \not(\equals(\or(7 9) 15))
  "" : 0
end if
if \not(\equals(\and(15 5) 5))
  "" : 0
end if
if \not(\equals(\xor(15 21) 26))
  "" : 0
end if
if \not(1)
  "" : 0
end if
if \not(0)
else
  "" : 0
end if
if \not(\equals(0 0))
  "" : 0
end if
if \equals(0 1)
  "" : 0
end if
if \not(\greater(2 1))
  "" : 0
end if
if \greater(2 2)
  "" : 0
end if
if \greater(2 3)
  "" : 0
end if
if \not(\less(1 2))
  "" : 0
end if
if \less(2 2)
  "" : 0
end if
if \less(3 2)
  "" : 0
end if