[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.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@250023 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/MC/SystemZ/insn-good-z13.s b/test/MC/SystemZ/insn-good-z13.s
index 621b946d19dde9293856671ccb8c4f47d4b6293a..db783295e546775e2532fd0db4765a2531ff061d 100644 (file)
--- a/test/MC/SystemZ/insn-good-z13.s
+++ b/test/MC/SystemZ/insn-good-z13.s
@@ -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