diff options
| author | Michael Benfield <mbenfield@google.com> | 2022-11-17 15:03:02 +0000 |
|---|---|---|
| committer | Michael Benfield <mbenfield@google.com> | 2022-11-18 21:16:12 +0000 |
| commit | 31c0645b9d2539f47eecb096142474b29dc542f7 (patch) | |
| tree | 30828b9875ceedf215a0858810ebeb08b5ad5e94 /src/test/codegen/enum-match.rs | |
| parent | fd3bfb35511cbcff59ce1454d3db627b576d7e92 (diff) | |
| download | rust-31c0645b9d2539f47eecb096142474b29dc542f7.tar.gz rust-31c0645b9d2539f47eecb096142474b29dc542f7.zip | |
rustc_codegen_ssa: Fix for codegen_get_discr
When doing the optimized implementation of getting the discriminant, the arithmetic needs to be done in the tag type so wrapping behavior works correctly. Fixes #104519
Diffstat (limited to 'src/test/codegen/enum-match.rs')
| -rw-r--r-- | src/test/codegen/enum-match.rs | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/test/codegen/enum-match.rs b/src/test/codegen/enum-match.rs index efab189fd7b..44f1b408d21 100644 --- a/src/test/codegen/enum-match.rs +++ b/src/test/codegen/enum-match.rs @@ -34,11 +34,8 @@ pub enum Enum1 { // CHECK: define i8 @match1{{.*}} // CHECK-NEXT: start: -// CHECK-NEXT: %1 = icmp ugt i8 %0, 1 -// CHECK-NEXT: %2 = zext i8 %0 to i64 -// CHECK-NEXT: %3 = add nsw i64 %2, -1 -// CHECK-NEXT: %_2 = select i1 %1, i64 %3, i64 0 -// CHECK-NEXT: switch i64 %_2, label {{.*}} [ +// CHECK-NEXT: %1 = {{.*}}call i8 @llvm.usub.sat.i8(i8 %0, i8 1) +// CHECK-NEXT: switch i8 %1, label {{.*}} [ #[no_mangle] pub fn match1(e: Enum1) -> u8 { use Enum1::*; |