Displaying 8 results from an estimated 8 matches for "divergenceanalysi".
Did you mean:
divergenceanalysis
2018 May 28
0
[RFC] A New Divergence Analysis for LLVM
...ad_id] = 42;
}
if (D[j] < V) break; // divergent loop exit
}
x = j; // divergent (temporal; due to divergent loop)
}
-- Motivation --
The LoopVectorizer and VPlan currently use SCEV to detect uniform
values. The StructurizeCFG pass and the AMDGPU backends rely on LLVM’s
existing DivergenceAnalysis pass for SPMD kernels. Both approaches have
shortcomings that are resolved by the new analysis.
- Why the current DivergenceAnalysis is broken -
LLVM already includes a DivergenceAnalysis for GPU kernels. It is used
in the GPU backends and to re-structure CFGs (StructurizeCFG pass).
However,...
2017 Jul 14
2
[SPIR/PTX] Divergence analysis for BasicBlocks
Hello,
It seems to me that our current DivergenceAnalysis does not save which
BasicBlocks may suffer from divergent control. Am I correct?
I want to modify our DivergenceAnalysis to add a "bool
isControlDivergent(BasicBlock*) const" method and save in the divergence
propagator the basicblock that are divergent. I am not sure that is
entirely c...
2017 Jul 21
2
[SPIR/PTX] Divergence analysis for BasicBlocks
...*On Behalf Of *Alexandre
> Isoard via llvm-dev
> *Sent:* Friday, July 14, 2017 20:53
> *To:* llvm-dev <llvm-dev at lists.llvm.org>
> *Subject:* [llvm-dev] [SPIR/PTX] Divergence analysis for BasicBlocks
>
>
>
> Hello,
>
>
>
> It seems to me that our current DivergenceAnalysis does not save which
> BasicBlocks may suffer from divergent control. Am I correct?
>
>
>
> I want to modify our DivergenceAnalysis to add a "bool
> isControlDivergent(BasicBlock*) const" method and save in the divergence
> propagator the basicblock that are divergent...
2019 Jul 22
3
Fwd: bugpoint can't automatically select a safe interpreter!
...ck const*)
/home/jayfoad2/git/llvm-project/llvm/lib/Analysis/SyncDependenceAnalysis.cpp:0:7
#10 0x0000000004e3c5e4
llvm::SyncDependenceAnalysis::join_blocks(llvm::Instruction const&)
/home/jayfoad2/git/llvm-project/llvm/lib/Analysis/SyncDependenceAnalysis.cpp:381:32
#11 0x0000000004c1abf3
llvm::DivergenceAnalysis::propagateBranchDivergence(llvm::Instruction
const&) /home/jayfoad2/git/llvm-project/llvm/lib/Analysis/DivergenceAnalysis.cpp:311:36
#12 0x0000000004c1b106 llvm::DivergenceAnalysis::compute()
/home/jayfoad2/git/llvm-project/llvm/lib/Analysis/DivergenceAnalysis.cpp:386:9
#13 0x0000000004c1b54b...
2016 Oct 26
3
RFC: (Co-)Convergent functions and uniform function parameters
...itions that are
> dominated or post-dominated by its current position in the usual sense.)
>
> .....
> The full definition of D-domination is probably too involved to be
> turned into practical algorithms. But with this model of divergence
> sets, it should be possible to think of DivergenceAnalysis as an
> analysis that proves divergence sets of values to be empty (using
> additional target specific information to be less conservative).
> Combined with DivergenceAnalysis, (1)+(2a) still leave room for some
> useful and practical optimizations of functions with uniform arguments
&...
2016 Oct 24
2
RFC: (Co-)Convergent functions and uniform function parameters
> On Oct 24, 2016, at 4:15 PM, Nicolai Hähnle <nhaehnle at gmail.com> wrote:
>
> On 25.10.2016 01:11, Nicolai Hähnle wrote:
>> On 24.10.2016 21:54, Mehdi Amini wrote:
>>>> On Oct 24, 2016, at 12:38 PM, Nicolai Hähnle via llvm-dev
>>>> <llvm-dev at lists.llvm.org> wrote:
>>>> Some brain-storming on an issue with SPMD/SIMT backend
2016 Oct 31
0
RFC: (Co-)Convergent functions and uniform function parameters
...dominated or post-dominated by its current position in the usual sense.)
>>
>> .....
>> The full definition of D-domination is probably too involved to be
>> turned into practical algorithms. But with this model of divergence
>> sets, it should be possible to think of DivergenceAnalysis as an
>> analysis that proves divergence sets of values to be empty (using
>> additional target specific information to be less conservative).
>> Combined with DivergenceAnalysis, (1)+(2a) still leave room for some
>> useful and practical optimizations of functions with uni...
2015 Jul 29
1
[LLVMdev] Error when i am using command make -j4 command in cygwin to compile safecode
...r Release+Asserts build
llvm[3]: Compiling InlineFunction.cpp for Release+Asserts build
llvm[3]: Compiling SanitizerCoverage.cpp for Release+Asserts build
llvm[3]: Compiling LegalizeDAG.cpp for Release+Asserts build
llvm[3]: Compiling ThreadSanitizer.cpp for Release+Asserts build
llvm[2]: Compiling DivergenceAnalysis.cpp for Release+Asserts build
llvm[3]: Compiling InstructionNamer.cpp for Release+Asserts build
llvm[3]: Compiling IntegerDivision.cpp for Release+Asserts build
llvm[3]: Building Release+Asserts Archive Library libLLVMInstrumentation.a
llvm[2]: Compiling DomPrinter.cpp for Release+Asserts build
ma...