--- /dev/null
+#as: -mfuture
+#objdump: -dr -Mfuture
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+
+0+ <\.text>:
+ 0: ec 00 04 5c fcoss f0,f0
+ 4: ec 00 04 5d fcoss. f0,f0
+ 8: ec 00 54 5c fcoss f0,f10
+ c: ec 00 54 5d fcoss. f0,f10
+ 10: ec 00 ac 5c fcoss f0,f21
+ 14: ec 00 ac 5d fcoss. f0,f21
+ 18: ec 00 fc 5c fcoss f0,f31
+ 1c: ec 00 fc 5d fcoss. f0,f31
+ 20: ed 40 04 5c fcoss f10,f0
+ 24: ed 40 04 5d fcoss. f10,f0
+ 28: ed 40 54 5c fcoss f10,f10
+ 2c: ed 40 54 5d fcoss. f10,f10
+ 30: ed 40 ac 5c fcoss f10,f21
+ 34: ed 40 ac 5d fcoss. f10,f21
+ 38: ed 40 fc 5c fcoss f10,f31
+ 3c: ed 40 fc 5d fcoss. f10,f31
+ 40: ee a0 04 5c fcoss f21,f0
+ 44: ee a0 04 5d fcoss. f21,f0
+ 48: ee a0 54 5c fcoss f21,f10
+ 4c: ee a0 54 5d fcoss. f21,f10
+ 50: ee a0 ac 5c fcoss f21,f21
+ 54: ee a0 ac 5d fcoss. f21,f21
+ 58: ee a0 fc 5c fcoss f21,f31
+ 5c: ee a0 fc 5d fcoss. f21,f31
+ 60: ef e0 04 5c fcoss f31,f0
+ 64: ef e0 04 5d fcoss. f31,f0
+ 68: ef e0 54 5c fcoss f31,f10
+ 6c: ef e0 54 5d fcoss. f31,f10
+ 70: ef e0 ac 5c fcoss f31,f21
+ 74: ef e0 ac 5d fcoss. f31,f21
+ 78: ef e0 fc 5c fcoss f31,f31
+ 7c: ef e0 fc 5d fcoss. f31,f31
{"ddiv", XRC(59,546,0), X_MASK, POWER6, PPCVLE, {FRT, FRA, FRB}},
{"ddiv.", XRC(59,546,1), X_MASK, POWER6, PPCVLE, {FRT, FRA, FRB}},
+{"fcoss", XRC(59,558,0), XRA_MASK, DRAFT, PPCVLE, {FRT, FRB}},
+{"fcoss.", XRC(59,558,1), XRA_MASK, DRAFT, PPCVLE, {FRT, FRB}},
+
{"xvf16ger2pn", XX3(59,146), XX3_MASK|3<<21, POWER10, PPCVLE, {ACC, XA6a, XB6a}},
{"xvf32gerpn", XX3(59,154), XX3_MASK|3<<21, POWER10, PPCVLE, {ACC, XA6a, XB6a}},