llvm/test/Transforms/JumpTableToSwitch/stride.ll

   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 @func_array = constant [2 x ptr] [ptr @func0, ptr @func1]
   5
   6 define i32 @func0() {
   7   ret i32 1
   8 }
   9
  10 define i32 @func1() {
  11   ret i32 2
  12 }
  13
  14 define 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 8
  19 ; 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:    unreachable
  24 ; 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 %index
  32   %func_ptr = load ptr, ptr %gep
  33   %result = call i32 %func_ptr()
  34   ret i32 %result
  35 }
  36