llvm/test/Transforms/IndVarSimplify/sentinel.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=indvars -S < %s | FileCheck %s
   3
   4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 define void @test(i1 %arg) personality ptr @snork {
   8 ; CHECK-LABEL: @test(
   9 ; CHECK-NEXT:  bb:
  10 ; CHECK-NEXT:    br label [[BB4:%.*]]
  11 ; CHECK:       bb1:
  12 ; CHECK-NEXT:    [[INDVARS_IV_NEXT:%.*]] = add i32 [[INDVARS_IV:%.*]], 1
  13 ; CHECK-NEXT:    [[TMP0:%.*]] = sub i32 [[TMP1:%.*]], [[SMAX:%.*]]
  14 ; CHECK-NEXT:    br i1 [[ARG:%.*]], label [[BB2:%.*]], label [[BB4]]
  15 ; CHECK:       bb2:
  16 ; CHECK-NEXT:    [[TMP3:%.*]] = phi i32 [ [[TMP0]], [[BB1:%.*]] ]
  17 ; CHECK-NEXT:    ret void
  18 ; CHECK:       bb4:
  19 ; CHECK-NEXT:    [[INDVARS_IV]] = phi i32 [ [[INDVARS_IV_NEXT]], [[BB1]] ], [ undef, [[BB:%.*]] ]
  20 ; CHECK-NEXT:    [[SMAX]] = call i32 @llvm.smax.i32(i32 [[INDVARS_IV]], i32 36)
  21 ; CHECK-NEXT:    [[TMP6:%.*]] = invoke i32 @quux() [ "deopt"(i32 0, i32 0, i32 0, i32 180, i32 0, i32 25, i32 0, i32 7, ptr null, i32 7, ptr null, i32 7, ptr null, i32 3, i32 [[INDVARS_IV]], i32 3, i32 undef, i32 7, ptr null, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 4, double undef, i32 7, ptr null, i32 4, i64 undef, i32 7, ptr null, i32 0, ptr addrspace(1) undef, i32 3, i32 undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 7, ptr null) ]
  22 ; CHECK-NEXT:            to label [[BB7:%.*]] unwind label [[BB15:%.*]]
  23 ; CHECK:       bb7:
  24 ; CHECK-NEXT:    [[TMP1]] = add i32 [[TMP6]], [[INDVARS_IV]]
  25 ; CHECK-NEXT:    br label [[BB9:%.*]]
  26 ; CHECK:       bb9:
  27 ; CHECK-NEXT:    br i1 true, label [[BB1]], label [[BB9]]
  28 ; CHECK:       bb15:
  29 ; CHECK-NEXT:    [[TMP16:%.*]] = landingpad { ptr, i32 }
  30 ; CHECK-NEXT:            cleanup
  31 ; CHECK-NEXT:    ret void
  32 ;
  33
  34 bb:
  35   br label %bb4
  36
  37 bb1:                                              ; preds = %bb9
  38   %tmp = phi i32 [ %tmp12, %bb9 ]
  39   br i1 %arg, label %bb2, label %bb4
  40
  41 bb2:                                              ; preds = %bb1
  42   %tmp3 = phi i32 [ %tmp, %bb1 ]
  43   ret void
  44
  45 bb4:                                              ; preds = %bb1, %bb
  46   %tmp5 = phi i32 [ %tmp8, %bb1 ], [ undef, %bb ]
  47   %tmp6 = invoke i32 @quux() #2 [ "deopt"(i32 0, i32 0, i32 0, i32 180, i32 0, i32 25, i32 0, i32 7, ptr null, i32 7, ptr null, i32 7, ptr null, i32 3, i32 %tmp5, i32 3, i32 undef, i32 7, ptr null, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 4, double undef, i32 7, ptr null, i32 4, i64 undef, i32 7, ptr null, i32 0, ptr addrspace(1) undef, i32 3, i32 undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 0, ptr addrspace(1) undef, i32 7, ptr null) ]
  48   to label %bb7 unwind label %bb15
  49
  50 bb7:                                              ; preds = %bb4
  51   %tmp8 = add nsw i32 %tmp5, 1
  52   br label %bb9
  53
  54 bb9:                                              ; preds = %bb9, %bb7
  55   %tmp10 = phi i32 [ %tmp5, %bb7 ], [ %tmp13, %bb9 ]
  56   %tmp11 = phi i32 [ %tmp6, %bb7 ], [ %tmp12, %bb9 ]
  57   %tmp12 = add i32 %tmp11, -1
  58   %tmp13 = add nsw i32 %tmp10, 1
  59   %tmp14 = icmp sgt i32 %tmp10, 35
  60   br i1 %tmp14, label %bb1, label %bb9
  61
  62 bb15:                                             ; preds = %bb4
  63   %tmp16 = landingpad { ptr, i32 }
  64   cleanup
  65   ret void
  66 }
  67
  68 declare ptr @snork()
  69
  70 declare i32 @quux()
  71