blob: dde6e76b266aac46175322582ac2efb9f9d96ff8 [file] [log] [blame]
 # RUN: llvm-mc -triple=hexagon -disassemble < %s | FileCheck %s # Hexagon Programmer's Reference Manual 11.10.5 XTYPE/MPY # Multiply and use lower result 0xb1 0xdf 0x35 0xd7 # CHECK: r17 = add(#21,mpyi(r21,r31)) 0xbf 0xd1 0x35 0xd8 # CHECK: r17 = add(#21,mpyi(r21,#31)) 0xb5 0xd1 0x3f 0xdf # CHECK: r17 = add(r21,mpyi(#84,r31)) 0xf5 0xf1 0xb5 0xdf # CHECK: r17 = add(r21,mpyi(r21,#31)) 0x15 0xd1 0x1f 0xe3 # CHECK: r17 = add(r21,mpyi(r17,r31)) 0xf1 0xc3 0x15 0xe0 # CHECK: r17 = +mpyi(r21,#31) 0xf1 0xc3 0x95 0xe0 # CHECK: r17 = -mpyi(r21,#31) 0xf1 0xc3 0x15 0xe1 # CHECK: r17 += mpyi(r21,#31) 0xf1 0xc3 0x95 0xe1 # CHECK: r17 -= mpyi(r21,#31) 0x11 0xdf 0x15 0xed # CHECK: r17 = mpyi(r21,r31) 0x11 0xdf 0x15 0xef # CHECK: r17 += mpyi(r21,r31) # Vector multiply word by signed half (32x16) 0xb0 0xde 0x14 0xe8 # CHECK: r17:16 = vmpyweh(r21:20,r31:30):sat 0xb0 0xde 0x94 0xe8 # CHECK: r17:16 = vmpyweh(r21:20,r31:30):<<1:sat 0xf0 0xde 0x14 0xe8 # CHECK: r17:16 = vmpywoh(r21:20,r31:30):sat 0xf0 0xde 0x94 0xe8 # CHECK: r17:16 = vmpywoh(r21:20,r31:30):<<1:sat 0xb0 0xde 0x34 0xe8 # CHECK: r17:16 = vmpyweh(r21:20,r31:30):rnd:sat 0xb0 0xde 0xb4 0xe8 # CHECK: r17:16 = vmpyweh(r21:20,r31:30):<<1:rnd:sat 0xf0 0xde 0x34 0xe8 # CHECK: r17:16 = vmpywoh(r21:20,r31:30):rnd:sat 0xf0 0xde 0xb4 0xe8 # CHECK: r17:16 = vmpywoh(r21:20,r31:30):<<1:rnd:sat 0xb0 0xde 0x14 0xea # CHECK: r17:16 += vmpyweh(r21:20,r31:30):sat 0xb0 0xde 0x94 0xea # CHECK: r17:16 += vmpyweh(r21:20,r31:30):<<1:sat 0xf0 0xde 0x14 0xea # CHECK: r17:16 += vmpywoh(r21:20,r31:30):sat 0xf0 0xde 0x94 0xea # CHECK: r17:16 += vmpywoh(r21:20,r31:30):<<1:sat 0xb0 0xde 0x34 0xea # CHECK: r17:16 += vmpyweh(r21:20,r31:30):rnd:sat 0xb0 0xde 0xb4 0xea # CHECK: r17:16 += vmpyweh(r21:20,r31:30):<<1:rnd:sat 0xf0 0xde 0x34 0xea # CHECK: r17:16 += vmpywoh(r21:20,r31:30):rnd:sat 0xf0 0xde 0xb4 0xea # CHECK: r17:16 += vmpywoh(r21:20,r31:30):<<1:rnd:sat # Vector multiply word by unsigned half (32x16) 0xb0 0xde 0x54 0xe8 # CHECK: r17:16 = vmpyweuh(r21:20,r31:30):sat 0xb0 0xde 0xd4 0xe8 # CHECK: r17:16 = vmpyweuh(r21:20,r31:30):<<1:sat 0xf0 0xde 0x54 0xe8 # CHECK: r17:16 = vmpywouh(r21:20,r31:30):sat 0xf0 0xde 0xd4 0xe8 # CHECK: r17:16 = vmpywouh(r21:20,r31:30):<<1:sat 0xb0 0xde 0x74 0xe8 # CHECK: r17:16 = vmpyweuh(r21:20,r31:30):rnd:sat 0xb0 0xde 0xf4 0xe8 # CHECK: r17:16 = vmpyweuh(r21:20,r31:30):<<1:rnd:sat 0xf0 0xde 0x74 0xe8 # CHECK: r17:16 = vmpywouh(r21:20,r31:30):rnd:sat 0xf0 0xde 0xf4 0xe8 # CHECK: r17:16 = vmpywouh(r21:20,r31:30):<<1:rnd:sat 0xb0 0xde 0x54 0xea # CHECK: r17:16 += vmpyweuh(r21:20,r31:30):sat 0xb0 0xde 0xd4 0xea # CHECK: r17:16 += vmpyweuh(r21:20,r31:30):<<1:sat 0xf0 0xde 0x54 0xea # CHECK: r17:16 += vmpywouh(r21:20,r31:30):sat 0xf0 0xde 0xd4 0xea # CHECK: r17:16 += vmpywouh(r21:20,r31:30):<<1:sat 0xb0 0xde 0x74 0xea # CHECK: r17:16 += vmpyweuh(r21:20,r31:30):rnd:sat 0xb0 0xde 0xf4 0xea # CHECK: r17:16 += vmpyweuh(r21:20,r31:30):<<1:rnd:sat 0xf0 0xde 0x74 0xea # CHECK: r17:16 += vmpywouh(r21:20,r31:30):rnd:sat 0xf0 0xde 0xf4 0xea # CHECK: r17:16 += vmpywouh(r21:20,r31:30):<<1:rnd:sat # Multiply signed halfwords 0x10 0xdf 0x95 0xe4 # CHECK: r17:16 = mpy(r21.l,r31.l):<<1 0x30 0xdf 0x95 0xe4 # CHECK: r17:16 = mpy(r21.l,r31.h):<<1 0x50 0xdf 0x95 0xe4 # CHECK: r17:16 = mpy(r21.h,r31.l):<<1 0x70 0xdf 0x95 0xe4 # CHECK: r17:16 = mpy(r21.h,r31.h):<<1 0x10 0xdf 0xb5 0xe4 # CHECK: r17:16 = mpy(r21.l,r31.l):<<1:rnd 0x30 0xdf 0xb5 0xe4 # CHECK: r17:16 = mpy(r21.l,r31.h):<<1:rnd 0x50 0xdf 0xb5 0xe4 # CHECK: r17:16 = mpy(r21.h,r31.l):<<1:rnd 0x70 0xdf 0xb5 0xe4 # CHECK: r17:16 = mpy(r21.h,r31.h):<<1:rnd 0x10 0xdf 0x95 0xe6 # CHECK: r17:16 += mpy(r21.l,r31.l):<<1 0x30 0xdf 0x95 0xe6 # CHECK: r17:16 += mpy(r21.l,r31.h):<<1 0x50 0xdf 0x95 0xe6 # CHECK: r17:16 += mpy(r21.h,r31.l):<<1 0x70 0xdf 0x95 0xe6 # CHECK: r17:16 += mpy(r21.h,r31.h):<<1 0x10 0xdf 0xb5 0xe6 # CHECK: r17:16 -= mpy(r21.l,r31.l):<<1 0x30 0xdf 0xb5 0xe6 # CHECK: r17:16 -= mpy(r21.l,r31.h):<<1 0x50 0xdf 0xb5 0xe6 # CHECK: r17:16 -= mpy(r21.h,r31.l):<<1 0x70 0xdf 0xb5 0xe6 # CHECK: r17:16 -= mpy(r21.h,r31.h):<<1 0x11 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.l,r31.l):<<1 0x31 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.l,r31.h):<<1 0x51 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.h,r31.l):<<1 0x71 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.h,r31.h):<<1 0x91 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.l,r31.l):<<1:sat 0xb1 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.l,r31.h):<<1:sat 0xd1 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.h,r31.l):<<1:sat 0xf1 0xdf 0x95 0xec # CHECK: r17 = mpy(r21.h,r31.h):<<1:sat 0x11 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.l,r31.l):<<1:rnd 0x31 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.l,r31.h):<<1:rnd 0x51 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.h,r31.l):<<1:rnd 0x71 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.h,r31.h):<<1:rnd 0x91 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.l,r31.l):<<1:rnd:sat 0xb1 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.l,r31.h):<<1:rnd:sat 0xd1 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.h,r31.l):<<1:rnd:sat 0xf1 0xdf 0xb5 0xec # CHECK: r17 = mpy(r21.h,r31.h):<<1:rnd:sat 0x11 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.l,r31.l):<<1 0x31 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.l,r31.h):<<1 0x51 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.h,r31.l):<<1 0x71 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.h,r31.h):<<1 0x91 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.l,r31.l):<<1:sat 0xb1 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.l,r31.h):<<1:sat 0xd1 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.h,r31.l):<<1:sat 0xf1 0xdf 0x95 0xee # CHECK: r17 += mpy(r21.h,r31.h):<<1:sat 0x11 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.l,r31.l):<<1 0x31 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.l,r31.h):<<1 0x51 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.h,r31.l):<<1 0x71 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.h,r31.h):<<1 0x91 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.l,r31.l):<<1:sat 0xb1 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.l,r31.h):<<1:sat 0xd1 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.h,r31.l):<<1:sat 0xf1 0xdf 0xb5 0xee # CHECK: r17 -= mpy(r21.h,r31.h):<<1:sat # Multiply unsigned halfwords 0x10 0xdf 0xd5 0xe4 # CHECK: r17:16 = mpyu(r21.l,r31.l):<<1 0x30 0xdf 0xd5 0xe4 # CHECK: r17:16 = mpyu(r21.l,r31.h):<<1 0x50 0xdf 0xd5 0xe4 # CHECK: r17:16 = mpyu(r21.h,r31.l):<<1 0x70 0xdf 0xd5 0xe4 # CHECK: r17:16 = mpyu(r21.h,r31.h):<<1 0x10 0xdf 0xd5 0xe6 # CHECK: r17:16 += mpyu(r21.l,r31.l):<<1 0x30 0xdf 0xd5 0xe6 # CHECK: r17:16 += mpyu(r21.l,r31.h):<<1 0x50 0xdf 0xd5 0xe6 # CHECK: r17:16 += mpyu(r21.h,r31.l):<<1 0x70 0xdf 0xd5 0xe6 # CHECK: r17:16 += mpyu(r21.h,r31.h):<<1 0x10 0xdf 0xf5 0xe6 # CHECK: r17:16 -= mpyu(r21.l,r31.l):<<1 0x30 0xdf 0xf5 0xe6 # CHECK: r17:16 -= mpyu(r21.l,r31.h):<<1 0x50 0xdf 0xf5 0xe6 # CHECK: r17:16 -= mpyu(r21.h,r31.l):<<1 0x70 0xdf 0xf5 0xe6 # CHECK: r17:16 -= mpyu(r21.h,r31.h):<<1 0x11 0xdf 0xd5 0xec # CHECK: r17 = mpyu(r21.l,r31.l):<<1 0x31 0xdf 0xd5 0xec # CHECK: r17 = mpyu(r21.l,r31.h):<<1 0x51 0xdf 0xd5 0xec # CHECK: r17 = mpyu(r21.h,r31.l):<<1 0x71 0xdf 0xd5 0xec # CHECK: r17 = mpyu(r21.h,r31.h):<<1 0x11 0xdf 0xd5 0xee # CHECK: r17 += mpyu(r21.l,r31.l):<<1 0x31 0xdf 0xd5 0xee # CHECK: r17 += mpyu(r21.l,r31.h):<<1 0x51 0xdf 0xd5 0xee # CHECK: r17 += mpyu(r21.h,r31.l):<<1 0x71 0xdf 0xd5 0xee # CHECK: r17 += mpyu(r21.h,r31.h):<<1 0x11 0xdf 0xf5 0xee # CHECK: r17 -= mpyu(r21.l,r31.l):<<1 0x31 0xdf 0xf5 0xee # CHECK: r17 -= mpyu(r21.l,r31.h):<<1 0x51 0xdf 0xf5 0xee # CHECK: r17 -= mpyu(r21.h,r31.l):<<1 0x71 0xdf 0xf5 0xee # CHECK: r17 -= mpyu(r21.h,r31.h):<<1 # Polynomial multiply words 0xf0 0xdf 0x55 0xe5 # CHECK: r17:16 = pmpyw(r21,r31) 0xf0 0xdf 0x35 0xe7 # CHECK: r17:16 ^= pmpyw(r21,r31) # Vector reduce multiply word by signed half (32x16) 0x50 0xde 0x34 0xe8 # CHECK: r17:16 = vrmpywoh(r21:20,r31:30) 0x50 0xde 0xb4 0xe8 # CHECK: r17:16 = vrmpywoh(r21:20,r31:30):<<1 0x90 0xde 0x54 0xe8 # CHECK: r17:16 = vrmpyweh(r21:20,r31:30) 0x90 0xde 0xd4 0xe8 # CHECK: r17:16 = vrmpyweh(r21:20,r31:30):<<1 0xd0 0xde 0x74 0xea # CHECK: r17:16 += vrmpywoh(r21:20,r31:30) 0xd0 0xde 0xf4 0xea # CHECK: r17:16 += vrmpywoh(r21:20,r31:30):<<1 0xd0 0xde 0x34 0xea # CHECK: r17:16 += vrmpyweh(r21:20,r31:30) 0xd0 0xde 0xb4 0xea # CHECK: r17:16 += vrmpyweh(r21:20,r31:30):<<1 # Multiply and use upper result 0x31 0xdf 0x15 0xed # CHECK: r17 = mpy(r21,r31) 0x31 0xdf 0x35 0xed # CHECK: r17 = mpy(r21,r31):rnd 0x31 0xdf 0x55 0xed # CHECK: r17 = mpyu(r21,r31) 0x31 0xdf 0x75 0xed # CHECK: r17 = mpysu(r21,r31) 0x11 0xdf 0xb5 0xed # CHECK: r17 = mpy(r21,r31.h):<<1:sat 0x31 0xdf 0xb5 0xed # CHECK: r17 = mpy(r21,r31.l):<<1:sat 0x91 0xdf 0xb5 0xed # CHECK: r17 = mpy(r21,r31.h):<<1:rnd:sat 0x11 0xdf 0xf5 0xed # CHECK: r17 = mpy(r21,r31):<<1:sat 0x91 0xdf 0xf5 0xed # CHECK: r17 = mpy(r21,r31.l):<<1:rnd:sat 0x51 0xdf 0xb5 0xed # CHECK: r17 = mpy(r21,r31):<<1 0x11 0xdf 0x75 0xef # CHECK: r17 += mpy(r21,r31):<<1:sat 0x31 0xdf 0x75 0xef # CHECK: r17 -= mpy(r21,r31):<<1:sat # Multiply and use full result 0x10 0xdf 0x15 0xe5 # CHECK: r17:16 = mpy(r21,r31) 0x10 0xdf 0x55 0xe5 # CHECK: r17:16 = mpyu(r21,r31) 0x10 0xdf 0x15 0xe7 # CHECK: r17:16 += mpy(r21,r31) 0x10 0xdf 0x35 0xe7 # CHECK: r17:16 -= mpy(r21,r31) 0x10 0xdf 0x55 0xe7 # CHECK: r17:16 += mpyu(r21,r31) 0x10 0xdf 0x75 0xe7 # CHECK: r17:16 -= mpyu(r21,r31) # Vector dual multiply 0x90 0xde 0x14 0xe8 # CHECK: r17:16 = vdmpy(r21:20,r31:30):sat 0x90 0xde 0x94 0xe8 # CHECK: r17:16 = vdmpy(r21:20,r31:30):<<1:sat 0x90 0xde 0x14 0xea # CHECK: r17:16 += vdmpy(r21:20,r31:30):sat 0x90 0xde 0x94 0xea # CHECK: r17:16 += vdmpy(r21:20,r31:30):<<1:sat # Vector dual multiply with round and pack 0x11 0xde 0x14 0xe9 # CHECK: r17 = vdmpy(r21:20,r31:30):rnd:sat 0x11 0xde 0x94 0xe9 # CHECK: r17 = vdmpy(r21:20,r31:30):<<1:rnd:sat # Vector reduce multiply bytes 0x30 0xde 0x94 0xe8 # CHECK: r17:16 = vrmpybu(r21:20,r31:30) 0x30 0xde 0xd4 0xe8 # CHECK: r17:16 = vrmpybsu(r21:20,r31:30) 0x30 0xde 0x94 0xea # CHECK: r17:16 += vrmpybu(r21:20,r31:30) 0x30 0xde 0xd4 0xea # CHECK: r17:16 += vrmpybsu(r21:20,r31:30) # Vector dual multiply signed by unsigned bytes 0x30 0xde 0xb4 0xe8 # CHECK: r17:16 = vdmpybsu(r21:20,r31:30):sat 0x30 0xde 0x34 0xea # CHECK: r17:16 += vdmpybsu(r21:20,r31:30):sat # Vector multiply even haldwords 0xd0 0xde 0x14 0xe8 # CHECK: r17:16 = vmpyeh(r21:20,r31:30):sat 0xd0 0xde 0x94 0xe8 # CHECK: r17:16 = vmpyeh(r21:20,r31:30):<<1:sat 0x50 0xde 0x34 0xea # CHECK: r17:16 += vmpyeh(r21:20,r31:30) 0xd0 0xde 0x14 0xea # CHECK: r17:16 += vmpyeh(r21:20,r31:30):sat 0xd0 0xde 0x94 0xea # CHECK: r17:16 += vmpyeh(r21:20,r31:30):<<1:sat # Vector multiply halfwords 0xb0 0xdf 0x15 0xe5 # CHECK: r17:16 = vmpyh(r21,r31):sat 0xb0 0xdf 0x95 0xe5 # CHECK: r17:16 = vmpyh(r21,r31):<<1:sat 0x30 0xdf 0x35 0xe7 # CHECK: r17:16 += vmpyh(r21,r31) 0xb0 0xdf 0x15 0xe7 # CHECK: r17:16 += vmpyh(r21,r31):sat 0xb0 0xdf 0x95 0xe7 # CHECK: r17:16 += vmpyh(r21,r31):<<1:sat # Vector multiply halfwords with round and pack 0xf1 0xdf 0x35 0xed # CHECK: r17 = vmpyh(r21,r31):rnd:sat 0xf1 0xdf 0xb5 0xed # CHECK: r17 = vmpyh(r21,r31):<<1:rnd:sat # Vector multiply halfwords signed by unsigned 0xf0 0xdf 0x15 0xe5 # CHECK: r17:16 = vmpyhsu(r21,r31):sat 0xf0 0xdf 0x95 0xe5 # CHECK: r17:16 = vmpyhsu(r21,r31):<<1:sat 0xb0 0xdf 0x75 0xe7 # CHECK: r17:16 += vmpyhsu(r21,r31):sat 0xb0 0xdf 0xf5 0xe7 # CHECK: r17:16 += vmpyhsu(r21,r31):<<1:sat # Vector reduce multiply halfwords 0x50 0xde 0x14 0xe8 # CHECK: r17:16 = vrmpyh(r21:20,r31:30) 0x50 0xde 0x14 0xea # CHECK: r17:16 += vrmpyh(r21:20,r31:30) # Vector multiply bytes 0x30 0xdf 0x55 0xe5 # CHECK: r17:16 = vmpybsu(r21,r31) 0x30 0xdf 0x95 0xe5 # CHECK: r17:16 = vmpybu(r21,r31) 0x30 0xdf 0x95 0xe7 # CHECK: r17:16 += vmpybu(r21,r31) 0x30 0xdf 0xd5 0xe7 # CHECK: r17:16 += vmpybsu(r21,r31) # Vector polynomial multiply halfwords 0xf0 0xdf 0xd5 0xe5 # CHECK: r17:16 = vpmpyh(r21,r31) 0xf0 0xdf 0xb5 0xe7 # CHECK: r17:16 ^= vpmpyh(r21,r31)