llvm/test/Transforms/Attributor/ArgumentPromotion/2008-09-08-CGUpdateSelfEdge.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 define internal fastcc i32 @term_SharingList(i32* %Term, i32* %List) nounwind {
   8 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
   9 ; IS__CGSCC____-LABEL: define {{[^@]+}}@term_SharingList
  10 ; IS__CGSCC____-SAME: () #[[ATTR0:[0-9]+]] {
  11 ; IS__CGSCC____-NEXT:  entry:
  12 ; IS__CGSCC____-NEXT:    br i1 false, label [[BB:%.*]], label [[BB5:%.*]]
  13 ; IS__CGSCC____:       bb:
  14 ; IS__CGSCC____-NEXT:    unreachable
  15 ; IS__CGSCC____:       bb5:
  16 ; IS__CGSCC____-NEXT:    ret i32 undef
  17 ;
  18 entry:
  19   br i1 false, label %bb, label %bb5
  20
  21 bb:             ; preds = %entry
  22   %0 = call fastcc i32 @term_SharingList( i32* null, i32* %List ) nounwind              ; <i32> [#uses=0]
  23   unreachable
  24
  25 bb5:            ; preds = %entry
  26   ret i32 0
  27 }
  28
  29 define i32 @term_Sharing(i32* %Term) nounwind {
  30 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
  31 ; IS__TUNIT____-LABEL: define {{[^@]+}}@term_Sharing
  32 ; IS__TUNIT____-SAME: (i32* nocapture nofree readnone [[TERM:%.*]]) #[[ATTR0:[0-9]+]] {
  33 ; IS__TUNIT____-NEXT:  entry:
  34 ; IS__TUNIT____-NEXT:    br i1 false, label [[BB_I:%.*]], label [[BB14:%.*]]
  35 ; IS__TUNIT____:       bb.i:
  36 ; IS__TUNIT____-NEXT:    unreachable
  37 ; IS__TUNIT____:       bb14:
  38 ; IS__TUNIT____-NEXT:    ret i32 0
  39 ;
  40 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  41 ; IS__CGSCC____-LABEL: define {{[^@]+}}@term_Sharing
  42 ; IS__CGSCC____-SAME: (i32* nocapture nofree readnone [[TERM:%.*]]) #[[ATTR0]] {
  43 ; IS__CGSCC____-NEXT:  entry:
  44 ; IS__CGSCC____-NEXT:    br i1 false, label [[BB_I:%.*]], label [[BB14:%.*]]
  45 ; IS__CGSCC____:       bb.i:
  46 ; IS__CGSCC____-NEXT:    unreachable
  47 ; IS__CGSCC____:       bb14:
  48 ; IS__CGSCC____-NEXT:    ret i32 0
  49 ;
  50 entry:
  51   br i1 false, label %bb.i, label %bb14
  52
  53 bb.i:           ; preds = %entry
  54   %0 = call fastcc i32 @term_SharingList( i32* null, i32* null ) nounwind               ; <i32> [#uses=0]
  55   ret i32 1
  56
  57 bb14:           ; preds = %entry
  58   ret i32 0
  59 }
  60 ;.
  61 ; IS__TUNIT____: attributes #[[ATTR0]] = { nofree nosync nounwind readnone willreturn }
  62 ;.
  63 ; IS__CGSCC____: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn }
  64 ;.