> > I am OK with minimal extension implication rules, like what you implement > > now, > > but I am still concerned about implementing full rules. > > I didn't know the reason for the concerns. Maybe I didn't tell it > clearly.
Current implementation didn't implement full implication rule according spec, e.g. zve32f -> f zve32d -> zve32f, d zve64x -> zve32x ... zfh -> f ... however I know it's not meaningful because the kernel handled part of that. > > I want both sets of implied extensions in libgcc here and also to > use a minimal feature bit for the IFUNC resolver to solve. I think > this is the safest way to provide compatibility for both older > versions of Linux kernels and users who only set a minimal extension > (like Zve32x but no V). So yes, I know your point here, but I just not prefer to implement all implication rule here...:P > > Would this be acceptable? If OK, I will fix the C->Zcd for RV64 only > and submit the next revision. Yes, fixing that and without introducing more implication rules is OK to me. > > Thanks, > Yangyu Chen >
