|  | ; 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 | 
|  | } |