cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

fpopcode.c (1600B)

      1// SPDX-License-Identifier: GPL-2.0-or-later
      2/*
      3    NetWinder Floating Point Emulator
      4    (c) Rebel.COM, 1998,1999
      5
      6    Direct questions, comments to Scott Bambrough <scottb@netwinder.org>
      7
      8*/
      9
     10#include "fpa11.h"
     11#include "softfloat.h"
     12#include "fpopcode.h"
     13#include "fpsr.h"
     14#include "fpmodule.h"
     15#include "fpmodule.inl"
     16
     17#ifdef CONFIG_FPE_NWFPE_XP
     18const floatx80 floatx80Constant[] = {
     19	{ .high = 0x0000, .low = 0x0000000000000000ULL},/* extended 0.0 */
     20	{ .high = 0x3fff, .low = 0x8000000000000000ULL},/* extended 1.0 */
     21	{ .high = 0x4000, .low = 0x8000000000000000ULL},/* extended 2.0 */
     22	{ .high = 0x4000, .low = 0xc000000000000000ULL},/* extended 3.0 */
     23	{ .high = 0x4001, .low = 0x8000000000000000ULL},/* extended 4.0 */
     24	{ .high = 0x4001, .low = 0xa000000000000000ULL},/* extended 5.0 */
     25	{ .high = 0x3ffe, .low = 0x8000000000000000ULL},/* extended 0.5 */
     26	{ .high = 0x4002, .low = 0xa000000000000000ULL},/* extended 10.0 */
     27};
     28#endif
     29
     30const float64 float64Constant[] = {
     31	0x0000000000000000ULL,	/* double 0.0 */
     32	0x3ff0000000000000ULL,	/* double 1.0 */
     33	0x4000000000000000ULL,	/* double 2.0 */
     34	0x4008000000000000ULL,	/* double 3.0 */
     35	0x4010000000000000ULL,	/* double 4.0 */
     36	0x4014000000000000ULL,	/* double 5.0 */
     37	0x3fe0000000000000ULL,	/* double 0.5 */
     38	0x4024000000000000ULL	/* double 10.0 */
     39};
     40
     41const float32 float32Constant[] = {
     42	0x00000000,		/* single 0.0 */
     43	0x3f800000,		/* single 1.0 */
     44	0x40000000,		/* single 2.0 */
     45	0x40400000,		/* single 3.0 */
     46	0x40800000,		/* single 4.0 */
     47	0x40a00000,		/* single 5.0 */
     48	0x3f000000,		/* single 0.5 */
     49	0x41200000		/* single 10.0 */
     50};
     51