polly/test/CodeGen/dominance_problem_after_early_codegen_bailout.ll

   1 ; RUN: opt %loadPolly -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 ;
   6 target 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
  13 define void @strtoichar(ptr %in) #0 {
  14 entry:
  15   br i1 undef, label %land.rhs, label %for.end
  16
  17 land.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
  22 for.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
  29 land.rhs.7:                                       ; preds = %for.body
  30   tail call void @stringcharlen()
  31   br i1 undef, label %if.then, label %if.else
  32
  33 if.then:                                          ; preds = %land.rhs.7
  34   br label %for.inc
  35
  36 if.else:                                          ; preds = %land.rhs.7, %for.body
  37   %2 = load i8, ptr %in.addr.012, align 1
  38   br label %for.inc
  39
  40 for.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
  44 for.end:                                          ; preds = %for.inc, %land.rhs, %entry
  45   ret void
  46 }
  47
  48 ; Function Attrs: nounwind uwtable
  49 declare void @stringcharlen() #0