llvm/test/Transforms/Inline/dead-calls-willreturn.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -inline -S -enable-new-pm=0 %s | FileCheck %s
   3
   4 ; readnone but may not return according to attributes.
   5 define void @readnone_may_not_return() nounwind readnone ssp {
   6 ; CHECK-LABEL: @readnone_may_not_return(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    br label [[WHILE_BODY:%.*]]
   9 ; CHECK:       while.body:
  10 ; CHECK-NEXT:    br label [[WHILE_BODY]]
  11 ;
  12 entry:
  13   br label %while.body
  14
  15 while.body:
  16   br label %while.body
  17 }
  18
  19 ; readnone and guaranteed to return according to attributes.
  20 define void @readnone_willreturn() willreturn nounwind readnone ssp {
  21 ; CHECK-LABEL: @readnone_willreturn(
  22 ; CHECK-NEXT:  entry:
  23 ; CHECK-NEXT:    ret void
  24 ;
  25 entry:
  26   ret void
  27 }
  28
  29 ; Make sure the call to @readnone is not treated as dead, because it is not
  30 ; marked as willreturn.
  31 define void @caller_may_not_return() ssp {
  32 ; CHECK-LABEL: @caller_may_not_return(
  33 ; CHECK-NEXT:  entry:
  34 ; CHECK-NEXT:    br label [[WHILE_BODY_I:%.*]]
  35 ; CHECK:       while.body.i:
  36 ; CHECK-NEXT:    br label [[WHILE_BODY_I]]
  37 ; CHECK:       readnone_may_not_return.exit:
  38 ; CHECK-NEXT:    ret void
  39 ;
  40 entry:
  41   call void @readnone_may_not_return()
  42   call void @readnone_willreturn()
  43   ret void
  44 }
  45
  46 ; @caller_willreturn is marked as willreturn, so all called functions also must
  47 ; return. All calls are dead.
  48 define void @caller_willreturn() ssp {
  49 ; CHECK-LABEL: @caller_willreturn(
  50 ; CHECK-NEXT:  entry:
  51 ; CHECK-NEXT:    ret void
  52 ;
  53 entry:
  54   call void @readnone_may_not_return() willreturn
  55   call void @readnone_willreturn()
  56   ret void
  57 }