509 {
510
511 uint32_t a[4] = {0x00010000, 0x00020000, 0x00030000, 0x00008000};
512 uint32_t b[4] = {0x00020000, 0x00030000, 0x00010000, 0x00008000};
513 uint32_t output[4] = {0};
514 store_u32_4(output, mulhi_u32_4(load_u32_4(a), load_u32_4(b)));
515 if (output[0] != 0x00020000) return false;
516 if (output[1] != 0x00060000) return false;
517 if (output[2] != 0x00030000) return false;
518 if (output[3] != 0x00004000) return false;
519 return true;
520}