1 ; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck -check-prefix=CHECK-NO-FP %s
2 ; RUN: llc < %s -mtriple=x86_64-apple-darwin -disable-fp-elim | FileCheck -check-prefix=CHECK-FP %s
3 ; RUN: llc < %s -mtriple=x86_64-linux-gnu | FileCheck -check-prefix=LINUX-NO-FP %s
4 ; RUN: llc < %s -mtriple=x86_64-linux-gnu -disable-fp-elim | FileCheck -check-prefix=LINUX-FP %s
11 ; MachO cannot handle an empty function.
13 ; CHECK-NO-FP-NEXT: .cfi_startproc
15 ; CHECK-NO-FP-NEXT: .cfi_endproc
18 ; CHECK-FP-NEXT: .cfi_startproc
20 ; CHECK-FP-NEXT: pushq %rbp
22 ; CHECK-FP-NEXT: .cfi_def_cfa_offset 16
24 ; CHECK-FP-NEXT: .cfi_offset %rbp, -16
25 ; CHECK-FP-NEXT: movq %rsp, %rbp
27 ; CHECK-FP-NEXT: .cfi_def_cfa_register %rbp
28 ; CHECK-FP-NEXT: .cfi_endproc
30 ; An empty function is perfectly fine on ELF.
32 ; LINUX-NO-FP-NEXT: .cfi_startproc
33 ; LINUX-NO-FP-NEXT: {{^}}#
34 ; LINUX-NO-FP-NEXT: {{^}}.L{{.*}}:{{$}}
35 ; LINUX-NO-FP-NEXT: .size func, .L{{.*}}-func
36 ; LINUX-NO-FP-NEXT: .cfi_endproc
38 ; A cfi directive can point to the end of a function. It (and in fact the
39 ; entire body) could be optimized out because of the unreachable, but we
40 ; don't do it right now.
42 ; LINUX-FP-NEXT: .cfi_startproc
43 ; LINUX-FP-NEXT: {{^}}#
44 ; LINUX-FP-NEXT: pushq %rbp
45 ; LINUX-FP-NEXT: {{^}}.L{{.*}}:{{$}}
46 ; LINUX-FP-NEXT: .cfi_def_cfa_offset 16
47 ; LINUX-FP-NEXT: {{^}}.L{{.*}}:{{$}}
48 ; LINUX-FP-NEXT: .cfi_offset %rbp, -16
49 ; LINUX-FP-NEXT: movq %rsp, %rbp
50 ; LINUX-FP-NEXT:{{^}}.L{{.*}}:{{$}}
51 ; LINUX-FP-NEXT: .cfi_def_cfa_register %rbp
52 ; LINUX-FP-NEXT:{{^}}.L{{.*}}:{{$}}
53 ; LINUX-FP-NEXT: .size func, .Ltmp3-func
54 ; LINUX-FP-NEXT: .cfi_endproc