llvm/test/Analysis/ScalarEvolution/2009-05-09-PointerEdgeCount.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" -scalar-evolution-classify-expressions=0 2>&1 | FileCheck %s
   3 ; PR3171
   4
   5
   6 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   7
   8         %struct.Foo = type { i32 }
   9         %struct.NonPod = type { [2 x %struct.Foo] }
  10
  11 define void @_Z3foov() nounwind {
  12 ; CHECK-LABEL: '_Z3foov'
  13 ; CHECK-NEXT:  Determining loop execution counts for: @_Z3foov
  14 ; CHECK-NEXT:  Loop %bb1.i: backedge-taken count is i64 2
  15 ; CHECK-NEXT:  Loop %bb1.i: constant max backedge-taken count is i64 2
  16 ; CHECK-NEXT:  Loop %bb1.i: symbolic max backedge-taken count is i64 2
  17 ; CHECK-NEXT:  Loop %bb1.i: Trip multiple is 3
  18 ;
  19 entry:
  20         %x = alloca %struct.NonPod, align 8             ; <ptr> [#uses=2]
  21         %0 = getelementptr %struct.NonPod, ptr %x, i32 0, i32 0         ; <ptr> [#uses=1]
  22         %1 = getelementptr [2 x %struct.Foo], ptr %0, i32 1, i32 0              ; <ptr> [#uses=1]
  23         br label %bb1.i
  24
  25 bb1.i:          ; preds = %bb2.i, %entry
  26         %.0.i = phi ptr [ %1, %entry ], [ %4, %bb2.i ]          ; <ptr> [#uses=2]
  27         %2 = getelementptr %struct.NonPod, ptr %x, i32 0, i32 0, i32 0          ; <ptr> [#uses=1]
  28         %3 = icmp eq ptr %.0.i, %2              ; <i1> [#uses=1]
  29         br i1 %3, label %_ZN6NonPodD1Ev.exit, label %bb2.i
  30
  31 bb2.i:          ; preds = %bb1.i
  32         %4 = getelementptr %struct.Foo, ptr %.0.i, i32 -1               ; <ptr> [#uses=1]
  33         br label %bb1.i
  34
  35 _ZN6NonPodD1Ev.exit:            ; preds = %bb1.i
  36         ret void
  37 }
  38