ST_EXP
ATF_CHECK_EQ(ST_EXP(0), expected_fpu.st[0].sign_exp);
ATF_CHECK_EQ(ST_EXP(1), expected_fpu.st[1].sign_exp);
ATF_CHECK_EQ(ST_EXP(2), expected_fpu.st[2].sign_exp);
ATF_CHECK_EQ(ST_EXP(3), expected_fpu.st[3].sign_exp);
ATF_CHECK_EQ(ST_EXP(4), expected_fpu.st[4].sign_exp);
ATF_CHECK_EQ(ST_EXP(5), expected_fpu.st[5].sign_exp);
ATF_CHECK_EQ(ST_EXP(6), expected_fpu.st[6].sign_exp);
ATF_CHECK_EQ(ST_EXP(7), expected_fpu.st[7].sign_exp);
ST_EXP(0) = expected_fpu.st[0].sign_exp;
ST_EXP(1) = expected_fpu.st[1].sign_exp;
ST_EXP(2) = expected_fpu.st[2].sign_exp;
ST_EXP(3) = expected_fpu.st[3].sign_exp;
ST_EXP(4) = expected_fpu.st[4].sign_exp;
ST_EXP(5) = expected_fpu.st[5].sign_exp;
ST_EXP(6) = expected_fpu.st[6].sign_exp;
ST_EXP(7) = expected_fpu.st[7].sign_exp;