22 lines
440 B
LLVM
22 lines
440 B
LLVM
|
; 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*)
|