44 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-- -mattr=+sse4.1 | FileCheck %s3; RUN: llc < %s -mtriple=x86_64-- -mattr=+avx2 | FileCheck %s4 5define i16 @mulhs(i16 %a0, i16 %a1) {6; CHECK-LABEL: mulhs:7; CHECK: # %bb.0:8; CHECK-NEXT: movswl %di, %ecx9; CHECK-NEXT: movswl %si, %eax10; CHECK-NEXT: imull %ecx, %eax11; CHECK-NEXT: shrl $16, %eax12; CHECK-NEXT: # kill: def $ax killed $ax killed $eax13; CHECK-NEXT: retq14 %x0 = sext i16 %a0 to i3215 %x1 = sext i16 %a1 to i3216 %v0 = insertelement <1 x i32> <i32 undef>, i32 %x0, i32 017 %v1 = insertelement <1 x i32> <i32 undef>, i32 %x1, i32 018 %mul = mul nsw <1 x i32> %v0, %v119 %lshr = lshr <1 x i32> %mul, <i32 16>20 %trunc = trunc <1 x i32> %lshr to <1 x i16>21 %res = extractelement <1 x i16> %trunc, i32 022 ret i16 %res23}24 25define i16 @mulhu(i16 %a0, i16 %a1) {26; CHECK-LABEL: mulhu:27; CHECK: # %bb.0:28; CHECK-NEXT: movzwl %di, %ecx29; CHECK-NEXT: movzwl %si, %eax30; CHECK-NEXT: imull %ecx, %eax31; CHECK-NEXT: shrl $16, %eax32; CHECK-NEXT: # kill: def $ax killed $ax killed $eax33; CHECK-NEXT: retq34 %x0 = zext i16 %a0 to i3235 %x1 = zext i16 %a1 to i3236 %v0 = insertelement <1 x i32> <i32 undef>, i32 %x0, i32 037 %v1 = insertelement <1 x i32> <i32 undef>, i32 %x1, i32 038 %mul = mul nsw <1 x i32> %v0, %v139 %lshr = lshr <1 x i32> %mul, <i32 16>40 %trunc = trunc <1 x i32> %lshr to <1 x i16>41 %res = extractelement <1 x i16> %trunc, i32 042 ret i16 %res43}44