polly/test/ScopInfo/schedule-incorrectly-contructed-in-case-of-infinite-loop.ll

   1 ; RUN: opt %loadPolly -polly-process-unprofitable -polly-scops -disable-output < %s
   2 ;
   3 ; This test contains a infinite loop (bb13) and crashed the domain generation
   4 ; at some point. Just verify it does not anymore.
   5 ;
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7
   8 define void @hoge() #0 {
   9 bb:
  10   %tmp5 = alloca [11 x [101 x i32]], align 16
  11   br i1 false, label %bb24, label %bb6
  12
  13 bb6:                                              ; preds = %bb
  14   br label %bb8
  15
  16 bb7:                                              ; preds = %bb23
  17   unreachable
  18
  19 bb8:                                              ; preds = %bb23, %bb6
  20   br label %bb10
  21
  22 bb10:                                             ; preds = %bb8
  23   %tmp = load i32, ptr %tmp5, align 4
  24   br i1 false, label %bb23, label %bb11
  25
  26 bb11:                                             ; preds = %bb10
  27   %tmp12 = load i32, ptr %tmp5, align 4
  28   br label %bb13
  29
  30 bb13:                                             ; preds = %bb13, %bb11
  31   %tmp14 = phi i32 [ %tmp12, %bb11 ], [ %tmp19, %bb13 ]
  32   %tmp15 = add nsw i32 %tmp14, 1
  33   %tmp16 = sext i32 %tmp15 to i64
  34   %tmp17 = getelementptr inbounds [11 x [101 x i32]], ptr %tmp5, i64 0, i64 0, i64 %tmp16
  35   %tmp18 = load i32, ptr %tmp17, align 4
  36   %tmp19 = add nsw i32 %tmp14, -1
  37   %tmp20 = load i32, ptr %tmp5, align 4
  38   %tmp21 = sext i32 %tmp20 to i64
  39   %tmp22 = icmp slt i64 0, %tmp21
  40   br label %bb13
  41
  42 bb23:                                             ; preds = %bb10
  43   br i1 undef, label %bb8, label %bb7
  44
  45 bb24:                                             ; preds = %bb
  46   ret void
  47 }
  48
  49 define void @hoge2() #0 {
  50 bb:
  51   %tmp5 = alloca [11 x [101 x i32]], align 16
  52   br i1 false, label %bb24, label %bb6
  53
  54 bb6:                                              ; preds = %bb
  55   br label %bb8
  56
  57 bb7:                                              ; preds = %bb23
  58   unreachable
  59
  60 bb8:                                              ; preds = %bb23, %bb6
  61   br label %bb10
  62
  63 bb10:                                             ; preds = %bb8
  64   %tmp = load i32, ptr %tmp5, align 4
  65   br i1 false, label %bb23, label %bb11
  66
  67 bb11:                                             ; preds = %bb10
  68   %tmp12 = load i32, ptr %tmp5, align 4
  69   br label %bb13
  70
  71 bb13:                                             ; preds = %bb13, %bb11
  72   %tmp14 = phi i32 [ %tmp12, %bb11 ], [ %tmp19, %bb13.split ]
  73   %tmp15 = add nsw i32 %tmp14, 1
  74   %tmp16 = sext i32 %tmp15 to i64
  75   %tmp17 = getelementptr inbounds [11 x [101 x i32]], ptr %tmp5, i64 0, i64 0, i64 %tmp16
  76   %tmp18 = load i32, ptr %tmp17, align 4
  77   br label %bb13.split
  78
  79 bb13.split:
  80   %tmp19 = add nsw i32 %tmp14, -1
  81   %tmp20 = load i32, ptr %tmp5, align 4
  82   %tmp21 = sext i32 %tmp20 to i64
  83   %tmp22 = icmp slt i64 0, %tmp21
  84   br label %bb13
  85
  86 bb23:                                             ; preds = %bb10
  87   br i1 undef, label %bb8, label %bb7
  88
  89 bb24:                                             ; preds = %bb
  90   ret void
  91 }