| /optee_os/lib/libutils/isoc/arch/arm/softfloat/source/include/ |
| H A D | primitives.h | 1 /* SPDX-License-Identifier: BSD-3-Clause */ 5 This C header file is part of the SoftFloat IEEE Floating-Point Arithmetic 46 /*---------------------------------------------------------------------------- 49 | into the least-significant bit of the shifted value by setting the least- 50 | significant bit to 1. This shifted-and-jammed value is returned. 51 *----------------------------------------------------------------------------*/ 55 { return a>>count | ((a & (((uint_fast64_t) 1<<count) - 1)) != 0); } in softfloat_shortShiftRightJam64() 62 /*---------------------------------------------------------------------------- 65 | least-significant bit of the shifted value by setting the least-significant 66 | bit to 1. This shifted-and-jammed value is returned. [all …]
|
| /optee_os/lib/libutils/isoc/arch/arm/softfloat/source/8086/ |
| H A D | specialize.h | 1 /* SPDX-License-Identifier: BSD-3-Clause */ 5 This C header file is part of the SoftFloat IEEE Floating-Point Arithmetic 45 /*---------------------------------------------------------------------------- 47 *----------------------------------------------------------------------------*/ 50 /*---------------------------------------------------------------------------- 53 *----------------------------------------------------------------------------*/ 63 /*---------------------------------------------------------------------------- 64 | The bit pattern for a default generated 32-bit floating-point NaN. 65 *----------------------------------------------------------------------------*/ 68 /*---------------------------------------------------------------------------- [all …]
|
| /optee_os/lib/libutils/isoc/arch/arm/softfloat/source/8086-SSE/ |
| H A D | specialize.h | 1 /* SPDX-License-Identifier: BSD-3-Clause */ 5 This C header file is part of the SoftFloat IEEE Floating-Point Arithmetic 45 /*---------------------------------------------------------------------------- 47 *----------------------------------------------------------------------------*/ 50 /*---------------------------------------------------------------------------- 53 *----------------------------------------------------------------------------*/ 63 /*---------------------------------------------------------------------------- 64 | The bit pattern for a default generated 32-bit floating-point NaN. 65 *----------------------------------------------------------------------------*/ 68 /*---------------------------------------------------------------------------- [all …]
|
| /optee_os/lib/libutils/isoc/arch/arm/softfloat/source/ |
| H A D | s_mulAddF64.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 71 /*------------------------------------------------------------------------ in softfloat_mulAddF64() 72 *------------------------------------------------------------------------*/ in softfloat_mulAddF64() 83 /*------------------------------------------------------------------------ in softfloat_mulAddF64() 84 *------------------------------------------------------------------------*/ in softfloat_mulAddF64() 103 /*------------------------------------------------------------------------ in softfloat_mulAddF64() 104 *------------------------------------------------------------------------*/ in softfloat_mulAddF64() 117 /*------------------------------------------------------------------------ in softfloat_mulAddF64() 118 *------------------------------------------------------------------------*/ in softfloat_mulAddF64() [all …]
|
| H A D | s_mulAddF128M.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 83 /*------------------------------------------------------------------------ in softfloat_mulAddF128M() 84 *------------------------------------------------------------------------*/ in softfloat_mulAddF128M() 95 /*------------------------------------------------------------------------ in softfloat_mulAddF128M() 96 *------------------------------------------------------------------------*/ in softfloat_mulAddF128M() 132 /*------------------------------------------------------------------------ in softfloat_mulAddF128M() 133 *------------------------------------------------------------------------*/ in softfloat_mulAddF128M() 141 if ( expA == -128 ) goto zeroProd; in softfloat_mulAddF128M() 150 if ( expB == -128 ) goto zeroProd; in softfloat_mulAddF128M() [all …]
|
| H A D | extF80_sqrt.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 65 /*------------------------------------------------------------------------ in extF80_sqrt() 66 *------------------------------------------------------------------------*/ in extF80_sqrt() 73 /*------------------------------------------------------------------------ in extF80_sqrt() 74 *------------------------------------------------------------------------*/ in extF80_sqrt() 85 /*------------------------------------------------------------------------ in extF80_sqrt() 86 *------------------------------------------------------------------------*/ in extF80_sqrt() 91 /*------------------------------------------------------------------------ in extF80_sqrt() 92 *------------------------------------------------------------------------*/ in extF80_sqrt() [all …]
|
| H A D | f64_rem.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 66 /*------------------------------------------------------------------------ in f64_rem() 67 *------------------------------------------------------------------------*/ in f64_rem() 77 /*------------------------------------------------------------------------ in f64_rem() 78 *------------------------------------------------------------------------*/ in f64_rem() 87 /*------------------------------------------------------------------------ in f64_rem() 88 *------------------------------------------------------------------------*/ in f64_rem() 89 if ( expA < expB - 1 ) return a; in f64_rem() 90 /*------------------------------------------------------------------------ in f64_rem() [all …]
|
| H A D | f64_div.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 67 /*------------------------------------------------------------------------ in f64_div() 68 *------------------------------------------------------------------------*/ in f64_div() 80 /*------------------------------------------------------------------------ in f64_div() 81 *------------------------------------------------------------------------*/ in f64_div() 94 /*------------------------------------------------------------------------ in f64_div() 95 *------------------------------------------------------------------------*/ in f64_div() 112 /*------------------------------------------------------------------------ in f64_div() 113 *------------------------------------------------------------------------*/ in f64_div() [all …]
|
| H A D | f32_div.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 70 /*------------------------------------------------------------------------ in f32_div() 71 *------------------------------------------------------------------------*/ in f32_div() 83 /*------------------------------------------------------------------------ in f32_div() 84 *------------------------------------------------------------------------*/ in f32_div() 97 /*------------------------------------------------------------------------ in f32_div() 98 *------------------------------------------------------------------------*/ in f32_div() 115 /*------------------------------------------------------------------------ in f32_div() 116 *------------------------------------------------------------------------*/ in f32_div() [all …]
|
| H A D | f32_rem.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 64 /*------------------------------------------------------------------------ in f32_rem() 65 *------------------------------------------------------------------------*/ in f32_rem() 75 /*------------------------------------------------------------------------ in f32_rem() 76 *------------------------------------------------------------------------*/ in f32_rem() 85 /*------------------------------------------------------------------------ in f32_rem() 86 *------------------------------------------------------------------------*/ in f32_rem() 99 /*------------------------------------------------------------------------ in f32_rem() 100 *------------------------------------------------------------------------*/ in f32_rem() [all …]
|
| H A D | f128_sqrt.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 64 /*------------------------------------------------------------------------ in f128_sqrt() 65 *------------------------------------------------------------------------*/ in f128_sqrt() 73 /*------------------------------------------------------------------------ in f128_sqrt() 74 *------------------------------------------------------------------------*/ in f128_sqrt() 83 /*------------------------------------------------------------------------ in f128_sqrt() 84 *------------------------------------------------------------------------*/ in f128_sqrt() 89 /*------------------------------------------------------------------------ in f128_sqrt() 90 *------------------------------------------------------------------------*/ in f128_sqrt() [all …]
|
| H A D | extF80M_div.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 78 /*------------------------------------------------------------------------ in extF80M_div() 79 *------------------------------------------------------------------------*/ in extF80M_div() 83 /*------------------------------------------------------------------------ in extF80M_div() 84 *------------------------------------------------------------------------*/ in extF80M_div() 85 uiA64 = aSPtr->signExp; in extF80M_div() 87 uiB64 = bSPtr->signExp; in extF80M_div() 90 /*------------------------------------------------------------------------ in extF80M_div() 91 *------------------------------------------------------------------------*/ in extF80M_div() [all …]
|
| H A D | f128_div.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 71 /*------------------------------------------------------------------------ in f128_div() 72 *------------------------------------------------------------------------*/ in f128_div() 88 /*------------------------------------------------------------------------ in f128_div() 89 *------------------------------------------------------------------------*/ in f128_div() 102 /*------------------------------------------------------------------------ in f128_div() 103 *------------------------------------------------------------------------*/ in f128_div() 120 /*------------------------------------------------------------------------ in f128_div() 121 *------------------------------------------------------------------------*/ in f128_div() [all …]
|
| H A D | extF80_div.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 75 /*------------------------------------------------------------------------ in extF80_div() 76 *------------------------------------------------------------------------*/ in extF80_div() 90 /*------------------------------------------------------------------------ in extF80_div() 91 *------------------------------------------------------------------------*/ in extF80_div() 104 /*------------------------------------------------------------------------ in extF80_div() 105 *------------------------------------------------------------------------*/ in extF80_div() 124 /*------------------------------------------------------------------------ in extF80_div() 125 *------------------------------------------------------------------------*/ in extF80_div() [all …]
|
| H A D | extF80M_sqrt.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 68 /*------------------------------------------------------------------------ in extF80M_sqrt() 69 *------------------------------------------------------------------------*/ in extF80M_sqrt() 72 /*------------------------------------------------------------------------ in extF80M_sqrt() 73 *------------------------------------------------------------------------*/ in extF80M_sqrt() 74 uiA64 = aSPtr->signExp; in extF80M_sqrt() 77 rem64 = aSPtr->signif; in extF80M_sqrt() 78 /*------------------------------------------------------------------------ in extF80M_sqrt() 79 *------------------------------------------------------------------------*/ in extF80M_sqrt() [all …]
|
| H A D | f128M_rem.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 70 /*------------------------------------------------------------------------ in f128M_rem() 71 *------------------------------------------------------------------------*/ in f128M_rem() 75 /*------------------------------------------------------------------------ in f128M_rem() 76 *------------------------------------------------------------------------*/ in f128M_rem() 80 /*------------------------------------------------------------------------ in f128M_rem() 81 *------------------------------------------------------------------------*/ in f128M_rem() 87 /*------------------------------------------------------------------------ in f128M_rem() 88 *------------------------------------------------------------------------*/ in f128M_rem() [all …]
|
| H A D | extF80M_rem.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 73 /*------------------------------------------------------------------------ in extF80M_rem() 74 *------------------------------------------------------------------------*/ in extF80M_rem() 78 /*------------------------------------------------------------------------ in extF80M_rem() 79 *------------------------------------------------------------------------*/ in extF80M_rem() 80 uiA64 = aSPtr->signExp; in extF80M_rem() 82 expB = expExtF80UI64( bSPtr->signExp ); in extF80M_rem() 83 /*------------------------------------------------------------------------ in extF80M_rem() 84 *------------------------------------------------------------------------*/ in extF80M_rem() [all …]
|
| H A D | f32_sqrt.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 58 /*------------------------------------------------------------------------ in f32_sqrt() 59 *------------------------------------------------------------------------*/ in f32_sqrt() 65 /*------------------------------------------------------------------------ in f32_sqrt() 66 *------------------------------------------------------------------------*/ in f32_sqrt() 75 /*------------------------------------------------------------------------ in f32_sqrt() 76 *------------------------------------------------------------------------*/ in f32_sqrt() 81 /*------------------------------------------------------------------------ in f32_sqrt() 82 *------------------------------------------------------------------------*/ in f32_sqrt() [all …]
|
| H A D | extF80_rem.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 71 /*------------------------------------------------------------------------ in extF80_rem() 72 *------------------------------------------------------------------------*/ in extF80_rem() 85 /*------------------------------------------------------------------------ in extF80_rem() 86 *------------------------------------------------------------------------*/ in extF80_rem() 98 /*-------------------------------------------------------------------- in extF80_rem() 100 | that `expDiff' later is less than -1, which will result in returning in extF80_rem() 102 *--------------------------------------------------------------------*/ in extF80_rem() 105 /*------------------------------------------------------------------------ in extF80_rem() [all …]
|
| H A D | s_roundPackMToExtF80M.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 60 /*------------------------------------------------------------------------ in softfloat_roundPackMToExtF80M() 61 *------------------------------------------------------------------------*/ in softfloat_roundPackMToExtF80M() 77 /*------------------------------------------------------------------------ in softfloat_roundPackMToExtF80M() 78 *------------------------------------------------------------------------*/ in softfloat_roundPackMToExtF80M() 88 /*------------------------------------------------------------------------ in softfloat_roundPackMToExtF80M() 89 *------------------------------------------------------------------------*/ in softfloat_roundPackMToExtF80M() 90 if ( 0x7FFD <= (uint32_t) (exp - 1) ) { in softfloat_roundPackMToExtF80M() 97 sig = softfloat_shiftRightJam64( sig, 1 - exp ); in softfloat_roundPackMToExtF80M() [all …]
|
| H A D | f128M_sqrt.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 70 /*------------------------------------------------------------------------ in f128M_sqrt() 71 *------------------------------------------------------------------------*/ in f128M_sqrt() 74 /*------------------------------------------------------------------------ in f128M_sqrt() 75 *------------------------------------------------------------------------*/ in f128M_sqrt() 79 /*------------------------------------------------------------------------ in f128M_sqrt() 80 *------------------------------------------------------------------------*/ in f128M_sqrt() 93 /*------------------------------------------------------------------------ in f128M_sqrt() 94 *------------------------------------------------------------------------*/ in f128M_sqrt() [all …]
|
| H A D | f128M_div.c | 1 // SPDX-License-Identifier: BSD-3-Clause 5 This C source file is part of the SoftFloat IEEE Floating-Point Arithmetic 75 /*------------------------------------------------------------------------ in f128M_div() 76 *------------------------------------------------------------------------*/ in f128M_div() 80 /*------------------------------------------------------------------------ in f128M_div() 81 *------------------------------------------------------------------------*/ in f128M_div() 89 /*------------------------------------------------------------------------ in f128M_div() 90 *------------------------------------------------------------------------*/ in f128M_div() 99 /*------------------------------------------------------------------------ in f128M_div() 100 *------------------------------------------------------------------------*/ in f128M_div() [all …]
|
| /optee_os/core/arch/arm/kernel/ |
| H A D | cache_helpers_a32.S | 5 * SPDX-License-Identifier: BSD-3-Clause 47 /* ------------------------------------------ 50 * ------------------------------------------ 56 /* ------------------------------------------ 59 * ------------------------------------------ 65 /* ------------------------------------------ 68 * ------------------------------------------ 75 /* ------------------------------------------ 78 * ------------------------------------------ 84 /* ---------------------------------------------------------------- [all …]
|
| /optee_os/core/arch/riscv/include/mm/ |
| H A D | generic_ram_layout.h | 1 /* SPDX-License-Identifier: BSD-2-Clause */ 42 * TEE_SHMEM_START Non-secure static shared memory physical base address 43 * TEE_SHMEM_SIZE Non-secure static shared memory byte size 47 * TDSRAM_BASE On-chip secure RAM base address, required by pager. 48 * TDSRAM_SIZE On-chip secure RAM byte size, required by pager. 62 * ---------------------------------------------------------------------------- 65 * +----------------------------------+ <-- CFG_TDDRAM_START 67 * +----------------------------------+ 69 * +----------------------------------+ 71 * +----------------------------------+ <-- CFG_TDDRAM_START + CFG_TDDRAM_SIZE [all …]
|
| /optee_os/core/arch/arm/include/mm/ |
| H A D | generic_ram_layout.h | 1 /* SPDX-License-Identifier: BSD-2-Clause */ 41 * TEE_SHMEM_START Non-secure static shared memory physical base address 42 * TEE_SHMEM_SIZE Non-secure static shared memory byte size 46 * TZSRAM_BASE On-chip secure RAM base address, required by pager. 47 * TZSRAM_SIZE On-chip secure RAM byte size, required by pager. 61 * ---------------------------------------------------------------------------- 64 * +----------------------------------+ <-- CFG_TZDRAM_START 66 * +----------------------------------+ 68 * +----------------------------------+ 70 * +----------------------------------+ <-- CFG_TZDRAM_START + CFG_TZDRAM_SIZE [all …]
|