1; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck %s
2
3define i32 @main(i32 %x) nounwind gc "ocaml" {
4; CHECK:        .text
5; CHECK-NEXT:   .globl "caml<stdin>__code_begin"
6; CHECK-NEXT: "caml<stdin>__code_begin":
7; CHECK-NEXT:   .data
8; CHECK-NEXT:   .globl  "caml<stdin>__data_begin"
9; CHECK-NEXT: "caml<stdin>__data_begin":
10
11  %puts = tail call i32 @foo(i32 %x)
12  ret i32 0
13
14; CHECK:        .globl "caml<stdin>__code_end"
15; CHECK-NEXT: "caml<stdin>__code_end":
16; CHECK-NEXT:   .data
17; CHECK-NEXT:   .globl "caml<stdin>__data_end"
18; CHECK-NEXT: "caml<stdin>__data_end":
19; CHECK-NEXT:   .quad   0
20; CHECK-NEXT:   .globl "caml<stdin>__frametable"
21; CHECK-NEXT: "caml<stdin>__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
31declare i32 @foo(i32)
32