test/ScopInfo/bug_2011_1_5.ll

   1 ; RUN: opt %loadPolly %defaultOpts -polly-analyze-ir -analyze %s
   2
   3 ; Bug description: Alias Analysis thinks IntToPtrInst aliases with alloca instructions created by IndependentBlocks Pass.
   4 ;                  This will trigger the assertion when we are verifying the SCoP after IndependentBlocks.
   5
   6 ; ModuleID = 'bugpoint-reduced-simplified.bc'
   7 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   8 target triple = "x86_64-unknown-linux-gnu"
   9
  10 %struct.precisionType = type { i16, i16, i16, i8, [1 x i16] }
  11
  12 define void @main() nounwind {
  13 entry:
  14  br label %bb1.i198.i
  15
  16 bb1.i198.i:                                       ; preds = %bb.i197.i, %psetq.exit196.i
  17   %tmp51.i = inttoptr i64 0 to %struct.precisionType*
  18   br i1 undef, label %bb1.i210.i, label %bb.i209.i
  19
  20 bb.i209.i:                                        ; preds = %bb1.i198.i
  21   br label %bb1.i210.i
  22
  23 bb1.i210.i:                                       ; preds = %bb.i209.i, %bb1.i198.i
  24   %0 = icmp eq i64 0, 0
  25   br i1 %0, label %bb1.i216.i, label %bb.i215.i
  26
  27 bb.i215.i:                                        ; preds = %bb1.i210.i
  28   %1 = getelementptr inbounds %struct.precisionType* %tmp51.i, i64 0, i32 0
  29   store i16 undef, i16* %1, align 2
  30   br label %bb1.i216.i
  31
  32 bb1.i216.i:                                       ; preds = %bb.i215.i, %bb1.i210.i
  33   br i1 undef, label %psetq.exit220.i, label %bb2.i217.i
  34
  35 bb2.i217.i:                                       ; preds = %bb1.i216.i
  36   br i1 undef, label %bb3.i218.i, label %psetq.exit220.i
  37
  38 bb3.i218.i:                                       ; preds = %bb2.i217.i
  39   br label %psetq.exit220.i
  40
  41 psetq.exit220.i:                                  ; preds = %bb3.i218.i, %bb2.i217.i, %bb1.i216.i
  42   br i1 undef, label %bb14.i76, label %bb15.i77
  43
  44 bb14.i76:                                         ; preds = %psetq.exit220.i
  45   unreachable
  46
  47 bb15.i77:                                         ; preds = %psetq.exit220.i
  48   br i1 %0, label %psetq.exit238.i, label %bb2.i235.i
  49
  50 bb2.i235.i:                                       ; preds = %bb15.i77
  51   br i1 undef, label %bb3.i236.i, label %psetq.exit238.i
  52
  53 bb3.i236.i:                                       ; preds = %bb2.i235.i
  54   unreachable
  55
  56 psetq.exit238.i:                                  ; preds = %bb2.i235.i, %bb15.i77
  57   unreachable
  58
  59 bb56.i.loopexit:                                  ; preds = %psetq.exit172.i
  60   unreachable
  61 }