(X::XW-OF-XR-SAME-GEN)
(X::XR-BECOMES-UNDEF)
(X::UNDEF-OF-XW)
(X::UNDEF-OF-IF)
(X::UNDEF-OF-MYIF
 (11 11 (:TYPE-PRESCRIPTION MYIF))
 (2 2 (:REWRITE MYIF-WHEN-NOT-NIL))
 (2 2 (:REWRITE MYIF-WHEN-NIL))
 (2 2 (:REWRITE MYIF-OF-CONSTANT-WHEN-NOT-NIL))
 )
(X::SET-UNDEF)
(X::!UNDEF-BECOMES-SET-UNDEF)
(X::XW-BECOMES-SET-UNDEF)
(X::XR-OF-SET-UNDEF-IRREL)
(X::UNDEF-OF-SET-UNDEF
 (1 1 (:REWRITE X86ISA::XR-OF-XW-INTER-FIELD))
 )
(X::SET-UNDEF-OF-SET-UNDEF)
(X::SET-UNDEF-OF-UNDEF-SAME)
(X::SET-UNDEF-OF-MYIF
 (11 11 (:TYPE-PRESCRIPTION MYIF))
 (2 2 (:REWRITE MYIF-WHEN-NOT-NIL))
 (2 2 (:REWRITE MYIF-WHEN-NIL))
 (2 2 (:REWRITE MYIF-OF-CONSTANT-WHEN-NOT-NIL))
 )
(X::SET-UNDEF-OF-IF)
(X::SET-UNDEF-OF-UNDEF-SAME-GEN)
(X::XR-BECOMES-MS)
(X::MS-OF-XW)
(X::MS-OF-IF)
(X::MS-OF-MYIF
 (17 17 (:TYPE-PRESCRIPTION MYIF))
 (2 2 (:REWRITE MYIF-WHEN-NOT-NIL))
 (2 2 (:REWRITE MYIF-WHEN-NIL))
 (2 2 (:REWRITE MYIF-OF-CONSTANT-WHEN-NOT-NIL))
 )
(X::SET-MS)
(X::XW-BECOMES-SET-MS)
(X::!MS-BECOMES-SET-MS)
(X::XR-OF-SET-MS-IRREL)
(X::MS-OF-SET-MS
 (1 1 (:REWRITE X86ISA::XR-OF-XW-INTER-FIELD))
 )
(X::XR-BECOMES-FAULT)
(X::FAULT-OF-XW)
(X::FAULT-OF-IF)
(X::FAULT-OF-MYIF
 (11 11 (:TYPE-PRESCRIPTION MYIF))
 (2 2 (:REWRITE MYIF-WHEN-NOT-NIL))
 (2 2 (:REWRITE MYIF-WHEN-NIL))
 (2 2 (:REWRITE MYIF-OF-CONSTANT-WHEN-NOT-NIL))
 )
(X::SET-FAULT)
(X::XW-BECOMES-SET-FAULT)
(X::!FAULT-BECOMES-SET-FAULT)
(X::XR-OF-SET-FAULT-IRREL)
(X::FAULT-OF-SET-FAULT
 (1 1 (:REWRITE X86ISA::XR-OF-XW-INTER-FIELD))
 )
(X::XR-BECOMES-MXCSR)
(X::MXCSR-OF-XW)
(X::MXCSR-OF-IF)
(X::INTEGERP-OF-MXCSR)
(X::SET-MXCSR)
(X::!MXCSR-BECOMES-SET-MXCSR)
(X::XW-BECOMES-SET-MXCSR)
(X::XR-OF-SET-MXCSR-IRREL)
(X::MXCSR-OF-SET-MXCSR
 (210 5 (:REWRITE X86ISA::X86-ELEM-FIX-WHEN-X86-ELEM-P))
 (200 5 (:REWRITE X86ISA::X86-ELEM-P-OPENER))
 (160 17 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-CR0BITS-P))
 (134 7 (:REWRITE X86ISA::CR0BITS-P-WHEN-UNSIGNED-BYTE-P))
 (124 8 (:REWRITE LOGHEAD-IDENTITY))
 (102 17 (:DEFINITION UNSIGNED-BYTE-P))
 (85 17 (:DEFINITION INTEGER-RANGE-P))
 (45 17 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-RFLAGSBITS-P))
 (45 17 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-EVEX-PREFIXES-P))
 (45 17 (:REWRITE X86ISA::UNSIGNED-BYTE-P-WHEN-32BITS-P))
 (35 35 (:TYPE-PRESCRIPTION UNSIGNED-BYTE-P))
 (34 34 (:REWRITE DEFAULT-<-2))
 (34 34 (:REWRITE DEFAULT-<-1))
 (19 19 (:TYPE-PRESCRIPTION X86ISA::CR0BITS-P$INLINE))
 (17 17 (:REWRITE BITOPS::UNSIGNED-BYTE-P-INCR))
 (14 14 (:TYPE-PRESCRIPTION X86ISA::RFLAGSBITS-P$INLINE))
 (14 14 (:TYPE-PRESCRIPTION X86ISA::EVEX-PREFIXES-P$INLINE))
 (14 14 (:TYPE-PRESCRIPTION X86ISA::32BITS-P))
 (14 7 (:REWRITE X86ISA::RFLAGSBITS-P-WHEN-UNSIGNED-BYTE-P))
 (14 7 (:REWRITE X86ISA::EVEX-PREFIXES-P-WHEN-UNSIGNED-BYTE-P))
 (14 7 (:REWRITE X86ISA::32BITS-P-WHEN-UNSIGNED-BYTE-P))
 (6 6 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (6 6 (:REWRITE-QUOTED-CONSTANT IFIX-UNDER-INT-EQUIV))
 (5 5 (:TYPE-PRESCRIPTION X86ISA::X86-ELEM-P))
 (5 5 (:REWRITE X86ISA::XR-OF-XW-INTER-FIELD))
 (5 5 (:REWRITE IFIX-WHEN-NOT-INTEGERP))
 (5 5 (:REWRITE IFIX-WHEN-INTEGERP))
 )
(X::SET-MXCSR-OF-SET-MXCSR)
(X::SET-MXCSR-OF-MXCSR-SAME)
(X::SET-MXCSR-OF-IF)
