u3
u3 = 6.49503267711258043997790983071543710e+00L,
p1 = y*(u0+y*(u1+y*(u2+y*(u3+y*(u4+y*(u5+y*(u6+y*(u7+
p1 = y*(u0+y*(u1+y*(u2+y*(u3+y*(u4+y*(u5+y*u6))))));
u3 = 9.77717527963372745603e-01, /* 0x3FEF4976, 0x44EA8450 */
p1 = y*(u0+y*(u1+y*(u2+y*(u3+y*(u4+y*u5)))));
p1 = y*(u0+y*(u1+y*(u2+y*(u3+y*(u4+y*u5)))));
u3 = 9.7771751881e-01, /* 0x3f7a4bb2 */
uint32_t t0, t1, t2, t3, u0, u1, u2, u3;
u0 = t0; u1 = t1; u2 = t2; u3 = t3;
aesbear_xts_update(&u0, &u1, &u2, &u3);
q[2*3 + 1] = le32dec(in + 16 + 4*3) ^ u3;
le32enc(out + 16 + 4*3, q[2*3 + 1] ^ u3);
t0 = u0; t1 = u1; t2 = u2; t3 = u3;
uint32_t t0, t1, t2, t3, u0, u1, u2, u3;
u0 = t0; u1 = t1; u2 = t2; u3 = t3;
aesbear_xts_update(&u0, &u1, &u2, &u3);
q[2*3 + 1] = le32dec(in + 16 + 4*3) ^ u3;
le32enc(out + 16 + 4*3, q[2*3 + 1] ^ u3);
t0 = u0; t1 = u1; t2 = u2; t3 = u3;
uint32_t t0, t1, t2, t3, u0, u1, u2, u3;
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < n; i++) {
w[3] = le32dec(in + 16*i + 4*3) ^ u3;
aesbear64_xts_update(&u0, &u1, &u2, &u3);
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < n; i++) {
le32enc(out + 16*i + 4*3, w[3] ^ u3);
aesbear64_xts_update(&u0, &u1, &u2, &u3);
t0 = u0, t1 = u1, t2 = u2, t3 = u3;
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < 4; i++) {
w[3] = le32dec(in + 16*i + 4*3) ^ u3;
aesbear64_xts_update(&u0, &u1, &u2, &u3);
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < 4; i++) {
le32enc(out + 16*i + 4*3, w[3] ^ u3);
aesbear64_xts_update(&u0, &u1, &u2, &u3);
t0 = u0, t1 = u1, t2 = u2, t3 = u3;
uint32_t t0, t1, t2, t3, u0, u1, u2, u3;
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < n; i++) {
w[3] = le32dec(in + 16*i + 4*3) ^ u3;
aesbear64_xts_update(&u0, &u1, &u2, &u3);
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < n; i++) {
le32enc(out + 16*i + 4*3, w[3] ^ u3);
aesbear64_xts_update(&u0, &u1, &u2, &u3);
t0 = u0, t1 = u1, t2 = u2, t3 = u3;
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < 4; i++) {
w[3] = le32dec(in + 16*i + 4*3) ^ u3;
aesbear64_xts_update(&u0, &u1, &u2, &u3);
for (i = 0, u0 = t0, u1 = t1, u2 = t2, u3 = t3; i < 4; i++) {
le32enc(out + 16*i + 4*3, w[3] ^ u3);
aesbear64_xts_update(&u0, &u1, &u2, &u3);
t0 = u0, t1 = u1, t2 = u2, t3 = u3;
unsigned int u1,u2,u3; \
u3=(int)(u>>8L); \
u3&=0xfc; \
LL^= *(const DES_LONG *)(des_SP+0x600+u3); \
u3=(int)t>>8L; \
u3&=0xfc; \
LL^= *(const DES_LONG *)(des_SP+0x700+u3); }
unsigned int u1,u2,u3; \
u3=(int)u>>8L; \
u3&=0x3f; \
LL^=des_SPtrans[6][u3]; \
u3=(int)t>>8L; \
u3&=0x3f; \
LL^=des_SPtrans[7][u3]; }
prop_number_t s1, s2, u1, u2, u3, u4;
u3 = prop_number_copy(u1);
ATF_REQUIRE(u3 == u1);
ATF_REQUIRE(prop_number_unsigned(u3) == true);
ATF_REQUIRE(prop_number_unsigned_value(u3) == UINTMAX_MAX);
prop_object_release(u3);
union u u3 = (union u) u;
union u u3 = (union u) u;
union u u3 = (union u)u;
unsigned u3:3;
bits.u3 = bits.u32 & m;
bits.u5 = bits.u3 & m;
s32 = 8 - bits.u3;