; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
; RUN: opt -S -passes='simplifycfg<sink-common-insts;switch-to-lookup>' < %s | FileCheck %s
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"
define void @pr104567(i8 %x, ptr %f) {
; CHECK-LABEL: define void @pr104567(
; CHECK-SAME: i8 [[X:%.*]], ptr [[F:%.*]]) {
; CHECK-NEXT: [[START:.*:]]
; CHECK-NEXT: [[Y:%.*]] = alloca [1 x i8], align 1
; CHECK-NEXT: call void @llvm.lifetime.start.p0(i64 1, ptr nonnull [[Y]])
; CHECK-NEXT: [[SWITCH_OFFSET:%.*]] = add nsw i8 [[X]], 4
; CHECK-NEXT: store i8 [[SWITCH_OFFSET]], ptr [[Y]], align 1
; CHECK-NEXT: call void [[F]](ptr [[Y]])
; CHECK-NEXT: call void @llvm.lifetime.end.p0(i64 1, ptr nonnull [[Y]])
; CHECK-NEXT: ret void
;
start:
%y = alloca [1 x i8], align 1
call void @llvm.lifetime.start.p0(i64 1, ptr nonnull %y)
switch i8 %x, label %default.unreachable [
i8 0, label %bb4
i8 1, label %bb3
i8 2, label %bb2
]
default.unreachable:
unreachable
bb4:
store i8 4, ptr %y, align 1
br label %bb5
bb3:
store i8 5, ptr %y, align 1
br label %bb5
bb2:
store i8 6, ptr %y, align 1
br label %bb5
bb5:
call void %f(ptr %y)
call void @llvm.lifetime.end.p0(i64 1, ptr nonnull %y)
ret void
}
define i64 @dont_make_div_variable(i64 noundef %x, i64 noundef %i) {
; CHECK-LABEL: define i64 @dont_make_div_variable(
; CHECK-SAME: i64 noundef [[X:%.*]], i64 noundef [[I:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: switch i64 [[I]], label %[[SW_DEFAULT:.*]] [
; CHECK-NEXT: i64 9, label %[[SW_BB:.*]]
; CHECK-NEXT: i64 10, label %[[SW_BB1:.*]]
; CHECK-NEXT: i64 11, label %[[SW_BB3:.*]]
; CHECK-NEXT: i64 12, label %[[SW_BB5:.*]]
; CHECK-NEXT: ]
; CHECK: [[SW_BB]]:
; CHECK-NEXT: [[DIV:%.*]] = udiv i64 [[X]], 9
; CHECK-NEXT: br label %[[RETURN:.*]]
; CHECK: [[SW_BB1]]:
; CHECK-NEXT: [[DIV2:%.*]] = udiv i64 [[X]], 10
; CHECK-NEXT: br label %[[RETURN]]
; CHECK: [[SW_BB3]]:
; CHECK-NEXT: [[DIV4:%.*]] = udiv i64 [[X]], 11
; CHECK-NEXT: br label %[[RETURN]]
; CHECK: [[SW_BB5]]:
; CHECK-NEXT: [[DIV7:%.*]] = udiv i64 [[X]], 12
; CHECK-NEXT: br label %[[RETURN]]
; CHECK: [[SW_DEFAULT]]:
; CHECK-NEXT: unreachable
; CHECK: [[RETURN]]:
; CHECK-NEXT: [[DIV6:%.*]] = phi i64 [ [[DIV7]], %[[SW_BB5]] ], [ [[DIV4]], %[[SW_BB3]] ], [ [[DIV2]], %[[SW_BB1]] ], [ [[DIV]], %[[SW_BB]] ]
; CHECK-NEXT: ret i64 [[DIV6]]
;
entry:
switch i64 %i, label %sw.default [
i64 9, label %sw.bb
i64 10, label %sw.bb1
i64 11, label %sw.bb3
i64 12, label %sw.bb5
]
sw.bb:
%div = udiv i64 %x, 9
br label %return
sw.bb1:
%div2 = udiv i64 %x, 10
br label %return
sw.bb3:
%div4 = udiv i64 %x, 11
br label %return
sw.bb5:
%div6 = udiv i64 %x, 12
br label %return
sw.default:
unreachable
return:
%retval.0 = phi i64 [ %div6, %sw.bb5 ], [ %div4, %sw.bb3 ], [ %div2, %sw.bb1 ], [ %div, %sw.bb ]
ret i64 %retval.0
}
define i64 @okay_to_make_div_variable(i64 noundef %x, i64 noundef %i) {
; CHECK-LABEL: define i64 @okay_to_make_div_variable(
; CHECK-SAME: i64 noundef [[X:%.*]], i64 noundef [[I:%.*]]) {
; CHECK-NEXT: [[ENTRY:.*:]]
; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = sub nsw i64 [[I]], 9
; CHECK-NEXT: [[SWITCH_OFFSET:%.*]] = add nsw i64 [[SWITCH_TABLEIDX]], 9
; CHECK-NEXT: [[DIV6:%.*]] = udiv i64 [[SWITCH_OFFSET]], [[X]]
; CHECK-NEXT: ret i64 [[DIV6]]
;
entry:
switch i64 %i, label %sw.default [
i64 9, label %sw.bb
i64 10, label %sw.bb1
i64 11, label %sw.bb3
i64 12, label %sw.bb5
]
sw.bb:
%div = udiv i64 9, %x
br label %return
sw.bb1:
%div2 = udiv i64 10, %x
br label %return
sw.bb3:
%div4 = udiv i64 11, %x
br label %return
sw.bb5:
%div6 = udiv i64 12, %x
br label %return
sw.default:
unreachable
return:
%retval.0 = phi i64 [ %div6, %sw.bb5 ], [ %div4, %sw.bb3 ], [ %div2, %sw.bb1 ], [ %div, %sw.bb ]
ret i64 %retval.0
}
Codebase Browser
llvm