blob: ff9b87b11755e159ea29013f7b79fb8e97030ffd [file] [log] [blame]
Michael Kruse5c028082022-03-14 08:39:25 -05001; RUN: opt %loadPolly -polly-codegen -disable-output < %s
Johannes Doerfert37977072015-11-08 17:57:41 +00002;
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(i8* %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 i8* [ undef, %for.inc ], [ %in, %entry ]
19 %0 = load i8, i8* %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, %struct.hashheader.0.5.10.165.180.185* @hashheader, i64 0, i32 27, i64 %idxprom
25 %1 = load i8, i8* %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, i8* %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