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) 32
