1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3define void @f(i64 %val, i32  %limit, i32 *%ptr) {
4;CHECK: %0 = trunc i64
5;CHECK: %1 = phi i32
6entry:
7  %tempvector = insertelement <16 x i64> undef, i64 %val, i32 0
8  %vector = shufflevector <16 x i64> %tempvector, <16 x i64> undef, <16 x i32> zeroinitializer
9  %0 = add <16 x i64> %vector, <i64 0, i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9, i64 10, i64 11, i64 12, i64 13, i64 14, i64 15>
10  %1 = trunc <16 x i64> %0 to <16 x i32>
11  br label %loop
12
13loop:
14  %2 = phi <16 x i32> [ %1, %entry ], [ %inc, %loop ]
15  %elt = extractelement <16 x i32> %2, i32 0
16  %end = icmp ult i32 %elt, %limit
17  %3 = add i32 10, %elt
18  %4 = sext i32 %elt to i64
19  %5 = getelementptr i32* %ptr, i64 %4
20  store i32 %3, i32* %5
21  %inc = add <16 x i32> %2, <i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16>
22  br i1 %end, label %loop, label %ret
23
24ret:
25  ret void
26}
27
28define i1 @g(<3 x i32> %input_2) {
29; CHECK: extractelement
30entry:
31  br label %for.cond
32
33for.cond:
34; CHECK: phi i32
35  %input_2.addr.0 = phi <3 x i32> [ %input_2, %entry ], [ %div45, %for.body ]
36  %input_1.addr.1 = phi <3 x i32> [ undef, %entry ], [ %dec43, %for.body ]
37  br i1 undef, label %for.end, label %for.body
38
39; CHECK extractelement
40for.body:
41  %dec43 = add <3 x i32> %input_1.addr.1, <i32 -1, i32 -1, i32 -1>
42  %sub44 = sub <3 x i32> zeroinitializer, %dec43
43  %div45 = sdiv <3 x i32> %input_2.addr.0, %sub44
44  br label %for.cond
45
46for.end:
47  %0 = extractelement <3 x i32> %input_2.addr.0, i32 0
48  %.89 = select i1 false, i32 0, i32 %0
49  %tobool313 = icmp eq i32 %.89, 0
50  ret i1 %tobool313
51}
52
53