Displaying 1 result from an estimated 1 matches for "iscore8".
2019 Apr 01
3
Please expose predicates to MachineVerifier
...e many instructions after ISEL, but the predicates are not being checked at this point. Thus, I could forget to check the target and build an instruction that is illegal for a specific configuration. In such a case it would be nice if the MachineVerifier could detect this for me.
Example predicate IsCore8 usage:
def ADDx: BINOP<...>, Requires<[IsCore8]>;
let Predicates=[IsCore8] in {
def : SUBX: BINOP<...>;
}
The predicates are encoded into the targets GenDAGIsel file but not anywhere else that I can find:
OPC_CheckPatternPredicate, 4, // (Subtarget.isCore8())
Thanks
-------...