Lines Matching refs:cond
208 (cond Cond)
215 (cond Cond)
222 (cond Cond))
227 (cond Cond))
235 (cond Cond))
243 (cond Cond))
504 (cond Cond))
511 (cond Cond))
518 (cond Cond))
795 (cond Cond))
2334 (rule (materialize_bool_result cond)
2337 (MInst.CSet dst cond)
2483 (rule (fpu_csel $F16 cond if_true if_false)
2484 (fpu_csel $F32 cond if_true if_false))
2486 (rule 1 (fpu_csel $F16 cond if_true if_false)
2490 (MInst.FpuCSel16 dst if_true if_false cond)
2493 (rule (fpu_csel $F32 cond if_true if_false)
2496 (MInst.FpuCSel32 dst if_true if_false cond)
2499 (rule (fpu_csel $F64 cond if_true if_false)
2502 (MInst.FpuCSel64 dst if_true if_false cond)
2507 (rule (vec_csel cond if_true if_false)
2510 (MInst.VecCSel dst if_true if_false cond)
2674 (rule (csel cond if_true if_false)
2677 (MInst.CSel dst cond if_true if_false)
2682 (rule (cset cond)
2684 (ConsumesFlags.ConsumesFlagsReturnsReg (MInst.CSet dst cond) dst)))
2689 (rule (cset_paired cond)
2691 (ConsumesFlags.ConsumesFlagsReturnsResultWithProducer (MInst.CSet dst cond) dst)))
2695 (rule (csetm cond)
2697 (ConsumesFlags.ConsumesFlagsReturnsReg (MInst.CSetm dst cond) dst)))
2705 (rule (csneg cond if_true if_false)
2708 (MInst.CSNeg dst cond if_true if_false)
2715 (rule (ccmp size rn rm nzcv cond inst_input)
2716 …flags_concat inst_input (ProducesFlags.ProducesFlagsSideEffect (MInst.CCmp size rn rm nzcv cond))))
2720 (rule 1 (ccmp_imm size rn imm nzcv cond)
2723 (MInst.CCmpImm size rn imm nzcv cond)
2724 (MInst.CSet dst cond)
3546 (rule (trap_if flags trap_code cond)
3550 (MInst.TrapIf (cond_br_cond cond) trap_code)))))
4162 ;; Lower an integer cond code.
4170 ;; TODO: Port cond.invert() to ISLE.
4190 (rule (float_cmp_zero cond rn size)
4191 (vec_misc (float_cc_cmp_zero_to_vec_misc_op cond) rn size))
4195 (rule (float_cmp_zero_swap cond rn size)
4196 (vec_misc (float_cc_cmp_zero_to_vec_misc_op_swap cond) rn size))
4220 (rule (int_cmp_zero cond rn size)
4221 (vec_misc (int_cc_cmp_zero_to_vec_misc_op cond) rn size))
4225 (rule (int_cmp_zero_swap cond rn size)
4226 (vec_misc (int_cc_cmp_zero_to_vec_misc_op_swap cond) rn size))
4834 (rule -1 (lower_icmp_into_flags cond x y ty) (lower_icmp cond x y ty))
4838 (rule 1 (lower_icmp_into_reg cond x y in_ty @ (multi_lane _ _) _out_ty)
4839 (let ((cond Cond (cond_code cond))
4842 (vec_cmp rn rm in_ty cond)))
4861 (rule lower_icmp_into_reg_8_16_32_64 -2 (lower_icmp_into_reg cond rn rm in_ty out_ty)
4863 (let ((cc Cond (cond_code cond)))
4864 (flags_and_cc_to_bool (lower_icmp cond rn rm in_ty))))
4866 (rule lower_icmp_8_16_signed 1 (lower_icmp cond rn rm (fits_in_16 ty))
4867 (if (signed_cond_code cond))
4869 …s_and_cc (cmp_extend (operand_size ty) rn rm (lower_extend_op ty (ArgumentExtension.Sext))) cond)))
4870 (rule lower_icmp_8_16_unsigned_imm -1 (lower_icmp cond rn (imm12_from_value rm) (fits_in_16 ty))
4872 (flags_and_cc (cmp_imm (operand_size ty) rn rm) cond)))
4873 (rule lower_icmp_8_16_unsigned -2 (lower_icmp cond rn rm (fits_in_16 ty))
4875 …s_and_cc (cmp_extend (operand_size ty) rn rm (lower_extend_op ty (ArgumentExtension.Uext))) cond)))
4876 (rule lower_icmp_32_64_const -3 (lower_icmp cond rn (u64_from_iconst c) ty)
4878 (lower_icmp_const cond rn c ty))
4879 (rule lower_icmp_32_64 -4 (lower_icmp cond rn rm ty)
4881 (flags_and_cc (cmp (operand_size ty) rn rm) cond))
4901 (rule lower_icmp_const_32_64_imm -1 (lower_icmp_const cond rn (imm12_from_u64 c) ty)
4903 (flags_and_cc (cmp_imm (operand_size ty) rn c) cond))
4904 (rule lower_icmp_const_32_64 -2 (lower_icmp_const cond rn c ty)
4906 (flags_and_cc (cmp (operand_size ty) rn (imm ty (ImmExtend.Zero) c)) cond))
4910 (rule (lower_icmp_into_reg cond @ (IntCC.Equal) rn rm $I128 $I8)
4911 (let ((cc Cond (cond_code cond)))
4913 (lower_icmp cond rn rm $I128))))
4914 (rule (lower_icmp_into_reg cond @ (IntCC.NotEqual) rn rm $I128 $I8)
4915 (let ((cc Cond (cond_code cond)))
4917 (lower_icmp cond rn rm $I128))))
4941 ;; cset tmp2, cond
4943 (rule -1 (lower_icmp_into_reg cond lhs rhs $I128 $I8)
4944 (let ((unsigned_cond Cond (cond_code (intcc_unsigned cond)))
4945 (cond Cond (cond_code cond))
4955 (lower_icmp_i128_consumer cond tmp1))))
4958 (rule (lower_icmp_i128_consumer cond tmp1)
4962 (MInst.CSet tmp2 cond)
5016 ;; We need to guarantee that the flags for `cond` are correct, so we
5018 (rule (lower_icmp_into_flags cond @ (IntCC.SignedGreaterThanOrEqual) lhs rhs $I128)
5019 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5022 (flags_and_cc (cmp (OperandSize.Size64) dst tmp) cond)))
5023 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedGreaterThanOrEqual) lhs rhs $I128)
5024 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5027 (flags_and_cc (cmp (OperandSize.Size64) dst tmp) cond)))
5028 (rule (lower_icmp_into_flags cond @ (IntCC.SignedLessThanOrEqual) lhs rhs $I128)
5029 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5032 (flags_and_cc (cmp (OperandSize.Size64) tmp dst) cond)))
5033 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedLessThanOrEqual) lhs rhs $I128)
5034 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5037 (flags_and_cc (cmp (OperandSize.Size64) tmp dst) cond)))
5039 (rule (lower_icmp_into_flags cond @ (IntCC.SignedGreaterThan) lhs rhs $I128)
5040 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5042 (flags_and_cc (cmp (OperandSize.Size64) dst (zero_reg)) cond)))
5043 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedGreaterThan) lhs rhs $I128)
5044 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5046 (flags_and_cc (cmp (OperandSize.Size64) dst (zero_reg)) cond)))
5047 (rule (lower_icmp_into_flags cond @ (IntCC.SignedLessThan) lhs rhs $I128)
5048 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5050 (flags_and_cc (cmp (OperandSize.Size64) (zero_reg) dst) cond)))
5051 (rule (lower_icmp_into_flags cond @ (IntCC.UnsignedLessThan) lhs rhs $I128)
5052 (let ((dst ValueRegs (lower_icmp_into_reg cond lhs rhs $I128 $I8))
5054 (flags_and_cc (cmp (OperandSize.Size64) (zero_reg) dst) cond)))
5058 (rule 2 (lower_select flags cond (ty_scalar_float (fits_in_64 ty)) rn rm)
5059 (with_flags flags (fpu_csel ty cond rn rm)))
5060 (rule 4 (lower_select flags cond $F128 rn rm)
5061 (with_flags flags (vec_csel cond rn rm)))
5062 (rule 3 (lower_select flags cond (ty_vec128 ty) rn rm)
5063 (with_flags flags (vec_csel cond rn rm)))
5064 (rule (lower_select flags cond ty rn rm)
5066 (with_flags flags (fpu_csel $F64 cond rn rm)))
5067 (rule 4 (lower_select flags cond $I128 rn rm)
5078 (MInst.CSel dst_lo cond rn_lo rm_lo)
5079 (MInst.CSel dst_hi cond rn_hi rm_hi)
5081 (rule 1 (lower_select flags cond ty rn rm)
5083 (with_flags flags (csel cond rn rm)))