[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / GC / ocaml-gc-assert.ll
blobb32ceca63441f014965a6c75c6f4c28f6d0fd4a2
1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
2 ; PR3168
4 ; CHECK-LABEL: append
6 define i32* @append() gc "ocaml" {
7 entry:
8   switch i32 0, label %L2 [i32 0, label %L1]
9 L1:
10   %var8 = alloca i8*
11   call void @llvm.gcroot(i8** %var8,i8* null)
12   br label %L3
13 L2:
14   call ccc void @oread_runtime_casenotcovered()
15   unreachable
16 L3:
17   ret i32* null
20 declare ccc void @oread_runtime_casenotcovered()
21 declare void @llvm.gcroot(i8**,i8*)