arno/trezor-firmware
1
0
Fork 0
mirror of https://github.com/trezor/trezor-firmware.git synced 2024-11-15 20:19:23 +00:00
Code Issues Releases Wiki Activity

feat(core): introduce new alignment macros

Browse Source 
[no changelog]
This commit is contained in:
cepetr 2024-10-31 09:23:37 +01:00 committed by cepetr
parent a747210f54
commit c0829ec364
1 changed files with 72 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

75
core/embed/lib/sizedefs.h
View File

@ -1,5 +1,24 @@
#ifndef SIZEDEFS_H_
#define SIZEDEFS_H_
/*
* This file is part of the Trezor project, https://trezor.io/
*
* Copyright (c) SatoshiLabs
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
#ifndef LIB_SIZEDEFS_H
#define LIB_SIZEDEFS_H
#define SIZE_2K (2 * 1024)
#define SIZE_3K (3 * 1024)
@ -24,4 +43,54 @@
#define SIZE_256M (256 * 1024 * 1024)
#define SIZE_512M (512 * 1024 * 1024)
#endif
// Checks if a value 'x' is a power of two.
#define IS_POWER_OF_TWO(x) (((x) != 0) && (((x) & ((x)-1)) == 0))
// Ensures at compile-time that 'x' is a power of two.
#define ENSURE_POWER_OF_TWO(x) \
_Static_assert(IS_POWER_OF_TWO(x), "Value must be a power of two")
// Checks if 'addr' is properly aligned to 'align', which must be a
// power of two.
#define IS_ALIGNED(addr, align) \
({ \
ENSURE_POWER_OF_TWO(align); \
(((addr) & ((align)-1)) == 0); \
})
// Ensures that that 'addr' is properly aligned to 'align', which
// must be a power of two.
#define ENSURE_ALIGNMENT(addr, align) \
_Static_assert(IS_ALIGNED(addr, align), "Address must be aligned")
// Aligns 'addr' upwards to the next boundary of 'align', which must
// be a power of two.
#define ALIGN_UP(addr, align) \
({ \
ENSURE_POWER_OF_TWO(align); \
(((addr) + (align)-1) & ~((align)-1)); \
})
// Aligns 'addr' upwards to the next boundary of 'align', which must
// be a power of two.
//
// This version is for use in constant expressions. Use only if `ALIGN_UP`
// doesn't work in your case.
#define ALIGN_UP_CONST(addr, align) (((addr) + (align)-1) & ~((align)-1))
// Aligns 'addr' downwards to the previous boundary of 'align', which
// must be a power of two.
#define ALIGN_DOWN(addr, align) \
({ \
ENSURE_POWER_OF_TWO(align); \
((addr) & ~((align)-1)); \
})
// Aligns 'addr' downwards to the previous boundary of 'align', which
// must be a power of two.
//
// This version is for use in constant expressions. Use only if `ALIGN_DOWN`
// doesn't work in your case.
#define ALIGN_DOWN_CONST(addr, align) ((addr) & ~((align)-1))
#endif // LIB_SIZEDEFS_H