llvm/test/Transforms/SimplifyCFG/switch-dead-default-lookup-table.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; RUN: opt %s -S -passes='simplifycfg<switch-to-lookup>' -simplifycfg-require-and-preserve-domtree=1 -switch-range-to-icmp | FileCheck %s
   3
   4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   5
   6 define i64 @test_1(i64 %0) {
   7 ; CHECK-LABEL: define i64 @test_1(
   8 ; CHECK-SAME: i64 [[TMP0:%.*]]) {
   9 ; CHECK-NEXT:  switch.lookup:
  10 ; CHECK-NEXT:    [[TMP1:%.*]] = urem i64 [[TMP0]], 4
  11 ; CHECK-NEXT:    [[SWITCH_GEP:%.*]] = getelementptr inbounds [4 x i64], ptr @switch.table.test_1, i32 0, i64 [[TMP1]]
  12 ; CHECK-NEXT:    [[SWITCH_LOAD:%.*]] = load i64, ptr [[SWITCH_GEP]], align 8
  13 ; CHECK-NEXT:    ret i64 [[SWITCH_LOAD]]
  14 ;
  15   %2 = urem i64 %0, 4
  16   switch i64 %2, label %5 [
  17   i64 1, label %3
  18   i64 2, label %3
  19   i64 3, label %4
  20   ]
  21
  22 3:
  23   br label %5
  24
  25 4:
  26   br label %5
  27
  28 5:
  29   %.0 = phi i64 [ 2, %4 ], [ 1, %3 ], [ 0, %1 ]
  30   ret i64 %.0
  31 }
  32
  33
  34 define i64 @test_2(i64 %0) {
  35 ; CHECK-LABEL: define i64 @test_2(
  36 ; CHECK-SAME: i64 [[TMP0:%.*]]) {
  37 ; CHECK-NEXT:  switch.lookup:
  38 ; CHECK-NEXT:    [[TMP1:%.*]] = urem i64 [[TMP0]], 4
  39 ; CHECK-NEXT:    ret i64 [[TMP1]]
  40 ;
  41   %2 = urem i64 %0, 4
  42   switch i64 %2, label %6 [
  43   i64 1, label %3
  44   i64 2, label %4
  45   i64 3, label %5
  46   ]
  47
  48 3:
  49   br label %6
  50
  51 4:
  52   br label %6
  53
  54 5:
  55   br label %6
  56
  57 6:
  58   %.0 = phi i64 [ 0, %1 ], [ 1, %3 ], [ 2, %4 ], [ 3, %5 ]
  59   ret i64 %.0
  60 }
  61