This is an archive of the discontinued LLVM Phabricator instance.

Differential D153238

[SimplifyCFG] precommit test for LinearMap nsw (NFC)
ClosedPublic

Authored by khei4 on Jun 18 2023, 9:01 PM.

Details

Reviewers
nikic
Commits
rGe2e9de6ca2fa: [SimplifyCFG] precommit test for LinearMap nsw (NFC)
Summary

precommit test for https://reviews.llvm.org/D150943

Diff Detail

Event Timeline

khei4 created this revision.Jun 18 2023, 9:01 PM
Herald added a project: Restricted Project. · View Herald TranscriptJun 18 2023, 9:01 PM
Herald added subscribers: StephenFan, kristof.beyls. · View Herald Transcript
khei4 requested review of this revision.Jun 18 2023, 9:01 PM
Herald added a project: Restricted Project. · View Herald TranscriptJun 18 2023, 9:01 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript
khei4 updated this revision to Diff 532519.Jun 18 2023, 9:02 PM

rebase

khei4 mentioned this in D150943: [SimplifyCFG] add nsw on BuildLookuptable LinearMap calculation.Jun 18 2023, 9:04 PM
Harbormaster completed remote builds in B239710: Diff 532519.Jun 18 2023, 9:52 PM
khei4 added a child revision: D150943: [SimplifyCFG] add nsw on BuildLookuptable LinearMap calculation.Jun 19 2023, 12:11 AM
nikic accepted this revision.Jun 25 2023, 6:10 AM

LGTM

This revision is now accepted and ready to land.Jun 25 2023, 6:10 AM
Closed by commit rGe2e9de6ca2fa: [SimplifyCFG] precommit test for LinearMap nsw (NFC) (authored by khei4). · Explain WhyJun 25 2023, 5:11 PM
This revision was automatically updated to reflect the committed changes.
khei4 added a commit: rGe2e9de6ca2fa: [SimplifyCFG] precommit test for LinearMap nsw (NFC).

Revision Contents

PathSize
llvm/
test/
Transforms/
SimplifyCFG/
X86/
108 lines

Diff 532519

llvm/test/Transforms/SimplifyCFG/X86/switch_to_lookup_table.ll

