1; RUN: llc -march=hexagon -mcpu=hexagonv5 -disable-hsdr < %s | FileCheck %s 2 3; Check that store is post-incremented. 4; CHECK-NOT: extractu 5; CHECK-NOT: insert 6target 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" 7target triple = "hexagon" 8 9define i32 @foo(i16* noalias nocapture %src, i16* noalias nocapture %dstImg, i32 %width, i32 %idx, i32 %flush) #0 { 10entry: 11 %0 = tail call i64 @llvm.hexagon.A2.combinew(i32 %flush, i32 %flush) 12 %1 = bitcast i64 %0 to <2 x i32> 13 br label %polly.loop_body 14 15polly.loop_after: ; preds = %polly.loop_body 16 ret i32 0 17 18polly.loop_body: ; preds = %entry, %polly.loop_body 19 %p_arrayidx35.phi = phi i16* [ %dstImg, %entry ], [ %p_arrayidx35.inc, %polly.loop_body ] 20 %p_arrayidx.phi = phi i16* [ %src, %entry ], [ %p_arrayidx.inc, %polly.loop_body ] 21 %polly.loopiv56 = phi i32 [ 0, %entry ], [ %polly.next_loopiv, %polly.loop_body ] 22 %polly.next_loopiv = add nsw i32 %polly.loopiv56, 4 23 %vector_ptr = bitcast i16* %p_arrayidx.phi to <4 x i16>* 24 %_p_vec_full = load <4 x i16>, <4 x i16>* %vector_ptr, align 2 25 %_high_half = shufflevector <4 x i16> %_p_vec_full, <4 x i16> undef, <2 x i32> <i32 2, i32 3> 26 %_low_half = shufflevector <4 x i16> %_p_vec_full, <4 x i16> undef, <2 x i32> <i32 0, i32 1> 27 %2 = zext <2 x i16> %_low_half to <2 x i32> 28 %3 = zext <2 x i16> %_high_half to <2 x i32> 29 %add33p_vec = add <2 x i32> %2, %1 30 %add33p_vec48 = add <2 x i32> %3, %1 31 %4 = trunc <2 x i32> %add33p_vec to <2 x i16> 32 %5 = trunc <2 x i32> %add33p_vec48 to <2 x i16> 33 %_combined_vec = shufflevector <2 x i16> %4, <2 x i16> %5, <4 x i32> <i32 0, i32 1, i32 2, i32 3> 34 %vector_ptr49 = bitcast i16* %p_arrayidx35.phi to <4 x i16>* 35 store <4 x i16> %_combined_vec, <4 x i16>* %vector_ptr49, align 2 36 %6 = icmp slt i32 %polly.next_loopiv, 1024 37 %p_arrayidx35.inc = getelementptr i16, i16* %p_arrayidx35.phi, i32 4 38 %p_arrayidx.inc = getelementptr i16, i16* %p_arrayidx.phi, i32 4 39 br i1 %6, label %polly.loop_body, label %polly.loop_after 40} 41 42declare i64 @llvm.hexagon.A2.combinew(i32, i32) #1 43 44attributes #0 = { nounwind "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-frame-pointer-elim-non-leaf"="true" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "unsafe-fp-math"="false" "use-soft-float"="false" } 45attributes #1 = { nounwind readnone } 46 47 48