Coverage report: /home/ellis/comp/ext/ironclad/src/opt/sbcl/fndb.lisp

KindCoveredAll%
expression021 0.0
branch00nil
Key
Not instrumented
Conditionalized out
Executed
Not executed
 
Both branches taken
One branch taken
Neither branch taken
1
 ;;;; fndb.lisp
2
 (in-package :sb-c)
3
 
4
 #+(and (or x86 x86-64) ironclad-assembly)
5
 (progn
6
   (defknown (ironclad::fill-block-ub8-le ironclad::fill-block-ub8-be)
7
       ((simple-array (unsigned-byte 32) (*))
8
        (simple-array (unsigned-byte 8) (*))
9
        (integer 0 #.(- array-dimension-limit 64))) (values)
10
       (any) :overwrite-fndb-silently t)
11
 
12
   #+x86-64
13
   (defknown ironclad::fill-block-ub8-le/64
14
       ((simple-array (unsigned-byte 64) (*))
15
        (simple-array (unsigned-byte 8) (*))
16
        (integer 0 #.(- array-dimension-limit 64))) (values)
17
       (any) :overwrite-fndb-silently t)
18
 
19
   #+x86-64
20
   (defknown ironclad::fill-block-ub8-be/64
21
       ((simple-array (unsigned-byte 64) (*))
22
        (simple-array (unsigned-byte 8) (*))
23
        (integer 0 #.(- array-dimension-limit 128))) (values)
24
       (any) :overwrite-fndb-silently t)
25
 
26
   (defknown ironclad::expand-block
27
       ((simple-array (unsigned-byte 32) (*)))
28
       (values)
29
       (any) :overwrite-fndb-silently t)
30
 
31
   (defknown ironclad::%update-sha1-block
32
       ((simple-array (unsigned-byte 32) (*)) (simple-array (unsigned-byte 32) (*)))
33
       (simple-array (unsigned-byte 32) (*))
34
       (any) :overwrite-fndb-silently t)
35
 
36
   (defknown ironclad::sha256-expand-block
37
       ((simple-array (unsigned-byte 32) (*)))
38
       (values)
39
       (any) :overwrite-fndb-silently t)
40
 
41
   #+x86-64
42
   (defknown ironclad::x-salsa-core
43
       ((signed-byte 61) (simple-array (unsigned-byte 8) (*))
44
        (simple-array (unsigned-byte 32) (*)))
45
       (values)
46
       (any) :overwrite-fndb-silently t)
47
 
48
   #+x86-64
49
   (defknown ironclad::x-chacha-core
50
       ((signed-byte 61) (simple-array (unsigned-byte 8) (*))
51
        (simple-array (unsigned-byte 32) (*)))
52
       (values)
53
       (any) :overwrite-fndb-silently t)
54
 
55
   #+x86-64
56
   (defknown ironclad::pclmulqdq-support-p
57
       ()
58
       (boolean)
59
       (any)
60
     :overwrite-fndb-silently t)
61
 
62
   #+x86-64
63
   (defknown ironclad::aes-ni-support-p
64
       ()
65
       (boolean)
66
       (any)
67
     :overwrite-fndb-silently t)
68
 
69
   #+x86-64
70
   (defknown ironclad::aes-ni-generate-round-keys
71
       ((simple-array (unsigned-byte 8) (*))
72
        (unsigned-byte 64)
73
        (simple-array (unsigned-byte 32) (*))
74
        (simple-array (unsigned-byte 32) (*)))
75
       (values)
76
       (any)
77
     :overwrite-fndb-silently t)
78
 
79
   #+x86-64
80
   (defknown ironclad::aes-ni-encrypt
81
       ((simple-array (unsigned-byte 8) (*))
82
        (unsigned-byte 64)
83
        (simple-array (unsigned-byte 8) (*))
84
        (unsigned-byte 64)
85
        (simple-array (unsigned-byte 32) (*))
86
        (integer 0 14))
87
       (values)
88
       (any)
89
     :overwrite-fndb-silently t)
90
 
91
   #+x86-64
92
   (defknown ironclad::aes-ni-decrypt
93
       ((simple-array (unsigned-byte 8) (*))
94
        (unsigned-byte 64)
95
        (simple-array (unsigned-byte 8) (*))
96
        (unsigned-byte 64)
97
        (simple-array (unsigned-byte 32) (*))
98
        (integer 0 14))
99
       (values)
100
       (any)
101
     :overwrite-fndb-silently t)
102
 
103
   #+x86-64
104
   (defknown ironclad::fast-blake2s-mixing
105
       ((unsigned-byte 32)
106
        (unsigned-byte 32)
107
        (unsigned-byte 32)
108
        (unsigned-byte 32)
109
        (unsigned-byte 32)
110
        (unsigned-byte 32))
111
       (values (unsigned-byte 32)
112
               (unsigned-byte 32)
113
               (unsigned-byte 32)
114
               (unsigned-byte 32))
115
       (any)
116
     :overwrite-fndb-silently t)
117
 
118
   #+x86-64
119
   (defknown ironclad::gmac-mul-fast
120
       ((simple-array (unsigned-byte 8) (*))
121
        (simple-array (unsigned-byte 8) (*)))
122
       (values)
123
       (any)
124
     :overwrite-fndb-silently t)
125
 
126
   #+x86-64
127
   (defknown ironclad::xor128
128
       ((simple-array (unsigned-byte 8) (*))
129
        (integer 0 #.array-dimension-limit)
130
        (simple-array (unsigned-byte 8) (*))
131
        (integer 0 #.array-dimension-limit)
132
        (simple-array (unsigned-byte 8) (*))
133
        (integer 0 #.array-dimension-limit))
134
       (values)
135
       (any)
136
     :overwrite-fndb-silently t)
137
 
138
   #+x86-64
139
   (defknown ironclad::mov128
140
       ((simple-array (unsigned-byte 8) (*))
141
        (integer 0 #.array-dimension-limit)
142
        (simple-array (unsigned-byte 8) (*))
143
        (integer 0 #.array-dimension-limit))
144
       (values)
145
       (any)
146
     :overwrite-fndb-silently t)
147
 
148
   (defknown ironclad::swap32
149
       ((unsigned-byte 32))
150
       (unsigned-byte 32)
151
       (any)
152
     :overwrite-fndb-silently t)
153
 
154
   #+x86-64
155
   (defknown ironclad::swap64
156
       ((unsigned-byte 64))
157
       (unsigned-byte 64)
158
       (any)
159
     :overwrite-fndb-silently t)
160
 
161
   (defknown ironclad::inc-counter-block
162
       ((integer 0 #.most-positive-fixnum)
163
        (simple-array (unsigned-byte 8) (*)))
164
       (values)
165
       (any)
166
     :overwrite-fndb-silently t))