2 * Purpose: test example, verify the soundness of the vrmaxh operation.
4 * The maximum between 0x0002000300010005 and 0x0003000200020007 is
7 * input: r1 = 0x00010003 r0 = 0x00010005 r3 = 0x00030002 r2 = 0x00020007
8 * output: r1 = 0x00030003 r0 = 0x00020007
24 r1:0 = vmaxh(r1:0, r3:2)
27 p0 = cmp.eq(r0, #131079); if (p0.new) jump:t test2
33 p0 = cmp.eq(r1, #196611); if (p0.new) jump:t pass