en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Transforms/LoopVectorize/scalable-lifetime.ll#3fd96e1b [LoopVectorize] Improve vectorisation of some intrinsics by treating them as uniformThis patch adds more instructions to the Uniforms list, for example certainintrinsics that are uniform by definition or whose operands are loop invariant.This list includes: 1. The intrinsics 'experimental.noalias.scope.decl' and 'sideeffect', which are always uniform by definition. 2. If intrinsics 'lifetime.start', 'lifetime.end' and 'assume' have loop invariant input operands then these are also uniform too.Also, in VPRecipeBuilder::handleReplication we check if an instruction isuniform based purely on whether or not the instruction lives in the Uniformslist. However, there are certain cases where calls to some intrinsics canbe effectively treated as uniform too. Therefore, we now also treat thefollowing cases as uniform for scalable vectors: 1. If the 'assume' intrinsic's operand is not loop invariant, then we are free to treat this as uniform anyway since it's only a performance hint. We will get the benefit for the first lane. 2. When the input pointers for 'lifetime.start' and 'lifetime.end' are loop variant then for scalable vectors we assume these still ultimately come from the broadcast of an alloca. We do not support scalable vectorisation of loops containing alloca instructions, hence the alloca itself would be invariant. If the pointer does not come from an alloca then the intrinsic itself has no effect.I have updated the assume test for fixed width, since we now treat itas uniform: Transforms/LoopVectorize/assume.llI've also added new scalable vectorisation tests for other intriniscs: Transforms/LoopVectorize/scalable-assume.ll Transforms/LoopVectorize/scalable-lifetime.ll Transforms/LoopVectorize/scalable-noalias-scope-decl.llDifferential Revision: https://reviews.llvm.org/D107284 List of files: /llvm-project-15.0.7/llvm/test/Transforms/LoopVectorize/scalable-lifetime.ll Fri, 30 Jul 2021 07:41:31 +0000 David Sherwood <david.sherwood@arm.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Transforms/LoopVectorize/scalable-lifetime.ll#95800da9 [LoopVectorize] Add support for replication of more intrinsics with scalable vectorsThis patch adds more instructions to the Uniforms list, for example certainintrinsics that are uniform by definition or whose operands are loop invariant.This list includes: 1. The intrinsics 'experimental.noalias.scope.decl' and 'sideeffect', which are always uniform by definition. 2. If intrinsics 'lifetime.start', 'lifetime.end' and 'assume' have loop invariant input operands then these are also uniform too.Also, in VPRecipeBuilder::handleReplication we check if an instruction isuniform based purely on whether or not the instruction lives in the Uniformslist. However, there are certain cases where calls to some intrinsics canbe effectively treated as uniform too. Therefore, we now also treat thefollowing cases as uniform for scalable vectors: 1. If the 'assume' intrinsic's operand is not loop invariant, then we are free to treat this as uniform anyway since it's only a performance hint. We will get the benefit for the first lane. 2. When the input pointers for 'lifetime.start' and 'lifetime.end' are loop variant then for scalable vectors we assume these still ultimately come from the broadcast of an alloca. We do not support scalable vectorisation of loops containing alloca instructions, hence the alloca itself would be invariant. If the pointer does not come from an alloca then the intrinsic itself has no effect.I have updated the assume test for fixed width, since we now treat itas uniform: Transforms/LoopVectorize/assume.llI've also added new scalable vectorisation tests for other intriniscs: Transforms/LoopVectorize/scalable-assume.ll Transforms/LoopVectorize/scalable-lifetime.ll Transforms/LoopVectorize/scalable-noalias-scope-decl.llDifferential Revision: https://reviews.llvm.org/D107284 List of files: /llvm-project-15.0.7/llvm/test/Transforms/LoopVectorize/scalable-lifetime.ll Fri, 30 Jul 2021 07:41:31 +0000 David Sherwood <david.sherwood@arm.com>