99 lines
2.0 KiB
C
99 lines
2.0 KiB
C
/*
|
|
* fpu/finvalid.c
|
|
*
|
|
*
|
|
*
|
|
* Copyright 1991, Silicon Graphics, Inc.
|
|
* All Rights Reserved.
|
|
*
|
|
* This is UNPUBLISHED PROPRIETARY SOURCE CODE of Silicon Graphics, Inc.;
|
|
* the contents of this file may not be disclosed to third parties, copied or
|
|
* duplicated in any form, in whole or in part, without the prior written
|
|
* permission of Silicon Graphics, Inc.
|
|
*
|
|
* RESTRICTED RIGHTS LEGEND:
|
|
* Use, duplication or disclosure by the Government is subject to restrictions
|
|
* as set forth in subdivision (c)(1)(ii) of the Rights in Technical Data
|
|
* and Computer Software clause at DFARS 252.227-7013, and/or in similar or
|
|
* successor clauses in the FAR, DOD or NASA FAR Supplement. Unpublished -
|
|
* rights reserved under the Copyright Laws of the United States.
|
|
*/
|
|
|
|
#ident "$Revision: 1.1 $"
|
|
|
|
/*
|
|
*
|
|
* Floating Point Exerciser - basic functions with simple single
|
|
* invalid
|
|
*
|
|
*/
|
|
|
|
#include <sys/param.h>
|
|
#include <sys/cpu.h>
|
|
#include <sys/sbd.h>
|
|
#include <sys/fpu.h>
|
|
#include <fault.h>
|
|
#include <setjmp.h>
|
|
#include "libsc.h"
|
|
#include "uif.h"
|
|
|
|
static jmp_buf fault_buf;
|
|
|
|
#define DIVIDEND 0
|
|
#define FPUINVALID 0x10f80 /* all exceptions enabled , V cause */
|
|
#define SR_EXCEPT (SR_CU0 | SR_CU1 | SR_IEC)
|
|
|
|
int
|
|
finvalid()
|
|
{
|
|
volatile float f1, f2, f3;
|
|
register long i1, i2;
|
|
register long status;
|
|
register int fail;
|
|
|
|
fail = 0;
|
|
|
|
if (setjmp(fault_buf))
|
|
{
|
|
if (GetFPSR() != FPUINVALID) {
|
|
fail = 1;
|
|
}
|
|
SetFPSR(0);
|
|
|
|
i1 = f1;
|
|
if (i1 != DIVIDEND){
|
|
fail = 1;
|
|
}
|
|
}
|
|
else
|
|
{
|
|
nofault = fault_buf;
|
|
|
|
/* clear cause register */
|
|
set_cause(0);
|
|
|
|
/* enable cache and fpu - cache ecc errors still enabled */
|
|
status = GetSR();
|
|
SetSR(SR_EXCEPT);
|
|
|
|
/* clear the FPSR */
|
|
SetFPSR(0);
|
|
|
|
/* set up fpu status register for exception */
|
|
SetFPSR(FP_ENABLE);
|
|
|
|
/* Convert to floating point */
|
|
f1 = 0.0;
|
|
f1 = f1/f1;
|
|
|
|
DELAY(10);
|
|
|
|
/* error if test does not generate an exception */
|
|
fail = 1;
|
|
nofault = 0;
|
|
}
|
|
|
|
/* report any error */
|
|
return(fail);
|
|
}
|