1; RUN: opt -O3 -S %s | FileCheck %s
2; XFAIL: *
3
4target 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"
5target triple = "x86_64-apple-macosx10.6.7"
6
7declare i8* @malloc(i64)
8declare void @free(i8*)
9
10
11; PR2338
12define void @test1() nounwind ssp {
13  %retval = alloca i32, align 4
14  %i = alloca i8*, align 8
15  %call = call i8* @malloc(i64 1)
16  store i8* %call, i8** %i, align 8
17  %tmp = load i8** %i, align 8
18  store i8 1, i8* %tmp
19  %tmp1 = load i8** %i, align 8
20  call void @free(i8* %tmp1)
21  ret void
22
23; CHECK: @test1
24; CHECK-NEXT: ret void
25}
26
27
28; PR6627 - This whole nasty sequence should be flattened down to a single
29; 32-bit comparison.
30define void @test2(i8* %arrayidx) nounwind ssp {
31entry:
32  %xx = bitcast i8* %arrayidx to i32*
33  %x1 = load i32* %xx, align 4
34  %tmp = trunc i32 %x1 to i8
35  %conv = zext i8 %tmp to i32
36  %cmp = icmp eq i32 %conv, 127
37  br i1 %cmp, label %land.lhs.true, label %if.end
38
39land.lhs.true:                                    ; preds = %entry
40  %arrayidx4 = getelementptr inbounds i8* %arrayidx, i64 1
41  %tmp5 = load i8* %arrayidx4, align 1
42  %conv6 = zext i8 %tmp5 to i32
43  %cmp7 = icmp eq i32 %conv6, 69
44  br i1 %cmp7, label %land.lhs.true9, label %if.end
45
46land.lhs.true9:                                   ; preds = %land.lhs.true
47  %arrayidx12 = getelementptr inbounds i8* %arrayidx, i64 2
48  %tmp13 = load i8* %arrayidx12, align 1
49  %conv14 = zext i8 %tmp13 to i32
50  %cmp15 = icmp eq i32 %conv14, 76
51  br i1 %cmp15, label %land.lhs.true17, label %if.end
52
53land.lhs.true17:                                  ; preds = %land.lhs.true9
54  %arrayidx20 = getelementptr inbounds i8* %arrayidx, i64 3
55  %tmp21 = load i8* %arrayidx20, align 1
56  %conv22 = zext i8 %tmp21 to i32
57  %cmp23 = icmp eq i32 %conv22, 70
58  br i1 %cmp23, label %if.then, label %if.end
59
60if.then:                                          ; preds = %land.lhs.true17
61  %call25 = call i32 (...)* @doo()
62  br label %if.end
63
64if.end:
65  ret void
66
67; CHECK: @test2
68; CHECK: %x1 = load i32* %xx, align 4
69; CHECK-NEXT: icmp eq i32 %x1, 1179403647
70; CHECK-NEXT: br i1 {{.*}}, label %if.then, label %if.end
71}
72
73declare i32 @doo(...)
74
75; PR6627 - This should all be flattened down to one compare.  This is the same
76; as test2, except that the initial load is done as an i8 instead of i32, thus
77; requiring widening.
78define void @test2a(i8* %arrayidx) nounwind ssp {
79entry:
80  %x1 = load i8* %arrayidx, align 4
81  %conv = zext i8 %x1 to i32
82  %cmp = icmp eq i32 %conv, 127
83  br i1 %cmp, label %land.lhs.true, label %if.end
84
85land.lhs.true:                                    ; preds = %entry
86  %arrayidx4 = getelementptr inbounds i8* %arrayidx, i64 1
87  %tmp5 = load i8* %arrayidx4, align 1
88  %conv6 = zext i8 %tmp5 to i32
89  %cmp7 = icmp eq i32 %conv6, 69
90  br i1 %cmp7, label %land.lhs.true9, label %if.end
91
92land.lhs.true9:                                   ; preds = %land.lhs.true
93  %arrayidx12 = getelementptr inbounds i8* %arrayidx, i64 2
94  %tmp13 = load i8* %arrayidx12, align 1
95  %conv14 = zext i8 %tmp13 to i32
96  %cmp15 = icmp eq i32 %conv14, 76
97  br i1 %cmp15, label %land.lhs.true17, label %if.end
98
99land.lhs.true17:                                  ; preds = %land.lhs.true9
100  %arrayidx20 = getelementptr inbounds i8* %arrayidx, i64 3
101  %tmp21 = load i8* %arrayidx20, align 1
102  %conv22 = zext i8 %tmp21 to i32
103  %cmp23 = icmp eq i32 %conv22, 70
104  br i1 %cmp23, label %if.then, label %if.end
105
106if.then:                                          ; preds = %land.lhs.true17
107  %call25 = call i32 (...)* @doo()
108  br label %if.end
109
110if.end:
111  ret void
112
113; CHECK: @test2a
114; CHECK: %x1 = load i32* {{.*}}, align 4
115; CHECK-NEXT: icmp eq i32 %x1, 1179403647
116; CHECK-NEXT: br i1 {{.*}}, label %if.then, label %if.end
117}
118
119