diff options
Diffstat (limited to 'test/CodeGen/X86/GC/ocaml-gc-assert.ll')
| -rw-r--r-- | test/CodeGen/X86/GC/ocaml-gc-assert.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/test/CodeGen/X86/GC/ocaml-gc-assert.ll b/test/CodeGen/X86/GC/ocaml-gc-assert.ll new file mode 100644 index 0000000..b32ceca --- /dev/null +++ b/test/CodeGen/X86/GC/ocaml-gc-assert.ll @@ -0,0 +1,21 @@ +; 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*) |