; RUN: llc -march=hexagon < %s | FileCheck %s
; CHECK: r{{[0-9]+}}:{{[0-9]+}} = add(r{{[0-9]+}}:{{[0-9+]}},r{{[0-9]+}}:{{[0-9]+}}):raw:{{..}}
define i64 @f0(i32 %a0, i64 %a1) #0 {
b0:
%v0 = sext i32 %a0 to i64
%v1 = add nsw i64 %v0, %a1
ret i64 %v1
}
attributes #0 = { nounwind readnone }