Open eyck opened 1 year ago
So disabled instructions don't have to follow semantic constraints? That is not clear from the documentation, so we should add a sentence there as well.
Yes, from a users perspective this should be the behavior.
Instructions are disabled because the are not valid or applicable for the given parameters. So this should not be checked.
Got it, then I'll implement it that way and add some clarifying words to the documentation.
When using a specific Core the validator checks all instruction definitions, even those being not enabled by attributes.