[libc++][NFC] Simplify the implementation of string and string_views operator== ...
[llvm-project.git] / llvm / test / Transforms / JumpTableToSwitch / struct.ll
blob7aa709c402fe1fa624ef3bbec4f3729512c4ff3c
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
4 %"struct_ty" = type { [2 x ptr] }
6 @func_array = constant %"struct_ty" { [2 x ptr] [ptr @func0, ptr @func1] }
8 define i32 @func0() {
9   ret i32 1
12 define i32 @func1() {
13   ret i32 2
16 define 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]]
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