1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2; RUN: opt < %s -passes=jump-table-to-switch -verify-dom-info -S | FileCheck %s 3 4%"struct_ty" = type { [2 x ptr] } 5 6@func_array = constant %"struct_ty" { [2 x ptr] [ptr @func0, ptr @func1] } 7 8define i32 @func0() { 9 ret i32 1 10} 11 12define i32 @func1() { 13 ret i32 2 14} 15 16define i32 @function_with_jump_table(i32 %index) { 17; CHECK-LABEL: define i32 @function_with_jump_table( 18; CHECK-SAME: i32 [[INDEX:%.*]]) { 19; CHECK-NEXT: [[GEP:%.*]] = getelementptr inbounds [2 x ptr], ptr @func_array, i32 0, i32 [[INDEX]] 20; CHECK-NEXT: [[FUNC_PTR:%.*]] = load ptr, ptr [[GEP]], align 8 21; CHECK-NEXT: switch i32 [[INDEX]], label [[DEFAULT_SWITCH_CASE_UNREACHABLE:%.*]] [ 22; CHECK-NEXT: i32 0, label [[CALL_0:%.*]] 23; CHECK-NEXT: i32 1, label [[CALL_1:%.*]] 24; CHECK-NEXT: ] 25; CHECK: default.switch.case.unreachable: 26; CHECK-NEXT: unreachable 27; CHECK: call.0: 28; CHECK-NEXT: [[TMP1:%.*]] = call i32 @func0() 29; CHECK-NEXT: br label [[DOTTAIL:%.*]] 30; CHECK: call.1: 31; CHECK-NEXT: [[TMP2:%.*]] = call i32 @func1() 32; CHECK-NEXT: br label [[DOTTAIL]] 33; CHECK: .tail: 34; CHECK-NEXT: [[TMP3:%.*]] = phi i32 [ [[TMP1]], [[CALL_0]] ], [ [[TMP2]], [[CALL_1]] ] 35; CHECK-NEXT: ret i32 [[TMP3]] 36; 37 %gep = getelementptr inbounds [2 x ptr], ptr @func_array, i32 0, i32 %index 38 %func_ptr = load ptr, ptr %gep 39 %result = call i32 %func_ptr() 40 ret i32 %result 41} 42 43