[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / Hexagon / vect / vect-cst-v4i32.ll
blob12f9e00f0d063bafb7c23715038d3f2a036c79fd
1 ; XFAIL: *
2 ; Extract selecting of a constant into a generic utility function.
4 ; RUN: llc -march=hexagon -mcpu=hexagonv5 -disable-hsdr < %s | FileCheck %s
5 ; This one should generate a combine with two immediates.
6 ; CHECK: combine(#7,#7)
7 @B = common global [400 x i32] zeroinitializer, align 8
8 @A = common global [400 x i32] zeroinitializer, align 8
9 @C = common global [400 x i32] zeroinitializer, align 8
11 define void @run() nounwind {
12 entry:
13   br label %polly.loop_body
15 polly.loop_after:                                 ; preds = %polly.loop_body
16   ret void
18 polly.loop_body:                                  ; preds = %entry, %polly.loop_body
19   %polly.loopiv23 = phi i32 [ 0, %entry ], [ %polly.next_loopiv, %polly.loop_body ]
20   %polly.next_loopiv = add nsw i32 %polly.loopiv23, 4
21   %p_arrayidx1 = getelementptr [400 x i32], [400 x i32]* @A, i32 0, i32 %polly.loopiv23
22   %p_arrayidx = getelementptr [400 x i32], [400 x i32]* @B, i32 0, i32 %polly.loopiv23
23   %vector_ptr = bitcast i32* %p_arrayidx to <4 x i32>*
24   %_p_vec_full = load <4 x i32>, <4 x i32>* %vector_ptr, align 8
25   %mulp_vec = mul <4 x i32> %_p_vec_full, <i32 7, i32 7, i32 7, i32 7>
26   %vector_ptr12 = bitcast i32* %p_arrayidx1 to <4 x i32>*
27   %_p_vec_full13 = load <4 x i32>, <4 x i32>* %vector_ptr12, align 8
28   %addp_vec = add <4 x i32> %_p_vec_full13, %mulp_vec
29   store <4 x i32> %addp_vec, <4 x i32>* %vector_ptr12, align 8
30   %0 = icmp slt i32 %polly.next_loopiv, 400
31   br i1 %0, label %polly.loop_body, label %polly.loop_after