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