blob: 6c65084f46ea9090fa5f9a135e3f144e3efcc5f8 [file] [log] [blame]
Gilles Peskinec4672fd2019-09-11 13:39:11 +02001/**
2 * \file common.h
3 *
4 * \brief Utility macros for internal use in the library
5 */
6/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02007 * Copyright The Mbed TLS Contributors
Gilles Peskinec4672fd2019-09-11 13:39:11 +02008 * SPDX-License-Identifier: Apache-2.0
9 *
10 * Licensed under the Apache License, Version 2.0 (the "License"); you may
11 * not use this file except in compliance with the License.
12 * You may obtain a copy of the License at
13 *
14 * http://www.apache.org/licenses/LICENSE-2.0
15 *
16 * Unless required by applicable law or agreed to in writing, software
17 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
18 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
19 * See the License for the specific language governing permissions and
20 * limitations under the License.
Gilles Peskinec4672fd2019-09-11 13:39:11 +020021 */
22
23#ifndef MBEDTLS_LIBRARY_COMMON_H
24#define MBEDTLS_LIBRARY_COMMON_H
25
Bence Szépkútic662b362021-05-27 11:25:03 +020026#include "mbedtls/build_info.h"
Dave Rodgmanfbc23222022-11-24 18:07:37 +000027#include "alignment.h"
Gilles Peskinec4672fd2019-09-11 13:39:11 +020028
Tom Cosgrove6ef9bb32023-03-08 14:19:51 +000029#include <assert.h>
Gilles Peskine42649d92022-11-23 14:15:57 +010030#include <stddef.h>
Joe Subbiani2194dc42021-07-14 12:31:31 +010031#include <stdint.h>
Dave Rodgmanc3d80412022-11-22 15:01:39 +000032#include <stddef.h>
Joe Subbiani2194dc42021-07-14 12:31:31 +010033
Dave Rodgman3f47b3f2023-05-23 16:11:22 +010034#if defined(__ARM_NEON)
Dave Rodgman6f40f8b2023-05-22 18:21:20 +010035#include <arm_neon.h>
Dave Rodgman4ffd7c72023-09-05 11:43:02 +010036#define MBEDTLS_HAVE_NEON_INTRINSICS
Dave Rodgman6f40f8b2023-05-22 18:21:20 +010037#endif /* __ARM_NEON */
38
Dave Rodgman4ffd7c72023-09-05 11:43:02 +010039#if defined(_M_ARM64) || defined(_M_ARM64EC)
40#include <arm64_neon.h>
41#define MBEDTLS_HAVE_NEON_INTRINSICS
42#endif
43
Gilles Peskinec4672fd2019-09-11 13:39:11 +020044/** Helper to define a function as static except when building invasive tests.
45 *
46 * If a function is only used inside its own source file and should be
47 * declared `static` to allow the compiler to optimize for code size,
48 * but that function has unit tests, define it with
49 * ```
50 * MBEDTLS_STATIC_TESTABLE int mbedtls_foo(...) { ... }
51 * ```
52 * and declare it in a header in the `library/` directory with
53 * ```
54 * #if defined(MBEDTLS_TEST_HOOKS)
55 * int mbedtls_foo(...);
56 * #endif
57 * ```
58 */
59#if defined(MBEDTLS_TEST_HOOKS)
60#define MBEDTLS_STATIC_TESTABLE
61#else
62#define MBEDTLS_STATIC_TESTABLE static
63#endif
64
TRodziewicz7871c2e2021-07-07 17:29:43 +020065#if defined(MBEDTLS_TEST_HOOKS)
Gilles Peskine449bd832023-01-11 14:50:10 +010066extern void (*mbedtls_test_hook_test_fail)(const char *test, int line, const char *file);
67#define MBEDTLS_TEST_HOOK_TEST_ASSERT(TEST) \
68 do { \
69 if ((!(TEST)) && ((*mbedtls_test_hook_test_fail) != NULL)) \
70 { \
71 (*mbedtls_test_hook_test_fail)( #TEST, __LINE__, __FILE__); \
72 } \
73 } while (0)
TRodziewicz7871c2e2021-07-07 17:29:43 +020074#else
Gilles Peskine449bd832023-01-11 14:50:10 +010075#define MBEDTLS_TEST_HOOK_TEST_ASSERT(TEST)
TRodziewicz7871c2e2021-07-07 17:29:43 +020076#endif /* defined(MBEDTLS_TEST_HOOKS) */
77
Andrzej Kurekb22b9772023-05-30 09:44:20 -040078/** \def ARRAY_LENGTH
79 * Return the number of elements of a static or stack array.
80 *
81 * \param array A value of array (not pointer) type.
82 *
83 * \return The number of elements of the array.
84 */
85/* A correct implementation of ARRAY_LENGTH, but which silently gives
86 * a nonsensical result if called with a pointer rather than an array. */
87#define ARRAY_LENGTH_UNSAFE(array) \
88 (sizeof(array) / sizeof(*(array)))
89
90#if defined(__GNUC__)
91/* Test if arg and &(arg)[0] have the same type. This is true if arg is
92 * an array but not if it's a pointer. */
93#define IS_ARRAY_NOT_POINTER(arg) \
94 (!__builtin_types_compatible_p(__typeof__(arg), \
95 __typeof__(&(arg)[0])))
96/* A compile-time constant with the value 0. If `const_expr` is not a
97 * compile-time constant with a nonzero value, cause a compile-time error. */
98#define STATIC_ASSERT_EXPR(const_expr) \
99 (0 && sizeof(struct { unsigned int STATIC_ASSERT : 1 - 2 * !(const_expr); }))
100
101/* Return the scalar value `value` (possibly promoted). This is a compile-time
102 * constant if `value` is. `condition` must be a compile-time constant.
103 * If `condition` is false, arrange to cause a compile-time error. */
104#define STATIC_ASSERT_THEN_RETURN(condition, value) \
105 (STATIC_ASSERT_EXPR(condition) ? 0 : (value))
106
107#define ARRAY_LENGTH(array) \
108 (STATIC_ASSERT_THEN_RETURN(IS_ARRAY_NOT_POINTER(array), \
109 ARRAY_LENGTH_UNSAFE(array)))
110
111#else
112/* If we aren't sure the compiler supports our non-standard tricks,
113 * fall back to the unsafe implementation. */
114#define ARRAY_LENGTH(array) ARRAY_LENGTH_UNSAFE(array)
115#endif
Mateusz Starzyk57d1d192021-05-27 14:39:53 +0200116/** Allow library to access its structs' private members.
Mateusz Starzyk2c09c9b2021-05-14 22:20:10 +0200117 *
118 * Although structs defined in header files are publicly available,
119 * their members are private and should not be accessed by the user.
120 */
121#define MBEDTLS_ALLOW_PRIVATE_ACCESS
122
Tom Cosgroveca8c61b2023-07-17 15:17:40 +0100123/**
124 * \brief Securely zeroize a buffer then free it.
125 *
Tom Cosgrove3a11bb82023-07-18 16:26:29 +0100126 * Similar to making consecutive calls to
127 * \c mbedtls_platform_zeroize() and \c mbedtls_free(), but has
Tom Cosgroveca8c61b2023-07-17 15:17:40 +0100128 * code size savings, and potential for optimisation in the future.
129 *
Tom Cosgrove3a11bb82023-07-18 16:26:29 +0100130 * Guaranteed to be a no-op if \p buf is \c NULL and \p len is 0.
131 *
132 * \param buf Buffer to be zeroized then freed.
Tom Cosgroveca8c61b2023-07-17 15:17:40 +0100133 * \param len Length of the buffer in bytes
134 */
135void mbedtls_zeroize_and_free(void *buf, size_t len);
136
Gilles Peskine42649d92022-11-23 14:15:57 +0100137/** Return an offset into a buffer.
138 *
139 * This is just the addition of an offset to a pointer, except that this
140 * function also accepts an offset of 0 into a buffer whose pointer is null.
Gilles Peskine7d237782022-11-25 13:34:59 +0100141 * (`p + n` has undefined behavior when `p` is null, even when `n == 0`.
142 * A null pointer is a valid buffer pointer when the size is 0, for example
143 * as the result of `malloc(0)` on some platforms.)
Gilles Peskine42649d92022-11-23 14:15:57 +0100144 *
145 * \param p Pointer to a buffer of at least n bytes.
146 * This may be \p NULL if \p n is zero.
147 * \param n An offset in bytes.
148 * \return Pointer to offset \p n in the buffer \p p.
149 * Note that this is only a valid pointer if the size of the
150 * buffer is at least \p n + 1.
151 */
152static inline unsigned char *mbedtls_buffer_offset(
Gilles Peskine449bd832023-01-11 14:50:10 +0100153 unsigned char *p, size_t n)
Gilles Peskine42649d92022-11-23 14:15:57 +0100154{
Gilles Peskine449bd832023-01-11 14:50:10 +0100155 return p == NULL ? NULL : p + n;
Gilles Peskine42649d92022-11-23 14:15:57 +0100156}
157
158/** Return an offset into a read-only buffer.
159 *
Gilles Peskine7d237782022-11-25 13:34:59 +0100160 * Similar to mbedtls_buffer_offset(), but for const pointers.
Gilles Peskine42649d92022-11-23 14:15:57 +0100161 *
162 * \param p Pointer to a buffer of at least n bytes.
163 * This may be \p NULL if \p n is zero.
164 * \param n An offset in bytes.
165 * \return Pointer to offset \p n in the buffer \p p.
166 * Note that this is only a valid pointer if the size of the
167 * buffer is at least \p n + 1.
168 */
169static inline const unsigned char *mbedtls_buffer_offset_const(
Gilles Peskine449bd832023-01-11 14:50:10 +0100170 const unsigned char *p, size_t n)
Gilles Peskine42649d92022-11-23 14:15:57 +0100171{
Gilles Peskine449bd832023-01-11 14:50:10 +0100172 return p == NULL ? NULL : p + n;
Gilles Peskine42649d92022-11-23 14:15:57 +0100173}
174
Dave Rodgmanc3d80412022-11-22 15:01:39 +0000175/**
176 * Perform a fast block XOR operation, such that
177 * r[i] = a[i] ^ b[i] where 0 <= i < n
178 *
179 * \param r Pointer to result (buffer of at least \p n bytes). \p r
180 * may be equal to either \p a or \p b, but behaviour when
181 * it overlaps in other ways is undefined.
182 * \param a Pointer to input (buffer of at least \p n bytes)
183 * \param b Pointer to input (buffer of at least \p n bytes)
184 * \param n Number of bytes to process.
185 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100186inline void mbedtls_xor(unsigned char *r, const unsigned char *a, const unsigned char *b, size_t n)
Dave Rodgmanc3d80412022-11-22 15:01:39 +0000187{
Dave Rodgmanb9cd19b2022-12-30 21:32:03 +0000188 size_t i = 0;
189#if defined(MBEDTLS_EFFICIENT_UNALIGNED_ACCESS)
Dave Rodgmana0f10da2023-09-05 11:43:17 +0100190#if defined(MBEDTLS_HAVE_NEON_INTRINSICS)
Dave Rodgman6f40f8b2023-05-22 18:21:20 +0100191 for (; (i + 16) <= n; i += 16) {
Dave Rodgmanf32176c2023-06-09 16:25:49 +0100192 uint8x16_t v1 = vld1q_u8(a + i);
193 uint8x16_t v2 = vld1q_u8(b + i);
Dave Rodgman2070c202023-06-07 16:25:58 +0100194 uint8x16_t x = veorq_u8(v1, v2);
Dave Rodgmanf32176c2023-06-09 16:25:49 +0100195 vst1q_u8(r + i, x);
Dave Rodgman6f40f8b2023-05-22 18:21:20 +0100196 }
Dave Rodgmanc5cc7272023-09-15 11:41:17 +0100197#elif defined(MBEDTLS_ARCH_IS_X64) || defined(MBEDTLS_ARCH_IS_ARM64)
Dave Rodgman0805ad12023-05-19 11:48:10 +0100198 /* This codepath probably only makes sense on architectures with 64-bit registers */
199 for (; (i + 8) <= n; i += 8) {
200 uint64_t x = mbedtls_get_unaligned_uint64(a + i) ^ mbedtls_get_unaligned_uint64(b + i);
201 mbedtls_put_unaligned_uint64(r + i, x);
202 }
Dave Rodgman5c394ff2023-06-09 20:10:36 +0100203#else
Dave Rodgmanb9cd19b2022-12-30 21:32:03 +0000204 for (; (i + 4) <= n; i += 4) {
Gilles Peskine449bd832023-01-11 14:50:10 +0100205 uint32_t x = mbedtls_get_unaligned_uint32(a + i) ^ mbedtls_get_unaligned_uint32(b + i);
206 mbedtls_put_unaligned_uint32(r + i, x);
Dave Rodgmanc3d80412022-11-22 15:01:39 +0000207 }
Dave Rodgmanb9cd19b2022-12-30 21:32:03 +0000208#endif
Dave Rodgman5c394ff2023-06-09 20:10:36 +0100209#endif
Gilles Peskine449bd832023-01-11 14:50:10 +0100210 for (; i < n; i++) {
Dave Rodgmanc3d80412022-11-22 15:01:39 +0000211 r[i] = a[i] ^ b[i];
212 }
213}
214
Dave Rodgman03bb5262023-06-15 18:43:24 +0100215/**
216 * Perform a fast block XOR operation, such that
217 * r[i] = a[i] ^ b[i] where 0 <= i < n
218 *
219 * In some situations, this can perform better than mbedtls_xor (e.g., it's about 5%
220 * better in AES-CBC).
221 *
222 * \param r Pointer to result (buffer of at least \p n bytes). \p r
223 * may be equal to either \p a or \p b, but behaviour when
224 * it overlaps in other ways is undefined.
225 * \param a Pointer to input (buffer of at least \p n bytes)
226 * \param b Pointer to input (buffer of at least \p n bytes)
227 * \param n Number of bytes to process.
228 */
Dave Rodgman2dd15b32023-06-15 20:27:53 +0100229static inline void mbedtls_xor_no_simd(unsigned char *r,
230 const unsigned char *a,
231 const unsigned char *b,
232 size_t n)
Dave Rodgman03bb5262023-06-15 18:43:24 +0100233{
234 size_t i = 0;
235#if defined(MBEDTLS_EFFICIENT_UNALIGNED_ACCESS)
Dave Rodgmanc5cc7272023-09-15 11:41:17 +0100236#if defined(MBEDTLS_ARCH_IS_X64) || defined(MBEDTLS_ARCH_IS_ARM64)
Dave Rodgman03bb5262023-06-15 18:43:24 +0100237 /* This codepath probably only makes sense on architectures with 64-bit registers */
238 for (; (i + 8) <= n; i += 8) {
239 uint64_t x = mbedtls_get_unaligned_uint64(a + i) ^ mbedtls_get_unaligned_uint64(b + i);
240 mbedtls_put_unaligned_uint64(r + i, x);
241 }
242#else
243 for (; (i + 4) <= n; i += 4) {
244 uint32_t x = mbedtls_get_unaligned_uint32(a + i) ^ mbedtls_get_unaligned_uint32(b + i);
245 mbedtls_put_unaligned_uint32(r + i, x);
246 }
247#endif
248#endif
249 for (; i < n; i++) {
250 r[i] = a[i] ^ b[i];
251 }
252}
253
Jerry Yu6c983522021-09-24 12:45:36 +0800254/* Fix MSVC C99 compatible issue
255 * MSVC support __func__ from visual studio 2015( 1900 )
256 * Use MSVC predefine macro to avoid name check fail.
257 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100258#if (defined(_MSC_VER) && (_MSC_VER <= 1900))
Jerry Yud52398d2021-09-28 16:13:44 +0800259#define /*no-check-names*/ __func__ __FUNCTION__
Jerry Yu6c983522021-09-24 12:45:36 +0800260#endif
261
Dave Rodgmanfa960262023-01-10 11:14:02 +0000262/* Define `asm` for compilers which don't define it. */
263/* *INDENT-OFF* */
264#ifndef asm
Agathiyan Bragadeesh789e50e2023-07-14 16:59:36 +0100265#if defined(__IAR_SYSTEMS_ICC__)
266#define asm __asm
267#else
Dave Rodgmanfa960262023-01-10 11:14:02 +0000268#define asm __asm__
269#endif
Agathiyan Bragadeesh789e50e2023-07-14 16:59:36 +0100270#endif
Dave Rodgmanfa960262023-01-10 11:14:02 +0000271/* *INDENT-ON* */
272
Dave Rodgman0400ae22023-06-21 16:14:46 +0100273/*
Dave Rodgman28e2ca52023-06-27 15:25:38 +0100274 * Define the constraint used for read-only pointer operands to aarch64 asm.
Dave Rodgman0400ae22023-06-21 16:14:46 +0100275 *
276 * This is normally the usual "r", but for aarch64_32 (aka ILP32,
277 * as found in watchos), "p" is required to avoid warnings from clang.
Dave Rodgmane6c99962023-06-21 21:16:23 +0100278 *
279 * Note that clang does not recognise '+p' or '=p', and armclang
Dave Rodgman28e2ca52023-06-27 15:25:38 +0100280 * does not recognise 'p' at all. Therefore, to update a pointer from
281 * aarch64 assembly, it is necessary to use something like:
282 *
283 * uintptr_t uptr = (uintptr_t) ptr;
284 * asm( "ldr x4, [%x0], #8" ... : "+r" (uptr) : : )
285 * ptr = (void*) uptr;
286 *
287 * Note that the "x" in "%x0" is neccessary; writing "%0" will cause warnings.
Dave Rodgman0400ae22023-06-21 16:14:46 +0100288 */
289#if defined(__aarch64__) && defined(MBEDTLS_HAVE_ASM)
290#if UINTPTR_MAX == 0xfffffffful
291/* ILP32: Specify the pointer operand slightly differently, as per #7787. */
292#define MBEDTLS_ASM_AARCH64_PTR_CONSTRAINT "p"
293#elif UINTPTR_MAX == 0xfffffffffffffffful
294/* Normal case (64-bit pointers): use "r" as the constraint for pointer operands to asm */
295#define MBEDTLS_ASM_AARCH64_PTR_CONSTRAINT "r"
296#else
Antonio de Angelis1ee4d122023-08-16 12:26:37 +0100297#error "Unrecognised pointer size for aarch64"
Dave Rodgman0400ae22023-06-21 16:14:46 +0100298#endif
299#endif
300
Tom Cosgrove6ef9bb32023-03-08 14:19:51 +0000301/* Always provide a static assert macro, so it can be used unconditionally.
Tom Cosgrove57f04b82023-03-14 12:03:47 +0000302 * It will expand to nothing on some systems.
Tom Cosgrove6ef9bb32023-03-08 14:19:51 +0000303 * Can be used outside functions (but don't add a trailing ';' in that case:
304 * the semicolon is included here to avoid triggering -Wextra-semi when
305 * MBEDTLS_STATIC_ASSERT() expands to nothing).
306 * Can't use the C11-style `defined(static_assert)` on FreeBSD, since it
307 * defines static_assert even with -std=c99, but then complains about it.
308 */
309#if defined(static_assert) && !defined(__FreeBSD__)
310#define MBEDTLS_STATIC_ASSERT(expr, msg) static_assert(expr, msg);
Tom Cosgrove6ef9bb32023-03-08 14:19:51 +0000311#else
312#define MBEDTLS_STATIC_ASSERT(expr, msg)
313#endif
314
Dave Rodgman360e04f2023-06-09 17:18:32 +0100315/* Define compiler branch hints */
316#if defined(__has_builtin)
317#if __has_builtin(__builtin_expect)
Dave Rodgmane9fcffd2023-07-19 15:42:19 +0100318#define MBEDTLS_LIKELY(x) __builtin_expect(!!(x), 1)
319#define MBEDTLS_UNLIKELY(x) __builtin_expect(!!(x), 0)
Dave Rodgman360e04f2023-06-09 17:18:32 +0100320#endif
321#endif
322#if !defined(MBEDTLS_LIKELY)
323#define MBEDTLS_LIKELY(x) x
324#define MBEDTLS_UNLIKELY(x) x
325#endif
326
Dave Rodgman7fdfd702023-06-15 18:42:25 +0100327#if defined(__GNUC__) && !defined(__ARMCC_VERSION) && !defined(__clang__) \
328 && !defined(__llvm__) && !defined(__INTEL_COMPILER)
329/* Defined if the compiler really is gcc and not clang, etc */
330#define MBEDTLS_COMPILER_IS_GCC
331#endif
332
Dave Rodgman9bb7e6f2023-06-16 09:41:21 +0100333/* For gcc -Os, override with -O2 for a given function.
334 *
335 * This will not affect behaviour for other optimisation settings, e.g. -O0.
336 */
Dave Rodgmanb055f752023-06-15 18:42:59 +0100337#if defined(MBEDTLS_COMPILER_IS_GCC) && defined(__OPTIMIZE_SIZE__)
Dave Rodgman9bb7e6f2023-06-16 09:41:21 +0100338#define MBEDTLS_OPTIMIZE_FOR_PERFORMANCE __attribute__((optimize("-O2")))
Dave Rodgmanb055f752023-06-15 18:42:59 +0100339#else
Dave Rodgman9bb7e6f2023-06-16 09:41:21 +0100340#define MBEDTLS_OPTIMIZE_FOR_PERFORMANCE
Dave Rodgmanb055f752023-06-15 18:42:59 +0100341#endif
342
Gilles Peskinec4672fd2019-09-11 13:39:11 +0200343#endif /* MBEDTLS_LIBRARY_COMMON_H */