search for: sunkadd

...am observing some incorrect behavior in basicaa, wherein two pointers that > basicaa should determine to be MustAlias are ending up NoAlias - the other > extreme :( > I am blaming this on basicaa not handling inttoptr. Here is the relevant IR > snippet. > -------------------- > %sunkaddr36 = ptrtoint %struct.BitParams* %bs to i32 > %sunkaddr37 = add i32 %sunkaddr36, 16 > %sunkaddr38 = inttoptr i32 %sunkaddr37 to i32* > > > > %sunkaddr39 = ptrtoint %struct.BitParams* %bs to i32 > %sunkaddr40 = add i32 %sunkaddr39, 16 > %sunkaddr41 = inttoptr i32 %su...

...n basica gives up returning mayalias we query tbaa, which will return - based on strict aliasing rules of our language - noalias. opt -basicaa -print-alias-sets basicaa.ll -S -o - Alias Set Tracker: 1 alias sets for 2 pointer values. AliasSet[0x109808c90, 2] may alias, Mod Pointers: (i64* %sunkaddr4, 18446744073709551615), (i32* %sunkaddr2, 18446744073709551615) opt -basicaa -tbaa -print-alias-sets basicaa.ll -S -o - Alias Set Tracker: 2 alias sets for 2 pointer values. AliasSet[0x112d07cf0, 1] must alias, Mod Pointers: (i64* %sunkaddr4, 18446744073709551615) AliasSet[0x112d07d40,...

Hi, I am observing some incorrect behavior in basicaa, wherein two pointers that basicaa should determine to be MustAlias are ending up NoAlias - the other extreme :( I am blaming this on basicaa not handling inttoptr. Here is the relevant IR snippet. -------------------- %sunkaddr36 = ptrtoint %struct.BitParams* %bs to i32 %sunkaddr37 = add i32 %sunkaddr36, 16 %sunkaddr38 = inttoptr i32 %sunkaddr37 to i32* %sunkaddr39 = ptrtoint %struct.BitParams* %bs to i32 %sunkaddr40 = add i32 %sunkaddr39, 16 %sunkaddr41 = inttoptr i32 %sunkaddr40 to i64* --------------------...