diff options
| -rw-r--r-- | llvm/test/Transforms/LoopVectorize/AArch64/veclib-function-calls-linear-ptrs.ll | 134 |
1 files changed, 0 insertions, 134 deletions
diff --git a/llvm/test/Transforms/LoopVectorize/AArch64/veclib-function-calls-linear-ptrs.ll b/llvm/test/Transforms/LoopVectorize/AArch64/veclib-function-calls-linear-ptrs.ll deleted file mode 100644 index f513360..0000000 --- a/llvm/test/Transforms/LoopVectorize/AArch64/veclib-function-calls-linear-ptrs.ll +++ /dev/null @@ -1,134 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --filter "call.*(frexp|modf)" --version 4 -; RUN: opt < %s -mattr=+sve -vector-library=ArmPL -passes=inject-tli-mappings,loop-vectorize -force-vector-interleave=1 -prefer-predicate-over-epilogue=predicate-dont-vectorize -S | FileCheck %s - -target triple = "aarch64-unknown-linux-gnu" - -; Vectorization can not happen because there is no scalar to vector mapping in -; TLI for frexp/frexpf. Tests will need to be changed when such mappings are -; added. - -define void @frexp_f64(ptr %in, ptr %out1, ptr %out2, i32 %N) { -; CHECK-LABEL: define void @frexp_f64( -; CHECK-SAME: ptr [[IN:%.*]], ptr [[OUT1:%.*]], ptr [[OUT2:%.*]], i32 [[N:%.*]]) #[[ATTR0:[0-9]+]] { -; CHECK: [[CALL:%.*]] = tail call double @frexp(double noundef [[TMP0:%.*]], ptr noundef [[ADD_PTR:%.*]]) -; -entry: - %cmp4 = icmp sgt i32 %N, 0 - br i1 %cmp4, label %for.body.preheader, label %for.cond.cleanup - -for.body.preheader: - %wide.trip.count = zext nneg i32 %N to i64 - br label %for.body - -for.cond.cleanup: - ret void - -for.body: - %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ] - %arrayidx = getelementptr inbounds double, ptr %in, i64 %indvars.iv - %0 = load double, ptr %arrayidx, align 8 - %add.ptr = getelementptr inbounds i32, ptr %out2, i64 %indvars.iv - %call = tail call double @frexp(double noundef %0, ptr noundef %add.ptr) - store double %call, ptr %out1, align 8 - %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 - %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count - br i1 %exitcond.not, label %for.cond.cleanup, label %for.body -} - -declare double @frexp(double, ptr) #1 - -define void @frexp_f32(ptr readonly %in, ptr %out1, ptr %out2, i32 %N) { -; CHECK-LABEL: define void @frexp_f32( -; CHECK-SAME: ptr readonly [[IN:%.*]], ptr [[OUT1:%.*]], ptr [[OUT2:%.*]], i32 [[N:%.*]]) #[[ATTR0]] { -; CHECK: [[CALL:%.*]] = tail call float @frexpf(float noundef [[TMP0:%.*]], ptr noundef [[ADD_PTR:%.*]]) -; -entry: - %cmp4 = icmp sgt i32 %N, 0 - br i1 %cmp4, label %for.body.preheader, label %for.cond.cleanup - -for.body.preheader: - %wide.trip.count = zext nneg i32 %N to i64 - br label %for.body - -for.cond.cleanup: - ret void - -for.body: - %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ] - %arrayidx = getelementptr inbounds float, ptr %in, i64 %indvars.iv - %0 = load float, ptr %arrayidx, align 4 - %add.ptr = getelementptr inbounds i32, ptr %out2, i64 %indvars.iv - %call = tail call float @frexpf(float noundef %0, ptr noundef %add.ptr) - store float %call, ptr %out1, align 4 - %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 - %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count - br i1 %exitcond.not, label %for.cond.cleanup, label %for.body -} - -declare float @frexpf(float , ptr) #1 - -define void @modf_f64(ptr %in, ptr %out1, ptr %out2, i32 %N) { -; CHECK-LABEL: define void @modf_f64( -; CHECK-SAME: ptr [[IN:%.*]], ptr [[OUT1:%.*]], ptr [[OUT2:%.*]], i32 [[N:%.*]]) #[[ATTR0]] { -; CHECK: [[TMP27:%.*]] = call <vscale x 2 x double> @armpl_svmodf_f64_x(<vscale x 2 x double> [[WIDE_MASKED_LOAD:%.*]], ptr [[TMP26:%.*]], <vscale x 2 x i1> [[ACTIVE_LANE_MASK:%.*]]) -; CHECK: [[CALL:%.*]] = tail call double @modf(double noundef [[TMP32:%.*]], ptr noundef [[ADD_PTR:%.*]]) #[[ATTR5:[0-9]+]] -; -entry: - %cmp7 = icmp sgt i32 %N, 0 - br i1 %cmp7, label %for.body.preheader, label %for.cond.cleanup - -for.body.preheader: - %wide.trip.count = zext nneg i32 %N to i64 - br label %for.body - -for.cond.cleanup: - ret void - -for.body: - %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ] - %arrayidx = getelementptr inbounds double, ptr %in, i64 %indvars.iv - %0 = load double, ptr %arrayidx, align 8 - %add.ptr = getelementptr inbounds double, ptr %out2, i64 %indvars.iv - %call = tail call double @modf(double noundef %0, ptr noundef %add.ptr) - %arrayidx2 = getelementptr inbounds double, ptr %out1, i64 %indvars.iv - store double %call, ptr %arrayidx2, align 8 - %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 - %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count - br i1 %exitcond.not, label %for.cond.cleanup, label %for.body -} - -declare double @modf(double , ptr ) #1 - -define void @modf_f32(ptr %in, ptr %out1, ptr %out2, i32 %N) { -; CHECK-LABEL: define void @modf_f32( -; CHECK-SAME: ptr [[IN:%.*]], ptr [[OUT1:%.*]], ptr [[OUT2:%.*]], i32 [[N:%.*]]) #[[ATTR0]] { -; CHECK: [[TMP27:%.*]] = call <vscale x 4 x float> @armpl_svmodf_f32_x(<vscale x 4 x float> [[WIDE_MASKED_LOAD:%.*]], ptr [[TMP26:%.*]], <vscale x 4 x i1> [[ACTIVE_LANE_MASK:%.*]]) -; CHECK: [[CALL:%.*]] = tail call float @modff(float noundef [[TMP32:%.*]], ptr noundef [[ADD_PTR:%.*]]) #[[ATTR6:[0-9]+]] -; -entry: - %cmp7 = icmp sgt i32 %N, 0 - br i1 %cmp7, label %for.body.preheader, label %for.cond.cleanup - -for.body.preheader: - %wide.trip.count = zext nneg i32 %N to i64 - br label %for.body - -for.cond.cleanup: - ret void - -for.body: - %indvars.iv = phi i64 [ 0, %for.body.preheader ], [ %indvars.iv.next, %for.body ] - %arrayidx = getelementptr inbounds float, ptr %in, i64 %indvars.iv - %0 = load float, ptr %arrayidx, align 4 - %add.ptr = getelementptr inbounds float, ptr %out2, i64 %indvars.iv - %call = tail call float @modff(float noundef %0, ptr noundef %add.ptr) - %arrayidx2 = getelementptr inbounds float, ptr %out1, i64 %indvars.iv - store float %call, ptr %arrayidx2, align 4 - %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1 - %exitcond.not = icmp eq i64 %indvars.iv.next, %wide.trip.count - br i1 %exitcond.not, label %for.cond.cleanup, label %for.body -} - -declare float @modff(float noundef, ptr nocapture noundef) #1 - -attributes #1 = { memory(argmem: write) } |