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