summary refs log tree commit diff stats
path: root/compiler/rod.nim
blob: 6d34e9ea0964aa6a3383989528edd02c9891f53b (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
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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
#
#
#           The Nim Compiler
#        (c) Copyright 2017 Andreas Rumpf
#
#    See the file "copying.txt", included in this
#    distribution, for details about the copyright.
#

## This module implements the canonalization for the various caching mechanisms.

import ast, idgen

when not defined(nimSymbolfiles):
  template setupModuleCache* = discard
  template storeNode*(module: PSym; n: PNode) = discard

  template getModuleId*(fullpath: string): int = getID()

else:
  include rodimpl

when false:
  type
    BlobWriter* = object
      buf: string
      pos: int

    SerializationAction = enum acRead, acWrite

  # Varint implementation inspired by SQLite.
  proc rdVaruint64(z: ptr UncheckedArray[byte]; n: int; pResult: var uint64): int =
    if z[0] <= 240:
      pResult = z[0]
      return 1
    if z[0] <= 248:
      if n < 2: return 0
      pResult = (z[0] - 241) * 256 + z[1] + 240
      return 2
    if n < z[0]-246: return 0
    if z[0] == 249:
      pResult = 2288 + 256*z[1] + z[2]
      return 3
    if z[0] == 250:
      pResult = (z[1] shl 16u64) + (z[2] shl 8u64) + z[3]
      return 4
    let x = (z[1] shl 24) + (z[2] shl 16) + (z[3] shl 8) + z[4]
    if z[0] == 251:
      pResult = x
      return 5
    if z[0] == 252:
      pResult = (((uint64)x) shl 8) + z[5]
      return 6
    if z[0] == 253:
      pResult = (((uint64)x) shl 16) + (z[5] shl 8) + z[6]
      return 7
    if z[0] == 254:
      pResult = (((uint64)x) shl 24) + (z[5] shl 16) + (z[6] shl 8) + z[7]
      return 8
    pResult = (((uint64)x) shl 32) +
                (0xffffffff & ((z[5] shl 24) + (z[6] shl 16) + (z[7] shl 8) + z[8]))
    return 9

  proc varintWrite32(z: ptr UncheckedArray[byte]; y: uint32) =
    z[0] = uint8(y shr 24)
    z[1] = uint8(y shr 16)
    z[2] = uint8(y shr 8)
    z[3] = uint8(y)

  proc sqlite4PutVarint64(z: ptr UncheckedArray[byte], x: uint64): int =
    ## Write a varint into z. The buffer z must be at least 9 characters
    ## long to accommodate the largest possible varint. Returns the number of
    ## bytes used.
    if x <= 240:
      z[0] = uint8 x
      return 1
    if x <= 2287:
      y = uint32(x - 240)
      z[0] = uint8(y shr 8 + 241)
      z[1] = uint8(y and 255)
      return 2
    if x <= 67823:
      y = uint32(x - 2288)
      z[0] = 249
      z[1] = uint8(y shr 8)
      z[2] = uint8(y and 255)
      return 3
    let y = uint32 x
    let w = uint32(x shr 32)
    if w == 0:
      if y <= 16777215:
        z[0] = 250
        z[1] = uint8(y shr 16)
        z[2] = uint8(y shr 8)
        z[3] = uint8(y)
        return 4
      z[0] = 251
      varintWrite32(z+1, y)
      return 5
    if w <= 255:
      z[0] = 252
      z[1] = uint8 w
      varintWrite32(z+2, y)
      return 6
    if w <= 65535:
      z[0] = 253
      z[1] = uint8(w shr 8)
      z[2] = uint8 w
      varintWrite32(z+3, y)
      return 7
    if w <= 16777215:
      z[0] = 254
      z[1] = uint8(w shr 16)
      z[2] = uint8(w shr 8)
      z[3] = uint8 w
      varintWrite32(z+4, y)
      return 8
    z[0] = 255
    varintWrite32(z+1, w)
    varintWrite32(z+5, y)
    return 9

  template field(x: BiggestInt; action: SerializationAction) =
    when action == acRead:
      readBiggestInt(x)
    else:
      writeBiggestInt()