test/CodeGen/X86/GC/ocaml-gc.ll

   1 ; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s
   2
   3 define i32 @main(i32 %x) nounwind gc "ocaml" {
   4 ; CHECK:        .text
   5 ; CHECK-NEXT:   .globl  caml_3C_stdin_3E___code_begin
   6 ; CHECK-NEXT: caml_3C_stdin_3E___code_begin:
   7 ; CHECK-NEXT:   .data
   8 ; CHECK-NEXT:   .globl  caml_3C_stdin_3E___data_begin
   9 ; CHECK-NEXT: caml_3C_stdin_3E___data_begin:
  10
  11   %puts = tail call i32 @foo(i32 %x)
  12   ret i32 0
  13
  14 ; CHECK:        .globl  caml_3C_stdin_3E___code_end
  15 ; CHECK-NEXT: caml_3C_stdin_3E___code_end:
  16 ; CHECK-NEXT:   .data
  17 ; CHECK-NEXT:   .globl  caml_3C_stdin_3E___data_end
  18 ; CHECK-NEXT: caml_3C_stdin_3E___data_end:
  19 ; CHECK-NEXT:   .quad   0
  20 ; CHECK-NEXT:   .globl  caml_3C_stdin_3E___frametable
  21 ; CHECK-NEXT: caml_3C_stdin_3E___frametable:
  22 ; CHECK-NEXT:   .short  1
  23 ; CHECK-NEXT:   .align  8
  24 ; CHECK-NEXT:                # live roots for main
  25 ; CHECK-NEXT:   .quad   .Ltmp0
  26 ; CHECK-NEXT:   .short  8
  27 ; CHECK-NEXT:   .short  0
  28 ; CHECK-NEXT:   .align  8
  29 }
  30
  31 declare i32 @foo(i32)