Displaying 2 results from an estimated 2 matches for "arr_last".
2016 Apr 15
3
(BasicAA) PartialAlias between different fields of a structure, intentional?
..."type" = type { [10 x i32], i64 }
define void @test(%"type"* %base) {
entry:
%int = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 1
%arr_first = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 0
%arr_last = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 9
%arr_oob = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 10 ; out-of-bound access
br label %loop
loop:
%index = phi i64 [ 0, %entry ], [ %inc, %loop ]
%arr_...
2016 Apr 21
2
(BasicAA) PartialAlias between different fields of a structure, intentional?
...@test(%"type"* %base) {
> entry:
> %int = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 1
> %arr_first = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 0, i64 0
> %arr_last = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 0, i64 9
> %arr_oob = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 0, i64 10 ; out-of-bound access
>
> This is okay. Even for an inbounds GEP, addr...