| ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-linux-gnu | FileCheck -check-prefix=LINUX-NO-FP %s | |
| ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc-linux-gnu -frame-pointer=all | FileCheck -check-prefix=LINUX-FP %s | |
| define void @func() { | |
| entry: | |
| unreachable | |
| } | |
| ; An empty function is perfectly fine on ELF. | |
| ; LINUX-NO-FP: func: | |
| ; LINUX-NO-FP-NEXT: {{^}}.L[[BEGIN:.*]]:{{$}} | |
| ; LINUX-NO-FP-NEXT: .cfi_startproc | |
| ; LINUX-NO-FP-NEXT: {{^}}# | |
| ; LINUX-NO-FP-NEXT: {{^}}.L[[END:.*]]:{{$}} | |
| ; LINUX-NO-FP-NEXT: .size func, .L[[END]]-.L[[BEGIN]] | |
| ; LINUX-NO-FP-NEXT: .cfi_endproc | |
| ; A cfi directive cannot point to the end of a function. | |
| ; LINUX-FP: func: | |
| ; LINUX-FP-NEXT: {{^}}.L[[BEGIN:.*]]:{{$}} | |
| ; LINUX-FP-NEXT: .cfi_startproc | |
| ; LINUX-FP-NEXT: {{^}}# | |
| ; LINUX-FP-NEXT: stwu 1, -16(1) | |
| ; LINUX-FP-NEXT: stw 31, 12(1) | |
| ; LINUX-FP-NEXT: .cfi_def_cfa_offset 16 | |
| ; LINUX-FP-NEXT: .cfi_offset r31, -4 | |
| ; LINUX-FP-NEXT: mr 31, 1 | |
| ; LINUX-FP-NEXT: {{^}}.L[[END:.*]]:{{$}} | |
| ; LINUX-FP-NEXT: .size func, .L[[END]]-.L[[BEGIN]] | |
| ; LINUX-FP-NEXT: .cfi_endproc |