llvm/test/Transforms/LoopUnroll/runtime-li.ll

   1 ; RUN: opt -S -passes=loop-unroll -unroll-runtime -unroll-count=2 -verify-loop-info -pass-remarks=loop-unroll < %s 2>&1 | FileCheck %s
   2
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 ; Verify that runtime-unrolling a top-level loop that has nested loops does not
   7 ; make the unroller produce invalid loop-info.
   8 ; CHECK: remark: {{.*}}: unrolled loop by a factor of 2 with run-time trip count
   9 ; CHECK: @widget
  10 ; CHECK: ret void
  11 define void @widget(ptr %arg, ptr %arg1, ptr %p, ptr %q1, ptr %q2, i1 %c) local_unnamed_addr {
  12 entry:
  13   br label %header.outer
  14
  15 header.outer:                                     ; preds = %latch.outer, %entry
  16   %tmp = phi ptr [ %tmp8, %latch.outer ], [ %arg, %entry ]
  17   br label %header.inner
  18
  19 header.inner:                                     ; preds = %latch.inner, %header.outer
  20   %tmp5 = load i64, ptr %q1, align 8
  21   %tmp6 = icmp eq ptr %p, %arg
  22   br i1 %c, label %exiting.inner, label %latch.outer
  23
  24 exiting.inner:                                     ; preds = %latch.inner, %header.outer
  25   br i1 %c, label %latch.inner, label %latch.outer
  26
  27 latch.inner:                                      ; preds = %header.inner
  28   store i64 %tmp5, ptr %q2, align 8
  29   br label %header.inner
  30
  31 latch.outer:                                      ; preds = %header.inner
  32   store double 0.0, ptr %p, align 8
  33   %tmp8 = getelementptr inbounds double, ptr %tmp, i64 1
  34   %tmp9 = icmp eq ptr %tmp8, %arg1
  35   br i1 %tmp9, label %exit, label %header.outer
  36
  37 exit:                                             ; preds = %latch.outer
  38   ret void
  39 }