// to a new block.
		var last *Value
		var start, end int
		var nonPtrStores int
		values := b.Values
	FindSeq:
		for i := len(values) - 1; i >= 0; i-- {
			w := values[i]
			switch w.Op {
			case OpStoreWB, OpMoveWB, OpZeroWB:
				start = i
				if last == nil {
					last = w
					end = i + 1
				}
				nonPtrStores = 0
			case OpVarDef, OpVarLive:
				continue
			case OpStore: