Lines Matching refs:uxtbge
2566 uxtbge r2, r42572 @ CHECK: uxtbge r2, r4 @ encoding: [0x74,0x20,0xef,0xa6]