llvm/test/Transforms/PhaseOrdering/X86/simplifycfg-late.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes='lto<O2>' -S | FileCheck %s
   3
   4 target datalayout = "i32:32:32-i64:64:64"
   5 target triple = "x86_64--"
   6
   7 ; Verify that the "late" simplifycfg options are set. This should get converted into a lookup table.
   8
   9 define i32 @f(i32 %c) {
  10 ; CHECK-LABEL: @f(
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    [[SWITCH_TABLEIDX:%.*]] = add i32 [[C:%.*]], -42
  13 ; CHECK-NEXT:    [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 7
  14 ; CHECK-NEXT:    br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]
  15 ; CHECK:       switch.lookup:
  16 ; CHECK-NEXT:    [[TMP1:%.*]] = sext i32 [[SWITCH_TABLEIDX]] to i64
  17 ; CHECK-NEXT:    [[SWITCH_GEP:%.*]] = getelementptr inbounds [7 x i32], [7 x i32]* @switch.table.f, i64 0, i64 [[TMP1]]
  18 ; CHECK-NEXT:    [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4
  19 ; CHECK-NEXT:    br label [[RETURN]]
  20 ; CHECK:       return:
  21 ; CHECK-NEXT:    [[R:%.*]] = phi i32 [ [[SWITCH_LOAD]], [[SWITCH_LOOKUP]] ], [ 15, [[ENTRY:%.*]] ]
  22 ; CHECK-NEXT:    ret i32 [[R]]
  23 ;
  24 entry:
  25   switch i32 %c, label %sw.default [
  26   i32 42, label %return
  27   i32 43, label %sw.bb1
  28   i32 44, label %sw.bb2
  29   i32 45, label %sw.bb3
  30   i32 46, label %sw.bb4
  31   i32 47, label %sw.bb5
  32   i32 48, label %sw.bb6
  33   ]
  34
  35 sw.bb1:
  36   br label %return
  37 sw.bb2:
  38   br label %return
  39 sw.bb3:
  40   br label %return
  41 sw.bb4:
  42   br label %return
  43 sw.bb5:
  44   br label %return
  45 sw.bb6:
  46   br label %return
  47 sw.default:
  48   br label %return
  49 return:
  50   %r = phi i32 [ 15, %sw.default ], [ 1, %sw.bb6 ], [ 62, %sw.bb5 ], [ 27, %sw.bb4 ], [ -1, %sw.bb3 ], [ 0, %sw.bb2 ], [ 123, %sw.bb1 ], [ 55, %entry ]
  51   ret i32 %r
  52 }