| ; RUN: opt -S < %s -unreachableblockelim | FileCheck %s | |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" | |
| target triple = "x86_64-unknown-linux-gnu" | |
| declare void @abort() | |
| ; CHECK-LABEL: @foo( | |
| ; CHECK-NOT: return: | |
| define void @foo(i32* %p) { | |
| entry: | |
| %p.addr = alloca i32*, align 8 | |
| call void @abort() | |
| unreachable | |
| return: ; No predecessors! | |
| store i32* %p, i32** %p.addr, align 8 | |
| ret void | |
| } | |