search for: only_reads

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...