void runSuccess() {
log(1.0);
log(0.0);
log(-1.0);
log(outrange());
log(inrange());
log(anydouble());
}
void runSuccess() {
log2f(1.0f);
log2f(0.0f);
log2f(-1.0f);
log2f(outrange());
log2f(inrange());
log2f(anyfloat());
}
void runSuccess() {
asin(1.0);
asin(0.0);
asin(-1.0);
asin(2.0);
asin(-2.0);
asin(inrange());
asin(outrange());
asin(anydouble());
}
void runSuccess() {
acoshf(1.0f);
acoshf(0.0f);
acoshf(-1.0f);
acoshf(2.0f);
acoshf(-2.0f);
acoshf(NAN);
acoshf(INFINITY);
acoshf(inrange());
acoshf(outrange());
acoshf(anyfloat());
}
void testValues() {
f = 2;
float result;
//result = log2f(1.0f);
// assert result == \log(1.0)/\log(2.0);
result = log2f(-1.0f);
//@ assert (math_errhandling & MATH_ERRNO) ==> (errno == EDOM);
errno = 0;
result = log2f(outrange());
//@ assert (math_errhandling & MATH_ERRNO) ==> (errno == EDOM);
errno = 0;
//@ assert f == 2;
//@ assert vacuous: \false;
}
void testValues() {
f = 2;
double result;
errno = 0;
result = log(1.0);
//@ assert result == 0 && errno == 0;
result = log(-1.0);
//@ assert (math_errhandling & MATH_ERRNO) ==> (errno == EDOM);
errno = 0;
result = log(outrange());
//@ assert (math_errhandling & MATH_ERRNO) ==> (errno == EDOM);
errno = 0;
//@ assert f == 2;
//@ assert vacuous: \false;
}
void testValues() {
f = 2;
float result;
//result = acoshf(0.5f);
// assert \coshf(result) == 0.5;
result = acoshf(2.0f);
//@ assert result >= 0;
errno = 0;
result = acoshf(outrange());
//@ assert (math_errhandling & MATH_ERRNO) ==> (errno == EDOM);
errno = 0;
//@ assert f == 2;
//@ assert vacuous: \false;
}
void testValues() {
f = 2;
double result;
//result = asin(0.5);
// assert \sin(result) == 0.5;
result = asin(2.0);
//@ assert (math_errhandling & MATH_ERRNO) ==> (errno == EDOM);
errno = 0;
result = asin(outrange());
//@ assert (math_errhandling & MATH_ERRNO) ==> (errno == EDOM);
errno = 0;
result = asin(inrange());
//@ assert -M_PI/2.0 <= result <= M_PI/2.0;
//@ assert f == 2;
//@ assert vacuous: \false;
}
makefree()
{
register i, cyl, step;
int j;
char flg[MAXCYL];
short addr[MAXCYL];
daddr_t blk, baseblk;
sblock.fs_nfree = 0;
sblock.fs_flock = 0;
sblock.fs_fmod = 0;
sblock.fs_tfree = 0;
sblock.fs_ninode = 0;
sblock.fs_ilock = 0;
sblock.fs_ronly = 0;
if(cylsize == 0 || stepsize == 0) {
step = sblock.fs_step;
cyl = sblock.fs_cyl;
}
else {
step = stepsize;
cyl = cylsize;
}
if(step > cyl || step <= 0 || cyl <= 0 || cyl > MAXCYL) {
printf("Default free list spacing assumed\n");
step = STEPSIZE;
cyl = CYLSIZE;
}
sblock.fs_step = step;
sblock.fs_cyl = cyl;
bzero(flg,sizeof(flg));
i = 0;
for(j = 0; j < cyl; j++) {
while(flg[i])
i = (i + 1) % cyl;
addr[j] = i + 1;
flg[i]++;
i = (i + step) % cyl;
}
baseblk = (daddr_t)roundup(fmax,cyl);
bzero((char *)&freeblk,DEV_BSIZE);
freeblk.df_nfree++;
for( ; baseblk > 0; baseblk -= cyl)
for(i = 0; i < cyl; i++) {
blk = baseblk - addr[i];
if(!outrange(blk) && !getbmap(blk)) {
sblock.fs_tfree++;
if(freeblk.df_nfree >= NICFREE) {
fbdirty();
fileblk.b_bno = blk;
flush(&dfile,&fileblk);
bzero((char *)&freeblk,DEV_BSIZE);
}
freeblk.df_free[freeblk.df_nfree] = blk;
freeblk.df_nfree++;
}
}
sblock.fs_nfree = freeblk.df_nfree;
for(i = 0; i < NICFREE; i++)
sblock.fs_free[i] = freeblk.df_free[i];
sbdirty();
}
