Displaying 1 result from an estimated 1 matches for "slow_mem".
Did you mean:
show_mem
2019 Nov 06
2
Alias analysis only throwing mayAlias for something that seems should be identifiable as mustAlias
...rray ARRAY[N][M] and I am accessing it inside the for
loop like this:
for (i...)
for (j ...)
ARRAY[i][j] ...
So nothing really weird is happening. If I look at the generated IR, it is
also fairly straight forward.
@ARRAY0 = dso_local global [32 x [32 x i32]] zeroinitializer, section
".slow_mem", align 32, !dbg !84
...
%45 = getelementptr inbounds [32 x [32 x i32]], [32 x [32 x i32]]* @ARRAY0,
i32 0, i32 %22, i32 7, !dbg !180
store volatile i32 %43, i32* %45, align 4, !dbg !181, !tbaa !148
As you can see, the GEPInst exactly knows it is the ARRAY0, and it knows
statically that it is...