test/Transforms/LoopVectorize/optsize.ll

   1 ; This test verifies that the loop vectorizer will NOT produce a tail
   2 ; loop with the optimize for size or the minimize size attributes.
   3 ; REQUIRES: asserts
   4 ; RUN: opt < %s -loop-vectorize -S | FileCheck %s
   5 ; RUN: opt < %s -loop-vectorize -pgso -S | FileCheck %s -check-prefix=PGSO
   6 ; RUN: opt < %s -loop-vectorize -pgso=false -S | FileCheck %s -check-prefix=NPGSO
   7
   8 target datalayout = "E-m:e-p:32:32-i64:32-f64:32:64-a:0:32-n32-S128"
   9
  10 @tab = common global [32 x i8] zeroinitializer, align 1
  11
  12 define i32 @foo_optsize() #0 {
  13 ; CHECK-LABEL: @foo_optsize(
  14 ; CHECK-NOT: <2 x i8>
  15 ; CHECK-NOT: <4 x i8>
  16
  17 entry:
  18   br label %for.body
  19
  20 for.body:                                         ; preds = %for.body, %entry
  21   %i.08 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  22   %arrayidx = getelementptr inbounds [32 x i8], [32 x i8]* @tab, i32 0, i32 %i.08
  23   %0 = load i8, i8* %arrayidx, align 1
  24   %cmp1 = icmp eq i8 %0, 0
  25   %. = select i1 %cmp1, i8 2, i8 1
  26   store i8 %., i8* %arrayidx, align 1
  27   %inc = add nsw i32 %i.08, 1
  28   %exitcond = icmp eq i32 %i.08, 202
  29   br i1 %exitcond, label %for.end, label %for.body
  30
  31 for.end:                                          ; preds = %for.body
  32   ret i32 0
  33 }
  34
  35 attributes #0 = { optsize }
  36
  37 define i32 @foo_minsize() #1 {
  38 ; CHECK-LABEL: @foo_minsize(
  39 ; CHECK-NOT: <2 x i8>
  40 ; CHECK-NOT: <4 x i8>
  41 ; CHECK-LABEL: @foo_pgso(
  42
  43 entry:
  44   br label %for.body
  45
  46 for.body:                                         ; preds = %for.body, %entry
  47   %i.08 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  48   %arrayidx = getelementptr inbounds [32 x i8], [32 x i8]* @tab, i32 0, i32 %i.08
  49   %0 = load i8, i8* %arrayidx, align 1
  50   %cmp1 = icmp eq i8 %0, 0
  51   %. = select i1 %cmp1, i8 2, i8 1
  52   store i8 %., i8* %arrayidx, align 1
  53   %inc = add nsw i32 %i.08, 1
  54   %exitcond = icmp eq i32 %i.08, 202
  55   br i1 %exitcond, label %for.end, label %for.body
  56
  57 for.end:                                          ; preds = %for.body
  58   ret i32 0
  59 }
  60
  61 attributes #1 = { minsize }
  62
  63 define i32 @foo_pgso() !prof !14 {
  64 ; PGSO-LABEL: @foo_pgso(
  65 ; PGSO-NOT: <{{[0-9]+}} x i8>
  66 ; NPGSO-LABEL: @foo_pgso(
  67 ; NPGSO: <{{[0-9]+}} x i8>
  68
  69 entry:
  70   br label %for.body
  71
  72 for.body:                                         ; preds = %for.body, %entry
  73   %i.08 = phi i32 [ 0, %entry ], [ %inc, %for.body ]
  74   %arrayidx = getelementptr inbounds [32 x i8], [32 x i8]* @tab, i32 0, i32 %i.08
  75   %0 = load i8, i8* %arrayidx, align 1
  76   %cmp1 = icmp eq i8 %0, 0
  77   %. = select i1 %cmp1, i8 2, i8 1
  78   store i8 %., i8* %arrayidx, align 1
  79   %inc = add nsw i32 %i.08, 1
  80   %exitcond = icmp eq i32 %i.08, 202
  81   br i1 %exitcond, label %for.end, label %for.body
  82
  83 for.end:                                          ; preds = %for.body
  84   ret i32 0
  85 }
  86
  87 !llvm.module.flags = !{!0}
  88 !0 = !{i32 1, !"ProfileSummary", !1}
  89 !1 = !{!2, !3, !4, !5, !6, !7, !8, !9}
  90 !2 = !{!"ProfileFormat", !"InstrProf"}
  91 !3 = !{!"TotalCount", i64 10000}
  92 !4 = !{!"MaxCount", i64 10}
  93 !5 = !{!"MaxInternalCount", i64 1}
  94 !6 = !{!"MaxFunctionCount", i64 1000}
  95 !7 = !{!"NumCounts", i64 3}
  96 !8 = !{!"NumFunctions", i64 3}
  97 !9 = !{!"DetailedSummary", !10}
  98 !10 = !{!11, !12, !13}
  99 !11 = !{i32 10000, i64 100, i32 1}
 100 !12 = !{i32 999000, i64 100, i32 1}
 101 !13 = !{i32 999999, i64 1, i32 2}
 102 !14 = !{!"function_entry_count", i64 0}