1; ModuleID = 'bug.c'
2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
3target triple = "x86_64-unknown-linux-gnu"
4
5; RUN: opt -O2 -S < %s | FileCheck %s
6
7; CHECK-LABEL: main
8; CHECK: if.end
9; CHECK: store
10; CHECK: memset
11; CHECK: if.then
12; CHECK: store
13; CHECK: memset
14
15@d = common global i32 0, align 4
16@b = common global i32 0, align 4
17@f = common global [1 x [3 x i8]] zeroinitializer, align 1
18@e = common global i32 0, align 4
19@c = common global i32 0, align 4
20@a = common global i32 0, align 4
21
22; Function Attrs: nounwind uwtable
23define void @fn1() {
24entry:
25  store i32 0, i32* @d, align 4
26  br label %for.cond
27
28for.cond:                                         ; preds = %for.inc8, %entry
29  %0 = load i32, i32* @d, align 4
30  %cmp = icmp slt i32 %0, 2
31  br i1 %cmp, label %for.body, label %for.end10
32
33for.body:                                         ; preds = %for.cond
34  %1 = load i32, i32* @d, align 4
35  %idxprom = sext i32 %1 to i64
36  %2 = load i32, i32* @b, align 4
37  %idxprom1 = sext i32 %2 to i64
38  %arrayidx = getelementptr inbounds [1 x [3 x i8]], [1 x [3 x i8]]* @f, i32 0, i64 %idxprom1
39  %arrayidx2 = getelementptr inbounds [3 x i8], [3 x i8]* %arrayidx, i32 0, i64 %idxprom
40  store i8 0, i8* %arrayidx2, align 1
41  store i32 0, i32* @e, align 4
42  br label %for.cond3
43
44for.cond3:                                        ; preds = %for.inc, %for.body
45  %3 = load i32, i32* @e, align 4
46  %cmp4 = icmp slt i32 %3, 3
47  br i1 %cmp4, label %for.body5, label %for.end
48
49for.body5:                                        ; preds = %for.cond3
50  %4 = load i32, i32* @c, align 4
51  %tobool = icmp ne i32 %4, 0
52  br i1 %tobool, label %if.then, label %if.end
53
54if.then:                                          ; preds = %for.body5
55  %5 = load i32, i32* @a, align 4
56  %dec = add nsw i32 %5, -1
57  store i32 %dec, i32* @a, align 4
58  br label %if.end
59
60if.end:                                           ; preds = %if.then, %for.body5
61  %6 = load i32, i32* @e, align 4
62  %idxprom6 = sext i32 %6 to i64
63  %arrayidx7 = getelementptr inbounds [3 x i8], [3 x i8]* getelementptr inbounds ([1 x [3 x i8]], [1 x [3 x i8]]* @f, i32 0, i64 0), i32 0, i64 %idxprom6
64  store i8 1, i8* %arrayidx7, align 1
65  br label %for.inc
66
67for.inc:                                          ; preds = %if.end
68  %7 = load i32, i32* @e, align 4
69  %inc = add nsw i32 %7, 1
70  store i32 %inc, i32* @e, align 4
71  br label %for.cond3
72
73for.end:                                          ; preds = %for.cond3
74  br label %for.inc8
75
76for.inc8:                                         ; preds = %for.end
77  %8 = load i32, i32* @d, align 4
78  %inc9 = add nsw i32 %8, 1
79  store i32 %inc9, i32* @d, align 4
80  br label %for.cond
81
82for.end10:                                        ; preds = %for.cond
83  ret void
84}
85
86; Function Attrs: nounwind uwtable
87define i32 @main() {
88entry:
89  %retval = alloca i32, align 4
90  store i32 0, i32* %retval
91  call void @fn1()
92  %0 = load i8, i8* getelementptr inbounds ([1 x [3 x i8]], [1 x [3 x i8]]* @f, i32 0, i64 0, i64 1), align 1
93  %conv = sext i8 %0 to i32
94  %cmp = icmp ne i32 %conv, 1
95  br i1 %cmp, label %if.then, label %if.end
96
97if.then:                                          ; preds = %entry
98  call void @abort()
99  unreachable
100
101if.end:                                           ; preds = %entry
102  ret i32 0
103}
104
105; Function Attrs: noreturn nounwind
106declare void @abort()
107