--- /dev/null
+#as: -mlibresoc
+#objdump: -dr -Mlibresoc
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+0+ <\.text>:
+.*:\s+(5b e0 03 ec|ec 03 e0 5b)\s+absdacs\s+r31,r0,r0
+.*:\s+(58 1f 03 ec|ec 03 1f 58)\s+absdacs\s+r0,r31,r0
+.*:\s+(58 00 fb ec|ec fb 00 58)\s+absdacs\s+r0,r0,r31
+.*:\s+(5b e0 03 ed|ed 03 e0 5b)\s+absdacs.\s+r31,r0,r0
+.*:\s+(58 1f 03 ed|ed 03 1f 58)\s+absdacs.\s+r0,r31,r0
+.*:\s+(58 00 fb ed|ed fb 00 58)\s+absdacs.\s+r0,r0,r31
+.*:\s+(5b e0 04 ec|ec 04 e0 5b)\s+absds\s+r31,r0,r0
+.*:\s+(58 1f 04 ec|ec 04 1f 58)\s+absds\s+r0,r31,r0
+.*:\s+(58 00 fc ec|ec fc 00 58)\s+absds\s+r0,r0,r31
+.*:\s+(5b e0 04 ed|ed 04 e0 5b)\s+absds.\s+r31,r0,r0
+.*:\s+(58 1f 04 ed|ed 04 1f 58)\s+absds.\s+r0,r31,r0
+.*:\s+(58 00 fc ed|ed fc 00 58)\s+absds.\s+r0,r0,r31
+.*:\s+(5b e0 05 ec|ec 05 e0 5b)\s+absdu\s+r31,r0,r0
+.*:\s+(58 1f 05 ec|ec 05 1f 58)\s+absdu\s+r0,r31,r0
+.*:\s+(58 00 fd ec|ec fd 00 58)\s+absdu\s+r0,r0,r31
+.*:\s+(5b e0 05 ed|ed 05 e0 5b)\s+absdu.\s+r31,r0,r0
+.*:\s+(58 1f 05 ed|ed 05 1f 58)\s+absdu.\s+r0,r31,r0
+.*:\s+(58 00 fd ed|ed fd 00 58)\s+absdu.\s+r0,r0,r31
+.*:\s+(5b e0 07 ec|ec 07 e0 5b)\s+absdacu\s+r31,r0,r0
+.*:\s+(58 1f 07 ec|ec 07 1f 58)\s+absdacu\s+r0,r31,r0
+.*:\s+(58 00 ff ec|ec ff 00 58)\s+absdacu\s+r0,r0,r31
+.*:\s+(5b e0 07 ed|ed 07 e0 5b)\s+absdacu.\s+r31,r0,r0
+.*:\s+(58 1f 07 ed|ed 07 1f 58)\s+absdacu.\s+r0,r31,r0
+.*:\s+(58 00 ff ed|ed ff 00 58)\s+absdacu.\s+r0,r0,r31
{"cprop", XRC(22,398,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
{"cprop.", XRC(22,398,1), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absdacs", XRC(22,502,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absdacs.", XRC(22,502,1), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absds", XRC(22,630,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absds.", XRC(22,630,1), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absdu", XRC(22,758,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absdu.", XRC(22,758,1), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absdacu", XRC(22,1014,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"absdacu.", XRC(22,1014,1), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+
{"avgadd", XRC(22,846,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
{"avgadd.", XRC(22,846,1), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},