polly/test/ScopDetect/error-block-always-executed.ll

   1 ; RUN: opt %loadNPMPolly '-passes=print<polly-detect>' -disable-output < %s 2>&1 | FileCheck %s
   2 ;
   3 ; CHECK-NOT: Valid Region for Scop:
   4
   5 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-unknown-linux-gnu"
   7
   8 %struct.hoge = type { i32, i32, i32, i32 }
   9
  10 ; Function Attrs: nounwind uwtable
  11 define void @widget() #0 {
  12 bb13:
  13   %tmp1 = alloca %struct.hoge, align 4
  14   br i1 undef, label %bb14, label %bb19
  15
  16 bb14:                                             ; preds = %bb13
  17   %tmp = load i32, ptr undef, align 4, !tbaa !1
  18   call void @quux() #2
  19   br i1 false, label %bb15, label %bb18
  20
  21 bb15:                                             ; preds = %bb14
  22   %tmp16 = getelementptr inbounds %struct.hoge, ptr %tmp1, i64 0, i32 1
  23   %tmp17 = getelementptr inbounds %struct.hoge, ptr %tmp1, i64 0, i32 2
  24   br label %bb19
  25
  26 bb18:                                             ; preds = %bb14
  27   br label %bb19
  28
  29 bb19:                                             ; preds = %bb18, %bb15, %bb13
  30   %tmp20 = phi i32 [ undef, %bb13 ], [ %tmp, %bb15 ], [ %tmp, %bb18 ]
  31   unreachable
  32
  33 bb21:                                             ; preds = %bb8
  34   unreachable
  35
  36 bb22:                                             ; preds = %bb8, %bb8, %bb8, %bb8
  37   br label %bb23
  38
  39 bb23:                                             ; preds = %bb22
  40   unreachable
  41
  42 bb24:                                             ; preds = %bb8, %bb8
  43   unreachable
  44
  45 bb25:                                             ; preds = %bb2
  46   unreachable
  47 }
  48
  49 declare void @quux() #1
  50
  51 attributes #0 = { nounwind uwtable "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
  52 attributes #1 = { "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2" "unsafe-fp-math"="false" "use-soft-float"="false" }
  53 attributes #2 = { nounwind }
  54
  55 !llvm.ident = !{!0}
  56
  57 !0 = !{!"clang version 3.8.0 (trunk 252700) (llvm/trunk 252705)"}
  58 !1 = !{!2, !2, i64 0}
  59 !2 = !{!"int", !3, i64 0}
  60 !3 = !{!"omnipotent char", !4, i64 0}
  61 !4 = !{!"Simple C/C++ TBAA"}