1 # RUN: llvm-mc -triple s390x-linux-gnu -show-encoding %s | FileCheck %s
3 #CHECK: debr %f0, %f0 # encoding: [0xb3,0x0d,0x00,0x00]
4 #CHECK: debr %f0, %f15 # encoding: [0xb3,0x0d,0x00,0x0f]
5 #CHECK: debr %f7, %f8 # encoding: [0xb3,0x0d,0x00,0x78]
6 #CHECK: debr %f15, %f0 # encoding: [0xb3,0x0d,0x00,0xf0]