1; RUN: opt < %s -basicaa -globalopt -instcombine -loop-rotate -licm -instcombine -indvars -loop-deletion -constmerge -S
2; PR11882: ComputeLoadConstantCompareExitLimit crash.
3;
4; for.body is deleted leaving a loop-invariant load.
5; CHECK-NOT: for.body
6target datalayout = "e-p:64:64:64-n32:64"
7
8@func_21_l_773 = external global i32, align 4
9@g_814 = external global i32, align 4
10@g_244 = internal global [1 x [0 x i32]] zeroinitializer, align 4
11
12define void @func_21() nounwind uwtable ssp {
13entry:
14  br label %lbl_818
15
16lbl_818:                                          ; preds = %for.end, %entry
17  call void (...)* @func_27()
18  store i32 0, i32* @g_814, align 4
19  br label %for.cond
20
21for.cond:                                         ; preds = %for.body, %lbl_818
22  %0 = load i32* @g_814, align 4
23  %cmp = icmp sle i32 %0, 0
24  br i1 %cmp, label %for.body, label %for.end
25
26for.body:                                         ; preds = %for.cond
27  %idxprom = sext i32 %0 to i64
28  %arrayidx = getelementptr inbounds [0 x i32]* getelementptr inbounds ([1 x [0 x i32]]* @g_244, i32 0, i64 0), i32 0, i64 %idxprom
29  %1 = load i32* %arrayidx, align 1
30  store i32 %1, i32* @func_21_l_773, align 4
31  store i32 1, i32* @g_814, align 4
32  br label %for.cond
33
34for.end:                                          ; preds = %for.cond
35  %2 = load i32* @func_21_l_773, align 4
36  %tobool = icmp ne i32 %2, 0
37  br i1 %tobool, label %lbl_818, label %if.end
38
39if.end:                                           ; preds = %for.end
40  ret void
41}
42
43declare void @func_27(...)
44