[PATCH] D122573: [TBAA] Emit distinct TBAA tags for pointers with different depths,types.

2022-10-21 Thread Rui Zhang via Phabricator via cfe-commits
rui.zhang added subscribers: mcberg2021, craig.topper. rui.zhang added a comment. In D122573#3872138 , @fhahn wrote: > Rebased on current main > > In D122573#3630767 , @rui.zhang > wrote: > >> I like the directio

[PATCH] D134077: [RISCV] Support -mno-implicit-float.

2022-09-16 Thread Rui Zhang via Phabricator via cfe-commits
rui.zhang accepted this revision. rui.zhang added a comment. This revision is now accepted and ready to land. Thanks for fixing it. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D134077/new/ https://reviews.llvm.org/D134077

[PATCH] D122573: [TBAA] Emit distinct TBAA tags for pointers with different depths,types.

2022-07-05 Thread Rui Zhang via Phabricator via cfe-commits
rui.zhang added a comment. I like the direction where this change is leading to and hope there is some way to land it incrementally. Since BuiltinType has the above mentioned concern on `void *`, how about we focus on `RecordType` pointers as a first step instead? Are there any pitfalls if we d

[PATCH] D122573: [TBAA] Emit distinct TBAA tags for pointers with different depths,types.

2022-06-29 Thread Rui Zhang via Phabricator via cfe-commits
rui.zhang added a comment. > Well, if you can find a solution to the `void*` <-> `T**` problem, that might > make it tractable. Or you can introduce a flag to control whether we do this > — I guess on some level `-fstrict-aliasing` ought to be the full language > model, so this would mean intr