polly/test/ScopDetect/error-block-referenced-from-scop.ll

   1 ; RUN: opt %loadPolly -polly-print-detect -disable-output < %s | 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 ; Function Attrs: nounwind uwtable
   9 define void @hoge() #0 {
  10 bb:
  11   br label %bb1
  12
  13 bb1:                                              ; preds = %bb
  14   br i1 undef, label %bb2, label %bb7
  15
  16 bb2:                                              ; preds = %bb1
  17   %tmp = load i32, ptr undef, align 8, !tbaa !1
  18   %tmp3 = tail call i32 @widget() #2
  19   br i1 false, label %bb4, label %bb5
  20
  21 bb4:                                              ; preds = %bb2
  22   br label %bb8
  23
  24 bb5:                                              ; preds = %bb2
  25   %tmp6 = sub i32 %tmp, %tmp3
  26   br label %bb8
  27
  28 bb7:                                              ; preds = %bb1
  29   br label %bb8
  30
  31 bb8:                                              ; preds = %bb7, %bb5, %bb4
  32   ret void
  33 }
  34
  35 ; Function Attrs: inlinehint nounwind readonly uwtable
  36 declare i32 @widget() #1
  37
  38 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" }
  39 attributes #1 = { inlinehint nounwind readonly 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" }
  40 attributes #2 = { nounwind readonly }
  41
  42 !llvm.ident = !{!0}
  43
  44 !0 = !{!"clang version 3.8.0 (trunk 252700) (llvm/trunk 252705)"}
  45 !1 = !{!2, !7, i64 8}
  46 !2 = !{!"cli_target_info", !3, i64 0, !6, i64 8, !4, i64 32}
  47 !3 = !{!"long", !4, i64 0}
  48 !4 = !{!"omnipotent char", !5, i64 0}
  49 !5 = !{!"Simple C/C++ TBAA"}
  50 !6 = !{!"cli_exe_info", !7, i64 0, !8, i64 4, !3, i64 8, !9, i64 16}
  51 !7 = !{!"int", !4, i64 0}
  52 !8 = !{!"short", !4, i64 0}
  53 !9 = !{!"any pointer", !4, i64 0}