Changeset View
Changeset View
Standalone View
Standalone View
llvm/test/CodeGen/AArch64/machine-outliner-thunk.ll
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | ||||
; RUN: llc < %s -enable-machine-outliner -verify-machineinstrs | FileCheck %s | ; RUN: llc < %s -enable-machine-outliner -verify-machineinstrs | FileCheck %s | ||||
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" | target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" | ||||
target triple = "aarch64-pc-linux-gnu" | target triple = "aarch64-pc-linux-gnu" | ||||
declare i32 @thunk_called_fn(i32, i32, i32, i32) | declare i32 @thunk_called_fn(i32, i32, i32, i32) | ||||
define i32 @a() { | define i32 @a() { | ||||
; CHECK-LABEL: a: | ; CHECK-LABEL: a: | ||||
; CHECK: // %bb.0: // %entry | ; CHECK: // %bb.0: // %entry | ||||
; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ||||
; CHECK-NEXT: .cfi_def_cfa_offset 16 | ; CHECK-NEXT: .cfi_def_cfa_offset 16 | ||||
; CHECK-NEXT: .cfi_offset w30, -16 | ; CHECK-NEXT: .cfi_offset w30, -16 | ||||
; CHECK-NEXT: bl [[OUTLINED_DIRECT:OUTLINED_FUNCTION_[0-9]+]] | ; CHECK-NEXT: bl OUTLINED_FUNCTION_1 | ||||
; CHECK-NEXT: add w0, w0, #8 | ; CHECK-NEXT: add w0, w0, #8 | ||||
; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ||||
; CHECK-NEXT: .cfi_adjust_cfa_offset -16 | |||||
; CHECK-NEXT: ret | ; CHECK-NEXT: ret | ||||
entry: | entry: | ||||
%call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4) | %call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4) | ||||
%cx = add i32 %call, 8 | %cx = add i32 %call, 8 | ||||
ret i32 %cx | ret i32 %cx | ||||
} | } | ||||
define i32 @b() { | define i32 @b() { | ||||
; CHECK-LABEL: b: | ; CHECK-LABEL: b: | ||||
; CHECK: // %bb.0: // %entry | ; CHECK: // %bb.0: // %entry | ||||
; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ||||
; CHECK-NEXT: .cfi_def_cfa_offset 16 | ; CHECK-NEXT: .cfi_def_cfa_offset 16 | ||||
; CHECK-NEXT: .cfi_offset w30, -16 | ; CHECK-NEXT: .cfi_offset w30, -16 | ||||
; CHECK-NEXT: bl [[OUTLINED_DIRECT]] | ; CHECK-NEXT: bl OUTLINED_FUNCTION_1 | ||||
; CHECK-NEXT: add w0, w0, #88 | ; CHECK-NEXT: add w0, w0, #88 | ||||
; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ||||
; CHECK-NEXT: .cfi_adjust_cfa_offset -16 | |||||
; CHECK-NEXT: ret | ; CHECK-NEXT: ret | ||||
entry: | entry: | ||||
%call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4) | %call = tail call i32 @thunk_called_fn(i32 1, i32 2, i32 3, i32 4) | ||||
%cx = add i32 %call, 88 | %cx = add i32 %call, 88 | ||||
ret i32 %cx | ret i32 %cx | ||||
} | } | ||||
define hidden i32 @c(i32 (i32, i32, i32, i32)* %fptr) { | define hidden i32 @c(i32 (i32, i32, i32, i32)* %fptr) { | ||||
; CHECK-LABEL: c: | ; CHECK-LABEL: c: | ||||
; CHECK: // %bb.0: // %entry | ; CHECK: // %bb.0: // %entry | ||||
; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ||||
; CHECK-NEXT: .cfi_def_cfa_offset 16 | ; CHECK-NEXT: .cfi_def_cfa_offset 16 | ||||
; CHECK-NEXT: .cfi_offset w30, -16 | ; CHECK-NEXT: .cfi_offset w30, -16 | ||||
; CHECK-NEXT: bl [[OUTLINED_INDIRECT:OUTLINED_FUNCTION_[0-9]+]] | ; CHECK-NEXT: bl OUTLINED_FUNCTION_0 | ||||
; CHECK-NEXT: add w0, w0, #8 | ; CHECK-NEXT: add w0, w0, #8 | ||||
; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ||||
; CHECK-NEXT: .cfi_adjust_cfa_offset -16 | |||||
; CHECK-NEXT: ret | ; CHECK-NEXT: ret | ||||
entry: | entry: | ||||
%call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4) | %call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4) | ||||
%add = add nsw i32 %call, 8 | %add = add nsw i32 %call, 8 | ||||
ret i32 %add | ret i32 %add | ||||
} | } | ||||
define hidden i32 @d(i32 (i32, i32, i32, i32)* %fptr) { | define hidden i32 @d(i32 (i32, i32, i32, i32)* %fptr) { | ||||
; CHECK-LABEL: d: | ; CHECK-LABEL: d: | ||||
; CHECK: // %bb.0: // %entry | ; CHECK: // %bb.0: // %entry | ||||
; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ; CHECK-NEXT: str x30, [sp, #-16]! // 8-byte Folded Spill | ||||
; CHECK-NEXT: .cfi_def_cfa_offset 16 | ; CHECK-NEXT: .cfi_def_cfa_offset 16 | ||||
; CHECK-NEXT: .cfi_offset w30, -16 | ; CHECK-NEXT: .cfi_offset w30, -16 | ||||
; CHECK-NEXT: bl [[OUTLINED_INDIRECT]] | ; CHECK-NEXT: bl OUTLINED_FUNCTION_0 | ||||
; CHECK-NEXT: add w0, w0, #88 | ; CHECK-NEXT: add w0, w0, #88 | ||||
; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ; CHECK-NEXT: ldr x30, [sp], #16 // 8-byte Folded Reload | ||||
; CHECK-NEXT: .cfi_adjust_cfa_offset -16 | |||||
; CHECK-NEXT: ret | ; CHECK-NEXT: ret | ||||
entry: | entry: | ||||
%call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4) | %call = tail call i32 %fptr(i32 1, i32 2, i32 3, i32 4) | ||||
%add = add nsw i32 %call, 88 | %add = add nsw i32 %call, 88 | ||||
ret i32 %add | ret i32 %add | ||||
} | } | ||||
; CHECK: [[OUTLINED_INDIRECT]]: | ; CHECK: [[OUTLINED_INDIRECT]]: | ||||
Show All 17 Lines |