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