llvm/test/Transforms/IndVarSimplify/X86/inner-loop-by-latch-cond.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt < %s -passes=indvars -S | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:1"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 declare void @foo(i64)
   8
   9 define void @test(i64 %a) {
  10 ; CHECK-LABEL: define void @test(
  11 ; CHECK-SAME: i64 [[A:%.*]]) {
  12 ; CHECK-NEXT:  entry:
  13 ; CHECK-NEXT:    br label [[OUTER_HEADER:%.*]]
  14 ; CHECK:       outer_header:
  15 ; CHECK-NEXT:    [[INDVARS_IV:%.*]] = phi i64 [ [[INDVARS_IV_NEXT:%.*]], [[OUTER_LATCH:%.*]] ], [ 21, [[ENTRY:%.*]] ]
  16 ; CHECK-NEXT:    [[I:%.*]] = phi i64 [ 20, [[ENTRY]] ], [ [[I_NEXT:%.*]], [[OUTER_LATCH]] ]
  17 ; CHECK-NEXT:    br label [[INNER_HEADER:%.*]]
  18 ; CHECK:       inner_header:
  19 ; CHECK-NEXT:    [[J:%.*]] = phi i64 [ 1, [[OUTER_HEADER]] ], [ [[J_NEXT:%.*]], [[INNER_HEADER]] ]
  20 ; CHECK-NEXT:    call void @foo(i64 [[J]])
  21 ; CHECK-NEXT:    [[J_NEXT]] = add nuw nsw i64 [[J]], 1
  22 ; CHECK-NEXT:    [[EXITCOND:%.*]] = icmp ne i64 [[J_NEXT]], [[INDVARS_IV]]
  23 ; CHECK-NEXT:    br i1 [[EXITCOND]], label [[INNER_HEADER]], label [[OUTER_LATCH]]
  24 ; CHECK:       outer_latch:
  25 ; CHECK-NEXT:    [[I_NEXT]] = add nuw nsw i64 [[I]], 1
  26 ; CHECK-NEXT:    [[COND2:%.*]] = icmp ne i64 [[I_NEXT]], 40
  27 ; CHECK-NEXT:    [[INDVARS_IV_NEXT]] = add nuw nsw i64 [[INDVARS_IV]], 1
  28 ; CHECK-NEXT:    br i1 [[COND2]], label [[OUTER_HEADER]], label [[RETURN:%.*]]
  29 ; CHECK:       return:
  30 ; CHECK-NEXT:    ret void
  31 ;
  32 entry:
  33   br label %outer_header
  34
  35 outer_header:
  36   %i = phi i64 [20, %entry], [%i.next, %outer_latch]
  37   %i.next = add nuw nsw i64 %i, 1
  38   br label %inner_header
  39
  40 inner_header:
  41   %j = phi i64 [1, %outer_header], [%j.next, %inner_header]
  42   %cmp = icmp ult i64 %j, %i.next
  43   %s = select i1 %cmp, i64 %j, i64 %i
  44   call void @foo(i64 %s)
  45   %j.next = add nuw nsw i64 %j, 1
  46   %cond = icmp ult i64 %j, %i
  47   br i1 %cond, label %inner_header, label %outer_latch
  48
  49 outer_latch:
  50   %cond2 = icmp ne i64 %i.next, 40
  51   br i1 %cond2, label %outer_header, label %return
  52
  53 return:
  54   ret void
  55 }