21 lines · plain
1; RUN: opt -S < %s -unreachableblockelim | FileCheck %s2 3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"4target triple = "x86_64-unknown-linux-gnu"5 6declare void @abort()7 8; CHECK-LABEL: @foo(9; CHECK-NOT: return:10define void @foo(ptr %p) {11entry:12 %p.addr = alloca ptr, align 813 call void @abort()14 unreachable15 16return: ; No predecessors!17 store ptr %p, ptr %p.addr, align 818 ret void19}20 21