; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
; RUN: opt %s -S -passes=inline -inline-threshold=16 -min-jump-table-entries=4 | FileCheck %s -check-prefix=LOOKUPTABLE
; RUN: opt %s -S -passes=inline -inline-threshold=11 -min-jump-table-entries=5 | FileCheck %s -check-prefix=SWITCH
; REQUIRES: x86-registered-target
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
; The `bar1` should not be inlined since there is a default branch.
define i64 @foo1(i64 %a) {
; LOOKUPTABLE-LABEL: define i64 @foo1(
; LOOKUPTABLE-SAME: i64 [[A:%.*]]) {
; LOOKUPTABLE-NEXT: [[B:%.*]] = call i64 @bar1(i64 [[A]])
; LOOKUPTABLE-NEXT: ret i64 [[B]]
;
; SWITCH-LABEL: define i64 @foo1(
; SWITCH-SAME: i64 [[A:%.*]]) {
; SWITCH-NEXT: [[B:%.*]] = call i64 @bar1(i64 [[A]])
; SWITCH-NEXT: ret i64 [[B]]
;
%b = call i64 @bar1(i64 %a)
ret i64 %b
}
; Since the default branch is undefined behavior,
; we can inline `bar2`: https://github.com/llvm/llvm-project/issues/90929
define i64 @foo2(i64 %a) {
; LOOKUPTABLE-LABEL: define i64 @foo2(
; LOOKUPTABLE-SAME: i64 [[A:%.*]]) {
; LOOKUPTABLE-NEXT: switch i64 [[A]], label [[UNREACHABLEDEFAULT_I:%.*]] [
; LOOKUPTABLE-NEXT: i64 0, label [[BRANCH_0_I:%.*]]
; LOOKUPTABLE-NEXT: i64 2, label [[BRANCH_2_I:%.*]]
; LOOKUPTABLE-NEXT: i64 4, label [[BRANCH_4_I:%.*]]
; LOOKUPTABLE-NEXT: i64 6, label [[BRANCH_6_I:%.*]]
; LOOKUPTABLE-NEXT: ]
; LOOKUPTABLE: branch_0.i:
; LOOKUPTABLE-NEXT: br label [[BAR2_EXIT:%.*]]
; LOOKUPTABLE: branch_2.i:
; LOOKUPTABLE-NEXT: br label [[BAR2_EXIT]]
; LOOKUPTABLE: branch_4.i:
; LOOKUPTABLE-NEXT: br label [[BAR2_EXIT]]
; LOOKUPTABLE: branch_6.i:
; LOOKUPTABLE-NEXT: br label [[BAR2_EXIT]]
; LOOKUPTABLE: unreachabledefault.i:
; LOOKUPTABLE-NEXT: unreachable
; LOOKUPTABLE: bar2.exit:
; LOOKUPTABLE-NEXT: [[B_I:%.*]] = phi i64 [ 5, [[BRANCH_0_I]] ], [ 9, [[BRANCH_2_I]] ], [ 2, [[BRANCH_4_I]] ], [ 7, [[BRANCH_6_I]] ]
; LOOKUPTABLE-NEXT: ret i64 [[B_I]]
;
; SWITCH-LABEL: define i64 @foo2(
; SWITCH-SAME: i64 [[A:%.*]]) {
; SWITCH-NEXT: [[B_I:%.*]] = call i64 @bar2(i64 [[A]])
; SWITCH-NEXT: ret i64 [[B_I]]
;
%b = call i64 @bar2(i64 %a)
ret i64 %b
}
define i64 @bar1(i64 %a) {
; LOOKUPTABLE-LABEL: define i64 @bar1(
; LOOKUPTABLE-SAME: i64 [[A:%.*]]) {
; LOOKUPTABLE-NEXT: switch i64 [[A]], label [[DEFAULT_BRANCH:%.*]] [
; LOOKUPTABLE-NEXT: i64 0, label [[BRANCH_0:%.*]]
; LOOKUPTABLE-NEXT: i64 2, label [[BRANCH_2:%.*]]
; LOOKUPTABLE-NEXT: i64 4, label [[BRANCH_4:%.*]]
; LOOKUPTABLE-NEXT: i64 6, label [[BRANCH_6:%.*]]
; LOOKUPTABLE-NEXT: ]
; LOOKUPTABLE: branch_0:
; LOOKUPTABLE-NEXT: br label [[EXIT:%.*]]
; LOOKUPTABLE: branch_2:
; LOOKUPTABLE-NEXT: br label [[EXIT]]
; LOOKUPTABLE: branch_4:
; LOOKUPTABLE-NEXT: br label [[EXIT]]
; LOOKUPTABLE: branch_6:
; LOOKUPTABLE-NEXT: br label [[EXIT]]
; LOOKUPTABLE: default_branch:
; LOOKUPTABLE-NEXT: br label [[EXIT]]
; LOOKUPTABLE: exit:
; LOOKUPTABLE-NEXT: [[B:%.*]] = phi i64 [ 5, [[BRANCH_0]] ], [ 9, [[BRANCH_2]] ], [ 2, [[BRANCH_4]] ], [ 7, [[BRANCH_6]] ], [ 3, [[DEFAULT_BRANCH]] ]
; LOOKUPTABLE-NEXT: ret i64 [[B]]
;
; SWITCH-LABEL: define i64 @bar1(
; SWITCH-SAME: i64 [[A:%.*]]) {
; SWITCH-NEXT: switch i64 [[A]], label [[DEFAULT_BRANCH:%.*]] [
; SWITCH-NEXT: i64 0, label [[BRANCH_0:%.*]]
; SWITCH-NEXT: i64 2, label [[BRANCH_2:%.*]]
; SWITCH-NEXT: i64 4, label [[BRANCH_4:%.*]]
; SWITCH-NEXT: i64 6, label [[BRANCH_6:%.*]]
; SWITCH-NEXT: ]
; SWITCH: branch_0:
; SWITCH-NEXT: br label [[EXIT:%.*]]
; SWITCH: branch_2:
; SWITCH-NEXT: br label [[EXIT]]
; SWITCH: branch_4:
; SWITCH-NEXT: br label [[EXIT]]
; SWITCH: branch_6:
; SWITCH-NEXT: br label [[EXIT]]
; SWITCH: default_branch:
; SWITCH-NEXT: br label [[EXIT]]
; SWITCH: exit:
; SWITCH-NEXT: [[B:%.*]] = phi i64 [ 5, [[BRANCH_0]] ], [ 9, [[BRANCH_2]] ], [ 2, [[BRANCH_4]] ], [ 7, [[BRANCH_6]] ], [ 3, [[DEFAULT_BRANCH]] ]
; SWITCH-NEXT: ret i64 [[B]]
;
switch i64 %a, label %default_branch [
i64 0, label %branch_0
i64 2, label %branch_2
i64 4, label %branch_4
i64 6, label %branch_6
]
branch_0:
br label %exit
branch_2:
br label %exit
branch_4:
br label %exit
branch_6:
br label %exit
default_branch:
br label %exit
exit:
%b = phi i64 [ 5, %branch_0 ], [ 9, %branch_2 ], [ 2, %branch_4 ], [ 7, %branch_6 ], [ 3, %default_branch ]
ret i64 %b
}
define i64 @bar2(i64 %a) {
; LOOKUPTABLE-LABEL: define i64 @bar2(
; LOOKUPTABLE-SAME: i64 [[A:%.*]]) {
; LOOKUPTABLE-NEXT: switch i64 [[A]], label [[UNREACHABLEDEFAULT:%.*]] [
; LOOKUPTABLE-NEXT: i64 0, label [[BRANCH_0:%.*]]
; LOOKUPTABLE-NEXT: i64 2, label [[BRANCH_2:%.*]]
; LOOKUPTABLE-NEXT: i64 4, label [[BRANCH_4:%.*]]
; LOOKUPTABLE-NEXT: i64 6, label [[BRANCH_6:%.*]]
; LOOKUPTABLE-NEXT: ]
; LOOKUPTABLE: branch_0:
; LOOKUPTABLE-NEXT: br label [[EXIT:%.*]]
; LOOKUPTABLE: branch_2:
; LOOKUPTABLE-NEXT: br label [[EXIT]]
; LOOKUPTABLE: branch_4:
; LOOKUPTABLE-NEXT: br label [[EXIT]]
; LOOKUPTABLE: branch_6:
; LOOKUPTABLE-NEXT: br label [[EXIT]]
; LOOKUPTABLE: unreachabledefault:
; LOOKUPTABLE-NEXT: unreachable
; LOOKUPTABLE: exit:
; LOOKUPTABLE-NEXT: [[B:%.*]] = phi i64 [ 5, [[BRANCH_0]] ], [ 9, [[BRANCH_2]] ], [ 2, [[BRANCH_4]] ], [ 7, [[BRANCH_6]] ]
; LOOKUPTABLE-NEXT: ret i64 [[B]]
;
; SWITCH-LABEL: define i64 @bar2(
; SWITCH-SAME: i64 [[A:%.*]]) {
; SWITCH-NEXT: switch i64 [[A]], label [[UNREACHABLEDEFAULT:%.*]] [
; SWITCH-NEXT: i64 0, label [[BRANCH_0:%.*]]
; SWITCH-NEXT: i64 2, label [[BRANCH_2:%.*]]
; SWITCH-NEXT: i64 4, label [[BRANCH_4:%.*]]
; SWITCH-NEXT: i64 6, label [[BRANCH_6:%.*]]
; SWITCH-NEXT: ]
; SWITCH: branch_0:
; SWITCH-NEXT: br label [[EXIT:%.*]]
; SWITCH: branch_2:
; SWITCH-NEXT: br label [[EXIT]]
; SWITCH: branch_4:
; SWITCH-NEXT: br label [[EXIT]]
; SWITCH: branch_6:
; SWITCH-NEXT: br label [[EXIT]]
; SWITCH: unreachabledefault:
; SWITCH-NEXT: unreachable
; SWITCH: exit:
; SWITCH-NEXT: [[B:%.*]] = phi i64 [ 5, [[BRANCH_0]] ], [ 9, [[BRANCH_2]] ], [ 2, [[BRANCH_4]] ], [ 7, [[BRANCH_6]] ]
; SWITCH-NEXT: ret i64 [[B]]
;
switch i64 %a, label %unreachabledefault [
i64 0, label %branch_0
i64 2, label %branch_2
i64 4, label %branch_4
i64 6, label %branch_6
]
branch_0:
br label %exit
branch_2:
br label %exit
branch_4:
br label %exit
branch_6:
br label %exit
unreachabledefault:
unreachable
exit:
%b = phi i64 [ 5, %branch_0 ], [ 9, %branch_2 ], [ 2, %branch_4 ], [ 7, %branch_6 ]
ret i64 %b
}
Codebase Browser
llvm