[SystemZ] testcase MC/SystemZ/insn-good-z13.s extended.

New instructions using floating point registers have been added, to check
that AsmParser can deal with fp regs in vector instructions.

This tests r249810.

llvm-svn: 250023
This commit is contained in:
Jonas Paulsson 2015-10-12 10:13:57 +00:00
parent b352a1c88f
commit 233b9ce8bf
1 changed files with 59 additions and 7 deletions

View File

@ -4681,6 +4681,7 @@
vzero %v31
#CHECK: wcdgb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc3]
#CHECK: wcdgb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc3]
#CHECK: wcdgb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc3]
#CHECK: wcdgb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc3]
#CHECK: wcdgb %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc3]
@ -4689,6 +4690,7 @@
#CHECK: wcdgb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc3]
wcdgb %v0, %v0, 0, 0
wcdgb %f0, %f0, 0, 0
wcdgb %v0, %v0, 0, 15
wcdgb %v0, %v0, 4, 0
wcdgb %v0, %v0, 12, 0
@ -4697,6 +4699,7 @@
wcdgb %v14, %v17, 4, 10
#CHECK: wcdlgb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc1]
#CHECK: wcdlgb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc1]
#CHECK: wcdlgb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc1]
#CHECK: wcdlgb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc1]
#CHECK: wcdlgb %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc1]
@ -4705,6 +4708,7 @@
#CHECK: wcdlgb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc1]
wcdlgb %v0, %v0, 0, 0
wcdlgb %f0, %f0, 0, 0
wcdlgb %v0, %v0, 0, 15
wcdlgb %v0, %v0, 4, 0
wcdlgb %v0, %v0, 12, 0
@ -4713,6 +4717,7 @@
wcdlgb %v14, %v17, 4, 10
#CHECK: wcgdb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc2]
#CHECK: wcgdb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc2]
#CHECK: wcgdb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc2]
#CHECK: wcgdb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc2]
#CHECK: wcgdb %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc2]
@ -4721,6 +4726,7 @@
#CHECK: wcgdb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc2]
wcgdb %v0, %v0, 0, 0
wcgdb %f0, %f0, 0, 0
wcgdb %v0, %v0, 0, 15
wcgdb %v0, %v0, 4, 0
wcgdb %v0, %v0, 12, 0
@ -4729,6 +4735,7 @@
wcgdb %v14, %v17, 4, 10
#CHECK: wclgdb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc0]
#CHECK: wclgdb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc0]
#CHECK: wclgdb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc0]
#CHECK: wclgdb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc0]
#CHECK: wclgdb %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc0]
@ -4737,6 +4744,7 @@
#CHECK: wclgdb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc0]
wclgdb %v0, %v0, 0, 0
wclgdb %f0, %f0, 0, 0
wclgdb %v0, %v0, 0, 15
wclgdb %v0, %v0, 4, 0
wclgdb %v0, %v0, 12, 0
@ -4744,6 +4752,7 @@
wclgdb %v31, %v0, 0, 0
wclgdb %v14, %v17, 4, 10
#CHECK: wfadb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe3]
#CHECK: wfadb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe3]
#CHECK: wfadb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe3]
#CHECK: wfadb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe3]
@ -4751,25 +4760,29 @@
#CHECK: wfadb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x3a,0xe3]
wfadb %v0, %v0, %v0
wfadb %f0, %f0, %f0
wfadb %v0, %v0, %v31
wfadb %v0, %v31, %v0
wfadb %v31, %v0, %v0
wfadb %v18, %v3, %v20
#CHECK: wfcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xcb]
#CHECK: wfcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xcb]
#CHECK: wfcdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0xcb]
#CHECK: wfcdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xcb]
#CHECK: wfcdb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x30,0xcb]
#CHECK: wfcdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x00,0x38,0xcb]
#CHECK: wfcdb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x34,0xcb]
wfcdb %v0, %v0
wfcdb %f0, %f0
wfcdb %v0, %v15
wfcdb %v0, %v31
wfcdb %v15, %v0
wfcdb %v31, %v0
wfcdb %v14, %v17
#CHECK: wfcedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe8]
#CHECK: wfcedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe8]
#CHECK: wfcedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe8]
#CHECK: wfcedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe8]
@ -4777,11 +4790,13 @@
#CHECK: wfcedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x3a,0xe8]
wfcedb %v0, %v0, %v0
wfcedb %f0, %f0, %f0
wfcedb %v0, %v0, %v31
wfcedb %v0, %v31, %v0
wfcedb %v31, %v0, %v0
wfcedb %v18, %v3, %v20
#CHECK: wfcedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xe8]
#CHECK: wfcedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xe8]
#CHECK: wfcedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xe8]
#CHECK: wfcedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xe8]
@ -4789,11 +4804,13 @@
#CHECK: wfcedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x3a,0xe8]
wfcedbs %v0, %v0, %v0
wfcedbs %f0, %f0, %f0
wfcedbs %v0, %v0, %v31
wfcedbs %v0, %v31, %v0
wfcedbs %v31, %v0, %v0
wfcedbs %v18, %v3, %v20
#CHECK: wfchdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xeb]
#CHECK: wfchdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xeb]
#CHECK: wfchdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xeb]
#CHECK: wfchdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xeb]
@ -4801,23 +4818,27 @@
#CHECK: wfchdb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x3a,0xeb]
wfchdb %v0, %v0, %v0
wfchdb %f0, %f0, %f0
wfchdb %v0, %v0, %v31
wfchdb %v0, %v31, %v0
wfchdb %v31, %v0, %v0
wfchdb %v18, %v3, %v20
#CHECK: wfchdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xeb]
#CHECK: wfchdbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xeb]
#CHECK: wfchdbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xeb]
#CHECK: wfchdbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xeb]
#CHECK: wfchdbs %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x18,0x38,0xeb]
#CHECK: wfchdbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x3a,0xeb]
wfchdbs %v0, %v0, %v0
wfchdbs %f0, %f0, %f0
wfchdbs %v0, %v0, %v31
wfchdbs %v0, %v31, %v0
wfchdbs %v31, %v0, %v0
wfchdbs %v18, %v3, %v20
#CHECK: wfchedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xea]
#CHECK: wfchedb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xea]
#CHECK: wfchedb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xea]
#CHECK: wfchedb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xea]
@ -4825,11 +4846,13 @@
#CHECK: wfchedb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x3a,0xea]
wfchedb %v0, %v0, %v0
wfchedb %f0, %f0, %f0
wfchedb %v0, %v0, %v31
wfchedb %v0, %v31, %v0
wfchedb %v31, %v0, %v0
wfchedb %v18, %v3, %v20
#CHECK: wfchedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xea]
#CHECK: wfchedbs %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xea]
#CHECK: wfchedbs %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x18,0x32,0xea]
#CHECK: wfchedbs %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xea]
@ -4837,11 +4860,13 @@
#CHECK: wfchedbs %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x18,0x3a,0xea]
wfchedbs %v0, %v0, %v0
wfchedbs %f0, %f0, %f0
wfchedbs %v0, %v0, %v31
wfchedbs %v0, %v31, %v0
wfchedbs %v31, %v0, %v0
wfchedbs %v18, %v3, %v20
#CHECK: wfddb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe5]
#CHECK: wfddb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe5]
#CHECK: wfddb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe5]
#CHECK: wfddb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe5]
@ -4849,12 +4874,14 @@
#CHECK: wfddb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x3a,0xe5]
wfddb %v0, %v0, %v0
wfddb %f0, %f0, %f0
wfddb %v0, %v0, %v31
wfddb %v0, %v31, %v0
wfddb %v31, %v0, %v0
wfddb %v18, %v3, %v20
#CHECK: wfidb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc7]
#CHECK: wfidb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc7]
#CHECK: wfidb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc7]
#CHECK: wfidb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc7]
#CHECK: wfidb %f0, %f0, 12, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc7]
@ -4863,6 +4890,7 @@
#CHECK: wfidb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc7]
wfidb %v0, %v0, 0, 0
wfidb %f0, %f0, 0, 0
wfidb %v0, %v0, 0, 15
wfidb %v0, %v0, 4, 0
wfidb %v0, %v0, 12, 0
@ -4870,6 +4898,7 @@
wfidb %v31, %v0, 0, 0
wfidb %v14, %v17, 4, 10
#CHECK: wfkdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xca]
#CHECK: wfkdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x00,0x30,0xca]
#CHECK: wfkdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x00,0x30,0xca]
#CHECK: wfkdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x00,0x34,0xca]
@ -4878,12 +4907,14 @@
#CHECK: wfkdb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x00,0x34,0xca]
wfkdb %v0, %v0
wfkdb %f0, %f0
wfkdb %v0, %v15
wfkdb %v0, %v31
wfkdb %v15, %v0
wfkdb %v31, %v0
wfkdb %v14, %v17
#CHECK: wflcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xcc]
#CHECK: wflcdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xcc]
#CHECK: wflcdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xcc]
#CHECK: wflcdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xcc]
@ -4892,12 +4923,14 @@
#CHECK: wflcdb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x34,0xcc]
wflcdb %v0, %v0
wflcdb %f0, %f0
wflcdb %v0, %v15
wflcdb %v0, %v31
wflcdb %v15, %v0
wflcdb %v31, %v0
wflcdb %v14, %v17
#CHECK: wflndb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xcc]
#CHECK: wflndb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x18,0x30,0xcc]
#CHECK: wflndb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x18,0x30,0xcc]
#CHECK: wflndb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x18,0x34,0xcc]
@ -4906,12 +4939,14 @@
#CHECK: wflndb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x18,0x34,0xcc]
wflndb %v0, %v0
wflndb %f0, %f0
wflndb %v0, %v15
wflndb %v0, %v31
wflndb %v15, %v0
wflndb %v31, %v0
wflndb %v14, %v17
#CHECK: wflpdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x30,0xcc]
#CHECK: wflpdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x28,0x30,0xcc]
#CHECK: wflpdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x28,0x30,0xcc]
#CHECK: wflpdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x28,0x34,0xcc]
@ -4920,12 +4955,14 @@
#CHECK: wflpdb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x28,0x34,0xcc]
wflpdb %v0, %v0
wflpdb %f0, %f0
wflpdb %v0, %v15
wflpdb %v0, %v31
wflpdb %v15, %v0
wflpdb %v31, %v0
wflpdb %v14, %v17
#CHECK: wfmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x8f]
#CHECK: wfmadb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x8f]
#CHECK: wfmadb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x8f]
#CHECK: wfmadb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x8f]
@ -4934,12 +4971,14 @@
#CHECK: wfmadb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x8f]
wfmadb %v0, %v0, %v0, %v0
wfmadb %f0, %f0, %f0, %f0
wfmadb %v0, %v0, %v0, %v31
wfmadb %v0, %v0, %v31, %v0
wfmadb %v0, %v31, %v0, %v0
wfmadb %v31, %v0, %v0, %v0
wfmadb %v13, %v17, %v21, %v25
#CHECK: wfmdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe7]
#CHECK: wfmdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe7]
#CHECK: wfmdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe7]
#CHECK: wfmdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe7]
@ -4947,11 +4986,13 @@
#CHECK: wfmdb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x3a,0xe7]
wfmdb %v0, %v0, %v0
wfmdb %f0, %f0, %f0
wfmdb %v0, %v0, %v31
wfmdb %v0, %v31, %v0
wfmdb %v31, %v0, %v0
wfmdb %v18, %v3, %v20
#CHECK: wfmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x8e]
#CHECK: wfmsdb %f0, %f0, %f0, %f0 # encoding: [0xe7,0x00,0x03,0x08,0x00,0x8e]
#CHECK: wfmsdb %f0, %f0, %f0, %v31 # encoding: [0xe7,0x00,0x03,0x08,0xf1,0x8e]
#CHECK: wfmsdb %f0, %f0, %v31, %f0 # encoding: [0xe7,0x00,0xf3,0x08,0x02,0x8e]
@ -4960,38 +5001,44 @@
#CHECK: wfmsdb %f13, %v17, %v21, %v25 # encoding: [0xe7,0xd1,0x53,0x08,0x97,0x8e]
wfmsdb %v0, %v0, %v0, %v0
wfmsdb %f0, %f0, %f0, %f0
wfmsdb %v0, %v0, %v0, %v31
wfmsdb %v0, %v0, %v31, %v0
wfmsdb %v0, %v31, %v0, %v0
wfmsdb %v31, %v0, %v0, %v0
wfmsdb %v13, %v17, %v21, %v25
#CHECK: wfsdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe2]
#CHECK: wfsdb %f0, %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xe2]
#CHECK: wfsdb %f0, %f0, %v31 # encoding: [0xe7,0x00,0xf0,0x08,0x32,0xe2]
#CHECK: wfsdb %f0, %v31, %f0 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xe2]
#CHECK: wfsdb %v31, %f0, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xe2]
#CHECK: wfsdb %v18, %f3, %v20 # encoding: [0xe7,0x23,0x40,0x08,0x3a,0xe2]
wfsdb %v0, %v0, %v0
wfsdb %f0, %f0, %f0
wfsdb %v0, %v0, %v31
wfsdb %v0, %v31, %v0
wfsdb %v31, %v0, %v0
wfsdb %v18, %v3, %v20
#CHECK: wfsqdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xce]
#CHECK: wfsqdb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xce]
#CHECK: wfsqdb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0xce]
#CHECK: wfsqdb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x34,0xce]
#CHECK: wfsqdb %f15, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x30,0xce]
#CHECK: wfsqdb %v31, %f0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0xce]
#CHECK: wfsqdb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x34,0xce]
wfsqdb %v0, %v0
wfsqdb %f0, %f0
wfsqdb %v0, %v15
wfsqdb %v0, %v31
wfsqdb %v15, %v0
wfsqdb %v31, %v0
wfsqdb %v14, %v17
#CHECK: wftcidb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0x4a]
#CHECK: wftcidb %f0, %f0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0x4a]
#CHECK: wftcidb %f0, %f0, 4095 # encoding: [0xe7,0x00,0xff,0xf8,0x30,0x4a]
#CHECK: wftcidb %f0, %f15, 0 # encoding: [0xe7,0x0f,0x00,0x08,0x30,0x4a]
@ -4999,8 +5046,9 @@
#CHECK: wftcidb %f15, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x30,0x4a]
#CHECK: wftcidb %v31, %f0, 0 # encoding: [0xe7,0xf0,0x00,0x08,0x38,0x4a]
#CHECK: wftcidb %f4, %v21, 1656 # encoding: [0xe7,0x45,0x67,0x88,0x34,0x4a]
wftcidb %v0, %v0, 0
wftcidb %f0, %f0, 0
wftcidb %v0, %v0, 4095
wftcidb %v0, %v15, 0
wftcidb %v0, %v31, 0
@ -5008,6 +5056,7 @@
wftcidb %v31, %v0, 0
wftcidb %v4, %v21, 0x678
#CHECK: wldeb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
#CHECK: wldeb %f0, %f0 # encoding: [0xe7,0x00,0x00,0x08,0x20,0xc4]
#CHECK: wldeb %f0, %f15 # encoding: [0xe7,0x0f,0x00,0x08,0x20,0xc4]
#CHECK: wldeb %f0, %v31 # encoding: [0xe7,0x0f,0x00,0x08,0x24,0xc4]
@ -5016,12 +5065,14 @@
#CHECK: wldeb %f14, %v17 # encoding: [0xe7,0xe1,0x00,0x08,0x24,0xc4]
wldeb %v0, %v0
wldeb %f0, %f0
wldeb %v0, %v15
wldeb %v0, %v31
wldeb %v15, %v0
wldeb %v31, %v0
wldeb %v14, %v17
#CHECK: wledb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
#CHECK: wledb %f0, %f0, 0, 0 # encoding: [0xe7,0x00,0x00,0x08,0x30,0xc5]
#CHECK: wledb %f0, %f0, 0, 15 # encoding: [0xe7,0x00,0x00,0xf8,0x30,0xc5]
#CHECK: wledb %f0, %f0, 4, 0 # encoding: [0xe7,0x00,0x00,0x0c,0x30,0xc5]
@ -5031,6 +5082,7 @@
#CHECK: wledb %f14, %v17, 4, 10 # encoding: [0xe7,0xe1,0x00,0xac,0x34,0xc5]
wledb %v0, %v0, 0, 0
wledb %f0, %f0, 0, 0
wledb %v0, %v0, 0, 15
wledb %v0, %v0, 4, 0
wledb %v0, %v0, 12, 0