| ; RUN: llc -verify-machineinstrs < %s -mtriple=i386-apple-darwin -frame-pointer=all | FileCheck %s -check-prefix=32 |
| ; RUN: llc -verify-machineinstrs < %s -mtriple=x86_64-apple-darwin -frame-pointer=all | FileCheck %s -check-prefix=64 |
| |
| ; Tail call should not use ebp / rbp after it's popped. Use esp / rsp. |
| |
| define void @t1(ptr nocapture %value) nounwind { |
| entry: |
| ; 32-LABEL: t1: |
| ; 32: jmpl *4(%esp) |
| |
| ; 64-LABEL: t1: |
| ; 64: jmpq *%rdi |
| tail call void %value() nounwind |
| ret void |
| } |
| |
| define void @t2(i32 %a, ptr nocapture %value) nounwind { |
| entry: |
| ; 32-LABEL: t2: |
| ; 32: jmpl *8(%esp) |
| |
| ; 64-LABEL: t2: |
| ; 64: jmpq *%rsi |
| tail call void %value() nounwind |
| ret void |
| } |
| |
| define void @t3(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, ptr nocapture %value) nounwind { |
| entry: |
| ; 32-LABEL: t3: |
| ; 32: jmpl *28(%esp) |
| |
| ; 64-LABEL: t3: |
| ; 64: jmpq *8(%rsp) |
| tail call void %value() nounwind |
| ret void |
| } |
| |
| define void @t4(i32 %a, i32 %b, i32 %c, i32 %d, i32 %e, i32 %f, i32 %g, ptr nocapture %value) nounwind { |
| entry: |
| ; 32-LABEL: t4: |
| ; 32: jmpl *32(%esp) |
| |
| ; 64-LABEL: t4: |
| ; 64: jmpq *16(%rsp) |
| tail call void %value() nounwind |
| ret void |
| } |