static __inline int64 MADD64(int64 sum, int x, int y)
{
   return (sum + ((int64)x * y));
}

typedef union tagInt64 {
   int64   n;
   struct {
      uint32   lo;      
      int32   hi;                  
   };
}Int64;

typedef union _U64
{
   long long w64;
   struct{
      unsigned int lo32;
      signed int hi32;
   } r;
} U64;
static __inline long long MADD64(long long sum64, int x, int y)
{
   U64 u;
   u.w64 = sum64;
   __asm__ volatile ("smlal %0,%1,%2,%3" : "+&r" (u.r.lo32), "+&r" (u.r.hi32) : "r" (x), "r" (y) : "cc");
   return u.w64;
}

static __inline int64 MADD64(int64 s, int x, int y) {
Int64 t;
   t.n = s;   
   __asm__ volatile ("madd %2,%3"  : "+l" ( t.lo ), "+h" ( t.hi ) : "%r" (x), "r" (y));
   return t.n;
}

; [v1:v0] += a0 * a1;
mtlo v0 ; копирай v0 в lo
mthi v1 ; копирай v1 в hi
madd a0,a1 ; [hi:lo] += a0 * a1;
mflo v0 ; копирай lo в v0
mfhi v1 ; копирай hi в v1
; резултата от MADD е в [v1:v0]

static long long __attribute__((always_inline)) maddn (const int *x, const int *y, int n)
{
    long long acc = 0;

    while (n--)
        acc += (long long)*x++ * *y++;

    return acc;
}

asm volatile (
   "асемблерски инструкции"
     : списък с изходни регистри (outputs)
     : списък с входни регистри и/или параметри (inputs)
     : списък с нещата дето се омазват (globbers)
);

asm (
   "madd %4,%5" 

     : "=l" ( out.lo ), "=h" ( out.hi )
     : "0" (in.lo), "1" (in.hi), "r" (x), "r" (y)
    
);

static long long __attribute__((always_inline)) maddn (long long acc, const int *x, const int *y, int n)
{
   while (n--)
      acc += (long long)*x++ * *y++;

   return acc;
}

int main (void)
{
   int *x, *y;
   long long r;

   x = (int *)0x10000;
   y = (int *)0x20000;
   r = maddn (0x12345678, x, y, 100);
   
return r;
}

---  C:\Microchip Starter Kits\PIC32 Starter Kits\maddtest\main.c  -------------------------------
1:                   static long long __attribute__((always_inline)) maddn (long long acc, const int *x, const int *y, int n)
2:                   {
9D000018  3C021234   lui         v0,0x1234
9D00001C  34425678   ori         v0,v0,0x5678
9D000020  00001821   addu        v1,zero,zero
9D000024  00400013   mtlo        v0
9D000028  00600011   mthi        v1
9D00002C  3C060001   lui         a2,0x1
9D000030  3C050002   lui         a1,0x2
3:                      while (n--)
4:                         acc += (long long)*x++ * *y++;
9D000034  24040063   addiu       a0,zero,99
9D000038  2407FFFF   addiu       a3,zero,-1
9D00003C  8CC30000   lw          v1,0(a2)
9D000040  8CA20000   lw          v0,0(a1)
9D000044  2484FFFF   addiu       a0,a0,-1
9D000048  70620000   madd        v1,v0
9D00004C  24A50004   addiu       a1,a1,4
9D000050  1487FFFA   bne         a0,a3,0x9d00003c
9D000054  24C60004   addiu       a2,a2,4
5:                   
6:                      return acc;
7:                   }
8:                   
9:                   int main (void)
10:                  {
11:                     int *x, *y;
12:                     long long r;
13:                 
14:                     x = (int *)0x10000;
15:                     y = (int *)0x20000;
16:                     r = maddn (0x12345678, x, y, 100);
17:                     
18:                  return r;
19:                  }
9D000058  03E00008   jr          ra
9D00005C  00001012   mflo        v0