1567 	u64 exit_rvt = initial_rvt;  in reg_val_propagate_range()  local
1573 		rvt[idx] = (rvt[idx] & RVT_VISITED_MASK) | exit_rvt;  in reg_val_propagate_range()
1589 				set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT);  in reg_val_propagate_range()
1593 					set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT);  in reg_val_propagate_range()
1597 						set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT_POS);  in reg_val_propagate_range()
1599 						set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT);  in reg_val_propagate_range()
1604 					set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT);  in reg_val_propagate_range()
1606 					set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT);  in reg_val_propagate_range()
1608 					set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT_POS);  in reg_val_propagate_range()
1618 					set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT);  in reg_val_propagate_range()
1622 						set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT_POS);  in reg_val_propagate_range()
1624 						set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT_32BIT);  in reg_val_propagate_range()
1628 				set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT);  in reg_val_propagate_range()
1640 						set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT_POS);  in reg_val_propagate_range()
1642 						set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT_32BIT);  in reg_val_propagate_range()
1644 						set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT);  in reg_val_propagate_range()
1648 					set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT);  in reg_val_propagate_range()
1653 				set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT_POS);  in reg_val_propagate_range()
1657 					set_reg_val_type(&exit_rvt, insn->dst_reg,  in reg_val_propagate_range()
1660 					set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT);  in reg_val_propagate_range()
1668 				set_reg_val_type(&exit_rvt, insn->dst_reg, REG_64BIT);  in reg_val_propagate_range()
1672 				set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT_POS);  in reg_val_propagate_range()
1675 				set_reg_val_type(&exit_rvt, insn->dst_reg, REG_32BIT);  in reg_val_propagate_range()
1683 				rvt[idx] = RVT_DONE | exit_rvt;  in reg_val_propagate_range()
1684 				rvt[prog->len] = exit_rvt;  in reg_val_propagate_range()
1710 				set_reg_val_type(&exit_rvt, BPF_REG_0, REG_64BIT);  in reg_val_propagate_range()
1713 					set_reg_val_type(&exit_rvt, reg, REG_64BIT);  in reg_val_propagate_range()
1742 	u64 exit_rvt;  in reg_val_propagate()  local
1750 	exit_rvt = 0;  in reg_val_propagate()
1754 		set_reg_val_type(&exit_rvt, reg, REG_64BIT);  in reg_val_propagate()
1760 	reg_val_propagate_range(ctx, exit_rvt, 0, false);  in reg_val_propagate()