test/Analysis/ScalarEvolution/overflow-intrinsics-trip-count.ll

   1 ; RUN: opt < %s -analyze -scalar-evolution | FileCheck %s
   2
   3 declare { i16, i1 } @llvm.sadd.with.overflow.i16(i16, i16) nounwind readnone
   4 declare { i16, i1 } @llvm.uadd.with.overflow.i16(i16, i16) nounwind readnone
   5 declare { i16, i1 } @llvm.ssub.with.overflow.i16(i16, i16) nounwind readnone
   6 declare { i16, i1 } @llvm.usub.with.overflow.i16(i16, i16) nounwind readnone
   7 declare { i16, i1 } @llvm.smul.with.overflow.i16(i16, i16) nounwind readnone
   8 declare { i16, i1 } @llvm.umul.with.overflow.i16(i16, i16) nounwind readnone
   9
  10 ; CHECK-LABEL: Classifying expressions for: @uadd_exhaustive
  11 ; CHECK: Loop %for.body: backedge-taken count is 35
  12 define void @uadd_exhaustive() {
  13 entry:
  14   br i1 undef, label %for.end, label %for.body.preheader
  15
  16 for.body.preheader:                               ; preds = %entry
  17   br label %for.body
  18
  19 for.body:                                         ; preds = %for.body.preheader, %for.body
  20   %indvars.iv = phi i16 [ %math, %for.body ], [ 65500, %for.body.preheader ]
  21   %0 = call { i16, i1 } @llvm.uadd.with.overflow.i16(i16 %indvars.iv, i16 1)
  22   %math = extractvalue { i16, i1 } %0, 0
  23   %ov = extractvalue { i16, i1 } %0, 1
  24   br i1 %ov, label %for.end, label %for.body
  25
  26 for.end:                                          ; preds = %for.body, %entry
  27   ret void
  28 }
  29
  30 ; CHECK-LABEL: Classifying expressions for: @sadd_exhaustive
  31 ; CHECK: Loop %for.body: backedge-taken count is 67
  32 define void @sadd_exhaustive() {
  33 entry:
  34   br i1 undef, label %for.end, label %for.body.preheader
  35
  36 for.body.preheader:                               ; preds = %entry
  37   br label %for.body
  38
  39 for.body:                                         ; preds = %for.body.preheader, %for.body
  40   %indvars.iv = phi i16 [ %math, %for.body ], [ 32700, %for.body.preheader ]
  41   %0 = call { i16, i1 } @llvm.sadd.with.overflow.i16(i16 %indvars.iv, i16 1)
  42   %math = extractvalue { i16, i1 } %0, 0
  43   %ov = extractvalue { i16, i1 } %0, 1
  44   br i1 %ov, label %for.end, label %for.body
  45
  46 for.end:                                          ; preds = %for.body, %entry
  47   ret void
  48 }
  49
  50 ; CHECK-LABEL: Classifying expressions for: @usub_exhaustive
  51 ; CHECK: Loop %for.body: backedge-taken count is 50
  52 define void @usub_exhaustive() {
  53 entry:
  54   br i1 undef, label %for.end, label %for.body.preheader
  55
  56 for.body.preheader:                               ; preds = %entry
  57   br label %for.body
  58
  59 for.body:                                         ; preds = %for.body.preheader, %for.body
  60   %indvars.iv = phi i16 [ %math, %for.body ], [ 50, %for.body.preheader ]
  61   %0 = call { i16, i1 } @llvm.usub.with.overflow.i16(i16 %indvars.iv, i16 1)
  62   %math = extractvalue { i16, i1 } %0, 0
  63   %ov = extractvalue { i16, i1 } %0, 1
  64   br i1 %ov, label %for.end, label %for.body
  65
  66 for.end:                                          ; preds = %for.body, %entry
  67   ret void
  68 }
  69
  70 ; CHECK-LABEL: Classifying expressions for: @ssub_exhaustive
  71 ; CHECK: Loop %for.body: backedge-taken count is 68
  72 define void @ssub_exhaustive() {
  73 entry:
  74   br i1 undef, label %for.end, label %for.body.preheader
  75
  76 for.body.preheader:                               ; preds = %entry
  77   br label %for.body
  78
  79 for.body:                                         ; preds = %for.body.preheader, %for.body
  80   %indvars.iv = phi i16 [ %math, %for.body ], [ -32700, %for.body.preheader ]
  81   %0 = call { i16, i1 } @llvm.ssub.with.overflow.i16(i16 %indvars.iv, i16 1)
  82   %math = extractvalue { i16, i1 } %0, 0
  83   %ov = extractvalue { i16, i1 } %0, 1
  84   br i1 %ov, label %for.end, label %for.body
  85
  86 for.end:                                          ; preds = %for.body, %entry
  87   ret void
  88 }
  89
  90 ; CHECK-LABEL: Classifying expressions for: @smul_exhaustive
  91 ; CHECK: Loop %for.body: backedge-taken count is 14
  92 define void @smul_exhaustive() {
  93 entry:
  94   br i1 undef, label %for.end, label %for.body.preheader
  95
  96 for.body.preheader:                               ; preds = %entry
  97   br label %for.body
  98
  99 for.body:                                         ; preds = %for.body.preheader, %for.body
 100   %indvars.iv = phi i16 [ %math, %for.body ], [ 1, %for.body.preheader ]
 101   %0 = call { i16, i1 } @llvm.smul.with.overflow.i16(i16 %indvars.iv, i16 2)
 102   %math = extractvalue { i16, i1 } %0, 0
 103   %ov = extractvalue { i16, i1 } %0, 1
 104   br i1 %ov, label %for.end, label %for.body
 105
 106 for.end:                                          ; preds = %for.body, %entry
 107   ret void
 108 }
 109
 110 ; CHECK-LABEL: Classifying expressions for: @umul_exhaustive
 111 ; CHECK: Loop %for.body: backedge-taken count is 15
 112 define void @umul_exhaustive() {
 113 entry:
 114   br i1 undef, label %for.end, label %for.body.preheader
 115
 116 for.body.preheader:                               ; preds = %entry
 117   br label %for.body
 118
 119 for.body:                                         ; preds = %for.body.preheader, %for.body
 120   %indvars.iv = phi i16 [ %math, %for.body ], [ 1, %for.body.preheader ]
 121   %0 = call { i16, i1 } @llvm.umul.with.overflow.i16(i16 %indvars.iv, i16 2)
 122   %math = extractvalue { i16, i1 } %0, 0
 123   %ov = extractvalue { i16, i1 } %0, 1
 124   br i1 %ov, label %for.end, label %for.body
 125
 126 for.end:                                          ; preds = %for.body, %entry
 127   ret void
 128 }