From 477bd758b48cb96477d3dd4cf3b36bf2706e8c1d Mon Sep 17 00:00:00 2001 From: Chandler Carruth Date: Tue, 27 Jun 2017 02:23:15 +0000 Subject: [PATCH] [SROA] Clean up a test case a bit prior to adding more testing for nonnull as part of fixing PR32902. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@306353 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/SROA/preserve-nonnull.ll | 28 +++++++++++------------- 1 file changed, 13 insertions(+), 15 deletions(-) diff --git a/test/Transforms/SROA/preserve-nonnull.ll b/test/Transforms/SROA/preserve-nonnull.ll index fc5ce6a445f..f85104dfad7 100644 --- a/test/Transforms/SROA/preserve-nonnull.ll +++ b/test/Transforms/SROA/preserve-nonnull.ll @@ -3,22 +3,20 @@ ; Make sure that SROA doesn't lose nonnull metadata ; on loads from allocas that get optimized out. -; CHECK-LABEL: define float* @yummy_nonnull -; CHECK: [[RETURN:%(.*)]] = load float*, float** %arg, align 8 -; CHECK: [[ASSUME:%(.*)]] = icmp ne float* {{.*}}[[RETURN]], null -; CHECK: call void @llvm.assume(i1 {{.*}}[[ASSUME]]) -; CHECK: ret float* {{.*}}[[RETURN]] - define float* @yummy_nonnull(float** %arg) { -entry-block: - %buf = alloca float* - - %_arg_i8 = bitcast float** %arg to i8* - %_buf_i8 = bitcast float** %buf to i8* - call void @llvm.memcpy.p0i8.p0i8.i64(i8* %_buf_i8, i8* %_arg_i8, i64 8, i32 8, i1 false) - - %ret = load float*, float** %buf, align 8, !nonnull !0 - ret float* %ret +; CHECK-LABEL: define float* @yummy_nonnull( +; CHECK-NEXT: entry: +; CHECK-NEXT: %[[RETURN:.*]] = load float*, float** %arg, align 8 +; CHECK-NEXT: %[[ASSUME:.*]] = icmp ne float* %[[RETURN]], null +; CHECK-NEXT: call void @llvm.assume(i1 %[[ASSUME]]) +; CHECK-NEXT: ret float* %[[RETURN]] +entry: + %buf = alloca float* + %_arg_i8 = bitcast float** %arg to i8* + %_buf_i8 = bitcast float** %buf to i8* + call void @llvm.memcpy.p0i8.p0i8.i64(i8* %_buf_i8, i8* %_arg_i8, i64 8, i32 8, i1 false) + %ret = load float*, float** %buf, align 8, !nonnull !0 + ret float* %ret } declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32, i1) -- 2.40.0