| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -passes='lto<O2>' -S | FileCheck %s |
| |
| target datalayout = "i32:32:32-i64:64:64" |
| target triple = "x86_64--" |
| |
| ; Verify that the "late" simplifycfg options are set. This should get converted into a lookup table. |
| |
| define i32 @f(i32 %c) { |
| ; CHECK-LABEL: @f( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = add i32 [[C:%.*]], -42 |
| ; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 7 |
| ; CHECK-NEXT: br i1 [[TMP0]], label [[SWITCH_LOOKUP:%.*]], label [[RETURN:%.*]] |
| ; CHECK: switch.lookup: |
| ; CHECK-NEXT: [[TMP1:%.*]] = sext i32 [[SWITCH_TABLEIDX]] to i64 |
| ; CHECK-NEXT: [[SWITCH_GEP:%.*]] = getelementptr inbounds [7 x i32], [7 x i32]* @switch.table.f, i64 0, i64 [[TMP1]] |
| ; CHECK-NEXT: [[SWITCH_LOAD:%.*]] = load i32, i32* [[SWITCH_GEP]], align 4 |
| ; CHECK-NEXT: br label [[RETURN]] |
| ; CHECK: return: |
| ; CHECK-NEXT: [[R:%.*]] = phi i32 [ [[SWITCH_LOAD]], [[SWITCH_LOOKUP]] ], [ 15, [[ENTRY:%.*]] ] |
| ; CHECK-NEXT: ret i32 [[R]] |
| ; |
| entry: |
| switch i32 %c, label %sw.default [ |
| i32 42, label %return |
| i32 43, label %sw.bb1 |
| i32 44, label %sw.bb2 |
| i32 45, label %sw.bb3 |
| i32 46, label %sw.bb4 |
| i32 47, label %sw.bb5 |
| i32 48, label %sw.bb6 |
| ] |
| |
| sw.bb1: |
| br label %return |
| sw.bb2: |
| br label %return |
| sw.bb3: |
| br label %return |
| sw.bb4: |
| br label %return |
| sw.bb5: |
| br label %return |
| sw.bb6: |
| br label %return |
| sw.default: |
| br label %return |
| return: |
| %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 ] |
| ret i32 %r |
| } |