aboutsummaryrefslogtreecommitdiff
path: root/test/Transforms/FunctionAttrs/noreturn.ll
blob: 470ebcb1d3cdd6dd9959836c12b818a4d558df9a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
; RUN: opt < %s -functionattrs -instcombine -S | FileCheck %s

define void @endless_loop() noreturn nounwind readnone ssp uwtable {
entry:
  br label %while.body

while.body:
  br label %while.body
}
;CHECK: @main
;CHECK: endless_loop
;CHECK: ret
define i32 @main() noreturn nounwind ssp uwtable {
entry:
  tail call void @endless_loop()
  unreachable
}