--- /dev/null
+// Test result extraction of mac instructions.
+// Test basic edge values
+// UNSIGNED FRACTIONAL mode into SINGLE destination register
+// test ops: "+="
+# mach: bfin
+
+.include "testutils.inc"
+ start
+
+
+// load r0=0x80000001
+// load r1=0x80007fff
+// load r2=0xf000ffff
+// load r3=0x0000007f
+// load r4=0x00000080
+ loadsym P0, data0;
+ R0 = [ P0 ++ ];
+ R1 = [ P0 ++ ];
+ R2 = [ P0 ++ ];
+ R3 = [ P0 ++ ];
+ R4 = [ P0 ++ ];
+
+// extraction with no saturation (truncate)
+// 0x8000 * 0x7fff = 0x003fff8000 -> 0x3fff
+ A1 = A0 = 0;
+ R5.H = (A1 += R0.H * R1.L), R5.L = (A0 += R0.H * R1.L) (TFU);
+ DBGA ( R5.L , 0x3fff );
+ DBGA ( R5.H , 0x3fff );
+
+// extraction with no saturation (round)
+// 0x8000 * 0x7fff = 0x003fff8000 -> 0x4000
+ A1 = A0 = 0;
+ R5.H = (A1 += R0.H * R1.L), R5.L = (A0 += R0.H * R1.L) (FU);
+ DBGA ( R5.L , 0x4000 );
+ DBGA ( R5.H , 0x4000 );
+
+// extraction with no saturation
+// 0xffff * 0xffff = 0x00fffe0001 -> 0xfffe
+ A1 = A0 = 0;
+ R5.H = (A1 += R2.L * R2.L), R5.L = (A0 += R2.L * R2.L) (FU);
+ DBGA ( R5.L , 0xfffe );
+ DBGA ( R5.H , 0xfffe );
+
+// extraction with saturation
+//0x7ffffe0001 -> 0xffff
+ A1 = A0 = 0;
+ A1.x = R3.L;
+ A0.x = R3.L;
+ R5.H = (A1 += R2.L * R2.L), R5.L = (A0 += R2.L * R2.L) (FU);
+ DBGA ( R5.L , 0xffff );
+ DBGA ( R5.H , 0xffff );
+
+ pass
+
+ .data
+data0:
+ .dw 0x0001
+ .dw 0x8000
+ .dw 0x7fff
+ .dw 0x8000
+ .dw 0xffff
+ .dw 0xf000
+ .dw 0x007f
+ .dw 0x0000
+ .dw 0x0080
+ .dw 0x0000