sebpop wrote:

I am closing this PR because this is not tractable compared to another solution 
that we already have: #156342

This current PR #159046 attaches the same information again and again to every 
load, store, and array address. This is harmful for the size of the IR and for 
a lot of optimization cost functions that are not trained to deal with the 
assumes.

In contrast, PR #156342 only attaches the info once at the level of the 
declaration (currently alloca and globals declared types, and in the future it 
can be transitioned to meta-data attached to these decls.) LLVM IR analyses 
(delinearization, SCEV, DA, etc.) then extract and instantiate the array sizes 
in the context of the uses (loads and stores.)


https://github.com/llvm/llvm-project/pull/159046
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to