Lines Matching refs:IntCC
4164 (decl cond_code (IntCC) Cond)
4204 (decl int_cc_cmp_zero_to_vec_misc_op (IntCC) VecMisc2)
4207 (decl int_cc_cmp_zero_to_vec_misc_op_swap (IntCC) VecMisc2)
4211 (decl icmp_zero_cond (IntCC) IntCC)
4215 (decl icmp_zero_cond_not_eq (IntCC) IntCC)
4219 (decl int_cmp_zero (IntCC Reg VectorSize) Reg)
4224 (decl int_cmp_zero_swap (IntCC Reg VectorSize) Reg)
4647 ;; A tuple of `ProducesFlags` and `IntCC`.
4649 (cc IntCC))))
4656 (= cc (IntCC.Equal))
4657 (= cc (IntCC.NotEqual))
4658 (= cc (IntCC.UnsignedGreaterThanOrEqual))
4659 (= cc (IntCC.UnsignedGreaterThan))
4660 (= cc (IntCC.UnsignedLessThanOrEqual))
4661 (= cc (IntCC.UnsignedLessThan))
4662 (= cc (IntCC.SignedGreaterThanOrEqual))
4663 (= cc (IntCC.SignedGreaterThan))
4664 (= cc (IntCC.SignedLessThanOrEqual))
4665 (= cc (IntCC.SignedLessThan)))))
4667 (decl flags_and_cc (ProducesFlags IntCC) FlagsAndCC)
4674 ((IntCC.Equal) (if (= (extract 10 10 a) #b1) #x01 #x00))
4675 ((IntCC.NotEqual) (if (= (extract 10 10 a) #b0) #x01 #x00))
4676 …((IntCC.SignedGreaterThan) (if (and (= (extract 10 10 a) #b0) (= (extract 11 11 a) (extract 8 8 a)…
4677 ((IntCC.SignedGreaterThanOrEqual) (if (= (extract 11 11 a) (extract 8 8 a)) #x01 #x00))
4678 ((IntCC.SignedLessThan) (if (not (= (extract 11 11 a) (extract 8 8 a))) #x01 #x00))
4679 …((IntCC.SignedLessThanOrEqual) (if (or (= (extract 10 10 a) #b1) (not (= (extract 11 11 a) (extrac…
4680 …((IntCC.UnsignedGreaterThan) (if (and (= (extract 9 9 a) #b1) (= (extract 10 10 a) #b0)) #x01 #x00…
4681 ((IntCC.UnsignedGreaterThanOrEqual) (if (= (extract 9 9 a) #b1) #x01 #x00))
4682 ((IntCC.UnsignedLessThan) (if (= (extract 9 9 a) #b0) #x01 #x00))
4683 …((IntCC.UnsignedLessThanOrEqual) (if (or (= (extract 9 9 a) #b0) (= (extract 10 10 a) #b1)) #x01 #…
4686 (= (extract 7 0 a) (IntCC.Equal))
4687 (= (extract 7 0 a) (IntCC.NotEqual))
4688 (= (extract 7 0 a) (IntCC.UnsignedGreaterThanOrEqual))
4689 (= (extract 7 0 a) (IntCC.UnsignedGreaterThan))
4690 (= (extract 7 0 a) (IntCC.UnsignedLessThanOrEqual))
4691 (= (extract 7 0 a) (IntCC.UnsignedLessThan))
4692 (= (extract 7 0 a) (IntCC.SignedGreaterThanOrEqual))
4693 (= (extract 7 0 a) (IntCC.SignedGreaterThan))
4694 (= (extract 7 0 a) (IntCC.SignedLessThanOrEqual))
4695 (= (extract 7 0 a) (IntCC.SignedLessThan)))))
4705 ;; Get the `IntCC` out of a `FlagsAndCC`.
4706 (decl flags_and_cc_cc (FlagsAndCC) IntCC)
4717 (if (or (= c (IntCC.SignedGreaterThanOrEqual))
4718 (= c (IntCC.SignedGreaterThan))
4719 (= c (IntCC.SignedLessThanOrEqual))
4720 (= c (IntCC.SignedLessThan)))
4730 (= c (IntCC.Equal))
4731 (= c (IntCC.NotEqual))
4732 (= c (IntCC.UnsignedGreaterThanOrEqual))
4733 (= c (IntCC.UnsignedGreaterThan))
4734 (= c (IntCC.UnsignedLessThanOrEqual))
4735 (= c (IntCC.UnsignedLessThan))
4736 (= c (IntCC.SignedGreaterThanOrEqual))
4737 (= c (IntCC.SignedGreaterThan))
4738 (= c (IntCC.SignedLessThanOrEqual))
4739 (= c (IntCC.SignedLessThan)))
4752 (decl lower_icmp (IntCC Value Value Type) FlagsAndCC)
4758 ((IntCC.Equal) (if (= x y) #x01 #x00))
4759 ((IntCC.NotEqual) (if (not (= x y)) #x01 #x00))
4760 ((IntCC.SignedGreaterThan) (if (bvsgt x y) #x01 #x00))
4761 ((IntCC.SignedGreaterThanOrEqual) (if (bvsge x y) #x01 #x00))
4762 ((IntCC.SignedLessThan) (if (bvslt x y) #x01 #x00))
4763 ((IntCC.SignedLessThanOrEqual) (if (bvsle x y) #x01 #x00))
4764 ((IntCC.UnsignedGreaterThan) (if (bvugt x y) #x01 #x00))
4765 ((IntCC.UnsignedGreaterThanOrEqual) (if (bvuge x y) #x01 #x00))
4766 ((IntCC.UnsignedLessThan) (if (bvult x y) #x01 #x00))
4767 ((IntCC.UnsignedLessThanOrEqual) (if (bvule x y) #x01 #x00)))))
4770 (= c (IntCC.Equal))
4771 (= c (IntCC.NotEqual))
4772 (= c (IntCC.UnsignedGreaterThanOrEqual))
4773 (= c (IntCC.UnsignedGreaterThan))
4774 (= c (IntCC.UnsignedLessThanOrEqual))
4775 (= c (IntCC.UnsignedLessThan))
4776 (= c (IntCC.SignedGreaterThanOrEqual))
4777 (= c (IntCC.SignedGreaterThan))
4778 (= c (IntCC.SignedLessThanOrEqual))
4779 (= c (IntCC.SignedLessThan)))
4793 (decl lower_icmp_into_reg (IntCC Value Value Type Type) ValueRegs)
4794 (decl lower_icmp_into_flags (IntCC Value Value Type) FlagsAndCC)
4800 (if (or (= c (IntCC.SignedGreaterThanOrEqual))
4801 (= c (IntCC.SignedGreaterThan))
4802 (= c (IntCC.SignedLessThanOrEqual))
4803 (= c (IntCC.SignedLessThan)))
4813 (= c (IntCC.Equal))
4814 (= c (IntCC.NotEqual))
4815 (= c (IntCC.UnsignedGreaterThanOrEqual))
4816 (= c (IntCC.UnsignedGreaterThan))
4817 (= c (IntCC.UnsignedLessThanOrEqual))
4818 (= c (IntCC.UnsignedLessThan))
4819 (= c (IntCC.SignedGreaterThanOrEqual))
4820 (= c (IntCC.SignedGreaterThan))
4821 (= c (IntCC.SignedLessThanOrEqual))
4822 (= c (IntCC.SignedLessThan)))
4831 (decl lower_icmp_const (IntCC Value u64 Type) FlagsAndCC)
4889 (rule lower_icmp_const_32_64_ugte (lower_icmp_const (IntCC.UnsignedGreaterThanOrEqual) a b ty)
4893 (flags_and_cc (cmp_imm (operand_size ty) a imm) (IntCC.UnsignedGreaterThan)))
4895 (rule lower_icmp_const_32_64_sgte (lower_icmp_const (IntCC.SignedGreaterThanOrEqual) a b ty)
4899 (flags_and_cc (cmp_imm (operand_size ty) a imm) (IntCC.SignedGreaterThan)))
4910 (rule (lower_icmp_into_reg cond @ (IntCC.Equal) rn rm $I128 $I8)
4914 (rule (lower_icmp_into_reg cond @ (IntCC.NotEqual) rn rm $I128 $I8)
4933 (rule (lower_icmp (IntCC.Equal) lhs rhs $I128)
4934 (flags_and_cc (lower_icmp_i128_eq_ne lhs rhs) (IntCC.Equal)))
4935 (rule (lower_icmp (IntCC.NotEqual) lhs rhs $I128)
4936 (flags_and_cc (lower_icmp_i128_eq_ne lhs rhs) (IntCC.NotEqual)))
5018 (rule (lower_icmp_into_flags cond @ (IntCC.SignedGreaterThanOrEqual) lhs rhs $I128)
5023 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedGreaterThanOrEqual) lhs rhs $I128)
5028 (rule (lower_icmp_into_flags cond @ (IntCC.SignedLessThanOrEqual) lhs rhs $I128)
5033 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedLessThanOrEqual) lhs rhs $I128)
5039 (rule (lower_icmp_into_flags cond @ (IntCC.SignedGreaterThan) lhs rhs $I128)
5043 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedGreaterThan) lhs rhs $I128)
5047 (rule (lower_icmp_into_flags cond @ (IntCC.SignedLessThan) lhs rhs $I128)
5051 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedLessThan) lhs rhs $I128)