search for: symbolsandsymbolt

...For references to functions and other global-like objects, we have a non-SSA mechanism built around `symbols`. This is essentially using a special attribute to reference the function by-name, instead of by ssa value. You can find more information on MLIR symbols here <https://mlir.llvm.org/docs/SymbolsAndSymbolTables/>. Along with the above, there is a trait that can be attached to operations called `IsolatedFromAbove <https://mlir.llvm.org/docs/Traits/#isolatedfromabove>`. This essentially means that no SSA values defined above a region can be referenced from within that region. The pass manager...

...unctions and other global-like objects, we have a > non-SSA mechanism built around `symbols`. This is essentially using a > special attribute to reference the function by-name, instead of by ssa > value. You can find more information on MLIR symbols here > <https://mlir.llvm.org/docs/SymbolsAndSymbolTables/>. > > Along with the above, there is a trait that can be attached to operations > called `IsolatedFromAbove > <https://mlir.llvm.org/docs/Traits/#isolatedfromabove>`. This essentially > means that no SSA values defined above a region can be referenced from > within...

...er global-like objects, we have a >> non-SSA mechanism built around `symbols`. This is essentially using a >> special attribute to reference the function by-name, instead of by ssa >> value. You can find more information on MLIR symbols here >> <https://mlir.llvm.org/docs/SymbolsAndSymbolTables/>. >> >> Along with the above, there is a trait that can be attached to operations >> called `IsolatedFromAbove >> <https://mlir.llvm.org/docs/Traits/#isolatedfromabove>`. This >> essentially means that no SSA values defined above a region can be >>...

On 2/28/20 12:19 AM, Chris Lattner wrote: > Hi Nicholas, > > You might want to check out MLIR: its pass manager is already automatically and implicitly multithreaded. > > -Chris Chris, I was aware that LLVM was moving to MLIR at some point due to this. I've curious as to how MLIR deals with IPO as that's the problem I was running into. Even if you have pipelines what

On Feb 29, 2020, at 2:08 PM, David Blaikie <dblaikie at gmail.com> wrote: > I've > curious as > to how MLIR deals with IPO as that's the problem I was running into. > > FWIW I believe LLVM's new pass manager (NPM) was designed with parallelism and the ability to support this situation (that MLIR doesn't? Or doesn't to the degree/way in which the NPM

...;> similar things. > > Yeah, MLIR handles that by factoring global use-def chains on symbols > (e.g. functions) as being different than local use-def chains. This > makes it much more efficient. You can find more information on MLIR > symbols here <https://mlir.llvm.org/docs/SymbolsAndSymbolTables/>. > >> Thanks for the notice about MLIR through maybe my IPO is not really there >> but after reading parts of it seems to be a issue through a little >> smaller still >> and thanks for the  prompt response, > > Sure, happy to help.  It would be great to s...