Coverage report: /home/ellis/comp/ext/ironclad/src/digests/crc32.lisp

KindCoveredAll%
expression074 0.0
branch02 0.0
Key
Not instrumented
Conditionalized out
Executed
Not executed
 
Both branches taken
One branch taken
Neither branch taken
1
 ;;;; crc32.lisp
2
 (in-package :crypto)
3
 (in-ironclad-readtable)
4
 
5
 (declaim (type (simple-array (unsigned-byte 32) (256))
6
                +crc32-table+ +crc32c-table+))
7
 (defconst +crc32-table+
8
   #32@(#x00000000 #x77073096 #xEE0E612C #x990951BA
9
        #x076DC419 #x706AF48F #xE963A535 #x9E6495A3
10
        #x0EDB8832 #x79DCB8A4 #xE0D5E91E #x97D2D988
11
        #x09B64C2B #x7EB17CBD #xE7B82D07 #x90BF1D91
12
        #x1DB71064 #x6AB020F2 #xF3B97148 #x84BE41DE
13
        #x1ADAD47D #x6DDDE4EB #xF4D4B551 #x83D385C7
14
        #x136C9856 #x646BA8C0 #xFD62F97A #x8A65C9EC
15
        #x14015C4F #x63066CD9 #xFA0F3D63 #x8D080DF5
16
        #x3B6E20C8 #x4C69105E #xD56041E4 #xA2677172
17
        #x3C03E4D1 #x4B04D447 #xD20D85FD #xA50AB56B
18
        #x35B5A8FA #x42B2986C #xDBBBC9D6 #xACBCF940
19
        #x32D86CE3 #x45DF5C75 #xDCD60DCF #xABD13D59
20
        #x26D930AC #x51DE003A #xC8D75180 #xBFD06116
21
        #x21B4F4B5 #x56B3C423 #xCFBA9599 #xB8BDA50F
22
        #x2802B89E #x5F058808 #xC60CD9B2 #xB10BE924
23
        #x2F6F7C87 #x58684C11 #xC1611DAB #xB6662D3D
24
        #x76DC4190 #x01DB7106 #x98D220BC #xEFD5102A
25
        #x71B18589 #x06B6B51F #x9FBFE4A5 #xE8B8D433
26
        #x7807C9A2 #x0F00F934 #x9609A88E #xE10E9818
27
        #x7F6A0DBB #x086D3D2D #x91646C97 #xE6635C01
28
        #x6B6B51F4 #x1C6C6162 #x856530D8 #xF262004E
29
        #x6C0695ED #x1B01A57B #x8208F4C1 #xF50FC457
30
        #x65B0D9C6 #x12B7E950 #x8BBEB8EA #xFCB9887C
31
        #x62DD1DDF #x15DA2D49 #x8CD37CF3 #xFBD44C65
32
        #x4DB26158 #x3AB551CE #xA3BC0074 #xD4BB30E2
33
        #x4ADFA541 #x3DD895D7 #xA4D1C46D #xD3D6F4FB
34
        #x4369E96A #x346ED9FC #xAD678846 #xDA60B8D0
35
        #x44042D73 #x33031DE5 #xAA0A4C5F #xDD0D7CC9
36
        #x5005713C #x270241AA #xBE0B1010 #xC90C2086
37
        #x5768B525 #x206F85B3 #xB966D409 #xCE61E49F
38
        #x5EDEF90E #x29D9C998 #xB0D09822 #xC7D7A8B4
39
        #x59B33D17 #x2EB40D81 #xB7BD5C3B #xC0BA6CAD
40
        #xEDB88320 #x9ABFB3B6 #x03B6E20C #x74B1D29A
41
        #xEAD54739 #x9DD277AF #x04DB2615 #x73DC1683
42
        #xE3630B12 #x94643B84 #x0D6D6A3E #x7A6A5AA8
43
        #xE40ECF0B #x9309FF9D #x0A00AE27 #x7D079EB1
44
        #xF00F9344 #x8708A3D2 #x1E01F268 #x6906C2FE
45
        #xF762575D #x806567CB #x196C3671 #x6E6B06E7
46
        #xFED41B76 #x89D32BE0 #x10DA7A5A #x67DD4ACC
47
        #xF9B9DF6F #x8EBEEFF9 #x17B7BE43 #x60B08ED5
48
        #xD6D6A3E8 #xA1D1937E #x38D8C2C4 #x4FDFF252
49
        #xD1BB67F1 #xA6BC5767 #x3FB506DD #x48B2364B
50
        #xD80D2BDA #xAF0A1B4C #x36034AF6 #x41047A60
51
        #xDF60EFC3 #xA867DF55 #x316E8EEF #x4669BE79
52
        #xCB61B38C #xBC66831A #x256FD2A0 #x5268E236
53
        #xCC0C7795 #xBB0B4703 #x220216B9 #x5505262F
54
        #xC5BA3BBE #xB2BD0B28 #x2BB45A92 #x5CB36A04
55
        #xC2D7FFA7 #xB5D0CF31 #x2CD99E8B #x5BDEAE1D
56
        #x9B64C2B0 #xEC63F226 #x756AA39C #x026D930A
57
        #x9C0906A9 #xEB0E363F #x72076785 #x05005713
58
        #x95BF4A82 #xE2B87A14 #x7BB12BAE #x0CB61B38
59
        #x92D28E9B #xE5D5BE0D #x7CDCEFB7 #x0BDBDF21
60
        #x86D3D2D4 #xF1D4E242 #x68DDB3F8 #x1FDA836E
61
        #x81BE16CD #xF6B9265B #x6FB077E1 #x18B74777
62
        #x88085AE6 #xFF0F6A70 #x66063BCA #x11010B5C
63
        #x8F659EFF #xF862AE69 #x616BFFD3 #x166CCF45
64
        #xA00AE278 #xD70DD2EE #x4E048354 #x3903B3C2
65
        #xA7672661 #xD06016F7 #x4969474D #x3E6E77DB
66
        #xAED16A4A #xD9D65ADC #x40DF0B66 #x37D83BF0
67
        #xA9BCAE53 #xDEBB9EC5 #x47B2CF7F #x30B5FFE9
68
        #xBDBDF21C #xCABAC28A #x53B39330 #x24B4A3A6
69
        #xBAD03605 #xCDD70693 #x54DE5729 #x23D967BF
70
        #xB3667A2E #xC4614AB8 #x5D681B02 #x2A6F2B94
71
        #xB40BBE37 #xC30C8EA1 #x5A05DF1B #x2D02EF8D))
72
 
73
 (defconst +crc32c-table+
74
   #32@(#x00000000 #xF26B8303 #xE13B70F7 #x1350F3F4
75
        #xC79A971F #x35F1141C #x26A1E7E8 #xD4CA64EB
76
        #x8AD958CF #x78B2DBCC #x6BE22838 #x9989AB3B
77
        #x4D43CFD0 #xBF284CD3 #xAC78BF27 #x5E133C24
78
        #x105EC76F #xE235446C #xF165B798 #x030E349B
79
        #xD7C45070 #x25AFD373 #x36FF2087 #xC494A384
80
        #x9A879FA0 #x68EC1CA3 #x7BBCEF57 #x89D76C54
81
        #x5D1D08BF #xAF768BBC #xBC267848 #x4E4DFB4B
82
        #x20BD8EDE #xD2D60DDD #xC186FE29 #x33ED7D2A
83
        #xE72719C1 #x154C9AC2 #x061C6936 #xF477EA35
84
        #xAA64D611 #x580F5512 #x4B5FA6E6 #xB93425E5
85
        #x6DFE410E #x9F95C20D #x8CC531F9 #x7EAEB2FA
86
        #x30E349B1 #xC288CAB2 #xD1D83946 #x23B3BA45
87
        #xF779DEAE #x05125DAD #x1642AE59 #xE4292D5A
88
        #xBA3A117E #x4851927D #x5B016189 #xA96AE28A
89
        #x7DA08661 #x8FCB0562 #x9C9BF696 #x6EF07595
90
        #x417B1DBC #xB3109EBF #xA0406D4B #x522BEE48
91
        #x86E18AA3 #x748A09A0 #x67DAFA54 #x95B17957
92
        #xCBA24573 #x39C9C670 #x2A993584 #xD8F2B687
93
        #x0C38D26C #xFE53516F #xED03A29B #x1F682198
94
        #x5125DAD3 #xA34E59D0 #xB01EAA24 #x42752927
95
        #x96BF4DCC #x64D4CECF #x77843D3B #x85EFBE38
96
        #xDBFC821C #x2997011F #x3AC7F2EB #xC8AC71E8
97
        #x1C661503 #xEE0D9600 #xFD5D65F4 #x0F36E6F7
98
        #x61C69362 #x93AD1061 #x80FDE395 #x72966096
99
        #xA65C047D #x5437877E #x4767748A #xB50CF789
100
        #xEB1FCBAD #x197448AE #x0A24BB5A #xF84F3859
101
        #x2C855CB2 #xDEEEDFB1 #xCDBE2C45 #x3FD5AF46
102
        #x7198540D #x83F3D70E #x90A324FA #x62C8A7F9
103
        #xB602C312 #x44694011 #x5739B3E5 #xA55230E6
104
        #xFB410CC2 #x092A8FC1 #x1A7A7C35 #xE811FF36
105
        #x3CDB9BDD #xCEB018DE #xDDE0EB2A #x2F8B6829
106
        #x82F63B78 #x709DB87B #x63CD4B8F #x91A6C88C
107
        #x456CAC67 #xB7072F64 #xA457DC90 #x563C5F93
108
        #x082F63B7 #xFA44E0B4 #xE9141340 #x1B7F9043
109
        #xCFB5F4A8 #x3DDE77AB #x2E8E845F #xDCE5075C
110
        #x92A8FC17 #x60C37F14 #x73938CE0 #x81F80FE3
111
        #x55326B08 #xA759E80B #xB4091BFF #x466298FC
112
        #x1871A4D8 #xEA1A27DB #xF94AD42F #x0B21572C
113
        #xDFEB33C7 #x2D80B0C4 #x3ED04330 #xCCBBC033
114
        #xA24BB5A6 #x502036A5 #x4370C551 #xB11B4652
115
        #x65D122B9 #x97BAA1BA #x84EA524E #x7681D14D
116
        #x2892ED69 #xDAF96E6A #xC9A99D9E #x3BC21E9D
117
        #xEF087A76 #x1D63F975 #x0E330A81 #xFC588982
118
        #xB21572C9 #x407EF1CA #x532E023E #xA145813D
119
        #x758FE5D6 #x87E466D5 #x94B49521 #x66DF1622
120
        #x38CC2A06 #xCAA7A905 #xD9F75AF1 #x2B9CD9F2
121
        #xFF56BD19 #x0D3D3E1A #x1E6DCDEE #xEC064EED
122
        #xC38D26C4 #x31E6A5C7 #x22B65633 #xD0DDD530
123
        #x0417B1DB #xF67C32D8 #xE52CC12C #x1747422F
124
        #x49547E0B #xBB3FFD08 #xA86F0EFC #x5A048DFF
125
        #x8ECEE914 #x7CA56A17 #x6FF599E3 #x9D9E1AE0
126
        #xD3D3E1AB #x21B862A8 #x32E8915C #xC083125F
127
        #x144976B4 #xE622F5B7 #xF5720643 #x07198540
128
        #x590AB964 #xAB613A67 #xB831C993 #x4A5A4A90
129
        #x9E902E7B #x6CFBAD78 #x7FAB5E8C #x8DC0DD8F
130
        #xE330A81A #x115B2B19 #x020BD8ED #xF0605BEE
131
        #x24AA3F05 #xD6C1BC06 #xC5914FF2 #x37FACCF1
132
        #x69E9F0D5 #x9B8273D6 #x88D28022 #x7AB90321
133
        #xAE7367CA #x5C18E4C9 #x4F48173D #xBD23943E
134
        #xF36E6F75 #x0105EC76 #x12551F82 #xE03E9C81
135
        #x34F4F86A #xC69F7B69 #xD5CF889D #x27A40B9E
136
        #x79B737BA #x8BDCB4B9 #x988C474D #x6AE7C44E
137
        #xBE2DA0A5 #x4C4623A6 #x5F16D052 #xAD7D5351))
138
 
139
 (defun crc32-table (state)
140
   (etypecase state
141
     (crc32c +crc32c-table+)
142
     (crc32 +crc32-table+)))
143
 
144
 (defstruct (crc32
145
              (:constructor %make-crc32-digest nil)
146
              (:constructor %make-crc32-state (crc))
147
              (:copier nil))
148
   (crc 4294967295 :type (unsigned-byte 32)))
149
 
150
 (defstruct (crc32c
151
              (:include crc32)
152
              (:constructor %make-crc32c-digest nil)
153
              (:copier nil)))
154
 
155
 (defmethod reinitialize-instance ((state crc32) &rest initargs)
156
   (declare (ignore initargs))
157
   (setf (crc32-crc state) #xffffffff)
158
   state)
159
 
160
 (defmethod copy-digest ((state crc32) &optional copy)
161
   (check-type copy (or null crc32))
162
   (cond
163
     (copy
164
      (setf (crc32-crc copy) (crc32-crc state))
165
      copy)
166
     (t
167
      (%make-crc32-state (crc32-crc state)))))
168
 
169
 (define-digest-updater crc32
170
   (let ((crc (crc32-crc state)))
171
     (declare (type (unsigned-byte 32) crc))
172
     (do ((i start (1+ i))
173
          (table (crc32-table state)))
174
         ((>= i end)
175
          (setf (crc32-crc state) crc)
176
          state)
177
       (setf crc (logxor (aref table
178
                               (logand (logxor crc (aref sequence i)) #xff))
179
                         (mod32ash crc -8))))))
180
 
181
 (define-digest-finalizer (crc32 4)
182
   (flet ((stuff-state (crc digest start)
183
            (declare (type (simple-array (unsigned-byte 8) (*)) digest))
184
            (declare (type (integer 0 #.(- array-dimension-limit 4)) start))
185
            (setf (ub32ref/be digest start) crc)
186
            digest))
187
     (declare (inline stuff-state))
188
     (let ((result (logxor #xffffffff (crc32-crc state))))
189
       (stuff-state result digest digest-start))))
190
 
191
 (defdigest crc32 :digest-length 4 :block-length 1)
192
 (defdigest crc32c :digest-length 4 :block-length 1)