37 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt < %s -passes=jump-table-to-switch -verify-dom-info -S | FileCheck %s3 4@func_array = constant [2 x ptr] [ptr @func0, ptr @func1]5 6define i32 @func0() {7 ret i32 18}9 10define i32 @func1() {11 ret i32 212}13 14define i32 @check_stride(i32 %index) {15; CHECK-LABEL: define i32 @check_stride(16; CHECK-SAME: i32 [[INDEX:%.*]]) {17; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds [2 x { ptr, ptr }], ptr @func_array, i32 0, i32 [[INDEX]]18; CHECK-NEXT: [[FUNC_PTR:%.*]] = load ptr, ptr [[GEP]], align 819; CHECK-NEXT: switch i32 [[INDEX]], label [[DEFAULT_SWITCH_CASE_UNREACHABLE:%.*]] [20; CHECK-NEXT: i32 0, label [[CALL_0:%.*]]21; CHECK-NEXT: ]22; CHECK: default.switch.case.unreachable:23; CHECK-NEXT: unreachable24; CHECK: call.0:25; CHECK-NEXT: [[TMP1:%.*]] = call i32 @func0()26; CHECK-NEXT: br label [[DOTTAIL:%.*]]27; CHECK: .tail:28; CHECK-NEXT: [[TMP2:%.*]] = phi i32 [ [[TMP1]], [[CALL_0]] ]29; CHECK-NEXT: ret i32 [[TMP2]]30;31 %gep = getelementptr inbounds [2 x { ptr, ptr }], ptr @func_array, i32 0, i32 %index32 %func_ptr = load ptr, ptr %gep33 %result = call i32 %func_ptr()34 ret i32 %result35}36 37