to-the-max, product can overflow result.
--- /dev/null
+.include "t-macros.i"
+
+       start
+
+test_adda1:    
+       clearfcsr
+       loadfp $f1 4.0
+       loadfp $f2 0.1
+       adda.s $f1, $f2
+       checkacc 0 4.1
+
+test_add2:
+       clearfcsr
+       loadfp $f1 , -4.0
+       loadfp $f2 8.0
+       adda.s $f2, $f1
+       checkacc 0 4.0
+
+test_add3:
+       clearfcsr
+       loadfpmax $f1
+       loadfpmax $f2
+       adda.s $f2, $f1
+       checkaccmax FCSR_O
+
+test_add4:
+       clearfcsr
+       loadfpmax $f1
+       neg.s $f1, $f1
+       loadfpmax $f2
+       neg.s $f2, $f2
+       adda.s $f1, $f2
+       checkfcsr FCSR_O
+       clearfcsr
+       msub.s $f3, $f0, $f0
+       neg.s $f3, $f3
+       clearfcsr
+       checkfpmax 0 $f3
+
+       exit0