test/Transforms/FunctionAttrs/noreturn.ll

   1 ; RUN: opt < %s -functionattrs -instcombine -S | FileCheck %s
   2
   3 define void @endless_loop() noreturn nounwind readnone ssp uwtable {
   4 entry:
   5   br label %while.body
   6
   7 while.body:
   8   br label %while.body
   9 }
  10 ;CHECK-LABEL: @main(
  11 ;CHECK: endless_loop
  12 ;CHECK: ret
  13 define i32 @main() noreturn nounwind ssp uwtable {
  14 entry:
  15   tail call void @endless_loop()
  16   unreachable
  17 }
  18