validation pass what are they?

[Roger-luo]

since we are developing more and more dialects. It is now worth thinking how we should do validations. There are many different things to verify here:

1. the statement verify method that checks if the statement constructed correctly
2. the statement typecheck method that checks if the statement typed correctly
3. a simple IR walk that checks e.g any statement doesn't belong to the current dialect group
4. an actual analysis pass that asserts sizes, bounds check etc.

[kaihsin]

I think validation pass is similar to analysis pass but its a bit different.

analysis pass require lattice. and depends on the return value as placeholder for analysis result,
while validation one might want to have validation result for all the statements (not just the one that has result value) and not necessarily need a lattice

for example:
qasm2.cx(a,b) # no result value, but one might want to have validation result for this stmt