Show First 20 Lines • Show All 1,925 Lines • ▼ Show 20 Lines
bb5: ; preds = %start bb5: ; preds = %start
br label %bb6 br label %bb6
bb6: ; preds = %start, %bb3, %bb4, %bb5 bb6: ; preds = %start, %bb3, %bb4, %bb5
%.sroa.0.0 = phi i32 [ 0, %bb1 ], [ 2222, %bb5 ], [ 1111, %bb4 ], [ 4444, %bb3 ], [ 3333, %start ] %.sroa.0.0 = phi i32 [ 0, %bb1 ], [ 2222, %bb5 ], [ 1111, %bb4 ], [ 4444, %bb3 ], [ 3333, %start ]
ret i32 %.sroa.0.0 ret i32 %.sroa.0.0
} }
define i8 @linearmap_inc_nsw(i32 %c) {
; CHECK-LABEL: @linearmap_inc_nsw(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = sub i32 [[C:%.*]], 10
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 4
; CHECK-NEXT: [[SWITCH_IDX_CAST:%.*]] = trunc i32 [[SWITCH_TABLEIDX]] to i8
; CHECK-NEXT: [[SWITCH_IDX_MULT:%.*]] = mul i8 [[SWITCH_IDX_CAST]], 31
; CHECK-NEXT: [[SWITCH_OFFSET:%.*]] = add i8 [[SWITCH_IDX_MULT]], 31
; CHECK-NEXT: [[X:%.*]] = select i1 [[TMP0]], i8 [[SWITCH_OFFSET]], i8 3
; CHECK-NEXT: ret i8 [[X]]
;
entry:
switch i32 %c, label %sw.default [
i32 10, label %return
i32 11, label %sw.bb1
i32 12, label %sw.bb2
i32 13, label %sw.bb3
]
sw.bb1: br label %return
sw.bb2: br label %return
sw.bb3: br label %return
sw.default: br label %return
return:
%x = phi i8 [ 3, %sw.default ], [ 124, %sw.bb3 ], [ 93, %sw.bb2 ], [ 62, %sw.bb1 ], [ 31, %entry ]
ret i8 %x
}
define i8 @linearmap_inc_wrapped(i32 %c) {
; CHECK-LABEL: @linearmap_inc_wrapped(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = sub i32 [[C:%.*]], 10
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 4
; CHECK-NEXT: [[SWITCH_IDX_CAST:%.*]] = trunc i32 [[SWITCH_TABLEIDX]] to i8
; CHECK-NEXT: [[SWITCH_IDX_MULT:%.*]] = mul i8 [[SWITCH_IDX_CAST]], 32
; CHECK-NEXT: [[SWITCH_OFFSET:%.*]] = add i8 [[SWITCH_IDX_MULT]], 32
; CHECK-NEXT: [[X:%.*]] = select i1 [[TMP0]], i8 [[SWITCH_OFFSET]], i8 3
; CHECK-NEXT: ret i8 [[X]]
;
entry:
switch i32 %c, label %sw.default [
i32 10, label %return
i32 11, label %sw.bb1
i32 12, label %sw.bb2
i32 13, label %sw.bb3
]
sw.bb1: br label %return
sw.bb2: br label %return
sw.bb3: br label %return
sw.default: br label %return
return:
%x = phi i8 [ 3, %sw.default ], [ -128, %sw.bb3 ], [ 96, %sw.bb2 ], [ 64, %sw.bb1 ], [ 32, %entry ]
ret i8 %x
}
define i8 @linearmap_dec_nsw(i32 %c) {
; CHECK-LABEL: @linearmap_dec_nsw(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = sub i32 [[C:%.*]], 10
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 4
; CHECK-NEXT: [[SWITCH_IDX_CAST:%.*]] = trunc i32 [[SWITCH_TABLEIDX]] to i8
; CHECK-NEXT: [[SWITCH_IDX_MULT:%.*]] = mul i8 [[SWITCH_IDX_CAST]], -32
; CHECK-NEXT: [[SWITCH_OFFSET:%.*]] = add i8 [[SWITCH_IDX_MULT]], -32
; CHECK-NEXT: [[X:%.*]] = select i1 [[TMP0]], i8 [[SWITCH_OFFSET]], i8 3
; CHECK-NEXT: ret i8 [[X]]
;
entry:
switch i32 %c, label %sw.default [
i32 10, label %return
i32 11, label %sw.bb1
i32 12, label %sw.bb2
i32 13, label %sw.bb3
]
sw.bb1: br label %return
sw.bb2: br label %return
sw.bb3: br label %return
sw.default: br label %return
return:
%x = phi i8 [ 3, %sw.default ], [ -128, %sw.bb3 ], [ -96, %sw.bb2 ], [ -64, %sw.bb1 ], [ -32, %entry ]
ret i8 %x
}
define i8 @linearmap_dec_wrapped(i32 %c) {
; CHECK-LABEL: @linearmap_dec_wrapped(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[SWITCH_TABLEIDX:%.*]] = sub i32 [[C:%.*]], 10
; CHECK-NEXT: [[TMP0:%.*]] = icmp ult i32 [[SWITCH_TABLEIDX]], 4
; CHECK-NEXT: [[SWITCH_IDX_CAST:%.*]] = trunc i32 [[SWITCH_TABLEIDX]] to i8
; CHECK-NEXT: [[SWITCH_IDX_MULT:%.*]] = mul i8 [[SWITCH_IDX_CAST]], -33
; CHECK-NEXT: [[SWITCH_OFFSET:%.*]] = add i8 [[SWITCH_IDX_MULT]], -33
; CHECK-NEXT: [[X:%.*]] = select i1 [[TMP0]], i8 [[SWITCH_OFFSET]], i8 3
; CHECK-NEXT: ret i8 [[X]]
;
entry:
switch i32 %c, label %sw.default [
i32 10, label %return
i32 11, label %sw.bb1
i32 12, label %sw.bb2
i32 13, label %sw.bb3
]
sw.bb1: br label %return
sw.bb2: br label %return
sw.bb3: br label %return
sw.default: br label %return
return:
%x = phi i8 [ 3, %sw.default ], [ 124, %sw.bb3 ], [ -99, %sw.bb2 ], [ -66, %sw.bb1 ], [ -33, %entry ]
ret i8 %x
}