Essa regra de aliasing estrita de quebra de ponteiro?
Esta é a implementação rápida da raiz quadrada inversa da Arena Quake III:
float Q_rsqrt( float number )
{
long i;
float x2, y;
const float threehalfs = 1.5F;
x2 = number * 0.5F;
y = number;
i = * ( long * ) &y; // evil floating point bit level hacking
i = 0x5f3759df - ( i >> 1 ); // what?
y = * ( float * ) &i;
y = y * ( threehalfs - ( x2 * y * y ) ); // 1st iteration
// y = y * ( threehalfs - ( x2 * y * y ) ); // 2nd iteration, this can be removed
return y;
}
eu percebi issolong int i
toma o valor não referenciado no endereço (convertido emlong *
) doflutuador y
. O código então executa operações emi
antes de armazenar o valor desreferenciado no endereço (convertido emfloat *
) doi
para dentroy
.
Isso quebraria a regra de aliasing estrita desdei
não é o mesmo tipo quey
?
Eu acho que talvez não, desde que o valor é desreferenciado ecopiado; então as operações são realizadas em uma cópia em vez do original.