xref: /llvm-project/llvm/test/Transforms/InstCombine/2012-10-25-vector-of-pointers.ll (revision 4ab40eca080965c65802710e39adbb78c4ce7bde)
1; RUN: opt < %s -passes=instcombine -S
2
3; Make sure that we don't crash when optimizing the vectors of pointers.
4
5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
6target triple = "x86_64-apple-macosx10.8.0"
7
8%struct.hoge = type { ptr, ptr, ptr, ptr }
9
10define void @widget(ptr nocapture %arg, i1 %c1, i1 %c2, i1 %c3, i1 %c4, i1 %c5) {
11bb:
12  br i1 %c1, label %bb1, label %bb17
13
14bb1:                                              ; preds = %bb
15  br i1 %c2, label %bb2, label %bb3
16
17bb2:                                              ; preds = %bb1
18  br label %bb17
19
20bb3:                                              ; preds = %bb1
21  %tmp5 = load <2 x ptr>, ptr %arg, align 8
22  %tmp6 = ptrtoint <2 x ptr> %tmp5 to <2 x i64>
23  %tmp7 = sub <2 x i64> zeroinitializer, %tmp6
24  %tmp8 = ashr exact <2 x i64> %tmp7, <i64 3, i64 3>
25  %tmp9 = extractelement <2 x i64> %tmp8, i32 0
26  %tmp10 = add nsw i64 0, %tmp9
27  br i1 %c5, label %bb11, label %bb12
28
29bb11:                                             ; preds = %bb3
30  br label %bb13
31
32bb12:                                             ; preds = %bb3
33  br label %bb13
34
35bb13:                                             ; preds = %bb12, %bb11
36  br i1 %c3, label %bb16, label %bb14
37
38bb14:                                             ; preds = %bb13
39  br i1 %c4, label %bb16, label %bb15
40
41bb15:                                             ; preds = %bb14
42  br label %bb16
43
44bb16:                                             ; preds = %bb15, %bb14, %bb13
45  unreachable
46
47bb17:                                             ; preds = %bb2, %bb
48  ret void
49}
50