This is a child diff of D92261. After supporting field/index-level shadow, the existing shadow with type i16 works for only primitive types.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
Comment Actions
What is a "primary" type? Maybe we can pick a more descriptive name, or at least write a comment somewhere in the code explaining the difference between primary and not primary types/shadows.
Comment Actions
Sorry. This was a typo.
renamed Primary to Primitive
In D92261, values with primitive types like(i1, double, void*) have i16 shadow values,
and aggregate types have shadow values with i16 shadow values at leaves with primitive
types. Vectors should have non-primitive shadow values too, but at an incrementally
implementation, D92261 still assignes i16 to vectors.
The comments around PrimitiveShadowTy will be updated in the following diffs.