| ; 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*) |