ST_MAN
ATF_CHECK_EQ(ST_MAN(0), expected_fpu.st[0].mantissa);
ATF_CHECK_EQ(ST_MAN(1), expected_fpu.st[1].mantissa);
ATF_CHECK_EQ(ST_MAN(2), expected_fpu.st[2].mantissa);
ATF_CHECK_EQ(ST_MAN(3), expected_fpu.st[3].mantissa);
ATF_CHECK_EQ(ST_MAN(4), expected_fpu.st[4].mantissa);
ATF_CHECK_EQ(ST_MAN(5), expected_fpu.st[5].mantissa);
ATF_CHECK_EQ(ST_MAN(6), expected_fpu.st[6].mantissa);
ATF_CHECK_EQ(ST_MAN(7), expected_fpu.st[7].mantissa);
ATF_CHECK_EQ(ST_MAN(0), expected[0].u64);
ATF_CHECK_EQ(ST_MAN(1), expected[1].u64);
ATF_CHECK_EQ(ST_MAN(2), expected[2].u64);
ATF_CHECK_EQ(ST_MAN(3), expected[3].u64);
ATF_CHECK_EQ(ST_MAN(4), expected[4].u64);
ATF_CHECK_EQ(ST_MAN(5), expected[5].u64);
ATF_CHECK_EQ(ST_MAN(6), expected[6].u64);
ATF_CHECK_EQ(ST_MAN(7), expected[7].u64);
ST_MAN(0) = expected_fpu.st[0].mantissa;
ST_MAN(1) = expected_fpu.st[1].mantissa;
ST_MAN(2) = expected_fpu.st[2].mantissa;
ST_MAN(3) = expected_fpu.st[3].mantissa;
ST_MAN(4) = expected_fpu.st[4].mantissa;
ST_MAN(5) = expected_fpu.st[5].mantissa;
ST_MAN(6) = expected_fpu.st[6].mantissa;
ST_MAN(7) = expected_fpu.st[7].mantissa;
ST_MAN(0) = expected[0].u64;
ST_MAN(1) = expected[1].u64;
ST_MAN(2) = expected[2].u64;
ST_MAN(3) = expected[3].u64;
ST_MAN(4) = expected[4].u64;
ST_MAN(5) = expected[5].u64;
ST_MAN(6) = expected[6].u64;
ST_MAN(7) = expected[7].u64;