; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
; PR3168
; CHECK-LABEL: append
define ptr @append() gc "ocaml" {
entry:
switch i32 0, label %L2 [i32 0, label %L1]
L1:
%var8 = alloca ptr
call void @llvm.gcroot(ptr %var8,ptr null)
br label %L3
L2:
call ccc void @oread_runtime_casenotcovered()
unreachable
L3:
ret ptr null
}
declare ccc void @oread_runtime_casenotcovered()
declare void @llvm.gcroot(ptr,ptr)