--- /dev/null
+#as: -mlibresoc
+#objdump: -dr -Mlibresoc
+
+.*: file format .*
+
+
+Disassembly of section \.text:
+0+ <\.text>:
+.*:\s+(5b e0 03 1c|1c 03 e0 5b)\s+cprop\s+r31,r0,r0
+.*:\s+(58 1f 03 1c|1c 03 1f 58)\s+cprop\s+r0,r31,r0
+.*:\s+(58 00 fb 1c|1c fb 00 58)\s+cprop\s+r0,r0,r31
+.*:\s+(5b e0 03 1d|1d 03 e0 5b)\s+cprop.\s+r31,r0,r0
+.*:\s+(58 1f 03 1d|1d 03 1f 58)\s+cprop.\s+r0,r31,r0
+.*:\s+(58 00 fb 1d|1d fb 00 58)\s+cprop.\s+r0,r0,r31
{"svremap", SVRM(22,57), SVRM_MASK, SVP64, PPCVLE, {SVme, mi0, mi1, mi2, mo0, mo1, pst}},
+{"cprop", XRC(22,398,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"cprop.", XRC(22,398,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}},