Displaying 1 result from an estimated 1 matches for "only_reads".
2015 Apr 27
4
[LLVMdev] alias set collapse and LICM
I'm current facing an issue related to AliasSetTracker/LICM: the
transitive closure of the alias sets is materially more conservative
than individual aliasing queries and this conservatism leads to
generally worse optimization in LICM.
For instance, consider this module:
declare i32 @only_reads() readonly
declare void @escape(i32*, i32*, i32*)
define void @f(i32 %count) {
entry:
%a = alloca i32
%b = alloca i32
%c = alloca i32
call void @escape(i32* %a, i32* %b, i32* %c)
%enter = icmp sle i32 0, %count
br i1 %enter, label %loop, label %exit
loop:
%idx = phi i32 [ 0, %entr...