2 ; RUN: llc -march=hexagon -mcpu=hexagonv5 -disable-hsdr --stats -o - 2>&1 < %s | FileCheck %s
4 ; Check that store is post-incremented.
5 ; CHECK-NOT: extractu(r{{[0-9]+}},#32,
7 ; CHECK-NOT: Number of node order issues found
8 ; CHECK: Number of loops software pipelined
9 ; CHECK-NOT: Number of node order issues found
10 target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-v64:64:64-v32:32:32-a0:0-n16:32"
11 target triple = "hexagon"
13 define i32 @foo(ptr noalias nocapture %src, ptr noalias nocapture %dstImg, i32 %width, i32 %idx, i32 %flush) #0 {
15 %0 = tail call i64 @llvm.hexagon.A2.combinew(i32 %flush, i32 %flush)
16 %1 = bitcast i64 %0 to <2 x i32>
17 br label %polly.loop_body
19 polly.loop_after: ; preds = %polly.loop_body
22 polly.loop_body: ; preds = %entry, %polly.loop_body
23 %p_arrayidx35.phi = phi ptr [ %dstImg, %entry ], [ %p_arrayidx35.inc, %polly.loop_body ]
24 %p_arrayidx.phi = phi ptr [ %src, %entry ], [ %p_arrayidx.inc, %polly.loop_body ]
25 %polly.loopiv56 = phi i32 [ 0, %entry ], [ %polly.next_loopiv, %polly.loop_body ]
26 %polly.next_loopiv = add nsw i32 %polly.loopiv56, 4
27 %_p_vec_full = load <4 x i16>, ptr %p_arrayidx.phi, align 2
28 %_high_half = shufflevector <4 x i16> %_p_vec_full, <4 x i16> undef, <2 x i32> <i32 2, i32 3>
29 %_low_half = shufflevector <4 x i16> %_p_vec_full, <4 x i16> undef, <2 x i32> <i32 0, i32 1>
30 %2 = zext <2 x i16> %_low_half to <2 x i32>
31 %3 = zext <2 x i16> %_high_half to <2 x i32>
32 %add33p_vec = add <2 x i32> %2, %1
33 %add33p_vec48 = add <2 x i32> %3, %1
34 %4 = trunc <2 x i32> %add33p_vec to <2 x i16>
35 %5 = trunc <2 x i32> %add33p_vec48 to <2 x i16>
36 %_combined_vec = shufflevector <2 x i16> %4, <2 x i16> %5, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
37 store <4 x i16> %_combined_vec, ptr %p_arrayidx35.phi, align 2
38 %6 = icmp slt i32 %polly.next_loopiv, 1024
39 %p_arrayidx35.inc = getelementptr i16, ptr %p_arrayidx35.phi, i32 4
40 %p_arrayidx.inc = getelementptr i16, ptr %p_arrayidx.phi, i32 4
41 br i1 %6, label %polly.loop_body, label %polly.loop_after
44 declare i64 @llvm.hexagon.A2.combinew(i32, i32) #1
46 attributes #0 = { nounwind "less-precise-fpmad"="false" "frame-pointer"="non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" }
47 attributes #1 = { nounwind readnone }