(X86ISA::X86-INVLPG
 (250 205 (:REWRITE DEFAULT-<-1))
 (205 205 (:REWRITE DEFAULT-<-2))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-VEX3-BYTE2-P))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-VEX3-BYTE1-P))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-VEX2-BYTE1-P))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-MODR/M-P))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-EVEX-BYTE3-P))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-EVEX-BYTE2-P))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-EVEX-BYTE1-P))
 (92 28 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-8BITS-P))
 (62 62 (:REWRITE X86ISA::INTEGERP-ADDR-RANGE-MEMBER))
 (54 54 (:REWRITE BITOPS::UNSIGNED-BYTE-P-INCR))
 (40 6 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-PREFIXES-P))
 (32 32 (:TYPE-PRESCRIPTION X86ISA::VEX3-BYTE2-P$INLINE))
 (32 32 (:TYPE-PRESCRIPTION X86ISA::VEX3-BYTE1-P$INLINE))
 (32 32 (:TYPE-PRESCRIPTION X86ISA::VEX2-BYTE1-P$INLINE))
 (32 32 (:TYPE-PRESCRIPTION X86ISA::EVEX-BYTE3-P$INLINE))
 (32 32 (:TYPE-PRESCRIPTION X86ISA::EVEX-BYTE2-P$INLINE))
 (32 32 (:TYPE-PRESCRIPTION X86ISA::EVEX-BYTE1-P$INLINE))
 (32 32 (:TYPE-PRESCRIPTION X86ISA::8BITS-P))
 (32 16 (:REWRITE X86ISA::VEX3-BYTE2-P-WHEN-UNSIGNED-BYTE-P))
 (32 16 (:REWRITE X86ISA::VEX3-BYTE1-P-WHEN-UNSIGNED-BYTE-P))
 (32 16 (:REWRITE X86ISA::VEX2-BYTE1-P-WHEN-UNSIGNED-BYTE-P))
 (32 16 (:REWRITE X86ISA::EVEX-BYTE3-P-WHEN-UNSIGNED-BYTE-P))
 (32 16 (:REWRITE X86ISA::EVEX-BYTE2-P-WHEN-UNSIGNED-BYTE-P))
 (32 16 (:REWRITE X86ISA::EVEX-BYTE1-P-WHEN-UNSIGNED-BYTE-P))
 (32 16 (:REWRITE X86ISA::8BITS-P-WHEN-UNSIGNED-BYTE-P))
 (29 2 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-CR0BITS-P))
 (26 1 (:REWRITE X86ISA::CR0BITS-P-WHEN-UNSIGNED-BYTE-P))
 (23 23 (:REWRITE X86ISA::MODR/M->MOD-OF-WRITE-WITH-MASK))
 (20 13 (:REWRITE DEFAULT-+-2))
 (13 13 (:REWRITE DEFAULT-+-1))
 (10 10 (:REWRITE X86ISA::MODR/M->R/M-OF-WRITE-WITH-MASK))
 (8 8 (:REWRITE X86ISA::PREFIXES->ADR-OF-WRITE-WITH-MASK))
 (6 2 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-RFLAGSBITS-P))
 (6 2 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-EVEX-PREFIXES-P))
 (6 2 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-32BITS-P))
 (3 3 (:TYPE-PRESCRIPTION X86ISA::CR0BITS-P$INLINE))
 (2 2 (:TYPE-PRESCRIPTION X86ISA::RFLAGSBITS-P$INLINE))
 (2 2 (:TYPE-PRESCRIPTION X86ISA::EVEX-PREFIXES-P$INLINE))
 (2 2 (:TYPE-PRESCRIPTION X86ISA::32BITS-P))
 (2 2 (:REWRITE X86ISA::SIGNED-BYTE-P-LIMITS-THM))
 (2 2 (:REWRITE X86ISA::MODR/M->REG-OF-WRITE-WITH-MASK))
 (2 1 (:REWRITE X86ISA::RFLAGSBITS-P-WHEN-UNSIGNED-BYTE-P))
 (2 1 (:REWRITE X86ISA::EVEX-PREFIXES-P-WHEN-UNSIGNED-BYTE-P))
 (2 1 (:REWRITE X86ISA::32BITS-P-WHEN-UNSIGNED-BYTE-P))
 )
(X86ISA::X86P-OF-X86-INVLPG
 (9 9 (:REWRITE X86ISA::MODR/M->MOD-OF-WRITE-WITH-MASK))
 (8 4 (:LINEAR X86ISA::RETURN-TYPE-OF-MODR/M->MOD-LINEAR))
 (1 1 (:REWRITE X86ISA::PREFIXES->ADR-OF-WRITE-WITH-MASK))
 (1 1 (:REWRITE X86ISA::MODR/M->REG-OF-WRITE-WITH-MASK))
 (1 1 (:REWRITE X86ISA::MODR/M->R/M-OF-WRITE-WITH-MASK))
 )
