418 	for (i = 0; i < st->allocated_stack / BPF_REG_SIZE; i++) {  in __clean_func_state()
423 			int start = !lo_live ? 0 : BPF_REG_SIZE / 2;  in __clean_func_state()
424 			int end = !hi_live ? BPF_REG_SIZE : BPF_REG_SIZE / 2;  in __clean_func_state()
713 		int im = i % BPF_REG_SIZE;  in stacksafe()
715 		spi = i / BPF_REG_SIZE;  in stacksafe()
718 			u8 old_type = old->stack[spi].slot_type[i % BPF_REG_SIZE];  in stacksafe()
720 				      cur->stack[spi].slot_type[i % BPF_REG_SIZE] : STACK_INVALID;  in stacksafe()
731 		if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_INVALID ||  in stacksafe()
732 		    old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_POISON)  in stacksafe()
736 		    old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_MISC)  in stacksafe()
757 				i += (im == 0 ? BPF_REG_SIZE - 1 : 3);  in stacksafe()
766 		if (old->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_MISC &&  in stacksafe()
767 		    cur->stack[spi].slot_type[i % BPF_REG_SIZE] == STACK_ZERO)  in stacksafe()
769 		if (old->stack[spi].slot_type[i % BPF_REG_SIZE] !=  in stacksafe()
770 		    cur->stack[spi].slot_type[i % BPF_REG_SIZE])  in stacksafe()
777 		if (i % BPF_REG_SIZE != BPF_REG_SIZE - 1)  in stacksafe()
780 		switch (old->stack[spi].slot_type[BPF_REG_SIZE - 1]) {  in stacksafe()
1048 		for (i = 0; i < state->allocated_stack / BPF_REG_SIZE; i++) {  in propagate_precision()
1058 						fr, (-i - 1) * BPF_REG_SIZE);  in propagate_precision()
1060 					verbose(env, ",fp%d", (-i - 1) * BPF_REG_SIZE);  in propagate_precision()
1197 		for (i = 0; i < state->allocated_stack / BPF_REG_SIZE; i++) {  in iter_active_depths_differ()
1227 		for (j = 0; j < func->allocated_stack / BPF_REG_SIZE; j++) {  in mark_all_scalars_imprecise()