ssa/gen/AMD64.rules

452 // Absorb InvertFlags
453 (CMOVQ(EQ|NE|LT|GT|LE|GE|HI|CS|CC|LS) x y (InvertFlags cond))
455 (CMOVL(EQ|NE|LT|GT|LE|GE|HI|CS|CC|LS) x y (InvertFlags cond))
457 (CMOVW(EQ|NE|LT|GT|LE|GE|HI|CS|CC|LS) x y (InvertFlags cond))
892 (CMPQ (MOVQconst [c]) x) && is32Bit(c) -> (InvertFlags (CMPQconst x [c]))
894 (CMPL (MOVLconst [c]) x) -> (InvertFlags (CMPLconst x [c]))
896 (CMPW (MOVLconst [c]) x) -> (InvertFlags (CMPWconst x [int64(int16(c))]))
898 (CMPB (MOVLconst [c]) x) -> (InvertFlags (CMPBconst x [int64(int8(c))]))
985 (SETL (InvertFlags x)) -> (SETG x)
986 (SETG (InvertFlags x)) -> (SETL x)
987 (SETB (InvertFlags x)) -> (SETA x)
988 (SETA (InvertFlags x)) -> (SETB x)
989 (SETLE (InvertFlags x)) -> (SETGE x)
990 (SETGE (InvertFlags x)) -> (SETLE x)
991 (SETBE (InvertFlags x)) -> (SETAE x)
992 (SETAE (InvertFlags x)) -> (SETBE x)
993 (SETEQ (InvertFlags x)) -> (SETEQ x)
994 (SETNE (InvertFlags x)) -> (SETNE x)
996 (SETLstore [off] {sym} ptr (InvertFlags x) mem) -> (SETGstore [off] {sym} ptr x mem)
997 (SETGstore [off] {sym} ptr (InvertFlags x) mem) -> (SETLstore [off] {sym} ptr x mem)
998 (SETBstore [off] {sym} ptr (InvertFlags x) mem) -> (SETAstore [off] {sym} ptr x mem)
999 (SETAstore [off] {sym} ptr (InvertFlags x) mem) -> (SETBstore [off] {sym} ptr x mem)
1000 (SETLEstore [off] {sym} ptr (InvertFlags x) mem) -> (SETGEstore [off] {sym} ptr x mem)
1001 (SETGEstore [off] {sym} ptr (InvertFlags x) mem) -> (SETLEstore [off] {sym} ptr x mem)
1002 (SETBEstore [off] {sym} ptr (InvertFlags x) mem) -> (SETAEstore [off] {sym} ptr x mem)
1003 (SETAEstore [off] {sym} ptr (InvertFlags x) mem) -> (SETBEstore [off] {sym} ptr x mem)
1004 (SETEQstore [off] {sym} ptr (InvertFlags x) mem) -> (SETEQstore [off] {sym} ptr x mem)
1005 (SETNEstore [off] {sym} ptr (InvertFlags x) mem) -> (SETNEstore [off] {sym} ptr x mem)
1269 // Absorb InvertFlags into branches.
1270 (LT (InvertFlags cmp) yes no) -> (GT cmp yes no)
1271 (GT (InvertFlags cmp) yes no) -> (LT cmp yes no)
1272 (LE (InvertFlags cmp) yes no) -> (GE cmp yes no)
1273 (GE (InvertFlags cmp) yes no) -> (LE cmp yes no)
1274 (ULT (InvertFlags cmp) yes no) -> (UGT cmp yes no)
1275 (UGT (InvertFlags cmp) yes no) -> (ULT cmp yes no)
1276 (ULE (InvertFlags cmp) yes no) -> (UGE cmp yes no)
1277 (UGE (InvertFlags cmp) yes no) -> (ULE cmp yes no)
1278 (EQ (InvertFlags cmp) yes no) -> (EQ cmp yes no)
1279 (NE (InvertFlags cmp) yes no) -> (NE cmp yes no)
2519 …W|B)load {sym} [off] ptr mem)) && canMergeLoad(v, l) && clobber(l) -> (InvertFlags (CMP(Q|L|W|B)lo…