| ; RUN: llc < %s | FileCheck %s |
| |
| target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128" |
| target triple = "aarch64-unknown-linux-gnu" |
| |
| define <4 x i16> @f(<4 x i32> %vqdmlal_v3.i, <8 x i16> %x5) { |
| entry: |
| ; Check that we don't just dup the input vector. The code emitted is ext, dup, ext, ext |
| ; but only match the last three instructions as the first two could be combined to |
| ; a dup2 at some stage. |
| ; CHECK: dup |
| ; CHECK: ext |
| ; CHECK: ext |
| %x4 = extractelement <4 x i32> %vqdmlal_v3.i, i32 2 |
| %vgetq_lane = trunc i32 %x4 to i16 |
| %vecinit.i = insertelement <4 x i16> undef, i16 %vgetq_lane, i32 0 |
| %vecinit2.i = insertelement <4 x i16> %vecinit.i, i16 %vgetq_lane, i32 2 |
| %vecinit3.i = insertelement <4 x i16> %vecinit2.i, i16 %vgetq_lane, i32 3 |
| %vgetq_lane261 = extractelement <8 x i16> %x5, i32 0 |
| %vset_lane267 = insertelement <4 x i16> %vecinit3.i, i16 %vgetq_lane261, i32 1 |
| ret <4 x i16> %vset_lane267 |
| } |