--- /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
{"maxs", XRC(22,462,0), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
{"maxs.", XRC(22,462,1), X_MASK, SVP64, PPCVLE, {RT, RA, RB}},
+{"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}},