Searched refs:vfarg (Results 1 - 2 of 2) sorted by relevance

/external/valgrind/main/none/tests/ppc32/
H A Djm-insns.c4437 static inline void register_vfarg (vector float* vfarg, argument
4441 vector uint32_t* vfargI = (vector uint32_t*)vfarg;
4586 printf("vfarg %3d: %24f : %08x\n", i, f, ((unsigned int*)&f)[0]);
/external/valgrind/main/none/tests/ppc64/
H A Djm-insns.c4437 static inline void register_vfarg (vector float* vfarg, argument
4441 vector uint32_t* vfargI = (vector uint32_t*)vfarg;
4586 printf("vfarg %3d: %24f : %08x\n", i, f, ((unsigned int*)&f)[0]);

Completed in 104 milliseconds