diff options
author | Nikita Popov <npopov@redhat.com> | 2023-05-31 14:55:11 +0200 |
---|---|---|
committer | Tom Stellard <tstellar@redhat.com> | 2023-06-01 09:44:36 -0700 |
commit | 57c54b25929c138b6e933a56a8549a8d59913e75 (patch) | |
tree | 9d76ea96dc188adad50ef4ff8c1752d2290e612b | |
parent | 726af32b5cee756ad51a1fb4f842d6c22b2cbc88 (diff) | |
download | llvm-57c54b25929c138b6e933a56a8549a8d59913e75.zip llvm-57c54b25929c138b6e933a56a8549a8d59913e75.tar.gz llvm-57c54b25929c138b6e933a56a8549a8d59913e75.tar.bz2 |
[GVN] Add test for PR63019 (NFC)
(cherry picked from commit 4d64ffa94170eadd79954e2a5f13d1f1d16e9e2c)
-rw-r--r-- | llvm/test/Transforms/GVN/pr63019.ll | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/llvm/test/Transforms/GVN/pr63019.ll b/llvm/test/Transforms/GVN/pr63019.ll new file mode 100644 index 0000000..cf3a466 --- /dev/null +++ b/llvm/test/Transforms/GVN/pr63019.ll @@ -0,0 +1,42 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2 +; RUN: opt -S -passes=gvn < %s | FileCheck %s + +; FIXME: This is a miscompile. +define i8 @test(i1 %c, i64 %offset, ptr %ptr) { +; CHECK-LABEL: define i8 @test +; CHECK-SAME: (i1 [[C:%.*]], i64 [[OFFSET:%.*]], ptr [[PTR:%.*]]) { +; CHECK-NEXT: start: +; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [8 x i8], align 8 +; CHECK-NEXT: store i64 1234605616436508552, ptr [[ALLOCA]], align 8 +; CHECK-NEXT: [[GEP_2:%.*]] = getelementptr i8, ptr [[ALLOCA]], i64 2 +; CHECK-NEXT: [[GEP_UNKNOWN:%.*]] = getelementptr i8, ptr [[ALLOCA]], i64 [[OFFSET]] +; CHECK-NEXT: br i1 [[C]], label [[JOIN:%.*]], label [[IF:%.*]] +; CHECK: if: +; CHECK-NEXT: br label [[JOIN]] +; CHECK: join: +; CHECK-NEXT: [[PHI:%.*]] = phi ptr [ [[GEP_UNKNOWN]], [[START:%.*]] ], [ [[GEP_2]], [[IF]] ] +; CHECK-NEXT: store i8 0, ptr [[ALLOCA]], align 8 +; CHECK-NEXT: [[LOAD1:%.*]] = load i64, ptr [[ALLOCA]], align 8 +; CHECK-NEXT: store i64 [[LOAD1]], ptr [[PTR]], align 8 +; CHECK-NEXT: [[TMP0:%.*]] = lshr i64 [[LOAD1]], 16 +; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 [[TMP0]] to i8 +; CHECK-NEXT: ret i8 [[TMP1]] +; +start: + %alloca = alloca [8 x i8], align 8 + store i64 u0x1122334455667788, ptr %alloca, align 8 + %gep.2 = getelementptr i8, ptr %alloca, i64 2 + %gep.unknown = getelementptr i8, ptr %alloca, i64 %offset + br i1 %c, label %join, label %if + +if: + br label %join + +join: + %phi = phi ptr [ %gep.unknown, %start ], [ %gep.2, %if ] + store i8 0, ptr %alloca, align 8 + %load1 = load i64, ptr %alloca, align 8 + store i64 %load1, ptr %ptr, align 8 + %load2 = load i8, ptr %phi, align 1 + ret i8 %load2 +} |