[LLVMdev] Random question about the x86 backend (and backends in general I suppose)

[Philip Reames]

On 1/7/14 11:25 AM, Hal Finkel wrote:
> ----- Original Message -----
>
> I'd like to second this. The problem with the current inference scheme is that it is not consistent: instructions sometimes get inferred flags, depending on how their patterns are specified, and sometimes don't. Furthermore, auditing those inferred flags is not easy, and because this is a correctness issue, they do need to be checked.
>
Is there an easy way to inspect the resulting flags after inference has 
run?  It seems like this would be the best format for auditing 
correctness.  If this doesn't already exist, adding a documentation 
generator which lists all the instructions, their inferred/explicit 
flags, and where they're defined could be a useful project.

Philip