llvm/test/Transforms/SimplifyCFG/X86/switch-to-lookup-globals.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: -p
   2 ; RUN: opt -S -passes="simplifycfg<switch-to-lookup>" < %s | FileCheck %s
   3
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 %struct.ham = type <{ i32, i32, i32, i8, i8, [2 x i8] }>
   7
   8 @global = external constant [75 x { i32, i32, i32, i8, i8 }]
   9
  10 define i1 @zot(i32 %arg) {
  11 ; CHECK-LABEL: @zot(
  12 ; CHECK-NEXT:  bb:
  13 ; CHECK-NEXT:    %0 = icmp ult i32 %arg, 3
  14 ; CHECK-NEXT:    br i1 %0, label %switch.lookup, label %bb6
  15 ; CHECK:       switch.lookup:
  16 ; CHECK-NEXT:    %switch.gep = getelementptr inbounds [3 x ptr], ptr @switch.table.zot, i32 0, i32 %arg
  17 ; CHECK-NEXT:    %switch.load = load ptr, ptr %switch.gep, align 8
  18 ; CHECK-NEXT:    br label %bb6
  19 ; CHECK:       bb6:
  20 ; CHECK-NEXT:    %tmp7 = phi ptr [ %switch.load, %switch.lookup ], [ null, %bb ]
  21 ; CHECK-NEXT:    %tmp8 = icmp eq ptr %tmp7, getelementptr inbounds ([75 x { i32, i32, i32, i8, i8 }], ptr @global, i64 1, i64 0, i32 0)
  22 ; CHECK-NEXT:    ret i1 %tmp8
  23 ;
  24 bb:
  25   %tmp = icmp eq i32 %arg, 1
  26   br i1 %tmp, label %bb6, label %bb1
  27
  28 bb1:                                              ; preds = %bb
  29   %tmp2 = icmp eq i32 %arg, 2
  30   br i1 %tmp2, label %bb6, label %bb3
  31
  32 bb3:                                              ; preds = %bb1
  33   %tmp4 = icmp eq i32 %arg, 0
  34   br i1 %tmp4, label %bb6, label %bb5
  35
  36 bb5:                                              ; preds = %bb3
  37   br label %bb6
  38
  39 bb6:                                              ; preds = %bb5, %bb3, %bb1, %bb
  40   %tmp7 = phi ptr [ null, %bb5 ], [ getelementptr inbounds ([75 x { i32, i32, i32, i8, i8 }], ptr @global, i64 0, i64 6, i32 0), %bb ], [ null, %bb1 ], [ null, %bb3 ]
  41   %tmp8 = icmp eq ptr %tmp7, getelementptr inbounds ([75 x { i32, i32, i32, i8, i8 }], ptr @global, i64 1, i64 0, i32 0)
  42   ret i1 %tmp8
  43 }