xref: /llvm-project/polly/test/CodeGen/dominance_problem_after_early_codegen_bailout.ll (revision e1f056f692d869708c1898d9d65a69ac5584a0ed)
1; RUN: opt %loadNPMPolly -passes=polly-codegen -disable-output < %s
2;
3; This caused dominance problems at some point as we do bail out during
4; code generation. Just verify it runs through.
5;
6target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
7
8%struct.hashheader.0.5.10.165.180.185 = type { i16, i16, i16, i16, i16, i16, i32, i32, i32, i32, i32, i32, i32, i32, i32, [5 x i8], [13 x i8], i8, i8, i8, [228 x i16], [228 x i8], [228 x i8], [228 x i8], [228 x i8], [228 x i8], [228 x i8], [128 x i8], [100 x [11 x i8]], [100 x i32], [100 x i32], i16 }
9
10@hashheader = external global %struct.hashheader.0.5.10.165.180.185, align 4
11
12; Function Attrs: nounwind uwtable
13define void @strtoichar(ptr %in) #0 {
14entry:
15  br i1 undef, label %land.rhs, label %for.end
16
17land.rhs:                                         ; preds = %for.inc, %entry
18  %in.addr.012 = phi ptr [ undef, %for.inc ], [ %in, %entry ]
19  %0 = load i8, ptr %in.addr.012, align 1
20  br i1 undef, label %for.end, label %for.body
21
22for.body:                                         ; preds = %land.rhs
23  %idxprom = zext i8 %0 to i64
24  %arrayidx = getelementptr inbounds %struct.hashheader.0.5.10.165.180.185, ptr @hashheader, i64 0, i32 27, i64 %idxprom
25  %1 = load i8, ptr %arrayidx, align 1
26  %tobool = icmp eq i8 %1, 0
27  br i1 %tobool, label %if.else, label %land.rhs.7
28
29land.rhs.7:                                       ; preds = %for.body
30  tail call void @stringcharlen()
31  br i1 undef, label %if.then, label %if.else
32
33if.then:                                          ; preds = %land.rhs.7
34  br label %for.inc
35
36if.else:                                          ; preds = %land.rhs.7, %for.body
37  %2 = load i8, ptr %in.addr.012, align 1
38  br label %for.inc
39
40for.inc:                                          ; preds = %if.else, %if.then
41  %len.1 = phi i32 [ 0, %if.else ], [ undef, %if.then ]
42  br i1 undef, label %land.rhs, label %for.end
43
44for.end:                                          ; preds = %for.inc, %land.rhs, %entry
45  ret void
46}
47
48; Function Attrs: nounwind uwtable
49declare void @stringcharlen() #0
50