TrustedFirmware Git Browser
Code Review Sign In
review.trustedfirmware.org / mirror / mbed-tls / 1e8b6ac09c8076d5a8938612679b2357f4a088ac / . / tests / suites / test_suite_constant_time.data
blob: 1b0b964dad6e82c243735e6694344044dd3ce6e5 [file] [log] [blame]
Gilles Peskine3ffd6bc2022-11-29 15:44:21 +0100[diff] [blame]1# these are the numbers we'd get with an empty plaintext and truncated HMAC
2Constant-flow memcpy from offset: small
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]3mbedtls_ct_memcpy_offset:0:5:10
Gilles Peskine3ffd6bc2022-11-29 15:44:21 +0100[diff] [blame]4
5# we could get this with 255-bytes plaintext and untruncated SHA-256
6Constant-flow memcpy from offset: medium
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]7mbedtls_ct_memcpy_offset:0:255:32
Gilles Peskine3ffd6bc2022-11-29 15:44:21 +0100[diff] [blame]8
9# we could get this with 255-bytes plaintext and untruncated SHA-384
10Constant-flow memcpy from offset: large
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]11mbedtls_ct_memcpy_offset:100:339:48
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]12
13mbedtls_ct_memcmp NULL
14mbedtls_ct_memcmp_null
15
16mbedtls_ct_memcmp len 1
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]17mbedtls_ct_memcmp:-1:1:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]18
19mbedtls_ct_memcmp len 3
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]20mbedtls_ct_memcmp:-1:3:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]21
22mbedtls_ct_memcmp len 4
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]23mbedtls_ct_memcmp:-1:4:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]24
25mbedtls_ct_memcmp len 5
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]26mbedtls_ct_memcmp:-1:5:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]27
28mbedtls_ct_memcmp len 15
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]29mbedtls_ct_memcmp:-1:15:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]30
31mbedtls_ct_memcmp len 16
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]32mbedtls_ct_memcmp:-1:16:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]33
34mbedtls_ct_memcmp len 17
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]35mbedtls_ct_memcmp:-1:17:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]36
37mbedtls_ct_memcmp len 1 different
38mbedtls_ct_memcmp:0:1:0
39
40mbedtls_ct_memcmp len 17 different
41mbedtls_ct_memcmp:0:17:0
42
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]43mbedtls_ct_memcmp len 17 different 1
44mbedtls_ct_memcmp:1:17:0
45
46mbedtls_ct_memcmp len 17 different 4
47mbedtls_ct_memcmp:4:17:0
48
49mbedtls_ct_memcmp len 17 different 10
50mbedtls_ct_memcmp:10:17:0
51
52mbedtls_ct_memcmp len 17 different 16
53mbedtls_ct_memcmp:16:17:0
54
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]55mbedtls_ct_memcmp len 1 offset 1 different
56mbedtls_ct_memcmp:0:1:1
57
58mbedtls_ct_memcmp len 17 offset 1 different
59mbedtls_ct_memcmp:0:17:1
60
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]61mbedtls_ct_memcmp len 17 offset 1 different 1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]62mbedtls_ct_memcmp:1:17:1
63
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]64mbedtls_ct_memcmp len 17 offset 1 different 5
65mbedtls_ct_memcmp:5:17:1
66
67mbedtls_ct_memcmp len 1 offset 1
68mbedtls_ct_memcmp:-1:1:1
69
70mbedtls_ct_memcmp len 1 offset 2
71mbedtls_ct_memcmp:-1:1:2
72
73mbedtls_ct_memcmp len 1 offset 3
74mbedtls_ct_memcmp:-1:1:3
75
76mbedtls_ct_memcmp len 5 offset 1
77mbedtls_ct_memcmp:-1:5:1
78
79mbedtls_ct_memcmp len 5 offset 2
80mbedtls_ct_memcmp:-1:5:2
81
82mbedtls_ct_memcmp len 5 offset 3
83mbedtls_ct_memcmp:-1:5:3
84
85mbedtls_ct_memcmp len 17 offset 1
86mbedtls_ct_memcmp:-1:17:1
87
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]88mbedtls_ct_memcmp len 17 offset 2
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]89mbedtls_ct_memcmp:-1:17:2
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]90
91mbedtls_ct_memcmp len 17 offset 3
Dave Rodgman22b0d1a2023-01-21 10:29:00 +0000[diff] [blame]92mbedtls_ct_memcmp:-1:17:3
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]93
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]94mbedtls_ct_memcpy_if len 1 offset 0
95mbedtls_ct_memcpy_if:1:1:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]96
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]97mbedtls_ct_memcpy_if len 1 offset 1
98mbedtls_ct_memcpy_if:1:1:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]99
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]100mbedtls_ct_memcpy_if len 4 offset 0
101mbedtls_ct_memcpy_if:1:1:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]102
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]103mbedtls_ct_memcpy_if len 4 offset 1
104mbedtls_ct_memcpy_if:1:1:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]105
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]106mbedtls_ct_memcpy_if len 4 offset 2
107mbedtls_ct_memcpy_if:1:1:2
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]108
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]109mbedtls_ct_memcpy_if len 4 offset 3
110mbedtls_ct_memcpy_if:1:1:3
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]111
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]112mbedtls_ct_memcpy_if len 15 offset 0
113mbedtls_ct_memcpy_if:1:15:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]114
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]115mbedtls_ct_memcpy_if len 15 offset 1
116mbedtls_ct_memcpy_if:1:15:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]117
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]118mbedtls_ct_memcpy_if len 16 offset 0
119mbedtls_ct_memcpy_if:1:16:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]120
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]121mbedtls_ct_memcpy_if len 16 offset 1
122mbedtls_ct_memcpy_if:1:16:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]123
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]124mbedtls_ct_memcpy_if len 17 offset 0
125mbedtls_ct_memcpy_if:1:17:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]126
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]127mbedtls_ct_memcpy_if len 17 offset 1
128mbedtls_ct_memcpy_if:1:17:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]129
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]130mbedtls_ct_memcpy_if len 0 not eq
131mbedtls_ct_memcpy_if:0:17:0
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]132
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]133mbedtls_ct_memcpy_if len 5 offset 1 not eq
134mbedtls_ct_memcpy_if:0:5:1
Dave Rodgman39188c02022-12-23 12:27:04 +0000[diff] [blame]135
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]136mbedtls_ct_memcpy_if len 17 offset 3 not eq
137mbedtls_ct_memcpy_if:0:17:3
138
139mbedtls_ct_bool 0
140mbedtls_ct_bool:"0x0"
141
142mbedtls_ct_bool 1
143mbedtls_ct_bool:"0x1"
144
145mbedtls_ct_bool 4
146mbedtls_ct_bool:"0x4"
147
148mbedtls_ct_bool 0xfffffff
149mbedtls_ct_bool:"0xfffffff"
150
151mbedtls_ct_bool 0x7fffffff
152mbedtls_ct_bool:"0x7fffffff"
153
154mbedtls_ct_bool 0xfffffffe
155mbedtls_ct_bool:"0xfffffffe"
156
157mbedtls_ct_bool 0xffffffff
158mbedtls_ct_bool:"0xffffffff"
159
160mbedtls_ct_bool 0x0fffffffffffffff
161mbedtls_ct_bool:"0x0fffffffffffffff"
162
163mbedtls_ct_bool 0x7fffffffffffffff
164mbedtls_ct_bool:"0x7fffffffffffffff"
165
166mbedtls_ct_bool 0xffffffffffffffff
167mbedtls_ct_bool:"0xffffffffffffffff"
168
169mbedtls_ct_bool_xxx 0x0 0x0
170mbedtls_ct_bool_xxx:"0x0":"0x0"
171
172mbedtls_ct_bool_xxx 0x0 0x1
173mbedtls_ct_bool_xxx:"0x0":"0x1"
174
175mbedtls_ct_bool_xxx 0x0 0x7fffffff
176mbedtls_ct_bool_xxx:"0x0":"0x7fffffff"
177
178mbedtls_ct_bool_xxx 0x0 0xffffffff
179mbedtls_ct_bool_xxx:"0x0":"0xffffffff"
180
181mbedtls_ct_bool_xxx 0x0 0x7fffffffffffffff
182mbedtls_ct_bool_xxx:"0x0":"0x7fffffffffffffff"
183
184mbedtls_ct_bool_xxx 0x0 0xffffffffffffffff
185mbedtls_ct_bool_xxx:"0x0":"0xffffffffffffffff"
186
187mbedtls_ct_bool_xxx 0x1 0x0
188mbedtls_ct_bool_xxx:"0x1":"0x0"
189
190mbedtls_ct_bool_xxx 0x1 0x1
191mbedtls_ct_bool_xxx:"0x1":"0x1"
192
193mbedtls_ct_bool_xxx 0x1 0x7fffffff
194mbedtls_ct_bool_xxx:"0x1":"0x7fffffff"
195
196mbedtls_ct_bool_xxx 0x1 0xffffffff
197mbedtls_ct_bool_xxx:"0x1":"0xffffffff"
198
199mbedtls_ct_bool_xxx 0x1 0x7fffffffffffffff
200mbedtls_ct_bool_xxx:"0x1":"0x7fffffffffffffff"
201
202mbedtls_ct_bool_xxx 0x1 0xffffffffffffffff
203mbedtls_ct_bool_xxx:"0x1":"0xffffffffffffffff"
204
205mbedtls_ct_bool_xxx 0x7fffffff 0x0
206mbedtls_ct_bool_xxx:"0x7fffffff":"0x0"
207
208mbedtls_ct_bool_xxx 0x7fffffff 0x1
209mbedtls_ct_bool_xxx:"0x7fffffff":"0x1"
210
211mbedtls_ct_bool_xxx 0x7fffffff 0x7fffffff
212mbedtls_ct_bool_xxx:"0x7fffffff":"0x7fffffff"
213
214mbedtls_ct_bool_xxx 0x7fffffff 0xffffffff
215mbedtls_ct_bool_xxx:"0x7fffffff":"0xffffffff"
216
217mbedtls_ct_bool_xxx 0x7fffffff 0x7fffffffffffffff
218mbedtls_ct_bool_xxx:"0x7fffffff":"0x7fffffffffffffff"
219
220mbedtls_ct_bool_xxx 0x7fffffff 0xffffffffffffffff
221mbedtls_ct_bool_xxx:"0x7fffffff":"0xffffffffffffffff"
222
223mbedtls_ct_bool_xxx 0xffffffff 0x0
224mbedtls_ct_bool_xxx:"0xffffffff":"0x0"
225
226mbedtls_ct_bool_xxx 0xffffffff 0x1
227mbedtls_ct_bool_xxx:"0xffffffff":"0x1"
228
229mbedtls_ct_bool_xxx 0xffffffff 0x7fffffff
230mbedtls_ct_bool_xxx:"0xffffffff":"0x7fffffff"
231
232mbedtls_ct_bool_xxx 0xffffffff 0xffffffff
233mbedtls_ct_bool_xxx:"0xffffffff":"0xffffffff"
234
235mbedtls_ct_bool_xxx 0xffffffff 0x7fffffffffffffff
236mbedtls_ct_bool_xxx:"0xffffffff":"0x7fffffffffffffff"
237
238mbedtls_ct_bool_xxx 0xffffffff 0xffffffffffffffff
239mbedtls_ct_bool_xxx:"0xffffffff":"0xffffffffffffffff"
240
241mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x0
242mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x0"
243
244mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x1
245mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x1"
246
247mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x7fffffff
248mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x7fffffff"
249
250mbedtls_ct_bool_xxx 0x7fffffffffffffff 0xffffffff
251mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0xffffffff"
252
253mbedtls_ct_bool_xxx 0x7fffffffffffffff 0x7fffffffffffffff
254mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0x7fffffffffffffff"
255
256mbedtls_ct_bool_xxx 0x7fffffffffffffff 0xffffffffffffffff
257mbedtls_ct_bool_xxx:"0x7fffffffffffffff":"0xffffffffffffffff"
258
259mbedtls_ct_bool_xxx 0xffffffffffffffff 0x0
260mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x0"
261
262mbedtls_ct_bool_xxx 0xffffffffffffffff 0x1
263mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x1"
264
265mbedtls_ct_bool_xxx 0xffffffffffffffff 0x7fffffff
266mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x7fffffff"
267
268mbedtls_ct_bool_xxx 0xffffffffffffffff 0xffffffff
269mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0xffffffff"
270
271mbedtls_ct_bool_xxx 0xffffffffffffffff 0x7fffffffffffffff
272mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0x7fffffffffffffff"
273
274mbedtls_ct_bool_xxx 0xffffffffffffffff 0xffffffffffffffff
275mbedtls_ct_bool_xxx:"0xffffffffffffffff":"0xffffffffffffffff"
276
277mbedtls_ct_bool_xxx 138 256
278mbedtls_ct_bool_xxx:"138":"256"
279
280mbedtls_ct_bool_xxx 256 138
281mbedtls_ct_bool_xxx:"256":"138"
282
283mbedtls_ct_bool_xxx 6 6
284mbedtls_ct_bool_xxx:"0x6":"0x6"
285
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]286mbedtls_ct_uchar_in_range_if 0 0 0
287mbedtls_ct_uchar_in_range_if:0:0:0
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]288
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]289mbedtls_ct_uchar_in_range_if 0 0 100
290mbedtls_ct_uchar_in_range_if:0:0:100
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]291
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]292mbedtls_ct_uchar_in_range_if 0 0 255
293mbedtls_ct_uchar_in_range_if:0:0:255
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]294
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]295mbedtls_ct_uchar_in_range_if 0 65 0
296mbedtls_ct_uchar_in_range_if:0:65:0
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]297
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]298mbedtls_ct_uchar_in_range_if 0 65 100
299mbedtls_ct_uchar_in_range_if:0:65:100
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]300
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]301mbedtls_ct_uchar_in_range_if 0 65 255
302mbedtls_ct_uchar_in_range_if:0:65:255
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]303
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]304mbedtls_ct_uchar_in_range_if 0 90 0
305mbedtls_ct_uchar_in_range_if:0:90:0
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]306
Dave Rodgman1e8b6ac2023-05-18 11:23:59 +0100[diff] [blame^]307mbedtls_ct_uchar_in_range_if 0 90 100
308mbedtls_ct_uchar_in_range_if:0:90:100
309
310mbedtls_ct_uchar_in_range_if 0 90 255
311mbedtls_ct_uchar_in_range_if:0:90:255
312
313mbedtls_ct_uchar_in_range_if 0 255 0
314mbedtls_ct_uchar_in_range_if:0:255:0
315
316mbedtls_ct_uchar_in_range_if 0 255 100
317mbedtls_ct_uchar_in_range_if:0:255:100
318
319mbedtls_ct_uchar_in_range_if 0 255 255
320mbedtls_ct_uchar_in_range_if:0:255:255
321
322mbedtls_ct_uchar_in_range_if 65 0 0
323mbedtls_ct_uchar_in_range_if:65:0:0
324
325mbedtls_ct_uchar_in_range_if 65 0 100
326mbedtls_ct_uchar_in_range_if:65:0:100
327
328mbedtls_ct_uchar_in_range_if 65 0 255
329mbedtls_ct_uchar_in_range_if:65:0:255
330
331mbedtls_ct_uchar_in_range_if 65 65 0
332mbedtls_ct_uchar_in_range_if:65:65:0
333
334mbedtls_ct_uchar_in_range_if 65 65 100
335mbedtls_ct_uchar_in_range_if:65:65:100
336
337mbedtls_ct_uchar_in_range_if 65 65 255
338mbedtls_ct_uchar_in_range_if:65:65:255
339
340mbedtls_ct_uchar_in_range_if 65 90 0
341mbedtls_ct_uchar_in_range_if:65:90:0
342
343mbedtls_ct_uchar_in_range_if 65 90 100
344mbedtls_ct_uchar_in_range_if:65:90:100
345
346mbedtls_ct_uchar_in_range_if 65 90 255
347mbedtls_ct_uchar_in_range_if:65:90:255
348
349mbedtls_ct_uchar_in_range_if 65 255 0
350mbedtls_ct_uchar_in_range_if:65:255:0
351
352mbedtls_ct_uchar_in_range_if 65 255 100
353mbedtls_ct_uchar_in_range_if:65:255:100
354
355mbedtls_ct_uchar_in_range_if 65 255 255
356mbedtls_ct_uchar_in_range_if:65:255:255
357
358mbedtls_ct_uchar_in_range_if 90 0 0
359mbedtls_ct_uchar_in_range_if:90:0:0
360
361mbedtls_ct_uchar_in_range_if 90 0 100
362mbedtls_ct_uchar_in_range_if:90:0:100
363
364mbedtls_ct_uchar_in_range_if 90 0 255
365mbedtls_ct_uchar_in_range_if:90:0:255
366
367mbedtls_ct_uchar_in_range_if 90 65 0
368mbedtls_ct_uchar_in_range_if:90:65:0
369
370mbedtls_ct_uchar_in_range_if 90 65 100
371mbedtls_ct_uchar_in_range_if:90:65:100
372
373mbedtls_ct_uchar_in_range_if 90 65 255
374mbedtls_ct_uchar_in_range_if:90:65:255
375
376mbedtls_ct_uchar_in_range_if 90 90 0
377mbedtls_ct_uchar_in_range_if:90:90:0
378
379mbedtls_ct_uchar_in_range_if 90 90 100
380mbedtls_ct_uchar_in_range_if:90:90:100
381
382mbedtls_ct_uchar_in_range_if 90 90 255
383mbedtls_ct_uchar_in_range_if:90:90:255
384
385mbedtls_ct_uchar_in_range_if 90 255 0
386mbedtls_ct_uchar_in_range_if:90:255:0
387
388mbedtls_ct_uchar_in_range_if 90 255 100
389mbedtls_ct_uchar_in_range_if:90:255:100
390
391mbedtls_ct_uchar_in_range_if 90 255 255
392mbedtls_ct_uchar_in_range_if:90:255:255
393
394mbedtls_ct_uchar_in_range_if 255 0 0
395mbedtls_ct_uchar_in_range_if:255:0:0
396
397mbedtls_ct_uchar_in_range_if 255 0 100
398mbedtls_ct_uchar_in_range_if:255:0:100
399
400mbedtls_ct_uchar_in_range_if 255 0 255
401mbedtls_ct_uchar_in_range_if:255:0:255
402
403mbedtls_ct_uchar_in_range_if 255 65 0
404mbedtls_ct_uchar_in_range_if:255:65:0
405
406mbedtls_ct_uchar_in_range_if 255 65 100
407mbedtls_ct_uchar_in_range_if:255:65:100
408
409mbedtls_ct_uchar_in_range_if 255 65 255
410mbedtls_ct_uchar_in_range_if:255:65:255
411
412mbedtls_ct_uchar_in_range_if 255 90 0
413mbedtls_ct_uchar_in_range_if:255:90:0
414
415mbedtls_ct_uchar_in_range_if 255 90 100
416mbedtls_ct_uchar_in_range_if:255:90:100
417
418mbedtls_ct_uchar_in_range_if 255 90 255
419mbedtls_ct_uchar_in_range_if:255:90:255
420
421mbedtls_ct_uchar_in_range_if 255 255 0
422mbedtls_ct_uchar_in_range_if:255:255:0
423
424mbedtls_ct_uchar_in_range_if 255 255 100
425mbedtls_ct_uchar_in_range_if:255:255:100
426
427mbedtls_ct_uchar_in_range_if 255 255 255
428mbedtls_ct_uchar_in_range_if:255:255:255
Dave Rodgman14bec142023-05-11 16:19:27 +0100[diff] [blame]429
430mbedtls_ct_if 0x0 0x0 0x0
431mbedtls_ct_if:"0x0":"0x0":"0x0"
432
433mbedtls_ct_if 0x0 0x0 0x1
434mbedtls_ct_if:"0x0":"0x0":"0x1"
435
436mbedtls_ct_if 0x0 0x0 0x7fffffff
437mbedtls_ct_if:"0x0":"0x0":"0x7fffffff"
438
439mbedtls_ct_if 0x0 0x0 0xffffffff
440mbedtls_ct_if:"0x0":"0x0":"0xffffffff"
441
442mbedtls_ct_if 0x0 0x0 0x7fffffffffffffff
443mbedtls_ct_if:"0x0":"0x0":"0x7fffffffffffffff"
444
445mbedtls_ct_if 0x0 0x0 0xffffffffffffffff
446mbedtls_ct_if:"0x0":"0x0":"0xffffffffffffffff"
447
448mbedtls_ct_if 0x0 0x1 0x0
449mbedtls_ct_if:"0x0":"0x1":"0x0"
450
451mbedtls_ct_if 0x0 0x1 0x1
452mbedtls_ct_if:"0x0":"0x1":"0x1"
453
454mbedtls_ct_if 0x0 0x1 0x7fffffff
455mbedtls_ct_if:"0x0":"0x1":"0x7fffffff"
456
457mbedtls_ct_if 0x0 0x1 0xffffffff
458mbedtls_ct_if:"0x0":"0x1":"0xffffffff"
459
460mbedtls_ct_if 0x0 0x1 0x7fffffffffffffff
461mbedtls_ct_if:"0x0":"0x1":"0x7fffffffffffffff"
462
463mbedtls_ct_if 0x0 0x1 0xffffffffffffffff
464mbedtls_ct_if:"0x0":"0x1":"0xffffffffffffffff"
465
466mbedtls_ct_if 0x0 0x7fffffff 0x0
467mbedtls_ct_if:"0x0":"0x7fffffff":"0x0"
468
469mbedtls_ct_if 0x0 0x7fffffff 0x1
470mbedtls_ct_if:"0x0":"0x7fffffff":"0x1"
471
472mbedtls_ct_if 0x0 0x7fffffff 0x7fffffff
473mbedtls_ct_if:"0x0":"0x7fffffff":"0x7fffffff"
474
475mbedtls_ct_if 0x0 0x7fffffff 0xffffffff
476mbedtls_ct_if:"0x0":"0x7fffffff":"0xffffffff"
477
478mbedtls_ct_if 0x0 0x7fffffff 0x7fffffffffffffff
479mbedtls_ct_if:"0x0":"0x7fffffff":"0x7fffffffffffffff"
480
481mbedtls_ct_if 0x0 0x7fffffff 0xffffffffffffffff
482mbedtls_ct_if:"0x0":"0x7fffffff":"0xffffffffffffffff"
483
484mbedtls_ct_if 0x0 0xffffffff 0x0
485mbedtls_ct_if:"0x0":"0xffffffff":"0x0"
486
487mbedtls_ct_if 0x0 0xffffffff 0x1
488mbedtls_ct_if:"0x0":"0xffffffff":"0x1"
489
490mbedtls_ct_if 0x0 0xffffffff 0x7fffffff
491mbedtls_ct_if:"0x0":"0xffffffff":"0x7fffffff"
492
493mbedtls_ct_if 0x0 0xffffffff 0xffffffff
494mbedtls_ct_if:"0x0":"0xffffffff":"0xffffffff"
495
496mbedtls_ct_if 0x0 0xffffffff 0x7fffffffffffffff
497mbedtls_ct_if:"0x0":"0xffffffff":"0x7fffffffffffffff"
498
499mbedtls_ct_if 0x0 0xffffffff 0xffffffffffffffff
500mbedtls_ct_if:"0x0":"0xffffffff":"0xffffffffffffffff"
501
502mbedtls_ct_if 0x0 0x7fffffffffffffff 0x0
503mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x0"
504
505mbedtls_ct_if 0x0 0x7fffffffffffffff 0x1
506mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x1"
507
508mbedtls_ct_if 0x0 0x7fffffffffffffff 0x7fffffff
509mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x7fffffff"
510
511mbedtls_ct_if 0x0 0x7fffffffffffffff 0xffffffff
512mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0xffffffff"
513
514mbedtls_ct_if 0x0 0x7fffffffffffffff 0x7fffffffffffffff
515mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0x7fffffffffffffff"
516
517mbedtls_ct_if 0x0 0x7fffffffffffffff 0xffffffffffffffff
518mbedtls_ct_if:"0x0":"0x7fffffffffffffff":"0xffffffffffffffff"
519
520mbedtls_ct_if 0x0 0xffffffffffffffff 0x0
521mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x0"
522
523mbedtls_ct_if 0x0 0xffffffffffffffff 0x1
524mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x1"
525
526mbedtls_ct_if 0x0 0xffffffffffffffff 0x7fffffff
527mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x7fffffff"
528
529mbedtls_ct_if 0x0 0xffffffffffffffff 0xffffffff
530mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0xffffffff"
531
532mbedtls_ct_if 0x0 0xffffffffffffffff 0x7fffffffffffffff
533mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0x7fffffffffffffff"
534
535mbedtls_ct_if 0x0 0xffffffffffffffff 0xffffffffffffffff
536mbedtls_ct_if:"0x0":"0xffffffffffffffff":"0xffffffffffffffff"
537
538mbedtls_ct_if 0xffffffffffffffff 0x0 0x0
539mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x0"
540
541mbedtls_ct_if 0xffffffffffffffff 0x0 0x1
542mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x1"
543
544mbedtls_ct_if 0xffffffffffffffff 0x0 0x7fffffff
545mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x7fffffff"
546
547mbedtls_ct_if 0xffffffffffffffff 0x0 0xffffffff
548mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0xffffffff"
549
550mbedtls_ct_if 0xffffffffffffffff 0x0 0x7fffffffffffffff
551mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0x7fffffffffffffff"
552
553mbedtls_ct_if 0xffffffffffffffff 0x0 0xffffffffffffffff
554mbedtls_ct_if:"0xffffffffffffffff":"0x0":"0xffffffffffffffff"
555
556mbedtls_ct_if 0xffffffffffffffff 0x1 0x0
557mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x0"
558
559mbedtls_ct_if 0xffffffffffffffff 0x1 0x1
560mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x1"
561
562mbedtls_ct_if 0xffffffffffffffff 0x1 0x7fffffff
563mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x7fffffff"
564
565mbedtls_ct_if 0xffffffffffffffff 0x1 0xffffffff
566mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0xffffffff"
567
568mbedtls_ct_if 0xffffffffffffffff 0x1 0x7fffffffffffffff
569mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0x7fffffffffffffff"
570
571mbedtls_ct_if 0xffffffffffffffff 0x1 0xffffffffffffffff
572mbedtls_ct_if:"0xffffffffffffffff":"0x1":"0xffffffffffffffff"
573
574mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x0
575mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x0"
576
577mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x1
578mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x1"
579
580mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x7fffffff
581mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x7fffffff"
582
583mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0xffffffff
584mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0xffffffff"
585
586mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0x7fffffffffffffff
587mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0x7fffffffffffffff"
588
589mbedtls_ct_if 0xffffffffffffffff 0x7fffffff 0xffffffffffffffff
590mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffff":"0xffffffffffffffff"
591
592mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x0
593mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x0"
594
595mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x1
596mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x1"
597
598mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x7fffffff
599mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x7fffffff"
600
601mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0xffffffff
602mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0xffffffff"
603
604mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0x7fffffffffffffff
605mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0x7fffffffffffffff"
606
607mbedtls_ct_if 0xffffffffffffffff 0xffffffff 0xffffffffffffffff
608mbedtls_ct_if:"0xffffffffffffffff":"0xffffffff":"0xffffffffffffffff"
609
610mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x0
611mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x0"
612
613mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x1
614mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x1"
615
616mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x7fffffff
617mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x7fffffff"
618
619mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0xffffffff
620mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0xffffffff"
621
622mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0x7fffffffffffffff
623mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0x7fffffffffffffff"
624
625mbedtls_ct_if 0xffffffffffffffff 0x7fffffffffffffff 0xffffffffffffffff
626mbedtls_ct_if:"0xffffffffffffffff":"0x7fffffffffffffff":"0xffffffffffffffff"
627
628mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x0
629mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x0"
630
631mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x1
632mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x1"
633
634mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x7fffffff
635mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x7fffffff"
636
637mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0xffffffff
638mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0xffffffff"
639
640mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0x7fffffffffffffff
641mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0x7fffffffffffffff"
642
643mbedtls_ct_if 0xffffffffffffffff 0xffffffffffffffff 0xffffffffffffffff
644mbedtls_ct_if:"0xffffffffffffffff":"0xffffffffffffffff":"0xffffffffffffffff"
645
646mbedtls_ct_zeroize_if 0x0 0
647mbedtls_ct_zeroize_if:"0x0":0
648
649mbedtls_ct_zeroize_if 0x0 1
650mbedtls_ct_zeroize_if:"0x0":1
651
652mbedtls_ct_zeroize_if 0x0 1024
653mbedtls_ct_zeroize_if:"0x0":1024
654
655mbedtls_ct_zeroize_if 0xffffffffffffffff 0
656mbedtls_ct_zeroize_if:"0xffffffffffffffff":0
657
658mbedtls_ct_zeroize_if 0xffffffffffffffff 1
659mbedtls_ct_zeroize_if:"0xffffffffffffffff":1
660
661mbedtls_ct_zeroize_if 0xffffffffffffffff 4
662mbedtls_ct_zeroize_if:"0xffffffffffffffff":4
663
664mbedtls_ct_zeroize_if 0xffffffffffffffff 5
665mbedtls_ct_zeroize_if:"0xffffffffffffffff":5
666
667mbedtls_ct_zeroize_if 0xffffffffffffffff 7
668mbedtls_ct_zeroize_if:"0xffffffffffffffff":7
669
670mbedtls_ct_zeroize_if 0xffffffffffffffff 8
671mbedtls_ct_zeroize_if:"0xffffffffffffffff":8
672
673mbedtls_ct_zeroize_if 0xffffffffffffffff 9
674mbedtls_ct_zeroize_if:"0xffffffffffffffff":9
675
676mbedtls_ct_zeroize_if 0xffffffffffffffff 1024
677mbedtls_ct_zeroize_if:"0xffffffffffffffff":1024
678
679mbedtls_ct_memmove_left 0 0
680mbedtls_ct_memmove_left:0:0
681
682mbedtls_ct_memmove_left 1 0
683mbedtls_ct_memmove_left:1:0
684
685mbedtls_ct_memmove_left 1 1
686mbedtls_ct_memmove_left:1:1
687
688mbedtls_ct_memmove_left 16 0
689mbedtls_ct_memmove_left:16:0
690
691mbedtls_ct_memmove_left 16 1
692mbedtls_ct_memmove_left:16:1
693
694mbedtls_ct_memmove_left 16 4
695mbedtls_ct_memmove_left:16:4
696
697mbedtls_ct_memmove_left 16 15
698mbedtls_ct_memmove_left:16:15
699
700mbedtls_ct_memmove_left 16 16
701mbedtls_ct_memmove_left:16:16