Diff Detail
Event Timeline
I think that we're on the same page. I'll also start reviewing the other patches.
docs/LangRef.rst | ||
---|---|---|
4596 | Types with different roots have an unknown aliasing relationship, and LLVM conservatively infers `MayAlias` between them. -> TBAA metadata provides no aliasing information about types with different roots. | |
4605 | identifier nodes -> metadata strings | |
4638 | You've not defined direct or indirect field anywhere. Please do. | |
4689–4690 | Please also add a union to this example. |
This is good. Don't commit it, however, until it's meaningful (i.e., once the corresponding implementation lands).
docs/LangRef.rst | ||
---|---|---|
4635 | the base -> The base | |
4638 | the base -> The base | |
4683 | I thought that, in the new format, we were going to support unions by allowing multiple fields at the same offset. Are you planning to just do that as a follow-up set of patches? |
docs/LangRef.rst | ||
---|---|---|
4624–4626 | It's not very clear. Adding an array in the example would be helpful. |
Types with different roots have an unknown aliasing relationship, and LLVM conservatively infers `MayAlias` between them. -> TBAA metadata provides no aliasing information about types with different roots.