; This test checks if a singleton instance (an instance that appears only once) can be outlined
; using codegen data from a previous codegen run.
; Unlike cgdata-read-single-outline.ll, this test also examines various suffixes that LLVM appends to names.
; Specifically, we aim to disregard the suffixes `.llvm.{number}` and `.__uniq.{number}` during the matching of call targets in hash computations.
; This approach helps in accurately identifying the original call target, especially when an LTO build may append additional suffixes for uniqueness.
; Conversely, we only consider the number from the suffix `.content.{number}`.
; This matching strategy is crucial for recursively finding outlining candidates when multiple outliner runs are enabled.
; RUN: split-file %s %t
; First, we generate the cgdata file from a local outline instance present in local-two.ll.
; RUN: llc -mtriple=arm64-apple-darwin -enable-machine-outliner -codegen-data-generate=true -filetype=obj %t/local-two.ll -o %t_write
; RUN: llvm-cgdata --merge %t_write -o %t_cgdata
; RUN: llvm-cgdata --show %t_cgdata | FileCheck %s --check-prefix=SHOW
; SHOW: Outlined hash tree:
; SHOW-NEXT: Total Node Count: 4
; SHOW-NEXT: Terminal Node Count: 1
; SHOW-NEXT: Depth: 3
; Now, we read the cgdata in the machine outliner, enabling us to optimistically
; outline a singleton instance in local-one.ll that matches against the cgdata.
; We outline instances while disregarding the suffixes `.llvm.{number}` or `.__uniq.{number}` in names.
; RUN: llc -mtriple=arm64-apple-darwin -enable-machine-outliner -codegen-data-use-path=%t_cgdata -filetype=obj %t/local-one-ignore-suffix-1.ll -o %t_read_ignore_1
; RUN: llvm-objdump -d %t_read_ignore_1 | FileCheck %s
; RUN: llc -mtriple=arm64-apple-darwin -enable-machine-outliner -codegen-data-use-path=%t_cgdata -filetype=obj %t/local-one-ignore-suffix-2.ll -o %t_read_ignore_2
; RUN: llvm-objdump -d %t_read_ignore_2 | FileCheck %s
; CHECK: _OUTLINED_FUNCTION
; CHECK-NEXT: mov
; CHECK-NEXT: mov
; CHECK-NEXT: b
; We don't ignore `.invalid.{number}`. So no outlining occurs.
; RUN: llc -mtriple=arm64-apple-darwin -enable-machine-outliner -codegen-data-use-path=%t_cgdata -filetype=obj %t/local-one-no-ignore-suffix.ll -o %t_read_no_ignore
; RUN: llvm-objdump -d %t_read_no_ignore | FileCheck %s --check-prefix=NOOUTLINE
; NOOUTLINE-NOT: _OUTLINED_FUNCTION
;--- local-two.ll
declare i32 @g(i32, i32, i32)
define i32 @f1() minsize {
%1 = call i32 @g(i32 10, i32 1, i32 2);
ret i32 %1
}
define i32 @f2() minsize {
%1 = call i32 @g(i32 20, i32 1, i32 2);
ret i32 %1
}
;--- local-one-ignore-suffix-1.ll
declare i32 @g.llvm.123(i32, i32, i32)
define i32 @f3() minsize {
%1 = call i32 @g.llvm.123(i32 30, i32 1, i32 2);
ret i32 %1
}
;--- local-one-ignore-suffix-2.ll
declare i32 @g.__uniq.456(i32, i32, i32)
define i32 @f4() minsize {
%1 = call i32 @g.__uniq.456(i32 30, i32 1, i32 2);
ret i32 %1
}
;--- local-one-no-ignore-suffix.ll
declare i32 @g.invalid.789(i32, i32, i32)
define i32 @f5() minsize {
%1 = call i32 @g.invalid.789(i32 30, i32 1, i32 2);
ret i32 %1
}
; Similarly, we outline functions that have already been processed in previous outliner runs.
; Assuming `-machine-outliner-reruns` is locally enabled, we might already have `OUTLINED_FUNCTION*` instances.
; First, we generate the cgdata file from a local outline instance found in local-two-content.ll.
; RUN: llc -mtriple=arm64-apple-darwin -enable-machine-outliner -codegen-data-generate=true -filetype=obj %t/local-two-content.ll -o %t_write_content
; RUN: llvm-cgdata --merge %t_write_content -o %t_cgdata_content
; RUN: llvm-cgdata --show %t_cgdata_content | FileCheck %s --check-prefix=SHOW
; Despite the target function names being different -- `OUTLINED_FUNCTION_0.content.123` vs. `OUTLINED_FUNCTION_1.content.123`,
; We compute the same hash based on the suffix `.content.{number}`, and optimistically outline them.
; RUN: llc -mtriple=arm64-apple-darwin -enable-machine-outliner -codegen-data-use-path=%t_cgdata_content -filetype=obj %t/local-one-content.ll -o %t_read_content
; RUN: llvm-objdump -d %t_read_content | FileCheck %s
;--- local-two-content.ll
declare i32 @OUTLINED_FUNCTION_0.content.123(i32, i32, i32)
define i32 @f6() minsize {
%1 = call i32 @OUTLINED_FUNCTION_0.content.123(i32 10, i32 1, i32 2);
ret i32 %1
}
define i32 @f7() minsize {
%1 = call i32 @OUTLINED_FUNCTION_0.content.123(i32 20, i32 1, i32 2);
ret i32 %1
}
;--- local-one-content.ll
declare i32 @OUTLINED_FUNCTION_1.content.123(i32, i32, i32)
define i32 @f8() minsize {
%1 = call i32 @OUTLINED_FUNCTION_1.content.123(i32 30, i32 1, i32 2);
ret i32 %1
}
Codebase Browser
llvm