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