llvm/test/Transforms/Attributor/lvi-for-ashr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
   5 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
   6
   7 ; FIXME: DOT should be replaced with 3
   8
   9 define i32 @test-ashr(i32 %c) {
  10 ; IS__TUNIT_OPM: Function Attrs: nofree nosync nounwind readnone willreturn
  11 ; IS__TUNIT_OPM-LABEL: define {{[^@]+}}@test-ashr
  12 ; IS__TUNIT_OPM-SAME: (i32 [[C:%.*]]) #[[ATTR0:[0-9]+]] {
  13 ; IS__TUNIT_OPM-NEXT:  chk65:
  14 ; IS__TUNIT_OPM-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[C]], 65
  15 ; IS__TUNIT_OPM-NEXT:    br i1 [[CMP]], label [[RETURN:%.*]], label [[CHK0:%.*]]
  16 ; IS__TUNIT_OPM:       chk0:
  17 ; IS__TUNIT_OPM-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[C]], 0
  18 ; IS__TUNIT_OPM-NEXT:    br i1 [[CMP]], label [[RETURN]], label [[BB_IF:%.*]]
  19 ; IS__TUNIT_OPM:       bb_if:
  20 ; IS__TUNIT_OPM-NEXT:    [[ASHR_VAL:%.*]] = ashr exact i32 [[C]], 2
  21 ; IS__TUNIT_OPM-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[ASHR_VAL]], 15
  22 ; IS__TUNIT_OPM-NEXT:    br i1 [[CMP2]], label [[BB_THEN:%.*]], label [[RETURN]]
  23 ; IS__TUNIT_OPM:       bb_then:
  24 ; IS__TUNIT_OPM-NEXT:    [[CMP3:%.*]] = icmp eq i32 [[ASHR_VAL]], 16
  25 ; IS__TUNIT_OPM-NEXT:    [[DOT:%.*]] = select i1 [[CMP3]], i32 3, i32 2
  26 ; IS__TUNIT_OPM-NEXT:    br label [[RETURN]]
  27 ; IS__TUNIT_OPM:       return:
  28 ; IS__TUNIT_OPM-NEXT:    [[RETVAL:%.*]] = phi i32 [ 0, [[CHK65:%.*]] ], [ 1, [[CHK0]] ], [ [[DOT]], [[BB_THEN]] ], [ 4, [[BB_IF]] ]
  29 ; IS__TUNIT_OPM-NEXT:    ret i32 [[RETVAL]]
  30 ;
  31 ; IS__TUNIT_NPM: Function Attrs: nofree nosync nounwind readnone willreturn
  32 ; IS__TUNIT_NPM-LABEL: define {{[^@]+}}@test-ashr
  33 ; IS__TUNIT_NPM-SAME: (i32 [[C:%.*]]) #[[ATTR0:[0-9]+]] {
  34 ; IS__TUNIT_NPM-NEXT:  chk65:
  35 ; IS__TUNIT_NPM-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[C]], 65
  36 ; IS__TUNIT_NPM-NEXT:    br i1 [[CMP]], label [[RETURN:%.*]], label [[CHK0:%.*]]
  37 ; IS__TUNIT_NPM:       chk0:
  38 ; IS__TUNIT_NPM-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[C]], 0
  39 ; IS__TUNIT_NPM-NEXT:    br i1 [[CMP]], label [[RETURN]], label [[BB_IF:%.*]]
  40 ; IS__TUNIT_NPM:       bb_if:
  41 ; IS__TUNIT_NPM-NEXT:    [[ASHR_VAL:%.*]] = ashr exact i32 [[C]], 2
  42 ; IS__TUNIT_NPM-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[ASHR_VAL]], 15
  43 ; IS__TUNIT_NPM-NEXT:    br i1 [[CMP2]], label [[BB_THEN:%.*]], label [[RETURN]]
  44 ; IS__TUNIT_NPM:       bb_then:
  45 ; IS__TUNIT_NPM-NEXT:    [[DOT:%.*]] = select i1 true, i32 3, i32 2
  46 ; IS__TUNIT_NPM-NEXT:    br label [[RETURN]]
  47 ; IS__TUNIT_NPM:       return:
  48 ; IS__TUNIT_NPM-NEXT:    [[RETVAL:%.*]] = phi i32 [ 0, [[CHK65:%.*]] ], [ 1, [[CHK0]] ], [ [[DOT]], [[BB_THEN]] ], [ 4, [[BB_IF]] ]
  49 ; IS__TUNIT_NPM-NEXT:    ret i32 [[RETVAL]]
  50 ;
  51 ; IS__CGSCC_OPM: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  52 ; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@test-ashr
  53 ; IS__CGSCC_OPM-SAME: (i32 [[C:%.*]]) #[[ATTR0:[0-9]+]] {
  54 ; IS__CGSCC_OPM-NEXT:  chk65:
  55 ; IS__CGSCC_OPM-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[C]], 65
  56 ; IS__CGSCC_OPM-NEXT:    br i1 [[CMP]], label [[RETURN:%.*]], label [[CHK0:%.*]]
  57 ; IS__CGSCC_OPM:       chk0:
  58 ; IS__CGSCC_OPM-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[C]], 0
  59 ; IS__CGSCC_OPM-NEXT:    br i1 [[CMP]], label [[RETURN]], label [[BB_IF:%.*]]
  60 ; IS__CGSCC_OPM:       bb_if:
  61 ; IS__CGSCC_OPM-NEXT:    [[ASHR_VAL:%.*]] = ashr exact i32 [[C]], 2
  62 ; IS__CGSCC_OPM-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[ASHR_VAL]], 15
  63 ; IS__CGSCC_OPM-NEXT:    br i1 [[CMP2]], label [[BB_THEN:%.*]], label [[RETURN]]
  64 ; IS__CGSCC_OPM:       bb_then:
  65 ; IS__CGSCC_OPM-NEXT:    [[CMP3:%.*]] = icmp eq i32 [[ASHR_VAL]], 16
  66 ; IS__CGSCC_OPM-NEXT:    [[DOT:%.*]] = select i1 [[CMP3]], i32 3, i32 2
  67 ; IS__CGSCC_OPM-NEXT:    br label [[RETURN]]
  68 ; IS__CGSCC_OPM:       return:
  69 ; IS__CGSCC_OPM-NEXT:    [[RETVAL:%.*]] = phi i32 [ 0, [[CHK65:%.*]] ], [ 1, [[CHK0]] ], [ [[DOT]], [[BB_THEN]] ], [ 4, [[BB_IF]] ]
  70 ; IS__CGSCC_OPM-NEXT:    ret i32 [[RETVAL]]
  71 ;
  72 ; IS__CGSCC_NPM: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  73 ; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@test-ashr
  74 ; IS__CGSCC_NPM-SAME: (i32 [[C:%.*]]) #[[ATTR0:[0-9]+]] {
  75 ; IS__CGSCC_NPM-NEXT:  chk65:
  76 ; IS__CGSCC_NPM-NEXT:    [[CMP:%.*]] = icmp sgt i32 [[C]], 65
  77 ; IS__CGSCC_NPM-NEXT:    br i1 [[CMP]], label [[RETURN:%.*]], label [[CHK0:%.*]]
  78 ; IS__CGSCC_NPM:       chk0:
  79 ; IS__CGSCC_NPM-NEXT:    [[CMP1:%.*]] = icmp slt i32 [[C]], 0
  80 ; IS__CGSCC_NPM-NEXT:    br i1 [[CMP]], label [[RETURN]], label [[BB_IF:%.*]]
  81 ; IS__CGSCC_NPM:       bb_if:
  82 ; IS__CGSCC_NPM-NEXT:    [[ASHR_VAL:%.*]] = ashr exact i32 [[C]], 2
  83 ; IS__CGSCC_NPM-NEXT:    [[CMP2:%.*]] = icmp sgt i32 [[ASHR_VAL]], 15
  84 ; IS__CGSCC_NPM-NEXT:    br i1 [[CMP2]], label [[BB_THEN:%.*]], label [[RETURN]]
  85 ; IS__CGSCC_NPM:       bb_then:
  86 ; IS__CGSCC_NPM-NEXT:    [[DOT:%.*]] = select i1 true, i32 3, i32 2
  87 ; IS__CGSCC_NPM-NEXT:    br label [[RETURN]]
  88 ; IS__CGSCC_NPM:       return:
  89 ; IS__CGSCC_NPM-NEXT:    [[RETVAL:%.*]] = phi i32 [ 0, [[CHK65:%.*]] ], [ 1, [[CHK0]] ], [ [[DOT]], [[BB_THEN]] ], [ 4, [[BB_IF]] ]
  90 ; IS__CGSCC_NPM-NEXT:    ret i32 [[RETVAL]]
  91 ;
  92 chk65:
  93   %cmp = icmp sgt i32 %c, 65
  94   br i1 %cmp, label %return, label %chk0
  95
  96 chk0:
  97   %cmp1 = icmp slt i32 %c, 0
  98   br i1 %cmp, label %return, label %bb_if
  99
 100 bb_if:
 101   %ashr.val = ashr exact i32 %c, 2
 102   %cmp2 = icmp sgt i32 %ashr.val, 15
 103   br i1 %cmp2, label %bb_then, label %return
 104
 105 bb_then:
 106   %cmp3 = icmp eq i32 %ashr.val, 16
 107   %. = select i1 %cmp3, i32 3, i32 2
 108   br label %return
 109
 110 return:
 111   %retval = phi i32 [0, %chk65], [1, %chk0], [%., %bb_then], [4, %bb_if]
 112   ret i32 %retval
 113 }
 114 ;.
 115 ; IS__TUNIT____: attributes #[[ATTR0:[0-9]+]] = { nofree nosync nounwind readnone willreturn }
 116 ;.
 117 ; IS__CGSCC____: attributes #[[ATTR0:[0-9]+]] = { nofree norecurse nosync nounwind readnone willreturn }
 118 ;.