Displaying 2 results from an estimated 2 matches for "bar_wrong".
2019 Jun 04
2
llvm-ir: TBAA and struct copies
...39; as shown:
- the base type is '!3 (_ZTS1S)'
- the access type is also '!3 (_ZTS1S)'
- the offset is 'i64 0'
I observe following issues:
- issue 1: the tbaa semantics will not detect aliasing between '!10' and '!2' (See [2] and [3]; the load i16 in bar_wrong should not be optimized away)
- issue 2: according to the pure definition of the 'access tags', the base type and the access type can not be the same struct type.
As such, the provided example could be found to be 'invalid'. Still, by adding an extra indirection, a similar &...
2019 Jun 05
2
llvm-ir: TBAA and struct copies
...> > - the access type is also '!3 (_ZTS1S)'
> > - the offset is 'i64 0'
> >
> > I observe following issues:
> > - issue 1: the tbaa semantics will not detect aliasing between '!10' and '!2'
> (See [2] and [3]; the load i16 in bar_wrong should not be optimized away)
> > - issue 2: according to the pure definition of the 'access tags', the base
> type and the access type can not be the same struct type.
> > As such, the provided example could be found to be 'invalid'. Still, by
> adding a...