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