Comment 6 for bug 1781128

------- Comment From <email address hidden> 2018-08-23 15:50 EDT-------
We had various users reporting issues about instructions in their application were not supported by valgrind. The users were able to isolate the failing instructions and provided the following simple cases:

int main()
{
asm ("mtspr 3,0");
}

int main()
{
asm ("xvnegsp 33,34");
}

There was another user who's application was trying to read the time base register. Unfortunately, valgrind only returned 32-bits not the required 64-bits. The simple test case is:

#include <stdio.h>
#include <sys/platform/ppc.h>

int main(int argc, char** argv)
{
uint64_t tb = __ppc_get_timebase();
printf("timebase = %lx\n", tb);
sleep(15);
tb = __ppc_get_timebase();
printf("timebase = %lx\n", tb);

return 0;
}