From bfc681fbdbdd4eb48ef7fb810e0d9d0e2c98a6dd Mon Sep 17 00:00:00 2001 From: Philip Reames Date: Fri, 12 Apr 2019 18:11:58 +0000 Subject: [PATCH] [Tests] Checkin a test demonstrating a miscompile so that patch which fixes it shows a clear diff git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@358296 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/masked_intrinsics.ll | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/test/Transforms/InstCombine/masked_intrinsics.ll b/test/Transforms/InstCombine/masked_intrinsics.ll index 22d3f11d8a5..48c8f78f990 100644 --- a/test/Transforms/InstCombine/masked_intrinsics.ll +++ b/test/Transforms/InstCombine/masked_intrinsics.ll @@ -4,6 +4,7 @@ declare <2 x double> @llvm.masked.load.v2f64.p0v2f64(<2 x double>* %ptrs, i32, <2 x i1> %mask, <2 x double> %src0) declare void @llvm.masked.store.v2f64.p0v2f64(<2 x double> %val, <2 x double>* %ptrs, i32, <2 x i1> %mask) declare <2 x double> @llvm.masked.gather.v2f64.v2p0f64(<2 x double*> %ptrs, i32, <2 x i1> %mask, <2 x double> %passthru) +declare <4 x double> @llvm.masked.gather.v4f64.p0v4f64(<4 x double*> %ptrs, i32, <4 x i1> %mask, <4 x double> %passthru) declare void @llvm.masked.scatter.v2f64.v2p0f64(<2 x double> %val, <2 x double*> %ptrs, i32, <2 x i1> %mask) define <2 x double> @load_zeromask(<2 x double>* %ptr, <2 x double> %passthru) { @@ -55,6 +56,20 @@ define <2 x double> @load_lane0(<2 x double>* %ptr, double %pt) { ret <2 x double> %res } +; FIXME: the output here demonstrates a miscompile! +define double @load_all(double* %base, double %pt) { +; CHECK-LABEL: @load_all( +; CHECK-NEXT: [[PTRS:%.*]] = getelementptr double, double* [[BASE:%.*]], <4 x i64> +; CHECK-NEXT: [[RES:%.*]] = call <4 x double> @llvm.masked.gather.v4f64.v4p0f64(<4 x double*> [[PTRS]], i32 4, <4 x i1> , <4 x double> undef) +; CHECK-NEXT: [[ELT:%.*]] = extractelement <4 x double> [[RES]], i64 2 +; CHECK-NEXT: ret double [[ELT]] +; + %ptrs = getelementptr double, double* %base, <4 x i64> + %res = call <4 x double> @llvm.masked.gather.v4f64.p0v4f64(<4 x double*> %ptrs, i32 4, <4 x i1> , <4 x double> undef) + %elt = extractelement <4 x double> %res, i64 2 + ret double %elt +} + define <2 x double> @load_generic(<2 x double>* %ptr, double %pt, ; CHECK-LABEL: @load_generic( ; CHECK-NEXT: [[PTV1:%.*]] = insertelement <2 x double> undef, double [[PT:%.*]], i64 0 -- 2.50.1