Displaying 2 results from an estimated 2 matches for "arr_index".
2016 Apr 15
3
(BasicAA) PartialAlias between different fields of a structure, intentional?
...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_index = getelementptr inbounds %"type", %"type"* %base, i64 0, i32 0, i64 %index
%inc = add i64 %index, 1
%cmp = icmp ult i64 %inc, 10
br i1 %cmp, label %loop, label %exit
exit:
ret void
}
; opt < test.ll –basicaa -aa–eval -print-all-alias-modref-info -disable-output...
2016 Apr 21
2
(BasicAA) PartialAlias between different fields of a structure, intentional?
...;* %base, i64
> 0, i32 0, i64 10 ; out-of-bound access
>
> This is okay. Even for an inbounds GEP, addressing one-past-the-end of
> the array is allowed.
>
> br label %loop
>
> loop:
> %index = phi i64 [ 0, %entry ], [ %inc, %loop ]
>
> %arr_index = getelementptr inbounds %"type", %"type"* %base, i64
> 0, i32 0, i64 %index
>
> %inc = add i64 %index, 1
> %cmp = icmp ult i64 %inc, 10
> br i1 %cmp, label %loop, label %exit
>
> exit:
> ret void
> }
>
>...