diff options
| author | Craig Topper <craig.topper@intel.com> | 2019-03-01 21:02:34 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@intel.com> | 2019-03-01 21:02:34 +0000 |
| commit | e6bfb0919ced05ab2fdca54783bfac6dfdc7a6be (patch) | |
| tree | ee09eb3b4b03738b8ba0684d55f4f3d45165be57 /llvm/test/Transforms | |
| parent | 1ca25763f07c7c4565fee66dd9fd5143d0c0d3b0 (diff) | |
| download | bcm5719-llvm-e6bfb0919ced05ab2fdca54783bfac6dfdc7a6be.tar.gz bcm5719-llvm-e6bfb0919ced05ab2fdca54783bfac6dfdc7a6be.zip | |
[X86] Add test case for D58805. NFC
This demonstrates dead store elimination removing a store that may alias a gather that uses null as its base.
llvm-svn: 355227
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/DeadStoreElimination/X86/gather-null-pointer.ll | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/llvm/test/Transforms/DeadStoreElimination/X86/gather-null-pointer.ll b/llvm/test/Transforms/DeadStoreElimination/X86/gather-null-pointer.ll new file mode 100644 index 00000000000..bd187c06bdb --- /dev/null +++ b/llvm/test/Transforms/DeadStoreElimination/X86/gather-null-pointer.ll @@ -0,0 +1,20 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -dse -S | FileCheck %s + +; Both stores should be emitted because we can't tell if the gather aliases. + +define <4 x i32> @bar(<4 x i32> %arg, i32* %arg1) { +; CHECK-LABEL: @bar( +; CHECK-NEXT: bb: +; CHECK-NEXT: [[TMP:%.*]] = tail call <4 x i32> @llvm.x86.avx2.gather.d.d(<4 x i32> zeroinitializer, i8* null, <4 x i32> [[ARG:%.*]], <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, i8 1) +; CHECK-NEXT: store i32 10, i32* [[ARG1:%.*]] +; CHECK-NEXT: ret <4 x i32> [[TMP]] +; +bb: + store i32 5, i32* %arg1 + %tmp = tail call <4 x i32> @llvm.x86.avx2.gather.d.d(<4 x i32> zeroinitializer, i8* null, <4 x i32> %arg, <4 x i32> <i32 -1, i32 -1, i32 -1, i32 -1>, i8 1) + store i32 10, i32* %arg1 + ret <4 x i32> %tmp +} + +declare <4 x i32> @llvm.x86.avx2.gather.d.d(<4 x i32>, i8*, <4 x i32>, <4 x i32>, i8) |
