; RUN: llc -march=hexagon < %s | FileCheck %s

target triple = "hexagon"

; CHECK-LABEL: danny:
; CHECK: r{{[0-9]+}} = mpy(r0,r1)  
define i32 @danny(i32 %a0, i32 %a1) {
b2:
  %v3 = sext i32 %a0 to i64
  %v4 = sext i32 %a1 to i64
  %v5 = mul nsw i64 %v3, %v4
  %v6 = ashr i64 %v5, 32
  %v7 = trunc i64 %v6 to i32
  ret i32 %v7
}

; CHECK-LABEL: sammy:
; CHECK: r{{[0-9]+}} = mpy(r0,r1)
define i32 @sammy(i32 %a0, i32 %a1) {
b2:
  %v3 = sext i32 %a0 to i64
  %v4 = sext i32 %a1 to i64
  %v5 = mul nsw i64 %v3, %v4
  %v6 = lshr i64 %v5, 32
  %v7 = trunc i64 %v6 to i32
  ret i32 %v7
}