1# RUN: llvm-mc %s -triple=mips64-unknown-linux-gnu -show-encoding \
2# RUN:   -mcpu=mips64r6 -mattr=+crc | FileCheck %s
3
4  .set noat
5  crc32d $10, $11, $10   # CHECK: crc32d  $10, $11, $10  # encoding: [0x7d,0x6a,0x00,0xcf]
6  crc32cd $10, $11, $10  # CHECK: crc32cd $10, $11, $10  # encoding: [0x7d,0x6a,0x01,0xcf]
7