Displaying 2 results from an estimated 2 matches for "rec7".
Did you mean:
rc7
2016 Apr 21
2
(BasicAA) PartialAlias between different fields of a structure, intentional?
...lAlias
for the access of two different fields of a structure.
We noticed this since Lint complained about it when checking for
aliasing beteen "noalias" attributed parameters:
opt -S -lint ./alias.ll
gave
Unusual: noalias argument aliases another argument
on the (silly) function:
%rec7 = type { i16, i16, i16 }
define void @fn1(i16* noalias %p1.1.par, i16* noalias %p2.2.par) {
%s.3 = alloca %rec7
%_tmp1 = getelementptr %rec7, %rec7* %s.3, i16 0, i32 1
%_tmp2 = getelementptr %rec7, %rec7* %s.3, i16 0, i32 2
call void @fn1(i16* %_tmp1, i16* %_tmp2)
ret void
}
If accessing fields...
2016 Apr 15
3
(BasicAA) PartialAlias between different fields of a structure, intentional?
Hello all,
I observed that BasicAA alias query returns PartialAlias between different fields of a structure. Following is the test program and -print–all-alias-modref-info output:
---
; test.ll
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
%"type" = type { [10 x i32], i64 }
define void