# RUN: llvm-mc %s -triple=mips-unknown-linux-gnu -show-encoding \
# RUN: -mcpu=mips32r6 -mattr=+micromips,+ginv | FileCheck %s
ginvi $4 # CHECK: ginvi $4 # encoding: [0x00,0x04,0x61,0x7c]
ginvt $4, 2 # CHECK: ginvt $4, 2 # encoding: [0x00,0x04,0x75,0x7c]