53 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes="lto<O2>" -S | FileCheck %s3 4target datalayout = "i32:32:32-i64:64:64"5target triple = "x86_64--"6 7; Verify that the "late" simplifycfg options are set. This should get converted into a lookup table.8 9define i32 @f(i32 %c) {10; CHECK-LABEL: @f(11; CHECK-NEXT: entry:12; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = add i32 [[C:%.*]], -4213; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 714; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]]15; CHECK: switch.lookup:16; CHECK-NEXT: [[TMP1:%.*]] = zext nneg i32 [[SWITCH_TABLEIDX]] to i6417; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds nuw i32, ptr @switch.table.f, i64 [[TMP1]]18; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, ptr [[SWITCH_GEP]], align 419; 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;24entry:25 switch i32 %c, label %sw.default [26 i32 42, label %return27 i32 43, label %sw.bb128 i32 44, label %sw.bb229 i32 45, label %sw.bb330 i32 46, label %sw.bb431 i32 47, label %sw.bb532 i32 48, label %sw.bb633 ]34 35sw.bb1:36 br label %return37sw.bb2:38 br label %return39sw.bb3:40 br label %return41sw.bb4:42 br label %return43sw.bb5:44 br label %return45sw.bb6:46 br label %return47sw.default:48 br label %return49return: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 %r52}53