llvm/test/Transforms/IndVarSimplify/pr40454.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -indvars  < %s | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5
   6 define void @test() {
   7 ; CHECK-LABEL: @test(
   8 ; CHECK-NEXT:  bb:
   9 ; CHECK-NEXT:    br label [[BB2:%.*]]
  10 ; CHECK:       bb1:
  11 ; CHECK-NEXT:    br label [[BB2]]
  12 ; CHECK:       bb2:
  13 ; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ -9, [[BB:%.*]] ], [ [[TMP6:%.*]], [[BB1:%.*]] ]
  14 ; CHECK-NEXT:    br label [[BB3:%.*]]
  15 ; CHECK:       bb3:
  16 ; CHECK-NEXT:    [[TMP4:%.*]] = phi i32 [ -9, [[BB2]] ], [ [[TMP6]], [[BB10:%.*]] ]
  17 ; CHECK-NEXT:    br i1 false, label [[BB5:%.*]], label [[BB12:%.*]]
  18 ; CHECK:       bb5:
  19 ; CHECK-NEXT:    [[TMP6]] = add nsw i32 [[TMP4]], -1
  20 ; CHECK-NEXT:    br i1 undef, label [[BB8:%.*]], label [[BB9:%.*]]
  21 ; CHECK:       bb8:
  22 ; CHECK-NEXT:    br label [[BB10]]
  23 ; CHECK:       bb9:
  24 ; CHECK-NEXT:    br label [[BB10]]
  25 ; CHECK:       bb10:
  26 ; CHECK-NEXT:    br label [[BB3]]
  27 ; CHECK:       bb12:
  28 ; CHECK-NEXT:    ret void
  29 ;
  30
  31 bb:
  32   br label %bb2
  33
  34 bb1:                                              ; No predecessors!
  35   br label %bb2
  36
  37 bb2:                                              ; preds = %bb1, %bb
  38   %tmp = phi i32 [ -9, %bb ], [ %tmp6, %bb1 ]
  39   br label %bb3
  40
  41 bb3:                                              ; preds = %bb10, %bb2
  42   %tmp4 = phi i32 [ -9, %bb2 ], [ %tmp6, %bb10 ]
  43   br i1 undef, label %bb5, label %bb12
  44
  45 bb5:                                              ; preds = %bb3
  46   %tmp6 = add i32 %tmp4, -1
  47   %tmp7 = zext i32 %tmp6 to i64
  48   br i1 undef, label %bb8, label %bb9
  49
  50 bb8:                                              ; preds = %bb5
  51   br label %bb10
  52
  53 bb9:                                              ; preds = %bb5
  54   br label %bb10
  55
  56 bb10:                                             ; preds = %bb9, %bb8
  57   %tmp11 = and i64 undef, %tmp7
  58   br label %bb3
  59
  60 bb12:                                             ; preds = %bb3
  61   ret void
  62 }