xref: /linux/fs/xfs/libxfs/xfs_bmap.c (revision 1c07425e902cd3137961c3d45b4271bf8a9b8eb9)
1 // SPDX-License-Identifier: GPL-2.0
2 /*
3  * Copyright (c) 2000-2006 Silicon Graphics, Inc.
4  * All Rights Reserved.
5  */
6 #include "xfs.h"
7 #include "xfs_fs.h"
8 #include "xfs_shared.h"
9 #include "xfs_format.h"
10 #include "xfs_log_format.h"
11 #include "xfs_trans_resv.h"
12 #include "xfs_bit.h"
13 #include "xfs_sb.h"
14 #include "xfs_mount.h"
15 #include "xfs_defer.h"
16 #include "xfs_dir2.h"
17 #include "xfs_inode.h"
18 #include "xfs_btree.h"
19 #include "xfs_trans.h"
20 #include "xfs_alloc.h"
21 #include "xfs_bmap.h"
22 #include "xfs_bmap_util.h"
23 #include "xfs_bmap_btree.h"
24 #include "xfs_rtalloc.h"
25 #include "xfs_errortag.h"
26 #include "xfs_error.h"
27 #include "xfs_quota.h"
28 #include "xfs_trans_space.h"
29 #include "xfs_buf_item.h"
30 #include "xfs_trace.h"
31 #include "xfs_attr_leaf.h"
32 #include "xfs_filestream.h"
33 #include "xfs_rmap.h"
34 #include "xfs_ag.h"
35 #include "xfs_ag_resv.h"
36 #include "xfs_refcount.h"
37 #include "xfs_icache.h"
38 #include "xfs_iomap.h"
39 
40 struct kmem_cache		*xfs_bmap_intent_cache;
41 
42 /*
43  * Miscellaneous helper functions
44  */
45 
46 /*
47  * Compute and fill in the value of the maximum depth of a bmap btree
48  * in this filesystem.  Done once, during mount.
49  */
50 void
51 xfs_bmap_compute_maxlevels(
52 	xfs_mount_t	*mp,		/* file system mount structure */
53 	int		whichfork)	/* data or attr fork */
54 {
55 	uint64_t	maxblocks;	/* max blocks at this level */
56 	xfs_extnum_t	maxleafents;	/* max leaf entries possible */
57 	int		level;		/* btree level */
58 	int		maxrootrecs;	/* max records in root block */
59 	int		minleafrecs;	/* min records in leaf block */
60 	int		minnoderecs;	/* min records in node block */
61 	int		sz;		/* root block size */
62 
63 	/*
64 	 * The maximum number of extents in a fork, hence the maximum number of
65 	 * leaf entries, is controlled by the size of the on-disk extent count.
66 	 *
67 	 * Note that we can no longer assume that if we are in ATTR1 that the
68 	 * fork offset of all the inodes will be
69 	 * (xfs_default_attroffset(ip) >> 3) because we could have mounted with
70 	 * ATTR2 and then mounted back with ATTR1, keeping the i_forkoff's fixed
71 	 * but probably at various positions. Therefore, for both ATTR1 and
72 	 * ATTR2 we have to assume the worst case scenario of a minimum size
73 	 * available.
74 	 */
75 	maxleafents = xfs_iext_max_nextents(xfs_has_large_extent_counts(mp),
76 				whichfork);
77 	if (whichfork == XFS_DATA_FORK)
78 		sz = XFS_BMDR_SPACE_CALC(MINDBTPTRS);
79 	else
80 		sz = XFS_BMDR_SPACE_CALC(MINABTPTRS);
81 
82 	maxrootrecs = xfs_bmdr_maxrecs(sz, 0);
83 	minleafrecs = mp->m_bmap_dmnr[0];
84 	minnoderecs = mp->m_bmap_dmnr[1];
85 	maxblocks = howmany_64(maxleafents, minleafrecs);
86 	for (level = 1; maxblocks > 1; level++) {
87 		if (maxblocks <= maxrootrecs)
88 			maxblocks = 1;
89 		else
90 			maxblocks = howmany_64(maxblocks, minnoderecs);
91 	}
92 	mp->m_bm_maxlevels[whichfork] = level;
93 	ASSERT(mp->m_bm_maxlevels[whichfork] <= xfs_bmbt_maxlevels_ondisk());
94 }
95 
96 unsigned int
97 xfs_bmap_compute_attr_offset(
98 	struct xfs_mount	*mp)
99 {
100 	if (mp->m_sb.sb_inodesize == 256)
101 		return XFS_LITINO(mp) - XFS_BMDR_SPACE_CALC(MINABTPTRS);
102 	return XFS_BMDR_SPACE_CALC(6 * MINABTPTRS);
103 }
104 
105 STATIC int				/* error */
106 xfs_bmbt_lookup_eq(
107 	struct xfs_btree_cur	*cur,
108 	struct xfs_bmbt_irec	*irec,
109 	int			*stat)	/* success/failure */
110 {
111 	cur->bc_rec.b = *irec;
112 	return xfs_btree_lookup(cur, XFS_LOOKUP_EQ, stat);
113 }
114 
115 STATIC int				/* error */
116 xfs_bmbt_lookup_first(
117 	struct xfs_btree_cur	*cur,
118 	int			*stat)	/* success/failure */
119 {
120 	cur->bc_rec.b.br_startoff = 0;
121 	cur->bc_rec.b.br_startblock = 0;
122 	cur->bc_rec.b.br_blockcount = 0;
123 	return xfs_btree_lookup(cur, XFS_LOOKUP_GE, stat);
124 }
125 
126 /*
127  * Check if the inode needs to be converted to btree format.
128  */
129 static inline bool xfs_bmap_needs_btree(struct xfs_inode *ip, int whichfork)
130 {
131 	struct xfs_ifork *ifp = xfs_ifork_ptr(ip, whichfork);
132 
133 	return whichfork != XFS_COW_FORK &&
134 		ifp->if_format == XFS_DINODE_FMT_EXTENTS &&
135 		ifp->if_nextents > XFS_IFORK_MAXEXT(ip, whichfork);
136 }
137 
138 /*
139  * Check if the inode should be converted to extent format.
140  */
141 static inline bool xfs_bmap_wants_extents(struct xfs_inode *ip, int whichfork)
142 {
143 	struct xfs_ifork *ifp = xfs_ifork_ptr(ip, whichfork);
144 
145 	return whichfork != XFS_COW_FORK &&
146 		ifp->if_format == XFS_DINODE_FMT_BTREE &&
147 		ifp->if_nextents <= XFS_IFORK_MAXEXT(ip, whichfork);
148 }
149 
150 /*
151  * Update the record referred to by cur to the value given by irec
152  * This either works (return 0) or gets an EFSCORRUPTED error.
153  */
154 STATIC int
155 xfs_bmbt_update(
156 	struct xfs_btree_cur	*cur,
157 	struct xfs_bmbt_irec	*irec)
158 {
159 	union xfs_btree_rec	rec;
160 
161 	xfs_bmbt_disk_set_all(&rec.bmbt, irec);
162 	return xfs_btree_update(cur, &rec);
163 }
164 
165 /*
166  * Compute the worst-case number of indirect blocks that will be used
167  * for ip's delayed extent of length "len".
168  */
169 STATIC xfs_filblks_t
170 xfs_bmap_worst_indlen(
171 	xfs_inode_t	*ip,		/* incore inode pointer */
172 	xfs_filblks_t	len)		/* delayed extent length */
173 {
174 	int		level;		/* btree level number */
175 	int		maxrecs;	/* maximum record count at this level */
176 	xfs_mount_t	*mp;		/* mount structure */
177 	xfs_filblks_t	rval;		/* return value */
178 
179 	mp = ip->i_mount;
180 	maxrecs = mp->m_bmap_dmxr[0];
181 	for (level = 0, rval = 0;
182 	     level < XFS_BM_MAXLEVELS(mp, XFS_DATA_FORK);
183 	     level++) {
184 		len += maxrecs - 1;
185 		do_div(len, maxrecs);
186 		rval += len;
187 		if (len == 1)
188 			return rval + XFS_BM_MAXLEVELS(mp, XFS_DATA_FORK) -
189 				level - 1;
190 		if (level == 0)
191 			maxrecs = mp->m_bmap_dmxr[1];
192 	}
193 	return rval;
194 }
195 
196 /*
197  * Calculate the default attribute fork offset for newly created inodes.
198  */
199 uint
200 xfs_default_attroffset(
201 	struct xfs_inode	*ip)
202 {
203 	if (ip->i_df.if_format == XFS_DINODE_FMT_DEV)
204 		return roundup(sizeof(xfs_dev_t), 8);
205 	return M_IGEO(ip->i_mount)->attr_fork_offset;
206 }
207 
208 /*
209  * Helper routine to reset inode i_forkoff field when switching attribute fork
210  * from local to extent format - we reset it where possible to make space
211  * available for inline data fork extents.
212  */
213 STATIC void
214 xfs_bmap_forkoff_reset(
215 	xfs_inode_t	*ip,
216 	int		whichfork)
217 {
218 	if (whichfork == XFS_ATTR_FORK &&
219 	    ip->i_df.if_format != XFS_DINODE_FMT_DEV &&
220 	    ip->i_df.if_format != XFS_DINODE_FMT_BTREE) {
221 		uint	dfl_forkoff = xfs_default_attroffset(ip) >> 3;
222 
223 		if (dfl_forkoff > ip->i_forkoff)
224 			ip->i_forkoff = dfl_forkoff;
225 	}
226 }
227 
228 #ifdef DEBUG
229 STATIC struct xfs_buf *
230 xfs_bmap_get_bp(
231 	struct xfs_btree_cur	*cur,
232 	xfs_fsblock_t		bno)
233 {
234 	struct xfs_log_item	*lip;
235 	int			i;
236 
237 	if (!cur)
238 		return NULL;
239 
240 	for (i = 0; i < cur->bc_maxlevels; i++) {
241 		if (!cur->bc_levels[i].bp)
242 			break;
243 		if (xfs_buf_daddr(cur->bc_levels[i].bp) == bno)
244 			return cur->bc_levels[i].bp;
245 	}
246 
247 	/* Chase down all the log items to see if the bp is there */
248 	list_for_each_entry(lip, &cur->bc_tp->t_items, li_trans) {
249 		struct xfs_buf_log_item	*bip = (struct xfs_buf_log_item *)lip;
250 
251 		if (bip->bli_item.li_type == XFS_LI_BUF &&
252 		    xfs_buf_daddr(bip->bli_buf) == bno)
253 			return bip->bli_buf;
254 	}
255 
256 	return NULL;
257 }
258 
259 STATIC void
260 xfs_check_block(
261 	struct xfs_btree_block	*block,
262 	xfs_mount_t		*mp,
263 	int			root,
264 	short			sz)
265 {
266 	int			i, j, dmxr;
267 	__be64			*pp, *thispa;	/* pointer to block address */
268 	xfs_bmbt_key_t		*prevp, *keyp;
269 
270 	ASSERT(be16_to_cpu(block->bb_level) > 0);
271 
272 	prevp = NULL;
273 	for( i = 1; i <= xfs_btree_get_numrecs(block); i++) {
274 		dmxr = mp->m_bmap_dmxr[0];
275 		keyp = XFS_BMBT_KEY_ADDR(mp, block, i);
276 
277 		if (prevp) {
278 			ASSERT(be64_to_cpu(prevp->br_startoff) <
279 			       be64_to_cpu(keyp->br_startoff));
280 		}
281 		prevp = keyp;
282 
283 		/*
284 		 * Compare the block numbers to see if there are dups.
285 		 */
286 		if (root)
287 			pp = XFS_BMAP_BROOT_PTR_ADDR(mp, block, i, sz);
288 		else
289 			pp = XFS_BMBT_PTR_ADDR(mp, block, i, dmxr);
290 
291 		for (j = i+1; j <= be16_to_cpu(block->bb_numrecs); j++) {
292 			if (root)
293 				thispa = XFS_BMAP_BROOT_PTR_ADDR(mp, block, j, sz);
294 			else
295 				thispa = XFS_BMBT_PTR_ADDR(mp, block, j, dmxr);
296 			if (*thispa == *pp) {
297 				xfs_warn(mp, "%s: thispa(%d) == pp(%d) %lld",
298 					__func__, j, i,
299 					(unsigned long long)be64_to_cpu(*thispa));
300 				xfs_err(mp, "%s: ptrs are equal in node\n",
301 					__func__);
302 				xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
303 			}
304 		}
305 	}
306 }
307 
308 /*
309  * Check that the extents for the inode ip are in the right order in all
310  * btree leaves. THis becomes prohibitively expensive for large extent count
311  * files, so don't bother with inodes that have more than 10,000 extents in
312  * them. The btree record ordering checks will still be done, so for such large
313  * bmapbt constructs that is going to catch most corruptions.
314  */
315 STATIC void
316 xfs_bmap_check_leaf_extents(
317 	struct xfs_btree_cur	*cur,	/* btree cursor or null */
318 	xfs_inode_t		*ip,		/* incore inode pointer */
319 	int			whichfork)	/* data or attr fork */
320 {
321 	struct xfs_mount	*mp = ip->i_mount;
322 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
323 	struct xfs_btree_block	*block;	/* current btree block */
324 	xfs_fsblock_t		bno;	/* block # of "block" */
325 	struct xfs_buf		*bp;	/* buffer for "block" */
326 	int			error;	/* error return value */
327 	xfs_extnum_t		i=0, j;	/* index into the extents list */
328 	int			level;	/* btree level, for checking */
329 	__be64			*pp;	/* pointer to block address */
330 	xfs_bmbt_rec_t		*ep;	/* pointer to current extent */
331 	xfs_bmbt_rec_t		last = {0, 0}; /* last extent in prev block */
332 	xfs_bmbt_rec_t		*nextp;	/* pointer to next extent */
333 	int			bp_release = 0;
334 
335 	if (ifp->if_format != XFS_DINODE_FMT_BTREE)
336 		return;
337 
338 	/* skip large extent count inodes */
339 	if (ip->i_df.if_nextents > 10000)
340 		return;
341 
342 	bno = NULLFSBLOCK;
343 	block = ifp->if_broot;
344 	/*
345 	 * Root level must use BMAP_BROOT_PTR_ADDR macro to get ptr out.
346 	 */
347 	level = be16_to_cpu(block->bb_level);
348 	ASSERT(level > 0);
349 	xfs_check_block(block, mp, 1, ifp->if_broot_bytes);
350 	pp = XFS_BMAP_BROOT_PTR_ADDR(mp, block, 1, ifp->if_broot_bytes);
351 	bno = be64_to_cpu(*pp);
352 
353 	ASSERT(bno != NULLFSBLOCK);
354 	ASSERT(XFS_FSB_TO_AGNO(mp, bno) < mp->m_sb.sb_agcount);
355 	ASSERT(XFS_FSB_TO_AGBNO(mp, bno) < mp->m_sb.sb_agblocks);
356 
357 	/*
358 	 * Go down the tree until leaf level is reached, following the first
359 	 * pointer (leftmost) at each level.
360 	 */
361 	while (level-- > 0) {
362 		/* See if buf is in cur first */
363 		bp_release = 0;
364 		bp = xfs_bmap_get_bp(cur, XFS_FSB_TO_DADDR(mp, bno));
365 		if (!bp) {
366 			bp_release = 1;
367 			error = xfs_btree_read_bufl(mp, NULL, bno, &bp,
368 						XFS_BMAP_BTREE_REF,
369 						&xfs_bmbt_buf_ops);
370 			if (error)
371 				goto error_norelse;
372 		}
373 		block = XFS_BUF_TO_BLOCK(bp);
374 		if (level == 0)
375 			break;
376 
377 		/*
378 		 * Check this block for basic sanity (increasing keys and
379 		 * no duplicate blocks).
380 		 */
381 
382 		xfs_check_block(block, mp, 0, 0);
383 		pp = XFS_BMBT_PTR_ADDR(mp, block, 1, mp->m_bmap_dmxr[1]);
384 		bno = be64_to_cpu(*pp);
385 		if (XFS_IS_CORRUPT(mp, !xfs_verify_fsbno(mp, bno))) {
386 			error = -EFSCORRUPTED;
387 			goto error0;
388 		}
389 		if (bp_release) {
390 			bp_release = 0;
391 			xfs_trans_brelse(NULL, bp);
392 		}
393 	}
394 
395 	/*
396 	 * Here with bp and block set to the leftmost leaf node in the tree.
397 	 */
398 	i = 0;
399 
400 	/*
401 	 * Loop over all leaf nodes checking that all extents are in the right order.
402 	 */
403 	for (;;) {
404 		xfs_fsblock_t	nextbno;
405 		xfs_extnum_t	num_recs;
406 
407 
408 		num_recs = xfs_btree_get_numrecs(block);
409 
410 		/*
411 		 * Read-ahead the next leaf block, if any.
412 		 */
413 
414 		nextbno = be64_to_cpu(block->bb_u.l.bb_rightsib);
415 
416 		/*
417 		 * Check all the extents to make sure they are OK.
418 		 * If we had a previous block, the last entry should
419 		 * conform with the first entry in this one.
420 		 */
421 
422 		ep = XFS_BMBT_REC_ADDR(mp, block, 1);
423 		if (i) {
424 			ASSERT(xfs_bmbt_disk_get_startoff(&last) +
425 			       xfs_bmbt_disk_get_blockcount(&last) <=
426 			       xfs_bmbt_disk_get_startoff(ep));
427 		}
428 		for (j = 1; j < num_recs; j++) {
429 			nextp = XFS_BMBT_REC_ADDR(mp, block, j + 1);
430 			ASSERT(xfs_bmbt_disk_get_startoff(ep) +
431 			       xfs_bmbt_disk_get_blockcount(ep) <=
432 			       xfs_bmbt_disk_get_startoff(nextp));
433 			ep = nextp;
434 		}
435 
436 		last = *ep;
437 		i += num_recs;
438 		if (bp_release) {
439 			bp_release = 0;
440 			xfs_trans_brelse(NULL, bp);
441 		}
442 		bno = nextbno;
443 		/*
444 		 * If we've reached the end, stop.
445 		 */
446 		if (bno == NULLFSBLOCK)
447 			break;
448 
449 		bp_release = 0;
450 		bp = xfs_bmap_get_bp(cur, XFS_FSB_TO_DADDR(mp, bno));
451 		if (!bp) {
452 			bp_release = 1;
453 			error = xfs_btree_read_bufl(mp, NULL, bno, &bp,
454 						XFS_BMAP_BTREE_REF,
455 						&xfs_bmbt_buf_ops);
456 			if (error)
457 				goto error_norelse;
458 		}
459 		block = XFS_BUF_TO_BLOCK(bp);
460 	}
461 
462 	return;
463 
464 error0:
465 	xfs_warn(mp, "%s: at error0", __func__);
466 	if (bp_release)
467 		xfs_trans_brelse(NULL, bp);
468 error_norelse:
469 	xfs_warn(mp, "%s: BAD after btree leaves for %llu extents",
470 		__func__, i);
471 	xfs_err(mp, "%s: CORRUPTED BTREE OR SOMETHING", __func__);
472 	xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
473 	return;
474 }
475 
476 /*
477  * Validate that the bmbt_irecs being returned from bmapi are valid
478  * given the caller's original parameters.  Specifically check the
479  * ranges of the returned irecs to ensure that they only extend beyond
480  * the given parameters if the XFS_BMAPI_ENTIRE flag was set.
481  */
482 STATIC void
483 xfs_bmap_validate_ret(
484 	xfs_fileoff_t		bno,
485 	xfs_filblks_t		len,
486 	uint32_t		flags,
487 	xfs_bmbt_irec_t		*mval,
488 	int			nmap,
489 	int			ret_nmap)
490 {
491 	int			i;		/* index to map values */
492 
493 	ASSERT(ret_nmap <= nmap);
494 
495 	for (i = 0; i < ret_nmap; i++) {
496 		ASSERT(mval[i].br_blockcount > 0);
497 		if (!(flags & XFS_BMAPI_ENTIRE)) {
498 			ASSERT(mval[i].br_startoff >= bno);
499 			ASSERT(mval[i].br_blockcount <= len);
500 			ASSERT(mval[i].br_startoff + mval[i].br_blockcount <=
501 			       bno + len);
502 		} else {
503 			ASSERT(mval[i].br_startoff < bno + len);
504 			ASSERT(mval[i].br_startoff + mval[i].br_blockcount >
505 			       bno);
506 		}
507 		ASSERT(i == 0 ||
508 		       mval[i - 1].br_startoff + mval[i - 1].br_blockcount ==
509 		       mval[i].br_startoff);
510 		ASSERT(mval[i].br_startblock != DELAYSTARTBLOCK &&
511 		       mval[i].br_startblock != HOLESTARTBLOCK);
512 		ASSERT(mval[i].br_state == XFS_EXT_NORM ||
513 		       mval[i].br_state == XFS_EXT_UNWRITTEN);
514 	}
515 }
516 
517 #else
518 #define xfs_bmap_check_leaf_extents(cur, ip, whichfork)		do { } while (0)
519 #define	xfs_bmap_validate_ret(bno,len,flags,mval,onmap,nmap)	do { } while (0)
520 #endif /* DEBUG */
521 
522 /*
523  * Inode fork format manipulation functions
524  */
525 
526 /*
527  * Convert the inode format to extent format if it currently is in btree format,
528  * but the extent list is small enough that it fits into the extent format.
529  *
530  * Since the extents are already in-core, all we have to do is give up the space
531  * for the btree root and pitch the leaf block.
532  */
533 STATIC int				/* error */
534 xfs_bmap_btree_to_extents(
535 	struct xfs_trans	*tp,	/* transaction pointer */
536 	struct xfs_inode	*ip,	/* incore inode pointer */
537 	struct xfs_btree_cur	*cur,	/* btree cursor */
538 	int			*logflagsp, /* inode logging flags */
539 	int			whichfork)  /* data or attr fork */
540 {
541 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
542 	struct xfs_mount	*mp = ip->i_mount;
543 	struct xfs_btree_block	*rblock = ifp->if_broot;
544 	struct xfs_btree_block	*cblock;/* child btree block */
545 	xfs_fsblock_t		cbno;	/* child block number */
546 	struct xfs_buf		*cbp;	/* child block's buffer */
547 	int			error;	/* error return value */
548 	__be64			*pp;	/* ptr to block address */
549 	struct xfs_owner_info	oinfo;
550 
551 	/* check if we actually need the extent format first: */
552 	if (!xfs_bmap_wants_extents(ip, whichfork))
553 		return 0;
554 
555 	ASSERT(cur);
556 	ASSERT(whichfork != XFS_COW_FORK);
557 	ASSERT(ifp->if_format == XFS_DINODE_FMT_BTREE);
558 	ASSERT(be16_to_cpu(rblock->bb_level) == 1);
559 	ASSERT(be16_to_cpu(rblock->bb_numrecs) == 1);
560 	ASSERT(xfs_bmbt_maxrecs(mp, ifp->if_broot_bytes, 0) == 1);
561 
562 	pp = XFS_BMAP_BROOT_PTR_ADDR(mp, rblock, 1, ifp->if_broot_bytes);
563 	cbno = be64_to_cpu(*pp);
564 #ifdef DEBUG
565 	if (XFS_IS_CORRUPT(cur->bc_mp, !xfs_btree_check_lptr(cur, cbno, 1)))
566 		return -EFSCORRUPTED;
567 #endif
568 	error = xfs_btree_read_bufl(mp, tp, cbno, &cbp, XFS_BMAP_BTREE_REF,
569 				&xfs_bmbt_buf_ops);
570 	if (error)
571 		return error;
572 	cblock = XFS_BUF_TO_BLOCK(cbp);
573 	if ((error = xfs_btree_check_block(cur, cblock, 0, cbp)))
574 		return error;
575 	xfs_rmap_ino_bmbt_owner(&oinfo, ip->i_ino, whichfork);
576 	xfs_free_extent_later(cur->bc_tp, cbno, 1, &oinfo);
577 	ip->i_nblocks--;
578 	xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_BCOUNT, -1L);
579 	xfs_trans_binval(tp, cbp);
580 	if (cur->bc_levels[0].bp == cbp)
581 		cur->bc_levels[0].bp = NULL;
582 	xfs_iroot_realloc(ip, -1, whichfork);
583 	ASSERT(ifp->if_broot == NULL);
584 	ifp->if_format = XFS_DINODE_FMT_EXTENTS;
585 	*logflagsp |= XFS_ILOG_CORE | xfs_ilog_fext(whichfork);
586 	return 0;
587 }
588 
589 /*
590  * Convert an extents-format file into a btree-format file.
591  * The new file will have a root block (in the inode) and a single child block.
592  */
593 STATIC int					/* error */
594 xfs_bmap_extents_to_btree(
595 	struct xfs_trans	*tp,		/* transaction pointer */
596 	struct xfs_inode	*ip,		/* incore inode pointer */
597 	struct xfs_btree_cur	**curp,		/* cursor returned to caller */
598 	int			wasdel,		/* converting a delayed alloc */
599 	int			*logflagsp,	/* inode logging flags */
600 	int			whichfork)	/* data or attr fork */
601 {
602 	struct xfs_btree_block	*ablock;	/* allocated (child) bt block */
603 	struct xfs_buf		*abp;		/* buffer for ablock */
604 	struct xfs_alloc_arg	args;		/* allocation arguments */
605 	struct xfs_bmbt_rec	*arp;		/* child record pointer */
606 	struct xfs_btree_block	*block;		/* btree root block */
607 	struct xfs_btree_cur	*cur;		/* bmap btree cursor */
608 	int			error;		/* error return value */
609 	struct xfs_ifork	*ifp;		/* inode fork pointer */
610 	struct xfs_bmbt_key	*kp;		/* root block key pointer */
611 	struct xfs_mount	*mp;		/* mount structure */
612 	xfs_bmbt_ptr_t		*pp;		/* root block address pointer */
613 	struct xfs_iext_cursor	icur;
614 	struct xfs_bmbt_irec	rec;
615 	xfs_extnum_t		cnt = 0;
616 
617 	mp = ip->i_mount;
618 	ASSERT(whichfork != XFS_COW_FORK);
619 	ifp = xfs_ifork_ptr(ip, whichfork);
620 	ASSERT(ifp->if_format == XFS_DINODE_FMT_EXTENTS);
621 
622 	/*
623 	 * Make space in the inode incore. This needs to be undone if we fail
624 	 * to expand the root.
625 	 */
626 	xfs_iroot_realloc(ip, 1, whichfork);
627 
628 	/*
629 	 * Fill in the root.
630 	 */
631 	block = ifp->if_broot;
632 	xfs_btree_init_block_int(mp, block, XFS_BUF_DADDR_NULL,
633 				 XFS_BTNUM_BMAP, 1, 1, ip->i_ino,
634 				 XFS_BTREE_LONG_PTRS);
635 	/*
636 	 * Need a cursor.  Can't allocate until bb_level is filled in.
637 	 */
638 	cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
639 	cur->bc_ino.flags = wasdel ? XFS_BTCUR_BMBT_WASDEL : 0;
640 	/*
641 	 * Convert to a btree with two levels, one record in root.
642 	 */
643 	ifp->if_format = XFS_DINODE_FMT_BTREE;
644 	memset(&args, 0, sizeof(args));
645 	args.tp = tp;
646 	args.mp = mp;
647 	xfs_rmap_ino_bmbt_owner(&args.oinfo, ip->i_ino, whichfork);
648 	if (tp->t_firstblock == NULLFSBLOCK) {
649 		args.type = XFS_ALLOCTYPE_START_BNO;
650 		args.fsbno = XFS_INO_TO_FSB(mp, ip->i_ino);
651 	} else if (tp->t_flags & XFS_TRANS_LOWMODE) {
652 		args.type = XFS_ALLOCTYPE_START_BNO;
653 		args.fsbno = tp->t_firstblock;
654 	} else {
655 		args.type = XFS_ALLOCTYPE_NEAR_BNO;
656 		args.fsbno = tp->t_firstblock;
657 	}
658 	args.minlen = args.maxlen = args.prod = 1;
659 	args.wasdel = wasdel;
660 	*logflagsp = 0;
661 	error = xfs_alloc_vextent(&args);
662 	if (error)
663 		goto out_root_realloc;
664 
665 	if (WARN_ON_ONCE(args.fsbno == NULLFSBLOCK)) {
666 		error = -ENOSPC;
667 		goto out_root_realloc;
668 	}
669 
670 	/*
671 	 * Allocation can't fail, the space was reserved.
672 	 */
673 	ASSERT(tp->t_firstblock == NULLFSBLOCK ||
674 	       args.agno >= XFS_FSB_TO_AGNO(mp, tp->t_firstblock));
675 	tp->t_firstblock = args.fsbno;
676 	cur->bc_ino.allocated++;
677 	ip->i_nblocks++;
678 	xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_BCOUNT, 1L);
679 	error = xfs_trans_get_buf(tp, mp->m_ddev_targp,
680 			XFS_FSB_TO_DADDR(mp, args.fsbno),
681 			mp->m_bsize, 0, &abp);
682 	if (error)
683 		goto out_unreserve_dquot;
684 
685 	/*
686 	 * Fill in the child block.
687 	 */
688 	abp->b_ops = &xfs_bmbt_buf_ops;
689 	ablock = XFS_BUF_TO_BLOCK(abp);
690 	xfs_btree_init_block_int(mp, ablock, xfs_buf_daddr(abp),
691 				XFS_BTNUM_BMAP, 0, 0, ip->i_ino,
692 				XFS_BTREE_LONG_PTRS);
693 
694 	for_each_xfs_iext(ifp, &icur, &rec) {
695 		if (isnullstartblock(rec.br_startblock))
696 			continue;
697 		arp = XFS_BMBT_REC_ADDR(mp, ablock, 1 + cnt);
698 		xfs_bmbt_disk_set_all(arp, &rec);
699 		cnt++;
700 	}
701 	ASSERT(cnt == ifp->if_nextents);
702 	xfs_btree_set_numrecs(ablock, cnt);
703 
704 	/*
705 	 * Fill in the root key and pointer.
706 	 */
707 	kp = XFS_BMBT_KEY_ADDR(mp, block, 1);
708 	arp = XFS_BMBT_REC_ADDR(mp, ablock, 1);
709 	kp->br_startoff = cpu_to_be64(xfs_bmbt_disk_get_startoff(arp));
710 	pp = XFS_BMBT_PTR_ADDR(mp, block, 1, xfs_bmbt_get_maxrecs(cur,
711 						be16_to_cpu(block->bb_level)));
712 	*pp = cpu_to_be64(args.fsbno);
713 
714 	/*
715 	 * Do all this logging at the end so that
716 	 * the root is at the right level.
717 	 */
718 	xfs_btree_log_block(cur, abp, XFS_BB_ALL_BITS);
719 	xfs_btree_log_recs(cur, abp, 1, be16_to_cpu(ablock->bb_numrecs));
720 	ASSERT(*curp == NULL);
721 	*curp = cur;
722 	*logflagsp = XFS_ILOG_CORE | xfs_ilog_fbroot(whichfork);
723 	return 0;
724 
725 out_unreserve_dquot:
726 	xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_BCOUNT, -1L);
727 out_root_realloc:
728 	xfs_iroot_realloc(ip, -1, whichfork);
729 	ifp->if_format = XFS_DINODE_FMT_EXTENTS;
730 	ASSERT(ifp->if_broot == NULL);
731 	xfs_btree_del_cursor(cur, XFS_BTREE_ERROR);
732 
733 	return error;
734 }
735 
736 /*
737  * Convert a local file to an extents file.
738  * This code is out of bounds for data forks of regular files,
739  * since the file data needs to get logged so things will stay consistent.
740  * (The bmap-level manipulations are ok, though).
741  */
742 void
743 xfs_bmap_local_to_extents_empty(
744 	struct xfs_trans	*tp,
745 	struct xfs_inode	*ip,
746 	int			whichfork)
747 {
748 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
749 
750 	ASSERT(whichfork != XFS_COW_FORK);
751 	ASSERT(ifp->if_format == XFS_DINODE_FMT_LOCAL);
752 	ASSERT(ifp->if_bytes == 0);
753 	ASSERT(ifp->if_nextents == 0);
754 
755 	xfs_bmap_forkoff_reset(ip, whichfork);
756 	ifp->if_u1.if_root = NULL;
757 	ifp->if_height = 0;
758 	ifp->if_format = XFS_DINODE_FMT_EXTENTS;
759 	xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
760 }
761 
762 
763 STATIC int				/* error */
764 xfs_bmap_local_to_extents(
765 	xfs_trans_t	*tp,		/* transaction pointer */
766 	xfs_inode_t	*ip,		/* incore inode pointer */
767 	xfs_extlen_t	total,		/* total blocks needed by transaction */
768 	int		*logflagsp,	/* inode logging flags */
769 	int		whichfork,
770 	void		(*init_fn)(struct xfs_trans *tp,
771 				   struct xfs_buf *bp,
772 				   struct xfs_inode *ip,
773 				   struct xfs_ifork *ifp))
774 {
775 	int		error = 0;
776 	int		flags;		/* logging flags returned */
777 	struct xfs_ifork *ifp;		/* inode fork pointer */
778 	xfs_alloc_arg_t	args;		/* allocation arguments */
779 	struct xfs_buf	*bp;		/* buffer for extent block */
780 	struct xfs_bmbt_irec rec;
781 	struct xfs_iext_cursor icur;
782 
783 	/*
784 	 * We don't want to deal with the case of keeping inode data inline yet.
785 	 * So sending the data fork of a regular inode is invalid.
786 	 */
787 	ASSERT(!(S_ISREG(VFS_I(ip)->i_mode) && whichfork == XFS_DATA_FORK));
788 	ifp = xfs_ifork_ptr(ip, whichfork);
789 	ASSERT(ifp->if_format == XFS_DINODE_FMT_LOCAL);
790 
791 	if (!ifp->if_bytes) {
792 		xfs_bmap_local_to_extents_empty(tp, ip, whichfork);
793 		flags = XFS_ILOG_CORE;
794 		goto done;
795 	}
796 
797 	flags = 0;
798 	error = 0;
799 	memset(&args, 0, sizeof(args));
800 	args.tp = tp;
801 	args.mp = ip->i_mount;
802 	xfs_rmap_ino_owner(&args.oinfo, ip->i_ino, whichfork, 0);
803 	/*
804 	 * Allocate a block.  We know we need only one, since the
805 	 * file currently fits in an inode.
806 	 */
807 	if (tp->t_firstblock == NULLFSBLOCK) {
808 		args.fsbno = XFS_INO_TO_FSB(args.mp, ip->i_ino);
809 		args.type = XFS_ALLOCTYPE_START_BNO;
810 	} else {
811 		args.fsbno = tp->t_firstblock;
812 		args.type = XFS_ALLOCTYPE_NEAR_BNO;
813 	}
814 	args.total = total;
815 	args.minlen = args.maxlen = args.prod = 1;
816 	error = xfs_alloc_vextent(&args);
817 	if (error)
818 		goto done;
819 
820 	/* Can't fail, the space was reserved. */
821 	ASSERT(args.fsbno != NULLFSBLOCK);
822 	ASSERT(args.len == 1);
823 	tp->t_firstblock = args.fsbno;
824 	error = xfs_trans_get_buf(tp, args.mp->m_ddev_targp,
825 			XFS_FSB_TO_DADDR(args.mp, args.fsbno),
826 			args.mp->m_bsize, 0, &bp);
827 	if (error)
828 		goto done;
829 
830 	/*
831 	 * Initialize the block, copy the data and log the remote buffer.
832 	 *
833 	 * The callout is responsible for logging because the remote format
834 	 * might differ from the local format and thus we don't know how much to
835 	 * log here. Note that init_fn must also set the buffer log item type
836 	 * correctly.
837 	 */
838 	init_fn(tp, bp, ip, ifp);
839 
840 	/* account for the change in fork size */
841 	xfs_idata_realloc(ip, -ifp->if_bytes, whichfork);
842 	xfs_bmap_local_to_extents_empty(tp, ip, whichfork);
843 	flags |= XFS_ILOG_CORE;
844 
845 	ifp->if_u1.if_root = NULL;
846 	ifp->if_height = 0;
847 
848 	rec.br_startoff = 0;
849 	rec.br_startblock = args.fsbno;
850 	rec.br_blockcount = 1;
851 	rec.br_state = XFS_EXT_NORM;
852 	xfs_iext_first(ifp, &icur);
853 	xfs_iext_insert(ip, &icur, &rec, 0);
854 
855 	ifp->if_nextents = 1;
856 	ip->i_nblocks = 1;
857 	xfs_trans_mod_dquot_byino(tp, ip,
858 		XFS_TRANS_DQ_BCOUNT, 1L);
859 	flags |= xfs_ilog_fext(whichfork);
860 
861 done:
862 	*logflagsp = flags;
863 	return error;
864 }
865 
866 /*
867  * Called from xfs_bmap_add_attrfork to handle btree format files.
868  */
869 STATIC int					/* error */
870 xfs_bmap_add_attrfork_btree(
871 	xfs_trans_t		*tp,		/* transaction pointer */
872 	xfs_inode_t		*ip,		/* incore inode pointer */
873 	int			*flags)		/* inode logging flags */
874 {
875 	struct xfs_btree_block	*block = ip->i_df.if_broot;
876 	struct xfs_btree_cur	*cur;		/* btree cursor */
877 	int			error;		/* error return value */
878 	xfs_mount_t		*mp;		/* file system mount struct */
879 	int			stat;		/* newroot status */
880 
881 	mp = ip->i_mount;
882 
883 	if (XFS_BMAP_BMDR_SPACE(block) <= xfs_inode_data_fork_size(ip))
884 		*flags |= XFS_ILOG_DBROOT;
885 	else {
886 		cur = xfs_bmbt_init_cursor(mp, tp, ip, XFS_DATA_FORK);
887 		error = xfs_bmbt_lookup_first(cur, &stat);
888 		if (error)
889 			goto error0;
890 		/* must be at least one entry */
891 		if (XFS_IS_CORRUPT(mp, stat != 1)) {
892 			error = -EFSCORRUPTED;
893 			goto error0;
894 		}
895 		if ((error = xfs_btree_new_iroot(cur, flags, &stat)))
896 			goto error0;
897 		if (stat == 0) {
898 			xfs_btree_del_cursor(cur, XFS_BTREE_NOERROR);
899 			return -ENOSPC;
900 		}
901 		cur->bc_ino.allocated = 0;
902 		xfs_btree_del_cursor(cur, XFS_BTREE_NOERROR);
903 	}
904 	return 0;
905 error0:
906 	xfs_btree_del_cursor(cur, XFS_BTREE_ERROR);
907 	return error;
908 }
909 
910 /*
911  * Called from xfs_bmap_add_attrfork to handle extents format files.
912  */
913 STATIC int					/* error */
914 xfs_bmap_add_attrfork_extents(
915 	struct xfs_trans	*tp,		/* transaction pointer */
916 	struct xfs_inode	*ip,		/* incore inode pointer */
917 	int			*flags)		/* inode logging flags */
918 {
919 	struct xfs_btree_cur	*cur;		/* bmap btree cursor */
920 	int			error;		/* error return value */
921 
922 	if (ip->i_df.if_nextents * sizeof(struct xfs_bmbt_rec) <=
923 	    xfs_inode_data_fork_size(ip))
924 		return 0;
925 	cur = NULL;
926 	error = xfs_bmap_extents_to_btree(tp, ip, &cur, 0, flags,
927 					  XFS_DATA_FORK);
928 	if (cur) {
929 		cur->bc_ino.allocated = 0;
930 		xfs_btree_del_cursor(cur, error);
931 	}
932 	return error;
933 }
934 
935 /*
936  * Called from xfs_bmap_add_attrfork to handle local format files. Each
937  * different data fork content type needs a different callout to do the
938  * conversion. Some are basic and only require special block initialisation
939  * callouts for the data formating, others (directories) are so specialised they
940  * handle everything themselves.
941  *
942  * XXX (dgc): investigate whether directory conversion can use the generic
943  * formatting callout. It should be possible - it's just a very complex
944  * formatter.
945  */
946 STATIC int					/* error */
947 xfs_bmap_add_attrfork_local(
948 	struct xfs_trans	*tp,		/* transaction pointer */
949 	struct xfs_inode	*ip,		/* incore inode pointer */
950 	int			*flags)		/* inode logging flags */
951 {
952 	struct xfs_da_args	dargs;		/* args for dir/attr code */
953 
954 	if (ip->i_df.if_bytes <= xfs_inode_data_fork_size(ip))
955 		return 0;
956 
957 	if (S_ISDIR(VFS_I(ip)->i_mode)) {
958 		memset(&dargs, 0, sizeof(dargs));
959 		dargs.geo = ip->i_mount->m_dir_geo;
960 		dargs.dp = ip;
961 		dargs.total = dargs.geo->fsbcount;
962 		dargs.whichfork = XFS_DATA_FORK;
963 		dargs.trans = tp;
964 		return xfs_dir2_sf_to_block(&dargs);
965 	}
966 
967 	if (S_ISLNK(VFS_I(ip)->i_mode))
968 		return xfs_bmap_local_to_extents(tp, ip, 1, flags,
969 						 XFS_DATA_FORK,
970 						 xfs_symlink_local_to_remote);
971 
972 	/* should only be called for types that support local format data */
973 	ASSERT(0);
974 	return -EFSCORRUPTED;
975 }
976 
977 /*
978  * Set an inode attr fork offset based on the format of the data fork.
979  */
980 static int
981 xfs_bmap_set_attrforkoff(
982 	struct xfs_inode	*ip,
983 	int			size,
984 	int			*version)
985 {
986 	int			default_size = xfs_default_attroffset(ip) >> 3;
987 
988 	switch (ip->i_df.if_format) {
989 	case XFS_DINODE_FMT_DEV:
990 		ip->i_forkoff = default_size;
991 		break;
992 	case XFS_DINODE_FMT_LOCAL:
993 	case XFS_DINODE_FMT_EXTENTS:
994 	case XFS_DINODE_FMT_BTREE:
995 		ip->i_forkoff = xfs_attr_shortform_bytesfit(ip, size);
996 		if (!ip->i_forkoff)
997 			ip->i_forkoff = default_size;
998 		else if (xfs_has_attr2(ip->i_mount) && version)
999 			*version = 2;
1000 		break;
1001 	default:
1002 		ASSERT(0);
1003 		return -EINVAL;
1004 	}
1005 
1006 	return 0;
1007 }
1008 
1009 /*
1010  * Convert inode from non-attributed to attributed.
1011  * Must not be in a transaction, ip must not be locked.
1012  */
1013 int						/* error code */
1014 xfs_bmap_add_attrfork(
1015 	xfs_inode_t		*ip,		/* incore inode pointer */
1016 	int			size,		/* space new attribute needs */
1017 	int			rsvd)		/* xact may use reserved blks */
1018 {
1019 	xfs_mount_t		*mp;		/* mount structure */
1020 	xfs_trans_t		*tp;		/* transaction pointer */
1021 	int			blks;		/* space reservation */
1022 	int			version = 1;	/* superblock attr version */
1023 	int			logflags;	/* logging flags */
1024 	int			error;		/* error return value */
1025 
1026 	ASSERT(xfs_inode_has_attr_fork(ip) == 0);
1027 
1028 	mp = ip->i_mount;
1029 	ASSERT(!XFS_NOT_DQATTACHED(mp, ip));
1030 
1031 	blks = XFS_ADDAFORK_SPACE_RES(mp);
1032 
1033 	error = xfs_trans_alloc_inode(ip, &M_RES(mp)->tr_addafork, blks, 0,
1034 			rsvd, &tp);
1035 	if (error)
1036 		return error;
1037 	if (xfs_inode_has_attr_fork(ip))
1038 		goto trans_cancel;
1039 
1040 	xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1041 	error = xfs_bmap_set_attrforkoff(ip, size, &version);
1042 	if (error)
1043 		goto trans_cancel;
1044 
1045 	xfs_ifork_init_attr(ip, XFS_DINODE_FMT_EXTENTS, 0);
1046 	logflags = 0;
1047 	switch (ip->i_df.if_format) {
1048 	case XFS_DINODE_FMT_LOCAL:
1049 		error = xfs_bmap_add_attrfork_local(tp, ip, &logflags);
1050 		break;
1051 	case XFS_DINODE_FMT_EXTENTS:
1052 		error = xfs_bmap_add_attrfork_extents(tp, ip, &logflags);
1053 		break;
1054 	case XFS_DINODE_FMT_BTREE:
1055 		error = xfs_bmap_add_attrfork_btree(tp, ip, &logflags);
1056 		break;
1057 	default:
1058 		error = 0;
1059 		break;
1060 	}
1061 	if (logflags)
1062 		xfs_trans_log_inode(tp, ip, logflags);
1063 	if (error)
1064 		goto trans_cancel;
1065 	if (!xfs_has_attr(mp) ||
1066 	   (!xfs_has_attr2(mp) && version == 2)) {
1067 		bool log_sb = false;
1068 
1069 		spin_lock(&mp->m_sb_lock);
1070 		if (!xfs_has_attr(mp)) {
1071 			xfs_add_attr(mp);
1072 			log_sb = true;
1073 		}
1074 		if (!xfs_has_attr2(mp) && version == 2) {
1075 			xfs_add_attr2(mp);
1076 			log_sb = true;
1077 		}
1078 		spin_unlock(&mp->m_sb_lock);
1079 		if (log_sb)
1080 			xfs_log_sb(tp);
1081 	}
1082 
1083 	error = xfs_trans_commit(tp);
1084 	xfs_iunlock(ip, XFS_ILOCK_EXCL);
1085 	return error;
1086 
1087 trans_cancel:
1088 	xfs_trans_cancel(tp);
1089 	xfs_iunlock(ip, XFS_ILOCK_EXCL);
1090 	return error;
1091 }
1092 
1093 /*
1094  * Internal and external extent tree search functions.
1095  */
1096 
1097 struct xfs_iread_state {
1098 	struct xfs_iext_cursor	icur;
1099 	xfs_extnum_t		loaded;
1100 };
1101 
1102 /* Stuff every bmbt record from this block into the incore extent map. */
1103 static int
1104 xfs_iread_bmbt_block(
1105 	struct xfs_btree_cur	*cur,
1106 	int			level,
1107 	void			*priv)
1108 {
1109 	struct xfs_iread_state	*ir = priv;
1110 	struct xfs_mount	*mp = cur->bc_mp;
1111 	struct xfs_inode	*ip = cur->bc_ino.ip;
1112 	struct xfs_btree_block	*block;
1113 	struct xfs_buf		*bp;
1114 	struct xfs_bmbt_rec	*frp;
1115 	xfs_extnum_t		num_recs;
1116 	xfs_extnum_t		j;
1117 	int			whichfork = cur->bc_ino.whichfork;
1118 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
1119 
1120 	block = xfs_btree_get_block(cur, level, &bp);
1121 
1122 	/* Abort if we find more records than nextents. */
1123 	num_recs = xfs_btree_get_numrecs(block);
1124 	if (unlikely(ir->loaded + num_recs > ifp->if_nextents)) {
1125 		xfs_warn(ip->i_mount, "corrupt dinode %llu, (btree extents).",
1126 				(unsigned long long)ip->i_ino);
1127 		xfs_inode_verifier_error(ip, -EFSCORRUPTED, __func__, block,
1128 				sizeof(*block), __this_address);
1129 		return -EFSCORRUPTED;
1130 	}
1131 
1132 	/* Copy records into the incore cache. */
1133 	frp = XFS_BMBT_REC_ADDR(mp, block, 1);
1134 	for (j = 0; j < num_recs; j++, frp++, ir->loaded++) {
1135 		struct xfs_bmbt_irec	new;
1136 		xfs_failaddr_t		fa;
1137 
1138 		xfs_bmbt_disk_get_all(frp, &new);
1139 		fa = xfs_bmap_validate_extent(ip, whichfork, &new);
1140 		if (fa) {
1141 			xfs_inode_verifier_error(ip, -EFSCORRUPTED,
1142 					"xfs_iread_extents(2)", frp,
1143 					sizeof(*frp), fa);
1144 			return -EFSCORRUPTED;
1145 		}
1146 		xfs_iext_insert(ip, &ir->icur, &new,
1147 				xfs_bmap_fork_to_state(whichfork));
1148 		trace_xfs_read_extent(ip, &ir->icur,
1149 				xfs_bmap_fork_to_state(whichfork), _THIS_IP_);
1150 		xfs_iext_next(ifp, &ir->icur);
1151 	}
1152 
1153 	return 0;
1154 }
1155 
1156 /*
1157  * Read in extents from a btree-format inode.
1158  */
1159 int
1160 xfs_iread_extents(
1161 	struct xfs_trans	*tp,
1162 	struct xfs_inode	*ip,
1163 	int			whichfork)
1164 {
1165 	struct xfs_iread_state	ir;
1166 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
1167 	struct xfs_mount	*mp = ip->i_mount;
1168 	struct xfs_btree_cur	*cur;
1169 	int			error;
1170 
1171 	if (!xfs_need_iread_extents(ifp))
1172 		return 0;
1173 
1174 	ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
1175 
1176 	ir.loaded = 0;
1177 	xfs_iext_first(ifp, &ir.icur);
1178 	cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
1179 	error = xfs_btree_visit_blocks(cur, xfs_iread_bmbt_block,
1180 			XFS_BTREE_VISIT_RECORDS, &ir);
1181 	xfs_btree_del_cursor(cur, error);
1182 	if (error)
1183 		goto out;
1184 
1185 	if (XFS_IS_CORRUPT(mp, ir.loaded != ifp->if_nextents)) {
1186 		error = -EFSCORRUPTED;
1187 		goto out;
1188 	}
1189 	ASSERT(ir.loaded == xfs_iext_count(ifp));
1190 	return 0;
1191 out:
1192 	xfs_iext_destroy(ifp);
1193 	return error;
1194 }
1195 
1196 /*
1197  * Returns the relative block number of the first unused block(s) in the given
1198  * fork with at least "len" logically contiguous blocks free.  This is the
1199  * lowest-address hole if the fork has holes, else the first block past the end
1200  * of fork.  Return 0 if the fork is currently local (in-inode).
1201  */
1202 int						/* error */
1203 xfs_bmap_first_unused(
1204 	struct xfs_trans	*tp,		/* transaction pointer */
1205 	struct xfs_inode	*ip,		/* incore inode */
1206 	xfs_extlen_t		len,		/* size of hole to find */
1207 	xfs_fileoff_t		*first_unused,	/* unused block */
1208 	int			whichfork)	/* data or attr fork */
1209 {
1210 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
1211 	struct xfs_bmbt_irec	got;
1212 	struct xfs_iext_cursor	icur;
1213 	xfs_fileoff_t		lastaddr = 0;
1214 	xfs_fileoff_t		lowest, max;
1215 	int			error;
1216 
1217 	if (ifp->if_format == XFS_DINODE_FMT_LOCAL) {
1218 		*first_unused = 0;
1219 		return 0;
1220 	}
1221 
1222 	ASSERT(xfs_ifork_has_extents(ifp));
1223 
1224 	error = xfs_iread_extents(tp, ip, whichfork);
1225 	if (error)
1226 		return error;
1227 
1228 	lowest = max = *first_unused;
1229 	for_each_xfs_iext(ifp, &icur, &got) {
1230 		/*
1231 		 * See if the hole before this extent will work.
1232 		 */
1233 		if (got.br_startoff >= lowest + len &&
1234 		    got.br_startoff - max >= len)
1235 			break;
1236 		lastaddr = got.br_startoff + got.br_blockcount;
1237 		max = XFS_FILEOFF_MAX(lastaddr, lowest);
1238 	}
1239 
1240 	*first_unused = max;
1241 	return 0;
1242 }
1243 
1244 /*
1245  * Returns the file-relative block number of the last block - 1 before
1246  * last_block (input value) in the file.
1247  * This is not based on i_size, it is based on the extent records.
1248  * Returns 0 for local files, as they do not have extent records.
1249  */
1250 int						/* error */
1251 xfs_bmap_last_before(
1252 	struct xfs_trans	*tp,		/* transaction pointer */
1253 	struct xfs_inode	*ip,		/* incore inode */
1254 	xfs_fileoff_t		*last_block,	/* last block */
1255 	int			whichfork)	/* data or attr fork */
1256 {
1257 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
1258 	struct xfs_bmbt_irec	got;
1259 	struct xfs_iext_cursor	icur;
1260 	int			error;
1261 
1262 	switch (ifp->if_format) {
1263 	case XFS_DINODE_FMT_LOCAL:
1264 		*last_block = 0;
1265 		return 0;
1266 	case XFS_DINODE_FMT_BTREE:
1267 	case XFS_DINODE_FMT_EXTENTS:
1268 		break;
1269 	default:
1270 		ASSERT(0);
1271 		return -EFSCORRUPTED;
1272 	}
1273 
1274 	error = xfs_iread_extents(tp, ip, whichfork);
1275 	if (error)
1276 		return error;
1277 
1278 	if (!xfs_iext_lookup_extent_before(ip, ifp, last_block, &icur, &got))
1279 		*last_block = 0;
1280 	return 0;
1281 }
1282 
1283 int
1284 xfs_bmap_last_extent(
1285 	struct xfs_trans	*tp,
1286 	struct xfs_inode	*ip,
1287 	int			whichfork,
1288 	struct xfs_bmbt_irec	*rec,
1289 	int			*is_empty)
1290 {
1291 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
1292 	struct xfs_iext_cursor	icur;
1293 	int			error;
1294 
1295 	error = xfs_iread_extents(tp, ip, whichfork);
1296 	if (error)
1297 		return error;
1298 
1299 	xfs_iext_last(ifp, &icur);
1300 	if (!xfs_iext_get_extent(ifp, &icur, rec))
1301 		*is_empty = 1;
1302 	else
1303 		*is_empty = 0;
1304 	return 0;
1305 }
1306 
1307 /*
1308  * Check the last inode extent to determine whether this allocation will result
1309  * in blocks being allocated at the end of the file. When we allocate new data
1310  * blocks at the end of the file which do not start at the previous data block,
1311  * we will try to align the new blocks at stripe unit boundaries.
1312  *
1313  * Returns 1 in bma->aeof if the file (fork) is empty as any new write will be
1314  * at, or past the EOF.
1315  */
1316 STATIC int
1317 xfs_bmap_isaeof(
1318 	struct xfs_bmalloca	*bma,
1319 	int			whichfork)
1320 {
1321 	struct xfs_bmbt_irec	rec;
1322 	int			is_empty;
1323 	int			error;
1324 
1325 	bma->aeof = false;
1326 	error = xfs_bmap_last_extent(NULL, bma->ip, whichfork, &rec,
1327 				     &is_empty);
1328 	if (error)
1329 		return error;
1330 
1331 	if (is_empty) {
1332 		bma->aeof = true;
1333 		return 0;
1334 	}
1335 
1336 	/*
1337 	 * Check if we are allocation or past the last extent, or at least into
1338 	 * the last delayed allocated extent.
1339 	 */
1340 	bma->aeof = bma->offset >= rec.br_startoff + rec.br_blockcount ||
1341 		(bma->offset >= rec.br_startoff &&
1342 		 isnullstartblock(rec.br_startblock));
1343 	return 0;
1344 }
1345 
1346 /*
1347  * Returns the file-relative block number of the first block past eof in
1348  * the file.  This is not based on i_size, it is based on the extent records.
1349  * Returns 0 for local files, as they do not have extent records.
1350  */
1351 int
1352 xfs_bmap_last_offset(
1353 	struct xfs_inode	*ip,
1354 	xfs_fileoff_t		*last_block,
1355 	int			whichfork)
1356 {
1357 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
1358 	struct xfs_bmbt_irec	rec;
1359 	int			is_empty;
1360 	int			error;
1361 
1362 	*last_block = 0;
1363 
1364 	if (ifp->if_format == XFS_DINODE_FMT_LOCAL)
1365 		return 0;
1366 
1367 	if (XFS_IS_CORRUPT(ip->i_mount, !xfs_ifork_has_extents(ifp)))
1368 		return -EFSCORRUPTED;
1369 
1370 	error = xfs_bmap_last_extent(NULL, ip, whichfork, &rec, &is_empty);
1371 	if (error || is_empty)
1372 		return error;
1373 
1374 	*last_block = rec.br_startoff + rec.br_blockcount;
1375 	return 0;
1376 }
1377 
1378 /*
1379  * Extent tree manipulation functions used during allocation.
1380  */
1381 
1382 /*
1383  * Convert a delayed allocation to a real allocation.
1384  */
1385 STATIC int				/* error */
1386 xfs_bmap_add_extent_delay_real(
1387 	struct xfs_bmalloca	*bma,
1388 	int			whichfork)
1389 {
1390 	struct xfs_mount	*mp = bma->ip->i_mount;
1391 	struct xfs_ifork	*ifp = xfs_ifork_ptr(bma->ip, whichfork);
1392 	struct xfs_bmbt_irec	*new = &bma->got;
1393 	int			error;	/* error return value */
1394 	int			i;	/* temp state */
1395 	xfs_fileoff_t		new_endoff;	/* end offset of new entry */
1396 	xfs_bmbt_irec_t		r[3];	/* neighbor extent entries */
1397 					/* left is 0, right is 1, prev is 2 */
1398 	int			rval=0;	/* return value (logging flags) */
1399 	uint32_t		state = xfs_bmap_fork_to_state(whichfork);
1400 	xfs_filblks_t		da_new; /* new count del alloc blocks used */
1401 	xfs_filblks_t		da_old; /* old count del alloc blocks used */
1402 	xfs_filblks_t		temp=0;	/* value for da_new calculations */
1403 	int			tmp_rval;	/* partial logging flags */
1404 	struct xfs_bmbt_irec	old;
1405 
1406 	ASSERT(whichfork != XFS_ATTR_FORK);
1407 	ASSERT(!isnullstartblock(new->br_startblock));
1408 	ASSERT(!bma->cur ||
1409 	       (bma->cur->bc_ino.flags & XFS_BTCUR_BMBT_WASDEL));
1410 
1411 	XFS_STATS_INC(mp, xs_add_exlist);
1412 
1413 #define	LEFT		r[0]
1414 #define	RIGHT		r[1]
1415 #define	PREV		r[2]
1416 
1417 	/*
1418 	 * Set up a bunch of variables to make the tests simpler.
1419 	 */
1420 	xfs_iext_get_extent(ifp, &bma->icur, &PREV);
1421 	new_endoff = new->br_startoff + new->br_blockcount;
1422 	ASSERT(isnullstartblock(PREV.br_startblock));
1423 	ASSERT(PREV.br_startoff <= new->br_startoff);
1424 	ASSERT(PREV.br_startoff + PREV.br_blockcount >= new_endoff);
1425 
1426 	da_old = startblockval(PREV.br_startblock);
1427 	da_new = 0;
1428 
1429 	/*
1430 	 * Set flags determining what part of the previous delayed allocation
1431 	 * extent is being replaced by a real allocation.
1432 	 */
1433 	if (PREV.br_startoff == new->br_startoff)
1434 		state |= BMAP_LEFT_FILLING;
1435 	if (PREV.br_startoff + PREV.br_blockcount == new_endoff)
1436 		state |= BMAP_RIGHT_FILLING;
1437 
1438 	/*
1439 	 * Check and set flags if this segment has a left neighbor.
1440 	 * Don't set contiguous if the combined extent would be too large.
1441 	 */
1442 	if (xfs_iext_peek_prev_extent(ifp, &bma->icur, &LEFT)) {
1443 		state |= BMAP_LEFT_VALID;
1444 		if (isnullstartblock(LEFT.br_startblock))
1445 			state |= BMAP_LEFT_DELAY;
1446 	}
1447 
1448 	if ((state & BMAP_LEFT_VALID) && !(state & BMAP_LEFT_DELAY) &&
1449 	    LEFT.br_startoff + LEFT.br_blockcount == new->br_startoff &&
1450 	    LEFT.br_startblock + LEFT.br_blockcount == new->br_startblock &&
1451 	    LEFT.br_state == new->br_state &&
1452 	    LEFT.br_blockcount + new->br_blockcount <= XFS_MAX_BMBT_EXTLEN)
1453 		state |= BMAP_LEFT_CONTIG;
1454 
1455 	/*
1456 	 * Check and set flags if this segment has a right neighbor.
1457 	 * Don't set contiguous if the combined extent would be too large.
1458 	 * Also check for all-three-contiguous being too large.
1459 	 */
1460 	if (xfs_iext_peek_next_extent(ifp, &bma->icur, &RIGHT)) {
1461 		state |= BMAP_RIGHT_VALID;
1462 		if (isnullstartblock(RIGHT.br_startblock))
1463 			state |= BMAP_RIGHT_DELAY;
1464 	}
1465 
1466 	if ((state & BMAP_RIGHT_VALID) && !(state & BMAP_RIGHT_DELAY) &&
1467 	    new_endoff == RIGHT.br_startoff &&
1468 	    new->br_startblock + new->br_blockcount == RIGHT.br_startblock &&
1469 	    new->br_state == RIGHT.br_state &&
1470 	    new->br_blockcount + RIGHT.br_blockcount <= XFS_MAX_BMBT_EXTLEN &&
1471 	    ((state & (BMAP_LEFT_CONTIG | BMAP_LEFT_FILLING |
1472 		       BMAP_RIGHT_FILLING)) !=
1473 		      (BMAP_LEFT_CONTIG | BMAP_LEFT_FILLING |
1474 		       BMAP_RIGHT_FILLING) ||
1475 	     LEFT.br_blockcount + new->br_blockcount + RIGHT.br_blockcount
1476 			<= XFS_MAX_BMBT_EXTLEN))
1477 		state |= BMAP_RIGHT_CONTIG;
1478 
1479 	error = 0;
1480 	/*
1481 	 * Switch out based on the FILLING and CONTIG state bits.
1482 	 */
1483 	switch (state & (BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG |
1484 			 BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG)) {
1485 	case BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG |
1486 	     BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG:
1487 		/*
1488 		 * Filling in all of a previously delayed allocation extent.
1489 		 * The left and right neighbors are both contiguous with new.
1490 		 */
1491 		LEFT.br_blockcount += PREV.br_blockcount + RIGHT.br_blockcount;
1492 
1493 		xfs_iext_remove(bma->ip, &bma->icur, state);
1494 		xfs_iext_remove(bma->ip, &bma->icur, state);
1495 		xfs_iext_prev(ifp, &bma->icur);
1496 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &LEFT);
1497 		ifp->if_nextents--;
1498 
1499 		if (bma->cur == NULL)
1500 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
1501 		else {
1502 			rval = XFS_ILOG_CORE;
1503 			error = xfs_bmbt_lookup_eq(bma->cur, &RIGHT, &i);
1504 			if (error)
1505 				goto done;
1506 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1507 				error = -EFSCORRUPTED;
1508 				goto done;
1509 			}
1510 			error = xfs_btree_delete(bma->cur, &i);
1511 			if (error)
1512 				goto done;
1513 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1514 				error = -EFSCORRUPTED;
1515 				goto done;
1516 			}
1517 			error = xfs_btree_decrement(bma->cur, 0, &i);
1518 			if (error)
1519 				goto done;
1520 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1521 				error = -EFSCORRUPTED;
1522 				goto done;
1523 			}
1524 			error = xfs_bmbt_update(bma->cur, &LEFT);
1525 			if (error)
1526 				goto done;
1527 		}
1528 		break;
1529 
1530 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING | BMAP_LEFT_CONTIG:
1531 		/*
1532 		 * Filling in all of a previously delayed allocation extent.
1533 		 * The left neighbor is contiguous, the right is not.
1534 		 */
1535 		old = LEFT;
1536 		LEFT.br_blockcount += PREV.br_blockcount;
1537 
1538 		xfs_iext_remove(bma->ip, &bma->icur, state);
1539 		xfs_iext_prev(ifp, &bma->icur);
1540 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &LEFT);
1541 
1542 		if (bma->cur == NULL)
1543 			rval = XFS_ILOG_DEXT;
1544 		else {
1545 			rval = 0;
1546 			error = xfs_bmbt_lookup_eq(bma->cur, &old, &i);
1547 			if (error)
1548 				goto done;
1549 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1550 				error = -EFSCORRUPTED;
1551 				goto done;
1552 			}
1553 			error = xfs_bmbt_update(bma->cur, &LEFT);
1554 			if (error)
1555 				goto done;
1556 		}
1557 		break;
1558 
1559 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG:
1560 		/*
1561 		 * Filling in all of a previously delayed allocation extent.
1562 		 * The right neighbor is contiguous, the left is not. Take care
1563 		 * with delay -> unwritten extent allocation here because the
1564 		 * delalloc record we are overwriting is always written.
1565 		 */
1566 		PREV.br_startblock = new->br_startblock;
1567 		PREV.br_blockcount += RIGHT.br_blockcount;
1568 		PREV.br_state = new->br_state;
1569 
1570 		xfs_iext_next(ifp, &bma->icur);
1571 		xfs_iext_remove(bma->ip, &bma->icur, state);
1572 		xfs_iext_prev(ifp, &bma->icur);
1573 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &PREV);
1574 
1575 		if (bma->cur == NULL)
1576 			rval = XFS_ILOG_DEXT;
1577 		else {
1578 			rval = 0;
1579 			error = xfs_bmbt_lookup_eq(bma->cur, &RIGHT, &i);
1580 			if (error)
1581 				goto done;
1582 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1583 				error = -EFSCORRUPTED;
1584 				goto done;
1585 			}
1586 			error = xfs_bmbt_update(bma->cur, &PREV);
1587 			if (error)
1588 				goto done;
1589 		}
1590 		break;
1591 
1592 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING:
1593 		/*
1594 		 * Filling in all of a previously delayed allocation extent.
1595 		 * Neither the left nor right neighbors are contiguous with
1596 		 * the new one.
1597 		 */
1598 		PREV.br_startblock = new->br_startblock;
1599 		PREV.br_state = new->br_state;
1600 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &PREV);
1601 		ifp->if_nextents++;
1602 
1603 		if (bma->cur == NULL)
1604 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
1605 		else {
1606 			rval = XFS_ILOG_CORE;
1607 			error = xfs_bmbt_lookup_eq(bma->cur, new, &i);
1608 			if (error)
1609 				goto done;
1610 			if (XFS_IS_CORRUPT(mp, i != 0)) {
1611 				error = -EFSCORRUPTED;
1612 				goto done;
1613 			}
1614 			error = xfs_btree_insert(bma->cur, &i);
1615 			if (error)
1616 				goto done;
1617 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1618 				error = -EFSCORRUPTED;
1619 				goto done;
1620 			}
1621 		}
1622 		break;
1623 
1624 	case BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG:
1625 		/*
1626 		 * Filling in the first part of a previous delayed allocation.
1627 		 * The left neighbor is contiguous.
1628 		 */
1629 		old = LEFT;
1630 		temp = PREV.br_blockcount - new->br_blockcount;
1631 		da_new = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(bma->ip, temp),
1632 				startblockval(PREV.br_startblock));
1633 
1634 		LEFT.br_blockcount += new->br_blockcount;
1635 
1636 		PREV.br_blockcount = temp;
1637 		PREV.br_startoff += new->br_blockcount;
1638 		PREV.br_startblock = nullstartblock(da_new);
1639 
1640 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &PREV);
1641 		xfs_iext_prev(ifp, &bma->icur);
1642 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &LEFT);
1643 
1644 		if (bma->cur == NULL)
1645 			rval = XFS_ILOG_DEXT;
1646 		else {
1647 			rval = 0;
1648 			error = xfs_bmbt_lookup_eq(bma->cur, &old, &i);
1649 			if (error)
1650 				goto done;
1651 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1652 				error = -EFSCORRUPTED;
1653 				goto done;
1654 			}
1655 			error = xfs_bmbt_update(bma->cur, &LEFT);
1656 			if (error)
1657 				goto done;
1658 		}
1659 		break;
1660 
1661 	case BMAP_LEFT_FILLING:
1662 		/*
1663 		 * Filling in the first part of a previous delayed allocation.
1664 		 * The left neighbor is not contiguous.
1665 		 */
1666 		xfs_iext_update_extent(bma->ip, state, &bma->icur, new);
1667 		ifp->if_nextents++;
1668 
1669 		if (bma->cur == NULL)
1670 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
1671 		else {
1672 			rval = XFS_ILOG_CORE;
1673 			error = xfs_bmbt_lookup_eq(bma->cur, new, &i);
1674 			if (error)
1675 				goto done;
1676 			if (XFS_IS_CORRUPT(mp, i != 0)) {
1677 				error = -EFSCORRUPTED;
1678 				goto done;
1679 			}
1680 			error = xfs_btree_insert(bma->cur, &i);
1681 			if (error)
1682 				goto done;
1683 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1684 				error = -EFSCORRUPTED;
1685 				goto done;
1686 			}
1687 		}
1688 
1689 		if (xfs_bmap_needs_btree(bma->ip, whichfork)) {
1690 			error = xfs_bmap_extents_to_btree(bma->tp, bma->ip,
1691 					&bma->cur, 1, &tmp_rval, whichfork);
1692 			rval |= tmp_rval;
1693 			if (error)
1694 				goto done;
1695 		}
1696 
1697 		temp = PREV.br_blockcount - new->br_blockcount;
1698 		da_new = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(bma->ip, temp),
1699 			startblockval(PREV.br_startblock) -
1700 			(bma->cur ? bma->cur->bc_ino.allocated : 0));
1701 
1702 		PREV.br_startoff = new_endoff;
1703 		PREV.br_blockcount = temp;
1704 		PREV.br_startblock = nullstartblock(da_new);
1705 		xfs_iext_next(ifp, &bma->icur);
1706 		xfs_iext_insert(bma->ip, &bma->icur, &PREV, state);
1707 		xfs_iext_prev(ifp, &bma->icur);
1708 		break;
1709 
1710 	case BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG:
1711 		/*
1712 		 * Filling in the last part of a previous delayed allocation.
1713 		 * The right neighbor is contiguous with the new allocation.
1714 		 */
1715 		old = RIGHT;
1716 		RIGHT.br_startoff = new->br_startoff;
1717 		RIGHT.br_startblock = new->br_startblock;
1718 		RIGHT.br_blockcount += new->br_blockcount;
1719 
1720 		if (bma->cur == NULL)
1721 			rval = XFS_ILOG_DEXT;
1722 		else {
1723 			rval = 0;
1724 			error = xfs_bmbt_lookup_eq(bma->cur, &old, &i);
1725 			if (error)
1726 				goto done;
1727 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1728 				error = -EFSCORRUPTED;
1729 				goto done;
1730 			}
1731 			error = xfs_bmbt_update(bma->cur, &RIGHT);
1732 			if (error)
1733 				goto done;
1734 		}
1735 
1736 		temp = PREV.br_blockcount - new->br_blockcount;
1737 		da_new = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(bma->ip, temp),
1738 			startblockval(PREV.br_startblock));
1739 
1740 		PREV.br_blockcount = temp;
1741 		PREV.br_startblock = nullstartblock(da_new);
1742 
1743 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &PREV);
1744 		xfs_iext_next(ifp, &bma->icur);
1745 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &RIGHT);
1746 		break;
1747 
1748 	case BMAP_RIGHT_FILLING:
1749 		/*
1750 		 * Filling in the last part of a previous delayed allocation.
1751 		 * The right neighbor is not contiguous.
1752 		 */
1753 		xfs_iext_update_extent(bma->ip, state, &bma->icur, new);
1754 		ifp->if_nextents++;
1755 
1756 		if (bma->cur == NULL)
1757 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
1758 		else {
1759 			rval = XFS_ILOG_CORE;
1760 			error = xfs_bmbt_lookup_eq(bma->cur, new, &i);
1761 			if (error)
1762 				goto done;
1763 			if (XFS_IS_CORRUPT(mp, i != 0)) {
1764 				error = -EFSCORRUPTED;
1765 				goto done;
1766 			}
1767 			error = xfs_btree_insert(bma->cur, &i);
1768 			if (error)
1769 				goto done;
1770 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1771 				error = -EFSCORRUPTED;
1772 				goto done;
1773 			}
1774 		}
1775 
1776 		if (xfs_bmap_needs_btree(bma->ip, whichfork)) {
1777 			error = xfs_bmap_extents_to_btree(bma->tp, bma->ip,
1778 				&bma->cur, 1, &tmp_rval, whichfork);
1779 			rval |= tmp_rval;
1780 			if (error)
1781 				goto done;
1782 		}
1783 
1784 		temp = PREV.br_blockcount - new->br_blockcount;
1785 		da_new = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(bma->ip, temp),
1786 			startblockval(PREV.br_startblock) -
1787 			(bma->cur ? bma->cur->bc_ino.allocated : 0));
1788 
1789 		PREV.br_startblock = nullstartblock(da_new);
1790 		PREV.br_blockcount = temp;
1791 		xfs_iext_insert(bma->ip, &bma->icur, &PREV, state);
1792 		xfs_iext_next(ifp, &bma->icur);
1793 		break;
1794 
1795 	case 0:
1796 		/*
1797 		 * Filling in the middle part of a previous delayed allocation.
1798 		 * Contiguity is impossible here.
1799 		 * This case is avoided almost all the time.
1800 		 *
1801 		 * We start with a delayed allocation:
1802 		 *
1803 		 * +ddddddddddddddddddddddddddddddddddddddddddddddddddddddd+
1804 		 *  PREV @ idx
1805 		 *
1806 	         * and we are allocating:
1807 		 *                     +rrrrrrrrrrrrrrrrr+
1808 		 *			      new
1809 		 *
1810 		 * and we set it up for insertion as:
1811 		 * +ddddddddddddddddddd+rrrrrrrrrrrrrrrrr+ddddddddddddddddd+
1812 		 *                            new
1813 		 *  PREV @ idx          LEFT              RIGHT
1814 		 *                      inserted at idx + 1
1815 		 */
1816 		old = PREV;
1817 
1818 		/* LEFT is the new middle */
1819 		LEFT = *new;
1820 
1821 		/* RIGHT is the new right */
1822 		RIGHT.br_state = PREV.br_state;
1823 		RIGHT.br_startoff = new_endoff;
1824 		RIGHT.br_blockcount =
1825 			PREV.br_startoff + PREV.br_blockcount - new_endoff;
1826 		RIGHT.br_startblock =
1827 			nullstartblock(xfs_bmap_worst_indlen(bma->ip,
1828 					RIGHT.br_blockcount));
1829 
1830 		/* truncate PREV */
1831 		PREV.br_blockcount = new->br_startoff - PREV.br_startoff;
1832 		PREV.br_startblock =
1833 			nullstartblock(xfs_bmap_worst_indlen(bma->ip,
1834 					PREV.br_blockcount));
1835 		xfs_iext_update_extent(bma->ip, state, &bma->icur, &PREV);
1836 
1837 		xfs_iext_next(ifp, &bma->icur);
1838 		xfs_iext_insert(bma->ip, &bma->icur, &RIGHT, state);
1839 		xfs_iext_insert(bma->ip, &bma->icur, &LEFT, state);
1840 		ifp->if_nextents++;
1841 
1842 		if (bma->cur == NULL)
1843 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
1844 		else {
1845 			rval = XFS_ILOG_CORE;
1846 			error = xfs_bmbt_lookup_eq(bma->cur, new, &i);
1847 			if (error)
1848 				goto done;
1849 			if (XFS_IS_CORRUPT(mp, i != 0)) {
1850 				error = -EFSCORRUPTED;
1851 				goto done;
1852 			}
1853 			error = xfs_btree_insert(bma->cur, &i);
1854 			if (error)
1855 				goto done;
1856 			if (XFS_IS_CORRUPT(mp, i != 1)) {
1857 				error = -EFSCORRUPTED;
1858 				goto done;
1859 			}
1860 		}
1861 
1862 		if (xfs_bmap_needs_btree(bma->ip, whichfork)) {
1863 			error = xfs_bmap_extents_to_btree(bma->tp, bma->ip,
1864 					&bma->cur, 1, &tmp_rval, whichfork);
1865 			rval |= tmp_rval;
1866 			if (error)
1867 				goto done;
1868 		}
1869 
1870 		da_new = startblockval(PREV.br_startblock) +
1871 			 startblockval(RIGHT.br_startblock);
1872 		break;
1873 
1874 	case BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
1875 	case BMAP_RIGHT_FILLING | BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
1876 	case BMAP_LEFT_FILLING | BMAP_RIGHT_CONTIG:
1877 	case BMAP_RIGHT_FILLING | BMAP_LEFT_CONTIG:
1878 	case BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
1879 	case BMAP_LEFT_CONTIG:
1880 	case BMAP_RIGHT_CONTIG:
1881 		/*
1882 		 * These cases are all impossible.
1883 		 */
1884 		ASSERT(0);
1885 	}
1886 
1887 	/* add reverse mapping unless caller opted out */
1888 	if (!(bma->flags & XFS_BMAPI_NORMAP))
1889 		xfs_rmap_map_extent(bma->tp, bma->ip, whichfork, new);
1890 
1891 	/* convert to a btree if necessary */
1892 	if (xfs_bmap_needs_btree(bma->ip, whichfork)) {
1893 		int	tmp_logflags;	/* partial log flag return val */
1894 
1895 		ASSERT(bma->cur == NULL);
1896 		error = xfs_bmap_extents_to_btree(bma->tp, bma->ip,
1897 				&bma->cur, da_old > 0, &tmp_logflags,
1898 				whichfork);
1899 		bma->logflags |= tmp_logflags;
1900 		if (error)
1901 			goto done;
1902 	}
1903 
1904 	if (da_new != da_old)
1905 		xfs_mod_delalloc(mp, (int64_t)da_new - da_old);
1906 
1907 	if (bma->cur) {
1908 		da_new += bma->cur->bc_ino.allocated;
1909 		bma->cur->bc_ino.allocated = 0;
1910 	}
1911 
1912 	/* adjust for changes in reserved delayed indirect blocks */
1913 	if (da_new != da_old) {
1914 		ASSERT(state == 0 || da_new < da_old);
1915 		error = xfs_mod_fdblocks(mp, (int64_t)(da_old - da_new),
1916 				false);
1917 	}
1918 
1919 	xfs_bmap_check_leaf_extents(bma->cur, bma->ip, whichfork);
1920 done:
1921 	if (whichfork != XFS_COW_FORK)
1922 		bma->logflags |= rval;
1923 	return error;
1924 #undef	LEFT
1925 #undef	RIGHT
1926 #undef	PREV
1927 }
1928 
1929 /*
1930  * Convert an unwritten allocation to a real allocation or vice versa.
1931  */
1932 int					/* error */
1933 xfs_bmap_add_extent_unwritten_real(
1934 	struct xfs_trans	*tp,
1935 	xfs_inode_t		*ip,	/* incore inode pointer */
1936 	int			whichfork,
1937 	struct xfs_iext_cursor	*icur,
1938 	struct xfs_btree_cur	**curp,	/* if *curp is null, not a btree */
1939 	xfs_bmbt_irec_t		*new,	/* new data to add to file extents */
1940 	int			*logflagsp) /* inode logging flags */
1941 {
1942 	struct xfs_btree_cur	*cur;	/* btree cursor */
1943 	int			error;	/* error return value */
1944 	int			i;	/* temp state */
1945 	struct xfs_ifork	*ifp;	/* inode fork pointer */
1946 	xfs_fileoff_t		new_endoff;	/* end offset of new entry */
1947 	xfs_bmbt_irec_t		r[3];	/* neighbor extent entries */
1948 					/* left is 0, right is 1, prev is 2 */
1949 	int			rval=0;	/* return value (logging flags) */
1950 	uint32_t		state = xfs_bmap_fork_to_state(whichfork);
1951 	struct xfs_mount	*mp = ip->i_mount;
1952 	struct xfs_bmbt_irec	old;
1953 
1954 	*logflagsp = 0;
1955 
1956 	cur = *curp;
1957 	ifp = xfs_ifork_ptr(ip, whichfork);
1958 
1959 	ASSERT(!isnullstartblock(new->br_startblock));
1960 
1961 	XFS_STATS_INC(mp, xs_add_exlist);
1962 
1963 #define	LEFT		r[0]
1964 #define	RIGHT		r[1]
1965 #define	PREV		r[2]
1966 
1967 	/*
1968 	 * Set up a bunch of variables to make the tests simpler.
1969 	 */
1970 	error = 0;
1971 	xfs_iext_get_extent(ifp, icur, &PREV);
1972 	ASSERT(new->br_state != PREV.br_state);
1973 	new_endoff = new->br_startoff + new->br_blockcount;
1974 	ASSERT(PREV.br_startoff <= new->br_startoff);
1975 	ASSERT(PREV.br_startoff + PREV.br_blockcount >= new_endoff);
1976 
1977 	/*
1978 	 * Set flags determining what part of the previous oldext allocation
1979 	 * extent is being replaced by a newext allocation.
1980 	 */
1981 	if (PREV.br_startoff == new->br_startoff)
1982 		state |= BMAP_LEFT_FILLING;
1983 	if (PREV.br_startoff + PREV.br_blockcount == new_endoff)
1984 		state |= BMAP_RIGHT_FILLING;
1985 
1986 	/*
1987 	 * Check and set flags if this segment has a left neighbor.
1988 	 * Don't set contiguous if the combined extent would be too large.
1989 	 */
1990 	if (xfs_iext_peek_prev_extent(ifp, icur, &LEFT)) {
1991 		state |= BMAP_LEFT_VALID;
1992 		if (isnullstartblock(LEFT.br_startblock))
1993 			state |= BMAP_LEFT_DELAY;
1994 	}
1995 
1996 	if ((state & BMAP_LEFT_VALID) && !(state & BMAP_LEFT_DELAY) &&
1997 	    LEFT.br_startoff + LEFT.br_blockcount == new->br_startoff &&
1998 	    LEFT.br_startblock + LEFT.br_blockcount == new->br_startblock &&
1999 	    LEFT.br_state == new->br_state &&
2000 	    LEFT.br_blockcount + new->br_blockcount <= XFS_MAX_BMBT_EXTLEN)
2001 		state |= BMAP_LEFT_CONTIG;
2002 
2003 	/*
2004 	 * Check and set flags if this segment has a right neighbor.
2005 	 * Don't set contiguous if the combined extent would be too large.
2006 	 * Also check for all-three-contiguous being too large.
2007 	 */
2008 	if (xfs_iext_peek_next_extent(ifp, icur, &RIGHT)) {
2009 		state |= BMAP_RIGHT_VALID;
2010 		if (isnullstartblock(RIGHT.br_startblock))
2011 			state |= BMAP_RIGHT_DELAY;
2012 	}
2013 
2014 	if ((state & BMAP_RIGHT_VALID) && !(state & BMAP_RIGHT_DELAY) &&
2015 	    new_endoff == RIGHT.br_startoff &&
2016 	    new->br_startblock + new->br_blockcount == RIGHT.br_startblock &&
2017 	    new->br_state == RIGHT.br_state &&
2018 	    new->br_blockcount + RIGHT.br_blockcount <= XFS_MAX_BMBT_EXTLEN &&
2019 	    ((state & (BMAP_LEFT_CONTIG | BMAP_LEFT_FILLING |
2020 		       BMAP_RIGHT_FILLING)) !=
2021 		      (BMAP_LEFT_CONTIG | BMAP_LEFT_FILLING |
2022 		       BMAP_RIGHT_FILLING) ||
2023 	     LEFT.br_blockcount + new->br_blockcount + RIGHT.br_blockcount
2024 			<= XFS_MAX_BMBT_EXTLEN))
2025 		state |= BMAP_RIGHT_CONTIG;
2026 
2027 	/*
2028 	 * Switch out based on the FILLING and CONTIG state bits.
2029 	 */
2030 	switch (state & (BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG |
2031 			 BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG)) {
2032 	case BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG |
2033 	     BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG:
2034 		/*
2035 		 * Setting all of a previous oldext extent to newext.
2036 		 * The left and right neighbors are both contiguous with new.
2037 		 */
2038 		LEFT.br_blockcount += PREV.br_blockcount + RIGHT.br_blockcount;
2039 
2040 		xfs_iext_remove(ip, icur, state);
2041 		xfs_iext_remove(ip, icur, state);
2042 		xfs_iext_prev(ifp, icur);
2043 		xfs_iext_update_extent(ip, state, icur, &LEFT);
2044 		ifp->if_nextents -= 2;
2045 		if (cur == NULL)
2046 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
2047 		else {
2048 			rval = XFS_ILOG_CORE;
2049 			error = xfs_bmbt_lookup_eq(cur, &RIGHT, &i);
2050 			if (error)
2051 				goto done;
2052 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2053 				error = -EFSCORRUPTED;
2054 				goto done;
2055 			}
2056 			if ((error = xfs_btree_delete(cur, &i)))
2057 				goto done;
2058 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2059 				error = -EFSCORRUPTED;
2060 				goto done;
2061 			}
2062 			if ((error = xfs_btree_decrement(cur, 0, &i)))
2063 				goto done;
2064 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2065 				error = -EFSCORRUPTED;
2066 				goto done;
2067 			}
2068 			if ((error = xfs_btree_delete(cur, &i)))
2069 				goto done;
2070 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2071 				error = -EFSCORRUPTED;
2072 				goto done;
2073 			}
2074 			if ((error = xfs_btree_decrement(cur, 0, &i)))
2075 				goto done;
2076 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2077 				error = -EFSCORRUPTED;
2078 				goto done;
2079 			}
2080 			error = xfs_bmbt_update(cur, &LEFT);
2081 			if (error)
2082 				goto done;
2083 		}
2084 		break;
2085 
2086 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING | BMAP_LEFT_CONTIG:
2087 		/*
2088 		 * Setting all of a previous oldext extent to newext.
2089 		 * The left neighbor is contiguous, the right is not.
2090 		 */
2091 		LEFT.br_blockcount += PREV.br_blockcount;
2092 
2093 		xfs_iext_remove(ip, icur, state);
2094 		xfs_iext_prev(ifp, icur);
2095 		xfs_iext_update_extent(ip, state, icur, &LEFT);
2096 		ifp->if_nextents--;
2097 		if (cur == NULL)
2098 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
2099 		else {
2100 			rval = XFS_ILOG_CORE;
2101 			error = xfs_bmbt_lookup_eq(cur, &PREV, &i);
2102 			if (error)
2103 				goto done;
2104 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2105 				error = -EFSCORRUPTED;
2106 				goto done;
2107 			}
2108 			if ((error = xfs_btree_delete(cur, &i)))
2109 				goto done;
2110 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2111 				error = -EFSCORRUPTED;
2112 				goto done;
2113 			}
2114 			if ((error = xfs_btree_decrement(cur, 0, &i)))
2115 				goto done;
2116 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2117 				error = -EFSCORRUPTED;
2118 				goto done;
2119 			}
2120 			error = xfs_bmbt_update(cur, &LEFT);
2121 			if (error)
2122 				goto done;
2123 		}
2124 		break;
2125 
2126 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG:
2127 		/*
2128 		 * Setting all of a previous oldext extent to newext.
2129 		 * The right neighbor is contiguous, the left is not.
2130 		 */
2131 		PREV.br_blockcount += RIGHT.br_blockcount;
2132 		PREV.br_state = new->br_state;
2133 
2134 		xfs_iext_next(ifp, icur);
2135 		xfs_iext_remove(ip, icur, state);
2136 		xfs_iext_prev(ifp, icur);
2137 		xfs_iext_update_extent(ip, state, icur, &PREV);
2138 		ifp->if_nextents--;
2139 
2140 		if (cur == NULL)
2141 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
2142 		else {
2143 			rval = XFS_ILOG_CORE;
2144 			error = xfs_bmbt_lookup_eq(cur, &RIGHT, &i);
2145 			if (error)
2146 				goto done;
2147 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2148 				error = -EFSCORRUPTED;
2149 				goto done;
2150 			}
2151 			if ((error = xfs_btree_delete(cur, &i)))
2152 				goto done;
2153 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2154 				error = -EFSCORRUPTED;
2155 				goto done;
2156 			}
2157 			if ((error = xfs_btree_decrement(cur, 0, &i)))
2158 				goto done;
2159 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2160 				error = -EFSCORRUPTED;
2161 				goto done;
2162 			}
2163 			error = xfs_bmbt_update(cur, &PREV);
2164 			if (error)
2165 				goto done;
2166 		}
2167 		break;
2168 
2169 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING:
2170 		/*
2171 		 * Setting all of a previous oldext extent to newext.
2172 		 * Neither the left nor right neighbors are contiguous with
2173 		 * the new one.
2174 		 */
2175 		PREV.br_state = new->br_state;
2176 		xfs_iext_update_extent(ip, state, icur, &PREV);
2177 
2178 		if (cur == NULL)
2179 			rval = XFS_ILOG_DEXT;
2180 		else {
2181 			rval = 0;
2182 			error = xfs_bmbt_lookup_eq(cur, new, &i);
2183 			if (error)
2184 				goto done;
2185 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2186 				error = -EFSCORRUPTED;
2187 				goto done;
2188 			}
2189 			error = xfs_bmbt_update(cur, &PREV);
2190 			if (error)
2191 				goto done;
2192 		}
2193 		break;
2194 
2195 	case BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG:
2196 		/*
2197 		 * Setting the first part of a previous oldext extent to newext.
2198 		 * The left neighbor is contiguous.
2199 		 */
2200 		LEFT.br_blockcount += new->br_blockcount;
2201 
2202 		old = PREV;
2203 		PREV.br_startoff += new->br_blockcount;
2204 		PREV.br_startblock += new->br_blockcount;
2205 		PREV.br_blockcount -= new->br_blockcount;
2206 
2207 		xfs_iext_update_extent(ip, state, icur, &PREV);
2208 		xfs_iext_prev(ifp, icur);
2209 		xfs_iext_update_extent(ip, state, icur, &LEFT);
2210 
2211 		if (cur == NULL)
2212 			rval = XFS_ILOG_DEXT;
2213 		else {
2214 			rval = 0;
2215 			error = xfs_bmbt_lookup_eq(cur, &old, &i);
2216 			if (error)
2217 				goto done;
2218 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2219 				error = -EFSCORRUPTED;
2220 				goto done;
2221 			}
2222 			error = xfs_bmbt_update(cur, &PREV);
2223 			if (error)
2224 				goto done;
2225 			error = xfs_btree_decrement(cur, 0, &i);
2226 			if (error)
2227 				goto done;
2228 			error = xfs_bmbt_update(cur, &LEFT);
2229 			if (error)
2230 				goto done;
2231 		}
2232 		break;
2233 
2234 	case BMAP_LEFT_FILLING:
2235 		/*
2236 		 * Setting the first part of a previous oldext extent to newext.
2237 		 * The left neighbor is not contiguous.
2238 		 */
2239 		old = PREV;
2240 		PREV.br_startoff += new->br_blockcount;
2241 		PREV.br_startblock += new->br_blockcount;
2242 		PREV.br_blockcount -= new->br_blockcount;
2243 
2244 		xfs_iext_update_extent(ip, state, icur, &PREV);
2245 		xfs_iext_insert(ip, icur, new, state);
2246 		ifp->if_nextents++;
2247 
2248 		if (cur == NULL)
2249 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
2250 		else {
2251 			rval = XFS_ILOG_CORE;
2252 			error = xfs_bmbt_lookup_eq(cur, &old, &i);
2253 			if (error)
2254 				goto done;
2255 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2256 				error = -EFSCORRUPTED;
2257 				goto done;
2258 			}
2259 			error = xfs_bmbt_update(cur, &PREV);
2260 			if (error)
2261 				goto done;
2262 			cur->bc_rec.b = *new;
2263 			if ((error = xfs_btree_insert(cur, &i)))
2264 				goto done;
2265 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2266 				error = -EFSCORRUPTED;
2267 				goto done;
2268 			}
2269 		}
2270 		break;
2271 
2272 	case BMAP_RIGHT_FILLING | BMAP_RIGHT_CONTIG:
2273 		/*
2274 		 * Setting the last part of a previous oldext extent to newext.
2275 		 * The right neighbor is contiguous with the new allocation.
2276 		 */
2277 		old = PREV;
2278 		PREV.br_blockcount -= new->br_blockcount;
2279 
2280 		RIGHT.br_startoff = new->br_startoff;
2281 		RIGHT.br_startblock = new->br_startblock;
2282 		RIGHT.br_blockcount += new->br_blockcount;
2283 
2284 		xfs_iext_update_extent(ip, state, icur, &PREV);
2285 		xfs_iext_next(ifp, icur);
2286 		xfs_iext_update_extent(ip, state, icur, &RIGHT);
2287 
2288 		if (cur == NULL)
2289 			rval = XFS_ILOG_DEXT;
2290 		else {
2291 			rval = 0;
2292 			error = xfs_bmbt_lookup_eq(cur, &old, &i);
2293 			if (error)
2294 				goto done;
2295 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2296 				error = -EFSCORRUPTED;
2297 				goto done;
2298 			}
2299 			error = xfs_bmbt_update(cur, &PREV);
2300 			if (error)
2301 				goto done;
2302 			error = xfs_btree_increment(cur, 0, &i);
2303 			if (error)
2304 				goto done;
2305 			error = xfs_bmbt_update(cur, &RIGHT);
2306 			if (error)
2307 				goto done;
2308 		}
2309 		break;
2310 
2311 	case BMAP_RIGHT_FILLING:
2312 		/*
2313 		 * Setting the last part of a previous oldext extent to newext.
2314 		 * The right neighbor is not contiguous.
2315 		 */
2316 		old = PREV;
2317 		PREV.br_blockcount -= new->br_blockcount;
2318 
2319 		xfs_iext_update_extent(ip, state, icur, &PREV);
2320 		xfs_iext_next(ifp, icur);
2321 		xfs_iext_insert(ip, icur, new, state);
2322 		ifp->if_nextents++;
2323 
2324 		if (cur == NULL)
2325 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
2326 		else {
2327 			rval = XFS_ILOG_CORE;
2328 			error = xfs_bmbt_lookup_eq(cur, &old, &i);
2329 			if (error)
2330 				goto done;
2331 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2332 				error = -EFSCORRUPTED;
2333 				goto done;
2334 			}
2335 			error = xfs_bmbt_update(cur, &PREV);
2336 			if (error)
2337 				goto done;
2338 			error = xfs_bmbt_lookup_eq(cur, new, &i);
2339 			if (error)
2340 				goto done;
2341 			if (XFS_IS_CORRUPT(mp, i != 0)) {
2342 				error = -EFSCORRUPTED;
2343 				goto done;
2344 			}
2345 			if ((error = xfs_btree_insert(cur, &i)))
2346 				goto done;
2347 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2348 				error = -EFSCORRUPTED;
2349 				goto done;
2350 			}
2351 		}
2352 		break;
2353 
2354 	case 0:
2355 		/*
2356 		 * Setting the middle part of a previous oldext extent to
2357 		 * newext.  Contiguity is impossible here.
2358 		 * One extent becomes three extents.
2359 		 */
2360 		old = PREV;
2361 		PREV.br_blockcount = new->br_startoff - PREV.br_startoff;
2362 
2363 		r[0] = *new;
2364 		r[1].br_startoff = new_endoff;
2365 		r[1].br_blockcount =
2366 			old.br_startoff + old.br_blockcount - new_endoff;
2367 		r[1].br_startblock = new->br_startblock + new->br_blockcount;
2368 		r[1].br_state = PREV.br_state;
2369 
2370 		xfs_iext_update_extent(ip, state, icur, &PREV);
2371 		xfs_iext_next(ifp, icur);
2372 		xfs_iext_insert(ip, icur, &r[1], state);
2373 		xfs_iext_insert(ip, icur, &r[0], state);
2374 		ifp->if_nextents += 2;
2375 
2376 		if (cur == NULL)
2377 			rval = XFS_ILOG_CORE | XFS_ILOG_DEXT;
2378 		else {
2379 			rval = XFS_ILOG_CORE;
2380 			error = xfs_bmbt_lookup_eq(cur, &old, &i);
2381 			if (error)
2382 				goto done;
2383 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2384 				error = -EFSCORRUPTED;
2385 				goto done;
2386 			}
2387 			/* new right extent - oldext */
2388 			error = xfs_bmbt_update(cur, &r[1]);
2389 			if (error)
2390 				goto done;
2391 			/* new left extent - oldext */
2392 			cur->bc_rec.b = PREV;
2393 			if ((error = xfs_btree_insert(cur, &i)))
2394 				goto done;
2395 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2396 				error = -EFSCORRUPTED;
2397 				goto done;
2398 			}
2399 			/*
2400 			 * Reset the cursor to the position of the new extent
2401 			 * we are about to insert as we can't trust it after
2402 			 * the previous insert.
2403 			 */
2404 			error = xfs_bmbt_lookup_eq(cur, new, &i);
2405 			if (error)
2406 				goto done;
2407 			if (XFS_IS_CORRUPT(mp, i != 0)) {
2408 				error = -EFSCORRUPTED;
2409 				goto done;
2410 			}
2411 			/* new middle extent - newext */
2412 			if ((error = xfs_btree_insert(cur, &i)))
2413 				goto done;
2414 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2415 				error = -EFSCORRUPTED;
2416 				goto done;
2417 			}
2418 		}
2419 		break;
2420 
2421 	case BMAP_LEFT_FILLING | BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
2422 	case BMAP_RIGHT_FILLING | BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
2423 	case BMAP_LEFT_FILLING | BMAP_RIGHT_CONTIG:
2424 	case BMAP_RIGHT_FILLING | BMAP_LEFT_CONTIG:
2425 	case BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
2426 	case BMAP_LEFT_CONTIG:
2427 	case BMAP_RIGHT_CONTIG:
2428 		/*
2429 		 * These cases are all impossible.
2430 		 */
2431 		ASSERT(0);
2432 	}
2433 
2434 	/* update reverse mappings */
2435 	xfs_rmap_convert_extent(mp, tp, ip, whichfork, new);
2436 
2437 	/* convert to a btree if necessary */
2438 	if (xfs_bmap_needs_btree(ip, whichfork)) {
2439 		int	tmp_logflags;	/* partial log flag return val */
2440 
2441 		ASSERT(cur == NULL);
2442 		error = xfs_bmap_extents_to_btree(tp, ip, &cur, 0,
2443 				&tmp_logflags, whichfork);
2444 		*logflagsp |= tmp_logflags;
2445 		if (error)
2446 			goto done;
2447 	}
2448 
2449 	/* clear out the allocated field, done with it now in any case. */
2450 	if (cur) {
2451 		cur->bc_ino.allocated = 0;
2452 		*curp = cur;
2453 	}
2454 
2455 	xfs_bmap_check_leaf_extents(*curp, ip, whichfork);
2456 done:
2457 	*logflagsp |= rval;
2458 	return error;
2459 #undef	LEFT
2460 #undef	RIGHT
2461 #undef	PREV
2462 }
2463 
2464 /*
2465  * Convert a hole to a delayed allocation.
2466  */
2467 STATIC void
2468 xfs_bmap_add_extent_hole_delay(
2469 	xfs_inode_t		*ip,	/* incore inode pointer */
2470 	int			whichfork,
2471 	struct xfs_iext_cursor	*icur,
2472 	xfs_bmbt_irec_t		*new)	/* new data to add to file extents */
2473 {
2474 	struct xfs_ifork	*ifp;	/* inode fork pointer */
2475 	xfs_bmbt_irec_t		left;	/* left neighbor extent entry */
2476 	xfs_filblks_t		newlen=0;	/* new indirect size */
2477 	xfs_filblks_t		oldlen=0;	/* old indirect size */
2478 	xfs_bmbt_irec_t		right;	/* right neighbor extent entry */
2479 	uint32_t		state = xfs_bmap_fork_to_state(whichfork);
2480 	xfs_filblks_t		temp;	 /* temp for indirect calculations */
2481 
2482 	ifp = xfs_ifork_ptr(ip, whichfork);
2483 	ASSERT(isnullstartblock(new->br_startblock));
2484 
2485 	/*
2486 	 * Check and set flags if this segment has a left neighbor
2487 	 */
2488 	if (xfs_iext_peek_prev_extent(ifp, icur, &left)) {
2489 		state |= BMAP_LEFT_VALID;
2490 		if (isnullstartblock(left.br_startblock))
2491 			state |= BMAP_LEFT_DELAY;
2492 	}
2493 
2494 	/*
2495 	 * Check and set flags if the current (right) segment exists.
2496 	 * If it doesn't exist, we're converting the hole at end-of-file.
2497 	 */
2498 	if (xfs_iext_get_extent(ifp, icur, &right)) {
2499 		state |= BMAP_RIGHT_VALID;
2500 		if (isnullstartblock(right.br_startblock))
2501 			state |= BMAP_RIGHT_DELAY;
2502 	}
2503 
2504 	/*
2505 	 * Set contiguity flags on the left and right neighbors.
2506 	 * Don't let extents get too large, even if the pieces are contiguous.
2507 	 */
2508 	if ((state & BMAP_LEFT_VALID) && (state & BMAP_LEFT_DELAY) &&
2509 	    left.br_startoff + left.br_blockcount == new->br_startoff &&
2510 	    left.br_blockcount + new->br_blockcount <= XFS_MAX_BMBT_EXTLEN)
2511 		state |= BMAP_LEFT_CONTIG;
2512 
2513 	if ((state & BMAP_RIGHT_VALID) && (state & BMAP_RIGHT_DELAY) &&
2514 	    new->br_startoff + new->br_blockcount == right.br_startoff &&
2515 	    new->br_blockcount + right.br_blockcount <= XFS_MAX_BMBT_EXTLEN &&
2516 	    (!(state & BMAP_LEFT_CONTIG) ||
2517 	     (left.br_blockcount + new->br_blockcount +
2518 	      right.br_blockcount <= XFS_MAX_BMBT_EXTLEN)))
2519 		state |= BMAP_RIGHT_CONTIG;
2520 
2521 	/*
2522 	 * Switch out based on the contiguity flags.
2523 	 */
2524 	switch (state & (BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG)) {
2525 	case BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
2526 		/*
2527 		 * New allocation is contiguous with delayed allocations
2528 		 * on the left and on the right.
2529 		 * Merge all three into a single extent record.
2530 		 */
2531 		temp = left.br_blockcount + new->br_blockcount +
2532 			right.br_blockcount;
2533 
2534 		oldlen = startblockval(left.br_startblock) +
2535 			startblockval(new->br_startblock) +
2536 			startblockval(right.br_startblock);
2537 		newlen = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(ip, temp),
2538 					 oldlen);
2539 		left.br_startblock = nullstartblock(newlen);
2540 		left.br_blockcount = temp;
2541 
2542 		xfs_iext_remove(ip, icur, state);
2543 		xfs_iext_prev(ifp, icur);
2544 		xfs_iext_update_extent(ip, state, icur, &left);
2545 		break;
2546 
2547 	case BMAP_LEFT_CONTIG:
2548 		/*
2549 		 * New allocation is contiguous with a delayed allocation
2550 		 * on the left.
2551 		 * Merge the new allocation with the left neighbor.
2552 		 */
2553 		temp = left.br_blockcount + new->br_blockcount;
2554 
2555 		oldlen = startblockval(left.br_startblock) +
2556 			startblockval(new->br_startblock);
2557 		newlen = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(ip, temp),
2558 					 oldlen);
2559 		left.br_blockcount = temp;
2560 		left.br_startblock = nullstartblock(newlen);
2561 
2562 		xfs_iext_prev(ifp, icur);
2563 		xfs_iext_update_extent(ip, state, icur, &left);
2564 		break;
2565 
2566 	case BMAP_RIGHT_CONTIG:
2567 		/*
2568 		 * New allocation is contiguous with a delayed allocation
2569 		 * on the right.
2570 		 * Merge the new allocation with the right neighbor.
2571 		 */
2572 		temp = new->br_blockcount + right.br_blockcount;
2573 		oldlen = startblockval(new->br_startblock) +
2574 			startblockval(right.br_startblock);
2575 		newlen = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(ip, temp),
2576 					 oldlen);
2577 		right.br_startoff = new->br_startoff;
2578 		right.br_startblock = nullstartblock(newlen);
2579 		right.br_blockcount = temp;
2580 		xfs_iext_update_extent(ip, state, icur, &right);
2581 		break;
2582 
2583 	case 0:
2584 		/*
2585 		 * New allocation is not contiguous with another
2586 		 * delayed allocation.
2587 		 * Insert a new entry.
2588 		 */
2589 		oldlen = newlen = 0;
2590 		xfs_iext_insert(ip, icur, new, state);
2591 		break;
2592 	}
2593 	if (oldlen != newlen) {
2594 		ASSERT(oldlen > newlen);
2595 		xfs_mod_fdblocks(ip->i_mount, (int64_t)(oldlen - newlen),
2596 				 false);
2597 		/*
2598 		 * Nothing to do for disk quota accounting here.
2599 		 */
2600 		xfs_mod_delalloc(ip->i_mount, (int64_t)newlen - oldlen);
2601 	}
2602 }
2603 
2604 /*
2605  * Convert a hole to a real allocation.
2606  */
2607 STATIC int				/* error */
2608 xfs_bmap_add_extent_hole_real(
2609 	struct xfs_trans	*tp,
2610 	struct xfs_inode	*ip,
2611 	int			whichfork,
2612 	struct xfs_iext_cursor	*icur,
2613 	struct xfs_btree_cur	**curp,
2614 	struct xfs_bmbt_irec	*new,
2615 	int			*logflagsp,
2616 	uint32_t		flags)
2617 {
2618 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
2619 	struct xfs_mount	*mp = ip->i_mount;
2620 	struct xfs_btree_cur	*cur = *curp;
2621 	int			error;	/* error return value */
2622 	int			i;	/* temp state */
2623 	xfs_bmbt_irec_t		left;	/* left neighbor extent entry */
2624 	xfs_bmbt_irec_t		right;	/* right neighbor extent entry */
2625 	int			rval=0;	/* return value (logging flags) */
2626 	uint32_t		state = xfs_bmap_fork_to_state(whichfork);
2627 	struct xfs_bmbt_irec	old;
2628 
2629 	ASSERT(!isnullstartblock(new->br_startblock));
2630 	ASSERT(!cur || !(cur->bc_ino.flags & XFS_BTCUR_BMBT_WASDEL));
2631 
2632 	XFS_STATS_INC(mp, xs_add_exlist);
2633 
2634 	/*
2635 	 * Check and set flags if this segment has a left neighbor.
2636 	 */
2637 	if (xfs_iext_peek_prev_extent(ifp, icur, &left)) {
2638 		state |= BMAP_LEFT_VALID;
2639 		if (isnullstartblock(left.br_startblock))
2640 			state |= BMAP_LEFT_DELAY;
2641 	}
2642 
2643 	/*
2644 	 * Check and set flags if this segment has a current value.
2645 	 * Not true if we're inserting into the "hole" at eof.
2646 	 */
2647 	if (xfs_iext_get_extent(ifp, icur, &right)) {
2648 		state |= BMAP_RIGHT_VALID;
2649 		if (isnullstartblock(right.br_startblock))
2650 			state |= BMAP_RIGHT_DELAY;
2651 	}
2652 
2653 	/*
2654 	 * We're inserting a real allocation between "left" and "right".
2655 	 * Set the contiguity flags.  Don't let extents get too large.
2656 	 */
2657 	if ((state & BMAP_LEFT_VALID) && !(state & BMAP_LEFT_DELAY) &&
2658 	    left.br_startoff + left.br_blockcount == new->br_startoff &&
2659 	    left.br_startblock + left.br_blockcount == new->br_startblock &&
2660 	    left.br_state == new->br_state &&
2661 	    left.br_blockcount + new->br_blockcount <= XFS_MAX_BMBT_EXTLEN)
2662 		state |= BMAP_LEFT_CONTIG;
2663 
2664 	if ((state & BMAP_RIGHT_VALID) && !(state & BMAP_RIGHT_DELAY) &&
2665 	    new->br_startoff + new->br_blockcount == right.br_startoff &&
2666 	    new->br_startblock + new->br_blockcount == right.br_startblock &&
2667 	    new->br_state == right.br_state &&
2668 	    new->br_blockcount + right.br_blockcount <= XFS_MAX_BMBT_EXTLEN &&
2669 	    (!(state & BMAP_LEFT_CONTIG) ||
2670 	     left.br_blockcount + new->br_blockcount +
2671 	     right.br_blockcount <= XFS_MAX_BMBT_EXTLEN))
2672 		state |= BMAP_RIGHT_CONTIG;
2673 
2674 	error = 0;
2675 	/*
2676 	 * Select which case we're in here, and implement it.
2677 	 */
2678 	switch (state & (BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG)) {
2679 	case BMAP_LEFT_CONTIG | BMAP_RIGHT_CONTIG:
2680 		/*
2681 		 * New allocation is contiguous with real allocations on the
2682 		 * left and on the right.
2683 		 * Merge all three into a single extent record.
2684 		 */
2685 		left.br_blockcount += new->br_blockcount + right.br_blockcount;
2686 
2687 		xfs_iext_remove(ip, icur, state);
2688 		xfs_iext_prev(ifp, icur);
2689 		xfs_iext_update_extent(ip, state, icur, &left);
2690 		ifp->if_nextents--;
2691 
2692 		if (cur == NULL) {
2693 			rval = XFS_ILOG_CORE | xfs_ilog_fext(whichfork);
2694 		} else {
2695 			rval = XFS_ILOG_CORE;
2696 			error = xfs_bmbt_lookup_eq(cur, &right, &i);
2697 			if (error)
2698 				goto done;
2699 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2700 				error = -EFSCORRUPTED;
2701 				goto done;
2702 			}
2703 			error = xfs_btree_delete(cur, &i);
2704 			if (error)
2705 				goto done;
2706 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2707 				error = -EFSCORRUPTED;
2708 				goto done;
2709 			}
2710 			error = xfs_btree_decrement(cur, 0, &i);
2711 			if (error)
2712 				goto done;
2713 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2714 				error = -EFSCORRUPTED;
2715 				goto done;
2716 			}
2717 			error = xfs_bmbt_update(cur, &left);
2718 			if (error)
2719 				goto done;
2720 		}
2721 		break;
2722 
2723 	case BMAP_LEFT_CONTIG:
2724 		/*
2725 		 * New allocation is contiguous with a real allocation
2726 		 * on the left.
2727 		 * Merge the new allocation with the left neighbor.
2728 		 */
2729 		old = left;
2730 		left.br_blockcount += new->br_blockcount;
2731 
2732 		xfs_iext_prev(ifp, icur);
2733 		xfs_iext_update_extent(ip, state, icur, &left);
2734 
2735 		if (cur == NULL) {
2736 			rval = xfs_ilog_fext(whichfork);
2737 		} else {
2738 			rval = 0;
2739 			error = xfs_bmbt_lookup_eq(cur, &old, &i);
2740 			if (error)
2741 				goto done;
2742 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2743 				error = -EFSCORRUPTED;
2744 				goto done;
2745 			}
2746 			error = xfs_bmbt_update(cur, &left);
2747 			if (error)
2748 				goto done;
2749 		}
2750 		break;
2751 
2752 	case BMAP_RIGHT_CONTIG:
2753 		/*
2754 		 * New allocation is contiguous with a real allocation
2755 		 * on the right.
2756 		 * Merge the new allocation with the right neighbor.
2757 		 */
2758 		old = right;
2759 
2760 		right.br_startoff = new->br_startoff;
2761 		right.br_startblock = new->br_startblock;
2762 		right.br_blockcount += new->br_blockcount;
2763 		xfs_iext_update_extent(ip, state, icur, &right);
2764 
2765 		if (cur == NULL) {
2766 			rval = xfs_ilog_fext(whichfork);
2767 		} else {
2768 			rval = 0;
2769 			error = xfs_bmbt_lookup_eq(cur, &old, &i);
2770 			if (error)
2771 				goto done;
2772 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2773 				error = -EFSCORRUPTED;
2774 				goto done;
2775 			}
2776 			error = xfs_bmbt_update(cur, &right);
2777 			if (error)
2778 				goto done;
2779 		}
2780 		break;
2781 
2782 	case 0:
2783 		/*
2784 		 * New allocation is not contiguous with another
2785 		 * real allocation.
2786 		 * Insert a new entry.
2787 		 */
2788 		xfs_iext_insert(ip, icur, new, state);
2789 		ifp->if_nextents++;
2790 
2791 		if (cur == NULL) {
2792 			rval = XFS_ILOG_CORE | xfs_ilog_fext(whichfork);
2793 		} else {
2794 			rval = XFS_ILOG_CORE;
2795 			error = xfs_bmbt_lookup_eq(cur, new, &i);
2796 			if (error)
2797 				goto done;
2798 			if (XFS_IS_CORRUPT(mp, i != 0)) {
2799 				error = -EFSCORRUPTED;
2800 				goto done;
2801 			}
2802 			error = xfs_btree_insert(cur, &i);
2803 			if (error)
2804 				goto done;
2805 			if (XFS_IS_CORRUPT(mp, i != 1)) {
2806 				error = -EFSCORRUPTED;
2807 				goto done;
2808 			}
2809 		}
2810 		break;
2811 	}
2812 
2813 	/* add reverse mapping unless caller opted out */
2814 	if (!(flags & XFS_BMAPI_NORMAP))
2815 		xfs_rmap_map_extent(tp, ip, whichfork, new);
2816 
2817 	/* convert to a btree if necessary */
2818 	if (xfs_bmap_needs_btree(ip, whichfork)) {
2819 		int	tmp_logflags;	/* partial log flag return val */
2820 
2821 		ASSERT(cur == NULL);
2822 		error = xfs_bmap_extents_to_btree(tp, ip, curp, 0,
2823 				&tmp_logflags, whichfork);
2824 		*logflagsp |= tmp_logflags;
2825 		cur = *curp;
2826 		if (error)
2827 			goto done;
2828 	}
2829 
2830 	/* clear out the allocated field, done with it now in any case. */
2831 	if (cur)
2832 		cur->bc_ino.allocated = 0;
2833 
2834 	xfs_bmap_check_leaf_extents(cur, ip, whichfork);
2835 done:
2836 	*logflagsp |= rval;
2837 	return error;
2838 }
2839 
2840 /*
2841  * Functions used in the extent read, allocate and remove paths
2842  */
2843 
2844 /*
2845  * Adjust the size of the new extent based on i_extsize and rt extsize.
2846  */
2847 int
2848 xfs_bmap_extsize_align(
2849 	xfs_mount_t	*mp,
2850 	xfs_bmbt_irec_t	*gotp,		/* next extent pointer */
2851 	xfs_bmbt_irec_t	*prevp,		/* previous extent pointer */
2852 	xfs_extlen_t	extsz,		/* align to this extent size */
2853 	int		rt,		/* is this a realtime inode? */
2854 	int		eof,		/* is extent at end-of-file? */
2855 	int		delay,		/* creating delalloc extent? */
2856 	int		convert,	/* overwriting unwritten extent? */
2857 	xfs_fileoff_t	*offp,		/* in/out: aligned offset */
2858 	xfs_extlen_t	*lenp)		/* in/out: aligned length */
2859 {
2860 	xfs_fileoff_t	orig_off;	/* original offset */
2861 	xfs_extlen_t	orig_alen;	/* original length */
2862 	xfs_fileoff_t	orig_end;	/* original off+len */
2863 	xfs_fileoff_t	nexto;		/* next file offset */
2864 	xfs_fileoff_t	prevo;		/* previous file offset */
2865 	xfs_fileoff_t	align_off;	/* temp for offset */
2866 	xfs_extlen_t	align_alen;	/* temp for length */
2867 	xfs_extlen_t	temp;		/* temp for calculations */
2868 
2869 	if (convert)
2870 		return 0;
2871 
2872 	orig_off = align_off = *offp;
2873 	orig_alen = align_alen = *lenp;
2874 	orig_end = orig_off + orig_alen;
2875 
2876 	/*
2877 	 * If this request overlaps an existing extent, then don't
2878 	 * attempt to perform any additional alignment.
2879 	 */
2880 	if (!delay && !eof &&
2881 	    (orig_off >= gotp->br_startoff) &&
2882 	    (orig_end <= gotp->br_startoff + gotp->br_blockcount)) {
2883 		return 0;
2884 	}
2885 
2886 	/*
2887 	 * If the file offset is unaligned vs. the extent size
2888 	 * we need to align it.  This will be possible unless
2889 	 * the file was previously written with a kernel that didn't
2890 	 * perform this alignment, or if a truncate shot us in the
2891 	 * foot.
2892 	 */
2893 	div_u64_rem(orig_off, extsz, &temp);
2894 	if (temp) {
2895 		align_alen += temp;
2896 		align_off -= temp;
2897 	}
2898 
2899 	/* Same adjustment for the end of the requested area. */
2900 	temp = (align_alen % extsz);
2901 	if (temp)
2902 		align_alen += extsz - temp;
2903 
2904 	/*
2905 	 * For large extent hint sizes, the aligned extent might be larger than
2906 	 * XFS_BMBT_MAX_EXTLEN. In that case, reduce the size by an extsz so
2907 	 * that it pulls the length back under XFS_BMBT_MAX_EXTLEN. The outer
2908 	 * allocation loops handle short allocation just fine, so it is safe to
2909 	 * do this. We only want to do it when we are forced to, though, because
2910 	 * it means more allocation operations are required.
2911 	 */
2912 	while (align_alen > XFS_MAX_BMBT_EXTLEN)
2913 		align_alen -= extsz;
2914 	ASSERT(align_alen <= XFS_MAX_BMBT_EXTLEN);
2915 
2916 	/*
2917 	 * If the previous block overlaps with this proposed allocation
2918 	 * then move the start forward without adjusting the length.
2919 	 */
2920 	if (prevp->br_startoff != NULLFILEOFF) {
2921 		if (prevp->br_startblock == HOLESTARTBLOCK)
2922 			prevo = prevp->br_startoff;
2923 		else
2924 			prevo = prevp->br_startoff + prevp->br_blockcount;
2925 	} else
2926 		prevo = 0;
2927 	if (align_off != orig_off && align_off < prevo)
2928 		align_off = prevo;
2929 	/*
2930 	 * If the next block overlaps with this proposed allocation
2931 	 * then move the start back without adjusting the length,
2932 	 * but not before offset 0.
2933 	 * This may of course make the start overlap previous block,
2934 	 * and if we hit the offset 0 limit then the next block
2935 	 * can still overlap too.
2936 	 */
2937 	if (!eof && gotp->br_startoff != NULLFILEOFF) {
2938 		if ((delay && gotp->br_startblock == HOLESTARTBLOCK) ||
2939 		    (!delay && gotp->br_startblock == DELAYSTARTBLOCK))
2940 			nexto = gotp->br_startoff + gotp->br_blockcount;
2941 		else
2942 			nexto = gotp->br_startoff;
2943 	} else
2944 		nexto = NULLFILEOFF;
2945 	if (!eof &&
2946 	    align_off + align_alen != orig_end &&
2947 	    align_off + align_alen > nexto)
2948 		align_off = nexto > align_alen ? nexto - align_alen : 0;
2949 	/*
2950 	 * If we're now overlapping the next or previous extent that
2951 	 * means we can't fit an extsz piece in this hole.  Just move
2952 	 * the start forward to the first valid spot and set
2953 	 * the length so we hit the end.
2954 	 */
2955 	if (align_off != orig_off && align_off < prevo)
2956 		align_off = prevo;
2957 	if (align_off + align_alen != orig_end &&
2958 	    align_off + align_alen > nexto &&
2959 	    nexto != NULLFILEOFF) {
2960 		ASSERT(nexto > prevo);
2961 		align_alen = nexto - align_off;
2962 	}
2963 
2964 	/*
2965 	 * If realtime, and the result isn't a multiple of the realtime
2966 	 * extent size we need to remove blocks until it is.
2967 	 */
2968 	if (rt && (temp = (align_alen % mp->m_sb.sb_rextsize))) {
2969 		/*
2970 		 * We're not covering the original request, or
2971 		 * we won't be able to once we fix the length.
2972 		 */
2973 		if (orig_off < align_off ||
2974 		    orig_end > align_off + align_alen ||
2975 		    align_alen - temp < orig_alen)
2976 			return -EINVAL;
2977 		/*
2978 		 * Try to fix it by moving the start up.
2979 		 */
2980 		if (align_off + temp <= orig_off) {
2981 			align_alen -= temp;
2982 			align_off += temp;
2983 		}
2984 		/*
2985 		 * Try to fix it by moving the end in.
2986 		 */
2987 		else if (align_off + align_alen - temp >= orig_end)
2988 			align_alen -= temp;
2989 		/*
2990 		 * Set the start to the minimum then trim the length.
2991 		 */
2992 		else {
2993 			align_alen -= orig_off - align_off;
2994 			align_off = orig_off;
2995 			align_alen -= align_alen % mp->m_sb.sb_rextsize;
2996 		}
2997 		/*
2998 		 * Result doesn't cover the request, fail it.
2999 		 */
3000 		if (orig_off < align_off || orig_end > align_off + align_alen)
3001 			return -EINVAL;
3002 	} else {
3003 		ASSERT(orig_off >= align_off);
3004 		/* see XFS_BMBT_MAX_EXTLEN handling above */
3005 		ASSERT(orig_end <= align_off + align_alen ||
3006 		       align_alen + extsz > XFS_MAX_BMBT_EXTLEN);
3007 	}
3008 
3009 #ifdef DEBUG
3010 	if (!eof && gotp->br_startoff != NULLFILEOFF)
3011 		ASSERT(align_off + align_alen <= gotp->br_startoff);
3012 	if (prevp->br_startoff != NULLFILEOFF)
3013 		ASSERT(align_off >= prevp->br_startoff + prevp->br_blockcount);
3014 #endif
3015 
3016 	*lenp = align_alen;
3017 	*offp = align_off;
3018 	return 0;
3019 }
3020 
3021 #define XFS_ALLOC_GAP_UNITS	4
3022 
3023 void
3024 xfs_bmap_adjacent(
3025 	struct xfs_bmalloca	*ap)	/* bmap alloc argument struct */
3026 {
3027 	xfs_fsblock_t	adjust;		/* adjustment to block numbers */
3028 	xfs_agnumber_t	fb_agno;	/* ag number of ap->firstblock */
3029 	xfs_mount_t	*mp;		/* mount point structure */
3030 	int		nullfb;		/* true if ap->firstblock isn't set */
3031 	int		rt;		/* true if inode is realtime */
3032 
3033 #define	ISVALID(x,y)	\
3034 	(rt ? \
3035 		(x) < mp->m_sb.sb_rblocks : \
3036 		XFS_FSB_TO_AGNO(mp, x) == XFS_FSB_TO_AGNO(mp, y) && \
3037 		XFS_FSB_TO_AGNO(mp, x) < mp->m_sb.sb_agcount && \
3038 		XFS_FSB_TO_AGBNO(mp, x) < mp->m_sb.sb_agblocks)
3039 
3040 	mp = ap->ip->i_mount;
3041 	nullfb = ap->tp->t_firstblock == NULLFSBLOCK;
3042 	rt = XFS_IS_REALTIME_INODE(ap->ip) &&
3043 		(ap->datatype & XFS_ALLOC_USERDATA);
3044 	fb_agno = nullfb ? NULLAGNUMBER : XFS_FSB_TO_AGNO(mp,
3045 							ap->tp->t_firstblock);
3046 	/*
3047 	 * If allocating at eof, and there's a previous real block,
3048 	 * try to use its last block as our starting point.
3049 	 */
3050 	if (ap->eof && ap->prev.br_startoff != NULLFILEOFF &&
3051 	    !isnullstartblock(ap->prev.br_startblock) &&
3052 	    ISVALID(ap->prev.br_startblock + ap->prev.br_blockcount,
3053 		    ap->prev.br_startblock)) {
3054 		ap->blkno = ap->prev.br_startblock + ap->prev.br_blockcount;
3055 		/*
3056 		 * Adjust for the gap between prevp and us.
3057 		 */
3058 		adjust = ap->offset -
3059 			(ap->prev.br_startoff + ap->prev.br_blockcount);
3060 		if (adjust &&
3061 		    ISVALID(ap->blkno + adjust, ap->prev.br_startblock))
3062 			ap->blkno += adjust;
3063 	}
3064 	/*
3065 	 * If not at eof, then compare the two neighbor blocks.
3066 	 * Figure out whether either one gives us a good starting point,
3067 	 * and pick the better one.
3068 	 */
3069 	else if (!ap->eof) {
3070 		xfs_fsblock_t	gotbno;		/* right side block number */
3071 		xfs_fsblock_t	gotdiff=0;	/* right side difference */
3072 		xfs_fsblock_t	prevbno;	/* left side block number */
3073 		xfs_fsblock_t	prevdiff=0;	/* left side difference */
3074 
3075 		/*
3076 		 * If there's a previous (left) block, select a requested
3077 		 * start block based on it.
3078 		 */
3079 		if (ap->prev.br_startoff != NULLFILEOFF &&
3080 		    !isnullstartblock(ap->prev.br_startblock) &&
3081 		    (prevbno = ap->prev.br_startblock +
3082 			       ap->prev.br_blockcount) &&
3083 		    ISVALID(prevbno, ap->prev.br_startblock)) {
3084 			/*
3085 			 * Calculate gap to end of previous block.
3086 			 */
3087 			adjust = prevdiff = ap->offset -
3088 				(ap->prev.br_startoff +
3089 				 ap->prev.br_blockcount);
3090 			/*
3091 			 * Figure the startblock based on the previous block's
3092 			 * end and the gap size.
3093 			 * Heuristic!
3094 			 * If the gap is large relative to the piece we're
3095 			 * allocating, or using it gives us an invalid block
3096 			 * number, then just use the end of the previous block.
3097 			 */
3098 			if (prevdiff <= XFS_ALLOC_GAP_UNITS * ap->length &&
3099 			    ISVALID(prevbno + prevdiff,
3100 				    ap->prev.br_startblock))
3101 				prevbno += adjust;
3102 			else
3103 				prevdiff += adjust;
3104 			/*
3105 			 * If the firstblock forbids it, can't use it,
3106 			 * must use default.
3107 			 */
3108 			if (!rt && !nullfb &&
3109 			    XFS_FSB_TO_AGNO(mp, prevbno) != fb_agno)
3110 				prevbno = NULLFSBLOCK;
3111 		}
3112 		/*
3113 		 * No previous block or can't follow it, just default.
3114 		 */
3115 		else
3116 			prevbno = NULLFSBLOCK;
3117 		/*
3118 		 * If there's a following (right) block, select a requested
3119 		 * start block based on it.
3120 		 */
3121 		if (!isnullstartblock(ap->got.br_startblock)) {
3122 			/*
3123 			 * Calculate gap to start of next block.
3124 			 */
3125 			adjust = gotdiff = ap->got.br_startoff - ap->offset;
3126 			/*
3127 			 * Figure the startblock based on the next block's
3128 			 * start and the gap size.
3129 			 */
3130 			gotbno = ap->got.br_startblock;
3131 			/*
3132 			 * Heuristic!
3133 			 * If the gap is large relative to the piece we're
3134 			 * allocating, or using it gives us an invalid block
3135 			 * number, then just use the start of the next block
3136 			 * offset by our length.
3137 			 */
3138 			if (gotdiff <= XFS_ALLOC_GAP_UNITS * ap->length &&
3139 			    ISVALID(gotbno - gotdiff, gotbno))
3140 				gotbno -= adjust;
3141 			else if (ISVALID(gotbno - ap->length, gotbno)) {
3142 				gotbno -= ap->length;
3143 				gotdiff += adjust - ap->length;
3144 			} else
3145 				gotdiff += adjust;
3146 			/*
3147 			 * If the firstblock forbids it, can't use it,
3148 			 * must use default.
3149 			 */
3150 			if (!rt && !nullfb &&
3151 			    XFS_FSB_TO_AGNO(mp, gotbno) != fb_agno)
3152 				gotbno = NULLFSBLOCK;
3153 		}
3154 		/*
3155 		 * No next block, just default.
3156 		 */
3157 		else
3158 			gotbno = NULLFSBLOCK;
3159 		/*
3160 		 * If both valid, pick the better one, else the only good
3161 		 * one, else ap->blkno is already set (to 0 or the inode block).
3162 		 */
3163 		if (prevbno != NULLFSBLOCK && gotbno != NULLFSBLOCK)
3164 			ap->blkno = prevdiff <= gotdiff ? prevbno : gotbno;
3165 		else if (prevbno != NULLFSBLOCK)
3166 			ap->blkno = prevbno;
3167 		else if (gotbno != NULLFSBLOCK)
3168 			ap->blkno = gotbno;
3169 	}
3170 #undef ISVALID
3171 }
3172 
3173 static int
3174 xfs_bmap_longest_free_extent(
3175 	struct xfs_trans	*tp,
3176 	xfs_agnumber_t		ag,
3177 	xfs_extlen_t		*blen,
3178 	int			*notinit)
3179 {
3180 	struct xfs_mount	*mp = tp->t_mountp;
3181 	struct xfs_perag	*pag;
3182 	xfs_extlen_t		longest;
3183 	int			error = 0;
3184 
3185 	pag = xfs_perag_get(mp, ag);
3186 	if (!pag->pagf_init) {
3187 		error = xfs_alloc_read_agf(pag, tp, XFS_ALLOC_FLAG_TRYLOCK,
3188 				NULL);
3189 		if (error) {
3190 			/* Couldn't lock the AGF, so skip this AG. */
3191 			if (error == -EAGAIN) {
3192 				*notinit = 1;
3193 				error = 0;
3194 			}
3195 			goto out;
3196 		}
3197 	}
3198 
3199 	longest = xfs_alloc_longest_free_extent(pag,
3200 				xfs_alloc_min_freelist(mp, pag),
3201 				xfs_ag_resv_needed(pag, XFS_AG_RESV_NONE));
3202 	if (*blen < longest)
3203 		*blen = longest;
3204 
3205 out:
3206 	xfs_perag_put(pag);
3207 	return error;
3208 }
3209 
3210 static void
3211 xfs_bmap_select_minlen(
3212 	struct xfs_bmalloca	*ap,
3213 	struct xfs_alloc_arg	*args,
3214 	xfs_extlen_t		*blen,
3215 	int			notinit)
3216 {
3217 	if (notinit || *blen < ap->minlen) {
3218 		/*
3219 		 * Since we did a BUF_TRYLOCK above, it is possible that
3220 		 * there is space for this request.
3221 		 */
3222 		args->minlen = ap->minlen;
3223 	} else if (*blen < args->maxlen) {
3224 		/*
3225 		 * If the best seen length is less than the request length,
3226 		 * use the best as the minimum.
3227 		 */
3228 		args->minlen = *blen;
3229 	} else {
3230 		/*
3231 		 * Otherwise we've seen an extent as big as maxlen, use that
3232 		 * as the minimum.
3233 		 */
3234 		args->minlen = args->maxlen;
3235 	}
3236 }
3237 
3238 STATIC int
3239 xfs_bmap_btalloc_nullfb(
3240 	struct xfs_bmalloca	*ap,
3241 	struct xfs_alloc_arg	*args,
3242 	xfs_extlen_t		*blen)
3243 {
3244 	struct xfs_mount	*mp = ap->ip->i_mount;
3245 	xfs_agnumber_t		ag, startag;
3246 	int			notinit = 0;
3247 	int			error;
3248 
3249 	args->type = XFS_ALLOCTYPE_START_BNO;
3250 	args->total = ap->total;
3251 
3252 	startag = ag = XFS_FSB_TO_AGNO(mp, args->fsbno);
3253 	if (startag == NULLAGNUMBER)
3254 		startag = ag = 0;
3255 
3256 	while (*blen < args->maxlen) {
3257 		error = xfs_bmap_longest_free_extent(args->tp, ag, blen,
3258 						     &notinit);
3259 		if (error)
3260 			return error;
3261 
3262 		if (++ag == mp->m_sb.sb_agcount)
3263 			ag = 0;
3264 		if (ag == startag)
3265 			break;
3266 	}
3267 
3268 	xfs_bmap_select_minlen(ap, args, blen, notinit);
3269 	return 0;
3270 }
3271 
3272 STATIC int
3273 xfs_bmap_btalloc_filestreams(
3274 	struct xfs_bmalloca	*ap,
3275 	struct xfs_alloc_arg	*args,
3276 	xfs_extlen_t		*blen)
3277 {
3278 	struct xfs_mount	*mp = ap->ip->i_mount;
3279 	xfs_agnumber_t		ag;
3280 	int			notinit = 0;
3281 	int			error;
3282 
3283 	args->type = XFS_ALLOCTYPE_NEAR_BNO;
3284 	args->total = ap->total;
3285 
3286 	ag = XFS_FSB_TO_AGNO(mp, args->fsbno);
3287 	if (ag == NULLAGNUMBER)
3288 		ag = 0;
3289 
3290 	error = xfs_bmap_longest_free_extent(args->tp, ag, blen, &notinit);
3291 	if (error)
3292 		return error;
3293 
3294 	if (*blen < args->maxlen) {
3295 		error = xfs_filestream_new_ag(ap, &ag);
3296 		if (error)
3297 			return error;
3298 
3299 		error = xfs_bmap_longest_free_extent(args->tp, ag, blen,
3300 						     &notinit);
3301 		if (error)
3302 			return error;
3303 
3304 	}
3305 
3306 	xfs_bmap_select_minlen(ap, args, blen, notinit);
3307 
3308 	/*
3309 	 * Set the failure fallback case to look in the selected AG as stream
3310 	 * may have moved.
3311 	 */
3312 	ap->blkno = args->fsbno = XFS_AGB_TO_FSB(mp, ag, 0);
3313 	return 0;
3314 }
3315 
3316 /* Update all inode and quota accounting for the allocation we just did. */
3317 static void
3318 xfs_bmap_btalloc_accounting(
3319 	struct xfs_bmalloca	*ap,
3320 	struct xfs_alloc_arg	*args)
3321 {
3322 	if (ap->flags & XFS_BMAPI_COWFORK) {
3323 		/*
3324 		 * COW fork blocks are in-core only and thus are treated as
3325 		 * in-core quota reservation (like delalloc blocks) even when
3326 		 * converted to real blocks. The quota reservation is not
3327 		 * accounted to disk until blocks are remapped to the data
3328 		 * fork. So if these blocks were previously delalloc, we
3329 		 * already have quota reservation and there's nothing to do
3330 		 * yet.
3331 		 */
3332 		if (ap->wasdel) {
3333 			xfs_mod_delalloc(ap->ip->i_mount, -(int64_t)args->len);
3334 			return;
3335 		}
3336 
3337 		/*
3338 		 * Otherwise, we've allocated blocks in a hole. The transaction
3339 		 * has acquired in-core quota reservation for this extent.
3340 		 * Rather than account these as real blocks, however, we reduce
3341 		 * the transaction quota reservation based on the allocation.
3342 		 * This essentially transfers the transaction quota reservation
3343 		 * to that of a delalloc extent.
3344 		 */
3345 		ap->ip->i_delayed_blks += args->len;
3346 		xfs_trans_mod_dquot_byino(ap->tp, ap->ip, XFS_TRANS_DQ_RES_BLKS,
3347 				-(long)args->len);
3348 		return;
3349 	}
3350 
3351 	/* data/attr fork only */
3352 	ap->ip->i_nblocks += args->len;
3353 	xfs_trans_log_inode(ap->tp, ap->ip, XFS_ILOG_CORE);
3354 	if (ap->wasdel) {
3355 		ap->ip->i_delayed_blks -= args->len;
3356 		xfs_mod_delalloc(ap->ip->i_mount, -(int64_t)args->len);
3357 	}
3358 	xfs_trans_mod_dquot_byino(ap->tp, ap->ip,
3359 		ap->wasdel ? XFS_TRANS_DQ_DELBCOUNT : XFS_TRANS_DQ_BCOUNT,
3360 		args->len);
3361 }
3362 
3363 static int
3364 xfs_bmap_compute_alignments(
3365 	struct xfs_bmalloca	*ap,
3366 	struct xfs_alloc_arg	*args)
3367 {
3368 	struct xfs_mount	*mp = args->mp;
3369 	xfs_extlen_t		align = 0; /* minimum allocation alignment */
3370 	int			stripe_align = 0;
3371 
3372 	/* stripe alignment for allocation is determined by mount parameters */
3373 	if (mp->m_swidth && xfs_has_swalloc(mp))
3374 		stripe_align = mp->m_swidth;
3375 	else if (mp->m_dalign)
3376 		stripe_align = mp->m_dalign;
3377 
3378 	if (ap->flags & XFS_BMAPI_COWFORK)
3379 		align = xfs_get_cowextsz_hint(ap->ip);
3380 	else if (ap->datatype & XFS_ALLOC_USERDATA)
3381 		align = xfs_get_extsz_hint(ap->ip);
3382 	if (align) {
3383 		if (xfs_bmap_extsize_align(mp, &ap->got, &ap->prev, align, 0,
3384 					ap->eof, 0, ap->conv, &ap->offset,
3385 					&ap->length))
3386 			ASSERT(0);
3387 		ASSERT(ap->length);
3388 	}
3389 
3390 	/* apply extent size hints if obtained earlier */
3391 	if (align) {
3392 		args->prod = align;
3393 		div_u64_rem(ap->offset, args->prod, &args->mod);
3394 		if (args->mod)
3395 			args->mod = args->prod - args->mod;
3396 	} else if (mp->m_sb.sb_blocksize >= PAGE_SIZE) {
3397 		args->prod = 1;
3398 		args->mod = 0;
3399 	} else {
3400 		args->prod = PAGE_SIZE >> mp->m_sb.sb_blocklog;
3401 		div_u64_rem(ap->offset, args->prod, &args->mod);
3402 		if (args->mod)
3403 			args->mod = args->prod - args->mod;
3404 	}
3405 
3406 	return stripe_align;
3407 }
3408 
3409 static void
3410 xfs_bmap_process_allocated_extent(
3411 	struct xfs_bmalloca	*ap,
3412 	struct xfs_alloc_arg	*args,
3413 	xfs_fileoff_t		orig_offset,
3414 	xfs_extlen_t		orig_length)
3415 {
3416 	int			nullfb;
3417 
3418 	nullfb = ap->tp->t_firstblock == NULLFSBLOCK;
3419 
3420 	/*
3421 	 * check the allocation happened at the same or higher AG than
3422 	 * the first block that was allocated.
3423 	 */
3424 	ASSERT(nullfb ||
3425 		XFS_FSB_TO_AGNO(args->mp, ap->tp->t_firstblock) <=
3426 		XFS_FSB_TO_AGNO(args->mp, args->fsbno));
3427 
3428 	ap->blkno = args->fsbno;
3429 	if (nullfb)
3430 		ap->tp->t_firstblock = args->fsbno;
3431 	ap->length = args->len;
3432 	/*
3433 	 * If the extent size hint is active, we tried to round the
3434 	 * caller's allocation request offset down to extsz and the
3435 	 * length up to another extsz boundary.  If we found a free
3436 	 * extent we mapped it in starting at this new offset.  If the
3437 	 * newly mapped space isn't long enough to cover any of the
3438 	 * range of offsets that was originally requested, move the
3439 	 * mapping up so that we can fill as much of the caller's
3440 	 * original request as possible.  Free space is apparently
3441 	 * very fragmented so we're unlikely to be able to satisfy the
3442 	 * hints anyway.
3443 	 */
3444 	if (ap->length <= orig_length)
3445 		ap->offset = orig_offset;
3446 	else if (ap->offset + ap->length < orig_offset + orig_length)
3447 		ap->offset = orig_offset + orig_length - ap->length;
3448 	xfs_bmap_btalloc_accounting(ap, args);
3449 }
3450 
3451 #ifdef DEBUG
3452 static int
3453 xfs_bmap_exact_minlen_extent_alloc(
3454 	struct xfs_bmalloca	*ap)
3455 {
3456 	struct xfs_mount	*mp = ap->ip->i_mount;
3457 	struct xfs_alloc_arg	args = { .tp = ap->tp, .mp = mp };
3458 	xfs_fileoff_t		orig_offset;
3459 	xfs_extlen_t		orig_length;
3460 	int			error;
3461 
3462 	ASSERT(ap->length);
3463 
3464 	if (ap->minlen != 1) {
3465 		ap->blkno = NULLFSBLOCK;
3466 		ap->length = 0;
3467 		return 0;
3468 	}
3469 
3470 	orig_offset = ap->offset;
3471 	orig_length = ap->length;
3472 
3473 	args.alloc_minlen_only = 1;
3474 
3475 	xfs_bmap_compute_alignments(ap, &args);
3476 
3477 	if (ap->tp->t_firstblock == NULLFSBLOCK) {
3478 		/*
3479 		 * Unlike the longest extent available in an AG, we don't track
3480 		 * the length of an AG's shortest extent.
3481 		 * XFS_ERRTAG_BMAP_ALLOC_MINLEN_EXTENT is a debug only knob and
3482 		 * hence we can afford to start traversing from the 0th AG since
3483 		 * we need not be concerned about a drop in performance in
3484 		 * "debug only" code paths.
3485 		 */
3486 		ap->blkno = XFS_AGB_TO_FSB(mp, 0, 0);
3487 	} else {
3488 		ap->blkno = ap->tp->t_firstblock;
3489 	}
3490 
3491 	args.fsbno = ap->blkno;
3492 	args.oinfo = XFS_RMAP_OINFO_SKIP_UPDATE;
3493 	args.type = XFS_ALLOCTYPE_FIRST_AG;
3494 	args.minlen = args.maxlen = ap->minlen;
3495 	args.total = ap->total;
3496 
3497 	args.alignment = 1;
3498 	args.minalignslop = 0;
3499 
3500 	args.minleft = ap->minleft;
3501 	args.wasdel = ap->wasdel;
3502 	args.resv = XFS_AG_RESV_NONE;
3503 	args.datatype = ap->datatype;
3504 
3505 	error = xfs_alloc_vextent(&args);
3506 	if (error)
3507 		return error;
3508 
3509 	if (args.fsbno != NULLFSBLOCK) {
3510 		xfs_bmap_process_allocated_extent(ap, &args, orig_offset,
3511 			orig_length);
3512 	} else {
3513 		ap->blkno = NULLFSBLOCK;
3514 		ap->length = 0;
3515 	}
3516 
3517 	return 0;
3518 }
3519 #else
3520 
3521 #define xfs_bmap_exact_minlen_extent_alloc(bma) (-EFSCORRUPTED)
3522 
3523 #endif
3524 
3525 STATIC int
3526 xfs_bmap_btalloc(
3527 	struct xfs_bmalloca	*ap)
3528 {
3529 	struct xfs_mount	*mp = ap->ip->i_mount;
3530 	struct xfs_alloc_arg	args = { .tp = ap->tp, .mp = mp };
3531 	xfs_alloctype_t		atype = 0;
3532 	xfs_agnumber_t		fb_agno;	/* ag number of ap->firstblock */
3533 	xfs_agnumber_t		ag;
3534 	xfs_fileoff_t		orig_offset;
3535 	xfs_extlen_t		orig_length;
3536 	xfs_extlen_t		blen;
3537 	xfs_extlen_t		nextminlen = 0;
3538 	int			nullfb; /* true if ap->firstblock isn't set */
3539 	int			isaligned;
3540 	int			tryagain;
3541 	int			error;
3542 	int			stripe_align;
3543 
3544 	ASSERT(ap->length);
3545 	orig_offset = ap->offset;
3546 	orig_length = ap->length;
3547 
3548 	stripe_align = xfs_bmap_compute_alignments(ap, &args);
3549 
3550 	nullfb = ap->tp->t_firstblock == NULLFSBLOCK;
3551 	fb_agno = nullfb ? NULLAGNUMBER : XFS_FSB_TO_AGNO(mp,
3552 							ap->tp->t_firstblock);
3553 	if (nullfb) {
3554 		if ((ap->datatype & XFS_ALLOC_USERDATA) &&
3555 		    xfs_inode_is_filestream(ap->ip)) {
3556 			ag = xfs_filestream_lookup_ag(ap->ip);
3557 			ag = (ag != NULLAGNUMBER) ? ag : 0;
3558 			ap->blkno = XFS_AGB_TO_FSB(mp, ag, 0);
3559 		} else {
3560 			ap->blkno = XFS_INO_TO_FSB(mp, ap->ip->i_ino);
3561 		}
3562 	} else
3563 		ap->blkno = ap->tp->t_firstblock;
3564 
3565 	xfs_bmap_adjacent(ap);
3566 
3567 	/*
3568 	 * If allowed, use ap->blkno; otherwise must use firstblock since
3569 	 * it's in the right allocation group.
3570 	 */
3571 	if (nullfb || XFS_FSB_TO_AGNO(mp, ap->blkno) == fb_agno)
3572 		;
3573 	else
3574 		ap->blkno = ap->tp->t_firstblock;
3575 	/*
3576 	 * Normal allocation, done through xfs_alloc_vextent.
3577 	 */
3578 	tryagain = isaligned = 0;
3579 	args.fsbno = ap->blkno;
3580 	args.oinfo = XFS_RMAP_OINFO_SKIP_UPDATE;
3581 
3582 	/* Trim the allocation back to the maximum an AG can fit. */
3583 	args.maxlen = min(ap->length, mp->m_ag_max_usable);
3584 	blen = 0;
3585 	if (nullfb) {
3586 		/*
3587 		 * Search for an allocation group with a single extent large
3588 		 * enough for the request.  If one isn't found, then adjust
3589 		 * the minimum allocation size to the largest space found.
3590 		 */
3591 		if ((ap->datatype & XFS_ALLOC_USERDATA) &&
3592 		    xfs_inode_is_filestream(ap->ip))
3593 			error = xfs_bmap_btalloc_filestreams(ap, &args, &blen);
3594 		else
3595 			error = xfs_bmap_btalloc_nullfb(ap, &args, &blen);
3596 		if (error)
3597 			return error;
3598 	} else if (ap->tp->t_flags & XFS_TRANS_LOWMODE) {
3599 		if (xfs_inode_is_filestream(ap->ip))
3600 			args.type = XFS_ALLOCTYPE_FIRST_AG;
3601 		else
3602 			args.type = XFS_ALLOCTYPE_START_BNO;
3603 		args.total = args.minlen = ap->minlen;
3604 	} else {
3605 		args.type = XFS_ALLOCTYPE_NEAR_BNO;
3606 		args.total = ap->total;
3607 		args.minlen = ap->minlen;
3608 	}
3609 
3610 	/*
3611 	 * If we are not low on available data blocks, and the underlying
3612 	 * logical volume manager is a stripe, and the file offset is zero then
3613 	 * try to allocate data blocks on stripe unit boundary. NOTE: ap->aeof
3614 	 * is only set if the allocation length is >= the stripe unit and the
3615 	 * allocation offset is at the end of file.
3616 	 */
3617 	if (!(ap->tp->t_flags & XFS_TRANS_LOWMODE) && ap->aeof) {
3618 		if (!ap->offset) {
3619 			args.alignment = stripe_align;
3620 			atype = args.type;
3621 			isaligned = 1;
3622 			/*
3623 			 * Adjust minlen to try and preserve alignment if we
3624 			 * can't guarantee an aligned maxlen extent.
3625 			 */
3626 			if (blen > args.alignment &&
3627 			    blen <= args.maxlen + args.alignment)
3628 				args.minlen = blen - args.alignment;
3629 			args.minalignslop = 0;
3630 		} else {
3631 			/*
3632 			 * First try an exact bno allocation.
3633 			 * If it fails then do a near or start bno
3634 			 * allocation with alignment turned on.
3635 			 */
3636 			atype = args.type;
3637 			tryagain = 1;
3638 			args.type = XFS_ALLOCTYPE_THIS_BNO;
3639 			args.alignment = 1;
3640 			/*
3641 			 * Compute the minlen+alignment for the
3642 			 * next case.  Set slop so that the value
3643 			 * of minlen+alignment+slop doesn't go up
3644 			 * between the calls.
3645 			 */
3646 			if (blen > stripe_align && blen <= args.maxlen)
3647 				nextminlen = blen - stripe_align;
3648 			else
3649 				nextminlen = args.minlen;
3650 			if (nextminlen + stripe_align > args.minlen + 1)
3651 				args.minalignslop =
3652 					nextminlen + stripe_align -
3653 					args.minlen - 1;
3654 			else
3655 				args.minalignslop = 0;
3656 		}
3657 	} else {
3658 		args.alignment = 1;
3659 		args.minalignslop = 0;
3660 	}
3661 	args.minleft = ap->minleft;
3662 	args.wasdel = ap->wasdel;
3663 	args.resv = XFS_AG_RESV_NONE;
3664 	args.datatype = ap->datatype;
3665 
3666 	error = xfs_alloc_vextent(&args);
3667 	if (error)
3668 		return error;
3669 
3670 	if (tryagain && args.fsbno == NULLFSBLOCK) {
3671 		/*
3672 		 * Exact allocation failed. Now try with alignment
3673 		 * turned on.
3674 		 */
3675 		args.type = atype;
3676 		args.fsbno = ap->blkno;
3677 		args.alignment = stripe_align;
3678 		args.minlen = nextminlen;
3679 		args.minalignslop = 0;
3680 		isaligned = 1;
3681 		if ((error = xfs_alloc_vextent(&args)))
3682 			return error;
3683 	}
3684 	if (isaligned && args.fsbno == NULLFSBLOCK) {
3685 		/*
3686 		 * allocation failed, so turn off alignment and
3687 		 * try again.
3688 		 */
3689 		args.type = atype;
3690 		args.fsbno = ap->blkno;
3691 		args.alignment = 0;
3692 		if ((error = xfs_alloc_vextent(&args)))
3693 			return error;
3694 	}
3695 	if (args.fsbno == NULLFSBLOCK && nullfb &&
3696 	    args.minlen > ap->minlen) {
3697 		args.minlen = ap->minlen;
3698 		args.type = XFS_ALLOCTYPE_START_BNO;
3699 		args.fsbno = ap->blkno;
3700 		if ((error = xfs_alloc_vextent(&args)))
3701 			return error;
3702 	}
3703 	if (args.fsbno == NULLFSBLOCK && nullfb) {
3704 		args.fsbno = 0;
3705 		args.type = XFS_ALLOCTYPE_FIRST_AG;
3706 		args.total = ap->minlen;
3707 		if ((error = xfs_alloc_vextent(&args)))
3708 			return error;
3709 		ap->tp->t_flags |= XFS_TRANS_LOWMODE;
3710 	}
3711 
3712 	if (args.fsbno != NULLFSBLOCK) {
3713 		xfs_bmap_process_allocated_extent(ap, &args, orig_offset,
3714 			orig_length);
3715 	} else {
3716 		ap->blkno = NULLFSBLOCK;
3717 		ap->length = 0;
3718 	}
3719 	return 0;
3720 }
3721 
3722 /* Trim extent to fit a logical block range. */
3723 void
3724 xfs_trim_extent(
3725 	struct xfs_bmbt_irec	*irec,
3726 	xfs_fileoff_t		bno,
3727 	xfs_filblks_t		len)
3728 {
3729 	xfs_fileoff_t		distance;
3730 	xfs_fileoff_t		end = bno + len;
3731 
3732 	if (irec->br_startoff + irec->br_blockcount <= bno ||
3733 	    irec->br_startoff >= end) {
3734 		irec->br_blockcount = 0;
3735 		return;
3736 	}
3737 
3738 	if (irec->br_startoff < bno) {
3739 		distance = bno - irec->br_startoff;
3740 		if (isnullstartblock(irec->br_startblock))
3741 			irec->br_startblock = DELAYSTARTBLOCK;
3742 		if (irec->br_startblock != DELAYSTARTBLOCK &&
3743 		    irec->br_startblock != HOLESTARTBLOCK)
3744 			irec->br_startblock += distance;
3745 		irec->br_startoff += distance;
3746 		irec->br_blockcount -= distance;
3747 	}
3748 
3749 	if (end < irec->br_startoff + irec->br_blockcount) {
3750 		distance = irec->br_startoff + irec->br_blockcount - end;
3751 		irec->br_blockcount -= distance;
3752 	}
3753 }
3754 
3755 /*
3756  * Trim the returned map to the required bounds
3757  */
3758 STATIC void
3759 xfs_bmapi_trim_map(
3760 	struct xfs_bmbt_irec	*mval,
3761 	struct xfs_bmbt_irec	*got,
3762 	xfs_fileoff_t		*bno,
3763 	xfs_filblks_t		len,
3764 	xfs_fileoff_t		obno,
3765 	xfs_fileoff_t		end,
3766 	int			n,
3767 	uint32_t		flags)
3768 {
3769 	if ((flags & XFS_BMAPI_ENTIRE) ||
3770 	    got->br_startoff + got->br_blockcount <= obno) {
3771 		*mval = *got;
3772 		if (isnullstartblock(got->br_startblock))
3773 			mval->br_startblock = DELAYSTARTBLOCK;
3774 		return;
3775 	}
3776 
3777 	if (obno > *bno)
3778 		*bno = obno;
3779 	ASSERT((*bno >= obno) || (n == 0));
3780 	ASSERT(*bno < end);
3781 	mval->br_startoff = *bno;
3782 	if (isnullstartblock(got->br_startblock))
3783 		mval->br_startblock = DELAYSTARTBLOCK;
3784 	else
3785 		mval->br_startblock = got->br_startblock +
3786 					(*bno - got->br_startoff);
3787 	/*
3788 	 * Return the minimum of what we got and what we asked for for
3789 	 * the length.  We can use the len variable here because it is
3790 	 * modified below and we could have been there before coming
3791 	 * here if the first part of the allocation didn't overlap what
3792 	 * was asked for.
3793 	 */
3794 	mval->br_blockcount = XFS_FILBLKS_MIN(end - *bno,
3795 			got->br_blockcount - (*bno - got->br_startoff));
3796 	mval->br_state = got->br_state;
3797 	ASSERT(mval->br_blockcount <= len);
3798 	return;
3799 }
3800 
3801 /*
3802  * Update and validate the extent map to return
3803  */
3804 STATIC void
3805 xfs_bmapi_update_map(
3806 	struct xfs_bmbt_irec	**map,
3807 	xfs_fileoff_t		*bno,
3808 	xfs_filblks_t		*len,
3809 	xfs_fileoff_t		obno,
3810 	xfs_fileoff_t		end,
3811 	int			*n,
3812 	uint32_t		flags)
3813 {
3814 	xfs_bmbt_irec_t	*mval = *map;
3815 
3816 	ASSERT((flags & XFS_BMAPI_ENTIRE) ||
3817 	       ((mval->br_startoff + mval->br_blockcount) <= end));
3818 	ASSERT((flags & XFS_BMAPI_ENTIRE) || (mval->br_blockcount <= *len) ||
3819 	       (mval->br_startoff < obno));
3820 
3821 	*bno = mval->br_startoff + mval->br_blockcount;
3822 	*len = end - *bno;
3823 	if (*n > 0 && mval->br_startoff == mval[-1].br_startoff) {
3824 		/* update previous map with new information */
3825 		ASSERT(mval->br_startblock == mval[-1].br_startblock);
3826 		ASSERT(mval->br_blockcount > mval[-1].br_blockcount);
3827 		ASSERT(mval->br_state == mval[-1].br_state);
3828 		mval[-1].br_blockcount = mval->br_blockcount;
3829 		mval[-1].br_state = mval->br_state;
3830 	} else if (*n > 0 && mval->br_startblock != DELAYSTARTBLOCK &&
3831 		   mval[-1].br_startblock != DELAYSTARTBLOCK &&
3832 		   mval[-1].br_startblock != HOLESTARTBLOCK &&
3833 		   mval->br_startblock == mval[-1].br_startblock +
3834 					  mval[-1].br_blockcount &&
3835 		   mval[-1].br_state == mval->br_state) {
3836 		ASSERT(mval->br_startoff ==
3837 		       mval[-1].br_startoff + mval[-1].br_blockcount);
3838 		mval[-1].br_blockcount += mval->br_blockcount;
3839 	} else if (*n > 0 &&
3840 		   mval->br_startblock == DELAYSTARTBLOCK &&
3841 		   mval[-1].br_startblock == DELAYSTARTBLOCK &&
3842 		   mval->br_startoff ==
3843 		   mval[-1].br_startoff + mval[-1].br_blockcount) {
3844 		mval[-1].br_blockcount += mval->br_blockcount;
3845 		mval[-1].br_state = mval->br_state;
3846 	} else if (!((*n == 0) &&
3847 		     ((mval->br_startoff + mval->br_blockcount) <=
3848 		      obno))) {
3849 		mval++;
3850 		(*n)++;
3851 	}
3852 	*map = mval;
3853 }
3854 
3855 /*
3856  * Map file blocks to filesystem blocks without allocation.
3857  */
3858 int
3859 xfs_bmapi_read(
3860 	struct xfs_inode	*ip,
3861 	xfs_fileoff_t		bno,
3862 	xfs_filblks_t		len,
3863 	struct xfs_bmbt_irec	*mval,
3864 	int			*nmap,
3865 	uint32_t		flags)
3866 {
3867 	struct xfs_mount	*mp = ip->i_mount;
3868 	int			whichfork = xfs_bmapi_whichfork(flags);
3869 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
3870 	struct xfs_bmbt_irec	got;
3871 	xfs_fileoff_t		obno;
3872 	xfs_fileoff_t		end;
3873 	struct xfs_iext_cursor	icur;
3874 	int			error;
3875 	bool			eof = false;
3876 	int			n = 0;
3877 
3878 	ASSERT(*nmap >= 1);
3879 	ASSERT(!(flags & ~(XFS_BMAPI_ATTRFORK | XFS_BMAPI_ENTIRE)));
3880 	ASSERT(xfs_isilocked(ip, XFS_ILOCK_SHARED|XFS_ILOCK_EXCL));
3881 
3882 	if (WARN_ON_ONCE(!ifp))
3883 		return -EFSCORRUPTED;
3884 
3885 	if (XFS_IS_CORRUPT(mp, !xfs_ifork_has_extents(ifp)) ||
3886 	    XFS_TEST_ERROR(false, mp, XFS_ERRTAG_BMAPIFORMAT))
3887 		return -EFSCORRUPTED;
3888 
3889 	if (xfs_is_shutdown(mp))
3890 		return -EIO;
3891 
3892 	XFS_STATS_INC(mp, xs_blk_mapr);
3893 
3894 	error = xfs_iread_extents(NULL, ip, whichfork);
3895 	if (error)
3896 		return error;
3897 
3898 	if (!xfs_iext_lookup_extent(ip, ifp, bno, &icur, &got))
3899 		eof = true;
3900 	end = bno + len;
3901 	obno = bno;
3902 
3903 	while (bno < end && n < *nmap) {
3904 		/* Reading past eof, act as though there's a hole up to end. */
3905 		if (eof)
3906 			got.br_startoff = end;
3907 		if (got.br_startoff > bno) {
3908 			/* Reading in a hole.  */
3909 			mval->br_startoff = bno;
3910 			mval->br_startblock = HOLESTARTBLOCK;
3911 			mval->br_blockcount =
3912 				XFS_FILBLKS_MIN(len, got.br_startoff - bno);
3913 			mval->br_state = XFS_EXT_NORM;
3914 			bno += mval->br_blockcount;
3915 			len -= mval->br_blockcount;
3916 			mval++;
3917 			n++;
3918 			continue;
3919 		}
3920 
3921 		/* set up the extent map to return. */
3922 		xfs_bmapi_trim_map(mval, &got, &bno, len, obno, end, n, flags);
3923 		xfs_bmapi_update_map(&mval, &bno, &len, obno, end, &n, flags);
3924 
3925 		/* If we're done, stop now. */
3926 		if (bno >= end || n >= *nmap)
3927 			break;
3928 
3929 		/* Else go on to the next record. */
3930 		if (!xfs_iext_next_extent(ifp, &icur, &got))
3931 			eof = true;
3932 	}
3933 	*nmap = n;
3934 	return 0;
3935 }
3936 
3937 /*
3938  * Add a delayed allocation extent to an inode. Blocks are reserved from the
3939  * global pool and the extent inserted into the inode in-core extent tree.
3940  *
3941  * On entry, got refers to the first extent beyond the offset of the extent to
3942  * allocate or eof is specified if no such extent exists. On return, got refers
3943  * to the extent record that was inserted to the inode fork.
3944  *
3945  * Note that the allocated extent may have been merged with contiguous extents
3946  * during insertion into the inode fork. Thus, got does not reflect the current
3947  * state of the inode fork on return. If necessary, the caller can use lastx to
3948  * look up the updated record in the inode fork.
3949  */
3950 int
3951 xfs_bmapi_reserve_delalloc(
3952 	struct xfs_inode	*ip,
3953 	int			whichfork,
3954 	xfs_fileoff_t		off,
3955 	xfs_filblks_t		len,
3956 	xfs_filblks_t		prealloc,
3957 	struct xfs_bmbt_irec	*got,
3958 	struct xfs_iext_cursor	*icur,
3959 	int			eof)
3960 {
3961 	struct xfs_mount	*mp = ip->i_mount;
3962 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
3963 	xfs_extlen_t		alen;
3964 	xfs_extlen_t		indlen;
3965 	int			error;
3966 	xfs_fileoff_t		aoff = off;
3967 
3968 	/*
3969 	 * Cap the alloc length. Keep track of prealloc so we know whether to
3970 	 * tag the inode before we return.
3971 	 */
3972 	alen = XFS_FILBLKS_MIN(len + prealloc, XFS_MAX_BMBT_EXTLEN);
3973 	if (!eof)
3974 		alen = XFS_FILBLKS_MIN(alen, got->br_startoff - aoff);
3975 	if (prealloc && alen >= len)
3976 		prealloc = alen - len;
3977 
3978 	/* Figure out the extent size, adjust alen */
3979 	if (whichfork == XFS_COW_FORK) {
3980 		struct xfs_bmbt_irec	prev;
3981 		xfs_extlen_t		extsz = xfs_get_cowextsz_hint(ip);
3982 
3983 		if (!xfs_iext_peek_prev_extent(ifp, icur, &prev))
3984 			prev.br_startoff = NULLFILEOFF;
3985 
3986 		error = xfs_bmap_extsize_align(mp, got, &prev, extsz, 0, eof,
3987 					       1, 0, &aoff, &alen);
3988 		ASSERT(!error);
3989 	}
3990 
3991 	/*
3992 	 * Make a transaction-less quota reservation for delayed allocation
3993 	 * blocks.  This number gets adjusted later.  We return if we haven't
3994 	 * allocated blocks already inside this loop.
3995 	 */
3996 	error = xfs_quota_reserve_blkres(ip, alen);
3997 	if (error)
3998 		return error;
3999 
4000 	/*
4001 	 * Split changing sb for alen and indlen since they could be coming
4002 	 * from different places.
4003 	 */
4004 	indlen = (xfs_extlen_t)xfs_bmap_worst_indlen(ip, alen);
4005 	ASSERT(indlen > 0);
4006 
4007 	error = xfs_mod_fdblocks(mp, -((int64_t)alen), false);
4008 	if (error)
4009 		goto out_unreserve_quota;
4010 
4011 	error = xfs_mod_fdblocks(mp, -((int64_t)indlen), false);
4012 	if (error)
4013 		goto out_unreserve_blocks;
4014 
4015 
4016 	ip->i_delayed_blks += alen;
4017 	xfs_mod_delalloc(ip->i_mount, alen + indlen);
4018 
4019 	got->br_startoff = aoff;
4020 	got->br_startblock = nullstartblock(indlen);
4021 	got->br_blockcount = alen;
4022 	got->br_state = XFS_EXT_NORM;
4023 
4024 	xfs_bmap_add_extent_hole_delay(ip, whichfork, icur, got);
4025 
4026 	/*
4027 	 * Tag the inode if blocks were preallocated. Note that COW fork
4028 	 * preallocation can occur at the start or end of the extent, even when
4029 	 * prealloc == 0, so we must also check the aligned offset and length.
4030 	 */
4031 	if (whichfork == XFS_DATA_FORK && prealloc)
4032 		xfs_inode_set_eofblocks_tag(ip);
4033 	if (whichfork == XFS_COW_FORK && (prealloc || aoff < off || alen > len))
4034 		xfs_inode_set_cowblocks_tag(ip);
4035 
4036 	return 0;
4037 
4038 out_unreserve_blocks:
4039 	xfs_mod_fdblocks(mp, alen, false);
4040 out_unreserve_quota:
4041 	if (XFS_IS_QUOTA_ON(mp))
4042 		xfs_quota_unreserve_blkres(ip, alen);
4043 	return error;
4044 }
4045 
4046 static int
4047 xfs_bmap_alloc_userdata(
4048 	struct xfs_bmalloca	*bma)
4049 {
4050 	struct xfs_mount	*mp = bma->ip->i_mount;
4051 	int			whichfork = xfs_bmapi_whichfork(bma->flags);
4052 	int			error;
4053 
4054 	/*
4055 	 * Set the data type being allocated. For the data fork, the first data
4056 	 * in the file is treated differently to all other allocations. For the
4057 	 * attribute fork, we only need to ensure the allocated range is not on
4058 	 * the busy list.
4059 	 */
4060 	bma->datatype = XFS_ALLOC_NOBUSY;
4061 	if (whichfork == XFS_DATA_FORK || whichfork == XFS_COW_FORK) {
4062 		bma->datatype |= XFS_ALLOC_USERDATA;
4063 		if (bma->offset == 0)
4064 			bma->datatype |= XFS_ALLOC_INITIAL_USER_DATA;
4065 
4066 		if (mp->m_dalign && bma->length >= mp->m_dalign) {
4067 			error = xfs_bmap_isaeof(bma, whichfork);
4068 			if (error)
4069 				return error;
4070 		}
4071 
4072 		if (XFS_IS_REALTIME_INODE(bma->ip))
4073 			return xfs_bmap_rtalloc(bma);
4074 	}
4075 
4076 	if (unlikely(XFS_TEST_ERROR(false, mp,
4077 			XFS_ERRTAG_BMAP_ALLOC_MINLEN_EXTENT)))
4078 		return xfs_bmap_exact_minlen_extent_alloc(bma);
4079 
4080 	return xfs_bmap_btalloc(bma);
4081 }
4082 
4083 static int
4084 xfs_bmapi_allocate(
4085 	struct xfs_bmalloca	*bma)
4086 {
4087 	struct xfs_mount	*mp = bma->ip->i_mount;
4088 	int			whichfork = xfs_bmapi_whichfork(bma->flags);
4089 	struct xfs_ifork	*ifp = xfs_ifork_ptr(bma->ip, whichfork);
4090 	int			tmp_logflags = 0;
4091 	int			error;
4092 
4093 	ASSERT(bma->length > 0);
4094 
4095 	/*
4096 	 * For the wasdelay case, we could also just allocate the stuff asked
4097 	 * for in this bmap call but that wouldn't be as good.
4098 	 */
4099 	if (bma->wasdel) {
4100 		bma->length = (xfs_extlen_t)bma->got.br_blockcount;
4101 		bma->offset = bma->got.br_startoff;
4102 		if (!xfs_iext_peek_prev_extent(ifp, &bma->icur, &bma->prev))
4103 			bma->prev.br_startoff = NULLFILEOFF;
4104 	} else {
4105 		bma->length = XFS_FILBLKS_MIN(bma->length, XFS_MAX_BMBT_EXTLEN);
4106 		if (!bma->eof)
4107 			bma->length = XFS_FILBLKS_MIN(bma->length,
4108 					bma->got.br_startoff - bma->offset);
4109 	}
4110 
4111 	if (bma->flags & XFS_BMAPI_CONTIG)
4112 		bma->minlen = bma->length;
4113 	else
4114 		bma->minlen = 1;
4115 
4116 	if (bma->flags & XFS_BMAPI_METADATA) {
4117 		if (unlikely(XFS_TEST_ERROR(false, mp,
4118 				XFS_ERRTAG_BMAP_ALLOC_MINLEN_EXTENT)))
4119 			error = xfs_bmap_exact_minlen_extent_alloc(bma);
4120 		else
4121 			error = xfs_bmap_btalloc(bma);
4122 	} else {
4123 		error = xfs_bmap_alloc_userdata(bma);
4124 	}
4125 	if (error || bma->blkno == NULLFSBLOCK)
4126 		return error;
4127 
4128 	if (bma->flags & XFS_BMAPI_ZERO) {
4129 		error = xfs_zero_extent(bma->ip, bma->blkno, bma->length);
4130 		if (error)
4131 			return error;
4132 	}
4133 
4134 	if (ifp->if_format == XFS_DINODE_FMT_BTREE && !bma->cur)
4135 		bma->cur = xfs_bmbt_init_cursor(mp, bma->tp, bma->ip, whichfork);
4136 	/*
4137 	 * Bump the number of extents we've allocated
4138 	 * in this call.
4139 	 */
4140 	bma->nallocs++;
4141 
4142 	if (bma->cur)
4143 		bma->cur->bc_ino.flags =
4144 			bma->wasdel ? XFS_BTCUR_BMBT_WASDEL : 0;
4145 
4146 	bma->got.br_startoff = bma->offset;
4147 	bma->got.br_startblock = bma->blkno;
4148 	bma->got.br_blockcount = bma->length;
4149 	bma->got.br_state = XFS_EXT_NORM;
4150 
4151 	if (bma->flags & XFS_BMAPI_PREALLOC)
4152 		bma->got.br_state = XFS_EXT_UNWRITTEN;
4153 
4154 	if (bma->wasdel)
4155 		error = xfs_bmap_add_extent_delay_real(bma, whichfork);
4156 	else
4157 		error = xfs_bmap_add_extent_hole_real(bma->tp, bma->ip,
4158 				whichfork, &bma->icur, &bma->cur, &bma->got,
4159 				&bma->logflags, bma->flags);
4160 
4161 	bma->logflags |= tmp_logflags;
4162 	if (error)
4163 		return error;
4164 
4165 	/*
4166 	 * Update our extent pointer, given that xfs_bmap_add_extent_delay_real
4167 	 * or xfs_bmap_add_extent_hole_real might have merged it into one of
4168 	 * the neighbouring ones.
4169 	 */
4170 	xfs_iext_get_extent(ifp, &bma->icur, &bma->got);
4171 
4172 	ASSERT(bma->got.br_startoff <= bma->offset);
4173 	ASSERT(bma->got.br_startoff + bma->got.br_blockcount >=
4174 	       bma->offset + bma->length);
4175 	ASSERT(bma->got.br_state == XFS_EXT_NORM ||
4176 	       bma->got.br_state == XFS_EXT_UNWRITTEN);
4177 	return 0;
4178 }
4179 
4180 STATIC int
4181 xfs_bmapi_convert_unwritten(
4182 	struct xfs_bmalloca	*bma,
4183 	struct xfs_bmbt_irec	*mval,
4184 	xfs_filblks_t		len,
4185 	uint32_t		flags)
4186 {
4187 	int			whichfork = xfs_bmapi_whichfork(flags);
4188 	struct xfs_ifork	*ifp = xfs_ifork_ptr(bma->ip, whichfork);
4189 	int			tmp_logflags = 0;
4190 	int			error;
4191 
4192 	/* check if we need to do unwritten->real conversion */
4193 	if (mval->br_state == XFS_EXT_UNWRITTEN &&
4194 	    (flags & XFS_BMAPI_PREALLOC))
4195 		return 0;
4196 
4197 	/* check if we need to do real->unwritten conversion */
4198 	if (mval->br_state == XFS_EXT_NORM &&
4199 	    (flags & (XFS_BMAPI_PREALLOC | XFS_BMAPI_CONVERT)) !=
4200 			(XFS_BMAPI_PREALLOC | XFS_BMAPI_CONVERT))
4201 		return 0;
4202 
4203 	/*
4204 	 * Modify (by adding) the state flag, if writing.
4205 	 */
4206 	ASSERT(mval->br_blockcount <= len);
4207 	if (ifp->if_format == XFS_DINODE_FMT_BTREE && !bma->cur) {
4208 		bma->cur = xfs_bmbt_init_cursor(bma->ip->i_mount, bma->tp,
4209 					bma->ip, whichfork);
4210 	}
4211 	mval->br_state = (mval->br_state == XFS_EXT_UNWRITTEN)
4212 				? XFS_EXT_NORM : XFS_EXT_UNWRITTEN;
4213 
4214 	/*
4215 	 * Before insertion into the bmbt, zero the range being converted
4216 	 * if required.
4217 	 */
4218 	if (flags & XFS_BMAPI_ZERO) {
4219 		error = xfs_zero_extent(bma->ip, mval->br_startblock,
4220 					mval->br_blockcount);
4221 		if (error)
4222 			return error;
4223 	}
4224 
4225 	error = xfs_bmap_add_extent_unwritten_real(bma->tp, bma->ip, whichfork,
4226 			&bma->icur, &bma->cur, mval, &tmp_logflags);
4227 	/*
4228 	 * Log the inode core unconditionally in the unwritten extent conversion
4229 	 * path because the conversion might not have done so (e.g., if the
4230 	 * extent count hasn't changed). We need to make sure the inode is dirty
4231 	 * in the transaction for the sake of fsync(), even if nothing has
4232 	 * changed, because fsync() will not force the log for this transaction
4233 	 * unless it sees the inode pinned.
4234 	 *
4235 	 * Note: If we're only converting cow fork extents, there aren't
4236 	 * any on-disk updates to make, so we don't need to log anything.
4237 	 */
4238 	if (whichfork != XFS_COW_FORK)
4239 		bma->logflags |= tmp_logflags | XFS_ILOG_CORE;
4240 	if (error)
4241 		return error;
4242 
4243 	/*
4244 	 * Update our extent pointer, given that
4245 	 * xfs_bmap_add_extent_unwritten_real might have merged it into one
4246 	 * of the neighbouring ones.
4247 	 */
4248 	xfs_iext_get_extent(ifp, &bma->icur, &bma->got);
4249 
4250 	/*
4251 	 * We may have combined previously unwritten space with written space,
4252 	 * so generate another request.
4253 	 */
4254 	if (mval->br_blockcount < len)
4255 		return -EAGAIN;
4256 	return 0;
4257 }
4258 
4259 static inline xfs_extlen_t
4260 xfs_bmapi_minleft(
4261 	struct xfs_trans	*tp,
4262 	struct xfs_inode	*ip,
4263 	int			fork)
4264 {
4265 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, fork);
4266 
4267 	if (tp && tp->t_firstblock != NULLFSBLOCK)
4268 		return 0;
4269 	if (ifp->if_format != XFS_DINODE_FMT_BTREE)
4270 		return 1;
4271 	return be16_to_cpu(ifp->if_broot->bb_level) + 1;
4272 }
4273 
4274 /*
4275  * Log whatever the flags say, even if error.  Otherwise we might miss detecting
4276  * a case where the data is changed, there's an error, and it's not logged so we
4277  * don't shutdown when we should.  Don't bother logging extents/btree changes if
4278  * we converted to the other format.
4279  */
4280 static void
4281 xfs_bmapi_finish(
4282 	struct xfs_bmalloca	*bma,
4283 	int			whichfork,
4284 	int			error)
4285 {
4286 	struct xfs_ifork	*ifp = xfs_ifork_ptr(bma->ip, whichfork);
4287 
4288 	if ((bma->logflags & xfs_ilog_fext(whichfork)) &&
4289 	    ifp->if_format != XFS_DINODE_FMT_EXTENTS)
4290 		bma->logflags &= ~xfs_ilog_fext(whichfork);
4291 	else if ((bma->logflags & xfs_ilog_fbroot(whichfork)) &&
4292 		 ifp->if_format != XFS_DINODE_FMT_BTREE)
4293 		bma->logflags &= ~xfs_ilog_fbroot(whichfork);
4294 
4295 	if (bma->logflags)
4296 		xfs_trans_log_inode(bma->tp, bma->ip, bma->logflags);
4297 	if (bma->cur)
4298 		xfs_btree_del_cursor(bma->cur, error);
4299 }
4300 
4301 /*
4302  * Map file blocks to filesystem blocks, and allocate blocks or convert the
4303  * extent state if necessary.  Details behaviour is controlled by the flags
4304  * parameter.  Only allocates blocks from a single allocation group, to avoid
4305  * locking problems.
4306  */
4307 int
4308 xfs_bmapi_write(
4309 	struct xfs_trans	*tp,		/* transaction pointer */
4310 	struct xfs_inode	*ip,		/* incore inode */
4311 	xfs_fileoff_t		bno,		/* starting file offs. mapped */
4312 	xfs_filblks_t		len,		/* length to map in file */
4313 	uint32_t		flags,		/* XFS_BMAPI_... */
4314 	xfs_extlen_t		total,		/* total blocks needed */
4315 	struct xfs_bmbt_irec	*mval,		/* output: map values */
4316 	int			*nmap)		/* i/o: mval size/count */
4317 {
4318 	struct xfs_bmalloca	bma = {
4319 		.tp		= tp,
4320 		.ip		= ip,
4321 		.total		= total,
4322 	};
4323 	struct xfs_mount	*mp = ip->i_mount;
4324 	int			whichfork = xfs_bmapi_whichfork(flags);
4325 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
4326 	xfs_fileoff_t		end;		/* end of mapped file region */
4327 	bool			eof = false;	/* after the end of extents */
4328 	int			error;		/* error return */
4329 	int			n;		/* current extent index */
4330 	xfs_fileoff_t		obno;		/* old block number (offset) */
4331 
4332 #ifdef DEBUG
4333 	xfs_fileoff_t		orig_bno;	/* original block number value */
4334 	int			orig_flags;	/* original flags arg value */
4335 	xfs_filblks_t		orig_len;	/* original value of len arg */
4336 	struct xfs_bmbt_irec	*orig_mval;	/* original value of mval */
4337 	int			orig_nmap;	/* original value of *nmap */
4338 
4339 	orig_bno = bno;
4340 	orig_len = len;
4341 	orig_flags = flags;
4342 	orig_mval = mval;
4343 	orig_nmap = *nmap;
4344 #endif
4345 
4346 	ASSERT(*nmap >= 1);
4347 	ASSERT(*nmap <= XFS_BMAP_MAX_NMAP);
4348 	ASSERT(tp != NULL);
4349 	ASSERT(len > 0);
4350 	ASSERT(ifp->if_format != XFS_DINODE_FMT_LOCAL);
4351 	ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
4352 	ASSERT(!(flags & XFS_BMAPI_REMAP));
4353 
4354 	/* zeroing is for currently only for data extents, not metadata */
4355 	ASSERT((flags & (XFS_BMAPI_METADATA | XFS_BMAPI_ZERO)) !=
4356 			(XFS_BMAPI_METADATA | XFS_BMAPI_ZERO));
4357 	/*
4358 	 * we can allocate unwritten extents or pre-zero allocated blocks,
4359 	 * but it makes no sense to do both at once. This would result in
4360 	 * zeroing the unwritten extent twice, but it still being an
4361 	 * unwritten extent....
4362 	 */
4363 	ASSERT((flags & (XFS_BMAPI_PREALLOC | XFS_BMAPI_ZERO)) !=
4364 			(XFS_BMAPI_PREALLOC | XFS_BMAPI_ZERO));
4365 
4366 	if (XFS_IS_CORRUPT(mp, !xfs_ifork_has_extents(ifp)) ||
4367 	    XFS_TEST_ERROR(false, mp, XFS_ERRTAG_BMAPIFORMAT)) {
4368 		return -EFSCORRUPTED;
4369 	}
4370 
4371 	if (xfs_is_shutdown(mp))
4372 		return -EIO;
4373 
4374 	XFS_STATS_INC(mp, xs_blk_mapw);
4375 
4376 	error = xfs_iread_extents(tp, ip, whichfork);
4377 	if (error)
4378 		goto error0;
4379 
4380 	if (!xfs_iext_lookup_extent(ip, ifp, bno, &bma.icur, &bma.got))
4381 		eof = true;
4382 	if (!xfs_iext_peek_prev_extent(ifp, &bma.icur, &bma.prev))
4383 		bma.prev.br_startoff = NULLFILEOFF;
4384 	bma.minleft = xfs_bmapi_minleft(tp, ip, whichfork);
4385 
4386 	n = 0;
4387 	end = bno + len;
4388 	obno = bno;
4389 	while (bno < end && n < *nmap) {
4390 		bool			need_alloc = false, wasdelay = false;
4391 
4392 		/* in hole or beyond EOF? */
4393 		if (eof || bma.got.br_startoff > bno) {
4394 			/*
4395 			 * CoW fork conversions should /never/ hit EOF or
4396 			 * holes.  There should always be something for us
4397 			 * to work on.
4398 			 */
4399 			ASSERT(!((flags & XFS_BMAPI_CONVERT) &&
4400 			         (flags & XFS_BMAPI_COWFORK)));
4401 
4402 			need_alloc = true;
4403 		} else if (isnullstartblock(bma.got.br_startblock)) {
4404 			wasdelay = true;
4405 		}
4406 
4407 		/*
4408 		 * First, deal with the hole before the allocated space
4409 		 * that we found, if any.
4410 		 */
4411 		if (need_alloc || wasdelay) {
4412 			bma.eof = eof;
4413 			bma.conv = !!(flags & XFS_BMAPI_CONVERT);
4414 			bma.wasdel = wasdelay;
4415 			bma.offset = bno;
4416 			bma.flags = flags;
4417 
4418 			/*
4419 			 * There's a 32/64 bit type mismatch between the
4420 			 * allocation length request (which can be 64 bits in
4421 			 * length) and the bma length request, which is
4422 			 * xfs_extlen_t and therefore 32 bits. Hence we have to
4423 			 * check for 32-bit overflows and handle them here.
4424 			 */
4425 			if (len > (xfs_filblks_t)XFS_MAX_BMBT_EXTLEN)
4426 				bma.length = XFS_MAX_BMBT_EXTLEN;
4427 			else
4428 				bma.length = len;
4429 
4430 			ASSERT(len > 0);
4431 			ASSERT(bma.length > 0);
4432 			error = xfs_bmapi_allocate(&bma);
4433 			if (error)
4434 				goto error0;
4435 			if (bma.blkno == NULLFSBLOCK)
4436 				break;
4437 
4438 			/*
4439 			 * If this is a CoW allocation, record the data in
4440 			 * the refcount btree for orphan recovery.
4441 			 */
4442 			if (whichfork == XFS_COW_FORK)
4443 				xfs_refcount_alloc_cow_extent(tp, bma.blkno,
4444 						bma.length);
4445 		}
4446 
4447 		/* Deal with the allocated space we found.  */
4448 		xfs_bmapi_trim_map(mval, &bma.got, &bno, len, obno,
4449 							end, n, flags);
4450 
4451 		/* Execute unwritten extent conversion if necessary */
4452 		error = xfs_bmapi_convert_unwritten(&bma, mval, len, flags);
4453 		if (error == -EAGAIN)
4454 			continue;
4455 		if (error)
4456 			goto error0;
4457 
4458 		/* update the extent map to return */
4459 		xfs_bmapi_update_map(&mval, &bno, &len, obno, end, &n, flags);
4460 
4461 		/*
4462 		 * If we're done, stop now.  Stop when we've allocated
4463 		 * XFS_BMAP_MAX_NMAP extents no matter what.  Otherwise
4464 		 * the transaction may get too big.
4465 		 */
4466 		if (bno >= end || n >= *nmap || bma.nallocs >= *nmap)
4467 			break;
4468 
4469 		/* Else go on to the next record. */
4470 		bma.prev = bma.got;
4471 		if (!xfs_iext_next_extent(ifp, &bma.icur, &bma.got))
4472 			eof = true;
4473 	}
4474 	*nmap = n;
4475 
4476 	error = xfs_bmap_btree_to_extents(tp, ip, bma.cur, &bma.logflags,
4477 			whichfork);
4478 	if (error)
4479 		goto error0;
4480 
4481 	ASSERT(ifp->if_format != XFS_DINODE_FMT_BTREE ||
4482 	       ifp->if_nextents > XFS_IFORK_MAXEXT(ip, whichfork));
4483 	xfs_bmapi_finish(&bma, whichfork, 0);
4484 	xfs_bmap_validate_ret(orig_bno, orig_len, orig_flags, orig_mval,
4485 		orig_nmap, *nmap);
4486 	return 0;
4487 error0:
4488 	xfs_bmapi_finish(&bma, whichfork, error);
4489 	return error;
4490 }
4491 
4492 /*
4493  * Convert an existing delalloc extent to real blocks based on file offset. This
4494  * attempts to allocate the entire delalloc extent and may require multiple
4495  * invocations to allocate the target offset if a large enough physical extent
4496  * is not available.
4497  */
4498 int
4499 xfs_bmapi_convert_delalloc(
4500 	struct xfs_inode	*ip,
4501 	int			whichfork,
4502 	xfs_off_t		offset,
4503 	struct iomap		*iomap,
4504 	unsigned int		*seq)
4505 {
4506 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
4507 	struct xfs_mount	*mp = ip->i_mount;
4508 	xfs_fileoff_t		offset_fsb = XFS_B_TO_FSBT(mp, offset);
4509 	struct xfs_bmalloca	bma = { NULL };
4510 	uint16_t		flags = 0;
4511 	struct xfs_trans	*tp;
4512 	int			error;
4513 
4514 	if (whichfork == XFS_COW_FORK)
4515 		flags |= IOMAP_F_SHARED;
4516 
4517 	/*
4518 	 * Space for the extent and indirect blocks was reserved when the
4519 	 * delalloc extent was created so there's no need to do so here.
4520 	 */
4521 	error = xfs_trans_alloc(mp, &M_RES(mp)->tr_write, 0, 0,
4522 				XFS_TRANS_RESERVE, &tp);
4523 	if (error)
4524 		return error;
4525 
4526 	xfs_ilock(ip, XFS_ILOCK_EXCL);
4527 	xfs_trans_ijoin(tp, ip, 0);
4528 
4529 	error = xfs_iext_count_may_overflow(ip, whichfork,
4530 			XFS_IEXT_ADD_NOSPLIT_CNT);
4531 	if (error == -EFBIG)
4532 		error = xfs_iext_count_upgrade(tp, ip,
4533 				XFS_IEXT_ADD_NOSPLIT_CNT);
4534 	if (error)
4535 		goto out_trans_cancel;
4536 
4537 	if (!xfs_iext_lookup_extent(ip, ifp, offset_fsb, &bma.icur, &bma.got) ||
4538 	    bma.got.br_startoff > offset_fsb) {
4539 		/*
4540 		 * No extent found in the range we are trying to convert.  This
4541 		 * should only happen for the COW fork, where another thread
4542 		 * might have moved the extent to the data fork in the meantime.
4543 		 */
4544 		WARN_ON_ONCE(whichfork != XFS_COW_FORK);
4545 		error = -EAGAIN;
4546 		goto out_trans_cancel;
4547 	}
4548 
4549 	/*
4550 	 * If we find a real extent here we raced with another thread converting
4551 	 * the extent.  Just return the real extent at this offset.
4552 	 */
4553 	if (!isnullstartblock(bma.got.br_startblock)) {
4554 		xfs_bmbt_to_iomap(ip, iomap, &bma.got, 0, flags,
4555 				xfs_iomap_inode_sequence(ip, flags));
4556 		*seq = READ_ONCE(ifp->if_seq);
4557 		goto out_trans_cancel;
4558 	}
4559 
4560 	bma.tp = tp;
4561 	bma.ip = ip;
4562 	bma.wasdel = true;
4563 	bma.offset = bma.got.br_startoff;
4564 	bma.length = max_t(xfs_filblks_t, bma.got.br_blockcount,
4565 			XFS_MAX_BMBT_EXTLEN);
4566 	bma.minleft = xfs_bmapi_minleft(tp, ip, whichfork);
4567 
4568 	/*
4569 	 * When we're converting the delalloc reservations backing dirty pages
4570 	 * in the page cache, we must be careful about how we create the new
4571 	 * extents:
4572 	 *
4573 	 * New CoW fork extents are created unwritten, turned into real extents
4574 	 * when we're about to write the data to disk, and mapped into the data
4575 	 * fork after the write finishes.  End of story.
4576 	 *
4577 	 * New data fork extents must be mapped in as unwritten and converted
4578 	 * to real extents after the write succeeds to avoid exposing stale
4579 	 * disk contents if we crash.
4580 	 */
4581 	bma.flags = XFS_BMAPI_PREALLOC;
4582 	if (whichfork == XFS_COW_FORK)
4583 		bma.flags |= XFS_BMAPI_COWFORK;
4584 
4585 	if (!xfs_iext_peek_prev_extent(ifp, &bma.icur, &bma.prev))
4586 		bma.prev.br_startoff = NULLFILEOFF;
4587 
4588 	error = xfs_bmapi_allocate(&bma);
4589 	if (error)
4590 		goto out_finish;
4591 
4592 	error = -ENOSPC;
4593 	if (WARN_ON_ONCE(bma.blkno == NULLFSBLOCK))
4594 		goto out_finish;
4595 	error = -EFSCORRUPTED;
4596 	if (WARN_ON_ONCE(!xfs_valid_startblock(ip, bma.got.br_startblock)))
4597 		goto out_finish;
4598 
4599 	XFS_STATS_ADD(mp, xs_xstrat_bytes, XFS_FSB_TO_B(mp, bma.length));
4600 	XFS_STATS_INC(mp, xs_xstrat_quick);
4601 
4602 	ASSERT(!isnullstartblock(bma.got.br_startblock));
4603 	xfs_bmbt_to_iomap(ip, iomap, &bma.got, 0, flags,
4604 				xfs_iomap_inode_sequence(ip, flags));
4605 	*seq = READ_ONCE(ifp->if_seq);
4606 
4607 	if (whichfork == XFS_COW_FORK)
4608 		xfs_refcount_alloc_cow_extent(tp, bma.blkno, bma.length);
4609 
4610 	error = xfs_bmap_btree_to_extents(tp, ip, bma.cur, &bma.logflags,
4611 			whichfork);
4612 	if (error)
4613 		goto out_finish;
4614 
4615 	xfs_bmapi_finish(&bma, whichfork, 0);
4616 	error = xfs_trans_commit(tp);
4617 	xfs_iunlock(ip, XFS_ILOCK_EXCL);
4618 	return error;
4619 
4620 out_finish:
4621 	xfs_bmapi_finish(&bma, whichfork, error);
4622 out_trans_cancel:
4623 	xfs_trans_cancel(tp);
4624 	xfs_iunlock(ip, XFS_ILOCK_EXCL);
4625 	return error;
4626 }
4627 
4628 int
4629 xfs_bmapi_remap(
4630 	struct xfs_trans	*tp,
4631 	struct xfs_inode	*ip,
4632 	xfs_fileoff_t		bno,
4633 	xfs_filblks_t		len,
4634 	xfs_fsblock_t		startblock,
4635 	uint32_t		flags)
4636 {
4637 	struct xfs_mount	*mp = ip->i_mount;
4638 	struct xfs_ifork	*ifp;
4639 	struct xfs_btree_cur	*cur = NULL;
4640 	struct xfs_bmbt_irec	got;
4641 	struct xfs_iext_cursor	icur;
4642 	int			whichfork = xfs_bmapi_whichfork(flags);
4643 	int			logflags = 0, error;
4644 
4645 	ifp = xfs_ifork_ptr(ip, whichfork);
4646 	ASSERT(len > 0);
4647 	ASSERT(len <= (xfs_filblks_t)XFS_MAX_BMBT_EXTLEN);
4648 	ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
4649 	ASSERT(!(flags & ~(XFS_BMAPI_ATTRFORK | XFS_BMAPI_PREALLOC |
4650 			   XFS_BMAPI_NORMAP)));
4651 	ASSERT((flags & (XFS_BMAPI_ATTRFORK | XFS_BMAPI_PREALLOC)) !=
4652 			(XFS_BMAPI_ATTRFORK | XFS_BMAPI_PREALLOC));
4653 
4654 	if (XFS_IS_CORRUPT(mp, !xfs_ifork_has_extents(ifp)) ||
4655 	    XFS_TEST_ERROR(false, mp, XFS_ERRTAG_BMAPIFORMAT)) {
4656 		return -EFSCORRUPTED;
4657 	}
4658 
4659 	if (xfs_is_shutdown(mp))
4660 		return -EIO;
4661 
4662 	error = xfs_iread_extents(tp, ip, whichfork);
4663 	if (error)
4664 		return error;
4665 
4666 	if (xfs_iext_lookup_extent(ip, ifp, bno, &icur, &got)) {
4667 		/* make sure we only reflink into a hole. */
4668 		ASSERT(got.br_startoff > bno);
4669 		ASSERT(got.br_startoff - bno >= len);
4670 	}
4671 
4672 	ip->i_nblocks += len;
4673 	xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
4674 
4675 	if (ifp->if_format == XFS_DINODE_FMT_BTREE) {
4676 		cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
4677 		cur->bc_ino.flags = 0;
4678 	}
4679 
4680 	got.br_startoff = bno;
4681 	got.br_startblock = startblock;
4682 	got.br_blockcount = len;
4683 	if (flags & XFS_BMAPI_PREALLOC)
4684 		got.br_state = XFS_EXT_UNWRITTEN;
4685 	else
4686 		got.br_state = XFS_EXT_NORM;
4687 
4688 	error = xfs_bmap_add_extent_hole_real(tp, ip, whichfork, &icur,
4689 			&cur, &got, &logflags, flags);
4690 	if (error)
4691 		goto error0;
4692 
4693 	error = xfs_bmap_btree_to_extents(tp, ip, cur, &logflags, whichfork);
4694 
4695 error0:
4696 	if (ip->i_df.if_format != XFS_DINODE_FMT_EXTENTS)
4697 		logflags &= ~XFS_ILOG_DEXT;
4698 	else if (ip->i_df.if_format != XFS_DINODE_FMT_BTREE)
4699 		logflags &= ~XFS_ILOG_DBROOT;
4700 
4701 	if (logflags)
4702 		xfs_trans_log_inode(tp, ip, logflags);
4703 	if (cur)
4704 		xfs_btree_del_cursor(cur, error);
4705 	return error;
4706 }
4707 
4708 /*
4709  * When a delalloc extent is split (e.g., due to a hole punch), the original
4710  * indlen reservation must be shared across the two new extents that are left
4711  * behind.
4712  *
4713  * Given the original reservation and the worst case indlen for the two new
4714  * extents (as calculated by xfs_bmap_worst_indlen()), split the original
4715  * reservation fairly across the two new extents. If necessary, steal available
4716  * blocks from a deleted extent to make up a reservation deficiency (e.g., if
4717  * ores == 1). The number of stolen blocks is returned. The availability and
4718  * subsequent accounting of stolen blocks is the responsibility of the caller.
4719  */
4720 static xfs_filblks_t
4721 xfs_bmap_split_indlen(
4722 	xfs_filblks_t			ores,		/* original res. */
4723 	xfs_filblks_t			*indlen1,	/* ext1 worst indlen */
4724 	xfs_filblks_t			*indlen2,	/* ext2 worst indlen */
4725 	xfs_filblks_t			avail)		/* stealable blocks */
4726 {
4727 	xfs_filblks_t			len1 = *indlen1;
4728 	xfs_filblks_t			len2 = *indlen2;
4729 	xfs_filblks_t			nres = len1 + len2; /* new total res. */
4730 	xfs_filblks_t			stolen = 0;
4731 	xfs_filblks_t			resfactor;
4732 
4733 	/*
4734 	 * Steal as many blocks as we can to try and satisfy the worst case
4735 	 * indlen for both new extents.
4736 	 */
4737 	if (ores < nres && avail)
4738 		stolen = XFS_FILBLKS_MIN(nres - ores, avail);
4739 	ores += stolen;
4740 
4741 	 /* nothing else to do if we've satisfied the new reservation */
4742 	if (ores >= nres)
4743 		return stolen;
4744 
4745 	/*
4746 	 * We can't meet the total required reservation for the two extents.
4747 	 * Calculate the percent of the overall shortage between both extents
4748 	 * and apply this percentage to each of the requested indlen values.
4749 	 * This distributes the shortage fairly and reduces the chances that one
4750 	 * of the two extents is left with nothing when extents are repeatedly
4751 	 * split.
4752 	 */
4753 	resfactor = (ores * 100);
4754 	do_div(resfactor, nres);
4755 	len1 *= resfactor;
4756 	do_div(len1, 100);
4757 	len2 *= resfactor;
4758 	do_div(len2, 100);
4759 	ASSERT(len1 + len2 <= ores);
4760 	ASSERT(len1 < *indlen1 && len2 < *indlen2);
4761 
4762 	/*
4763 	 * Hand out the remainder to each extent. If one of the two reservations
4764 	 * is zero, we want to make sure that one gets a block first. The loop
4765 	 * below starts with len1, so hand len2 a block right off the bat if it
4766 	 * is zero.
4767 	 */
4768 	ores -= (len1 + len2);
4769 	ASSERT((*indlen1 - len1) + (*indlen2 - len2) >= ores);
4770 	if (ores && !len2 && *indlen2) {
4771 		len2++;
4772 		ores--;
4773 	}
4774 	while (ores) {
4775 		if (len1 < *indlen1) {
4776 			len1++;
4777 			ores--;
4778 		}
4779 		if (!ores)
4780 			break;
4781 		if (len2 < *indlen2) {
4782 			len2++;
4783 			ores--;
4784 		}
4785 	}
4786 
4787 	*indlen1 = len1;
4788 	*indlen2 = len2;
4789 
4790 	return stolen;
4791 }
4792 
4793 int
4794 xfs_bmap_del_extent_delay(
4795 	struct xfs_inode	*ip,
4796 	int			whichfork,
4797 	struct xfs_iext_cursor	*icur,
4798 	struct xfs_bmbt_irec	*got,
4799 	struct xfs_bmbt_irec	*del)
4800 {
4801 	struct xfs_mount	*mp = ip->i_mount;
4802 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
4803 	struct xfs_bmbt_irec	new;
4804 	int64_t			da_old, da_new, da_diff = 0;
4805 	xfs_fileoff_t		del_endoff, got_endoff;
4806 	xfs_filblks_t		got_indlen, new_indlen, stolen;
4807 	uint32_t		state = xfs_bmap_fork_to_state(whichfork);
4808 	int			error = 0;
4809 	bool			isrt;
4810 
4811 	XFS_STATS_INC(mp, xs_del_exlist);
4812 
4813 	isrt = (whichfork == XFS_DATA_FORK) && XFS_IS_REALTIME_INODE(ip);
4814 	del_endoff = del->br_startoff + del->br_blockcount;
4815 	got_endoff = got->br_startoff + got->br_blockcount;
4816 	da_old = startblockval(got->br_startblock);
4817 	da_new = 0;
4818 
4819 	ASSERT(del->br_blockcount > 0);
4820 	ASSERT(got->br_startoff <= del->br_startoff);
4821 	ASSERT(got_endoff >= del_endoff);
4822 
4823 	if (isrt) {
4824 		uint64_t rtexts = XFS_FSB_TO_B(mp, del->br_blockcount);
4825 
4826 		do_div(rtexts, mp->m_sb.sb_rextsize);
4827 		xfs_mod_frextents(mp, rtexts);
4828 	}
4829 
4830 	/*
4831 	 * Update the inode delalloc counter now and wait to update the
4832 	 * sb counters as we might have to borrow some blocks for the
4833 	 * indirect block accounting.
4834 	 */
4835 	ASSERT(!isrt);
4836 	error = xfs_quota_unreserve_blkres(ip, del->br_blockcount);
4837 	if (error)
4838 		return error;
4839 	ip->i_delayed_blks -= del->br_blockcount;
4840 
4841 	if (got->br_startoff == del->br_startoff)
4842 		state |= BMAP_LEFT_FILLING;
4843 	if (got_endoff == del_endoff)
4844 		state |= BMAP_RIGHT_FILLING;
4845 
4846 	switch (state & (BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING)) {
4847 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING:
4848 		/*
4849 		 * Matches the whole extent.  Delete the entry.
4850 		 */
4851 		xfs_iext_remove(ip, icur, state);
4852 		xfs_iext_prev(ifp, icur);
4853 		break;
4854 	case BMAP_LEFT_FILLING:
4855 		/*
4856 		 * Deleting the first part of the extent.
4857 		 */
4858 		got->br_startoff = del_endoff;
4859 		got->br_blockcount -= del->br_blockcount;
4860 		da_new = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(ip,
4861 				got->br_blockcount), da_old);
4862 		got->br_startblock = nullstartblock((int)da_new);
4863 		xfs_iext_update_extent(ip, state, icur, got);
4864 		break;
4865 	case BMAP_RIGHT_FILLING:
4866 		/*
4867 		 * Deleting the last part of the extent.
4868 		 */
4869 		got->br_blockcount = got->br_blockcount - del->br_blockcount;
4870 		da_new = XFS_FILBLKS_MIN(xfs_bmap_worst_indlen(ip,
4871 				got->br_blockcount), da_old);
4872 		got->br_startblock = nullstartblock((int)da_new);
4873 		xfs_iext_update_extent(ip, state, icur, got);
4874 		break;
4875 	case 0:
4876 		/*
4877 		 * Deleting the middle of the extent.
4878 		 *
4879 		 * Distribute the original indlen reservation across the two new
4880 		 * extents.  Steal blocks from the deleted extent if necessary.
4881 		 * Stealing blocks simply fudges the fdblocks accounting below.
4882 		 * Warn if either of the new indlen reservations is zero as this
4883 		 * can lead to delalloc problems.
4884 		 */
4885 		got->br_blockcount = del->br_startoff - got->br_startoff;
4886 		got_indlen = xfs_bmap_worst_indlen(ip, got->br_blockcount);
4887 
4888 		new.br_blockcount = got_endoff - del_endoff;
4889 		new_indlen = xfs_bmap_worst_indlen(ip, new.br_blockcount);
4890 
4891 		WARN_ON_ONCE(!got_indlen || !new_indlen);
4892 		stolen = xfs_bmap_split_indlen(da_old, &got_indlen, &new_indlen,
4893 						       del->br_blockcount);
4894 
4895 		got->br_startblock = nullstartblock((int)got_indlen);
4896 
4897 		new.br_startoff = del_endoff;
4898 		new.br_state = got->br_state;
4899 		new.br_startblock = nullstartblock((int)new_indlen);
4900 
4901 		xfs_iext_update_extent(ip, state, icur, got);
4902 		xfs_iext_next(ifp, icur);
4903 		xfs_iext_insert(ip, icur, &new, state);
4904 
4905 		da_new = got_indlen + new_indlen - stolen;
4906 		del->br_blockcount -= stolen;
4907 		break;
4908 	}
4909 
4910 	ASSERT(da_old >= da_new);
4911 	da_diff = da_old - da_new;
4912 	if (!isrt)
4913 		da_diff += del->br_blockcount;
4914 	if (da_diff) {
4915 		xfs_mod_fdblocks(mp, da_diff, false);
4916 		xfs_mod_delalloc(mp, -da_diff);
4917 	}
4918 	return error;
4919 }
4920 
4921 void
4922 xfs_bmap_del_extent_cow(
4923 	struct xfs_inode	*ip,
4924 	struct xfs_iext_cursor	*icur,
4925 	struct xfs_bmbt_irec	*got,
4926 	struct xfs_bmbt_irec	*del)
4927 {
4928 	struct xfs_mount	*mp = ip->i_mount;
4929 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, XFS_COW_FORK);
4930 	struct xfs_bmbt_irec	new;
4931 	xfs_fileoff_t		del_endoff, got_endoff;
4932 	uint32_t		state = BMAP_COWFORK;
4933 
4934 	XFS_STATS_INC(mp, xs_del_exlist);
4935 
4936 	del_endoff = del->br_startoff + del->br_blockcount;
4937 	got_endoff = got->br_startoff + got->br_blockcount;
4938 
4939 	ASSERT(del->br_blockcount > 0);
4940 	ASSERT(got->br_startoff <= del->br_startoff);
4941 	ASSERT(got_endoff >= del_endoff);
4942 	ASSERT(!isnullstartblock(got->br_startblock));
4943 
4944 	if (got->br_startoff == del->br_startoff)
4945 		state |= BMAP_LEFT_FILLING;
4946 	if (got_endoff == del_endoff)
4947 		state |= BMAP_RIGHT_FILLING;
4948 
4949 	switch (state & (BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING)) {
4950 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING:
4951 		/*
4952 		 * Matches the whole extent.  Delete the entry.
4953 		 */
4954 		xfs_iext_remove(ip, icur, state);
4955 		xfs_iext_prev(ifp, icur);
4956 		break;
4957 	case BMAP_LEFT_FILLING:
4958 		/*
4959 		 * Deleting the first part of the extent.
4960 		 */
4961 		got->br_startoff = del_endoff;
4962 		got->br_blockcount -= del->br_blockcount;
4963 		got->br_startblock = del->br_startblock + del->br_blockcount;
4964 		xfs_iext_update_extent(ip, state, icur, got);
4965 		break;
4966 	case BMAP_RIGHT_FILLING:
4967 		/*
4968 		 * Deleting the last part of the extent.
4969 		 */
4970 		got->br_blockcount -= del->br_blockcount;
4971 		xfs_iext_update_extent(ip, state, icur, got);
4972 		break;
4973 	case 0:
4974 		/*
4975 		 * Deleting the middle of the extent.
4976 		 */
4977 		got->br_blockcount = del->br_startoff - got->br_startoff;
4978 
4979 		new.br_startoff = del_endoff;
4980 		new.br_blockcount = got_endoff - del_endoff;
4981 		new.br_state = got->br_state;
4982 		new.br_startblock = del->br_startblock + del->br_blockcount;
4983 
4984 		xfs_iext_update_extent(ip, state, icur, got);
4985 		xfs_iext_next(ifp, icur);
4986 		xfs_iext_insert(ip, icur, &new, state);
4987 		break;
4988 	}
4989 	ip->i_delayed_blks -= del->br_blockcount;
4990 }
4991 
4992 /*
4993  * Called by xfs_bmapi to update file extent records and the btree
4994  * after removing space.
4995  */
4996 STATIC int				/* error */
4997 xfs_bmap_del_extent_real(
4998 	xfs_inode_t		*ip,	/* incore inode pointer */
4999 	xfs_trans_t		*tp,	/* current transaction pointer */
5000 	struct xfs_iext_cursor	*icur,
5001 	struct xfs_btree_cur	*cur,	/* if null, not a btree */
5002 	xfs_bmbt_irec_t		*del,	/* data to remove from extents */
5003 	int			*logflagsp, /* inode logging flags */
5004 	int			whichfork, /* data or attr fork */
5005 	uint32_t		bflags)	/* bmapi flags */
5006 {
5007 	xfs_fsblock_t		del_endblock=0;	/* first block past del */
5008 	xfs_fileoff_t		del_endoff;	/* first offset past del */
5009 	int			do_fx;	/* free extent at end of routine */
5010 	int			error;	/* error return value */
5011 	int			flags = 0;/* inode logging flags */
5012 	struct xfs_bmbt_irec	got;	/* current extent entry */
5013 	xfs_fileoff_t		got_endoff;	/* first offset past got */
5014 	int			i;	/* temp state */
5015 	struct xfs_ifork	*ifp;	/* inode fork pointer */
5016 	xfs_mount_t		*mp;	/* mount structure */
5017 	xfs_filblks_t		nblks;	/* quota/sb block count */
5018 	xfs_bmbt_irec_t		new;	/* new record to be inserted */
5019 	/* REFERENCED */
5020 	uint			qfield;	/* quota field to update */
5021 	uint32_t		state = xfs_bmap_fork_to_state(whichfork);
5022 	struct xfs_bmbt_irec	old;
5023 
5024 	mp = ip->i_mount;
5025 	XFS_STATS_INC(mp, xs_del_exlist);
5026 
5027 	ifp = xfs_ifork_ptr(ip, whichfork);
5028 	ASSERT(del->br_blockcount > 0);
5029 	xfs_iext_get_extent(ifp, icur, &got);
5030 	ASSERT(got.br_startoff <= del->br_startoff);
5031 	del_endoff = del->br_startoff + del->br_blockcount;
5032 	got_endoff = got.br_startoff + got.br_blockcount;
5033 	ASSERT(got_endoff >= del_endoff);
5034 	ASSERT(!isnullstartblock(got.br_startblock));
5035 	qfield = 0;
5036 	error = 0;
5037 
5038 	/*
5039 	 * If it's the case where the directory code is running with no block
5040 	 * reservation, and the deleted block is in the middle of its extent,
5041 	 * and the resulting insert of an extent would cause transformation to
5042 	 * btree format, then reject it.  The calling code will then swap blocks
5043 	 * around instead.  We have to do this now, rather than waiting for the
5044 	 * conversion to btree format, since the transaction will be dirty then.
5045 	 */
5046 	if (tp->t_blk_res == 0 &&
5047 	    ifp->if_format == XFS_DINODE_FMT_EXTENTS &&
5048 	    ifp->if_nextents >= XFS_IFORK_MAXEXT(ip, whichfork) &&
5049 	    del->br_startoff > got.br_startoff && del_endoff < got_endoff)
5050 		return -ENOSPC;
5051 
5052 	flags = XFS_ILOG_CORE;
5053 	if (whichfork == XFS_DATA_FORK && XFS_IS_REALTIME_INODE(ip)) {
5054 		xfs_filblks_t	len;
5055 		xfs_extlen_t	mod;
5056 
5057 		len = div_u64_rem(del->br_blockcount, mp->m_sb.sb_rextsize,
5058 				  &mod);
5059 		ASSERT(mod == 0);
5060 
5061 		if (!(bflags & XFS_BMAPI_REMAP)) {
5062 			xfs_fsblock_t	bno;
5063 
5064 			bno = div_u64_rem(del->br_startblock,
5065 					mp->m_sb.sb_rextsize, &mod);
5066 			ASSERT(mod == 0);
5067 
5068 			error = xfs_rtfree_extent(tp, bno, (xfs_extlen_t)len);
5069 			if (error)
5070 				goto done;
5071 		}
5072 
5073 		do_fx = 0;
5074 		nblks = len * mp->m_sb.sb_rextsize;
5075 		qfield = XFS_TRANS_DQ_RTBCOUNT;
5076 	} else {
5077 		do_fx = 1;
5078 		nblks = del->br_blockcount;
5079 		qfield = XFS_TRANS_DQ_BCOUNT;
5080 	}
5081 
5082 	del_endblock = del->br_startblock + del->br_blockcount;
5083 	if (cur) {
5084 		error = xfs_bmbt_lookup_eq(cur, &got, &i);
5085 		if (error)
5086 			goto done;
5087 		if (XFS_IS_CORRUPT(mp, i != 1)) {
5088 			error = -EFSCORRUPTED;
5089 			goto done;
5090 		}
5091 	}
5092 
5093 	if (got.br_startoff == del->br_startoff)
5094 		state |= BMAP_LEFT_FILLING;
5095 	if (got_endoff == del_endoff)
5096 		state |= BMAP_RIGHT_FILLING;
5097 
5098 	switch (state & (BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING)) {
5099 	case BMAP_LEFT_FILLING | BMAP_RIGHT_FILLING:
5100 		/*
5101 		 * Matches the whole extent.  Delete the entry.
5102 		 */
5103 		xfs_iext_remove(ip, icur, state);
5104 		xfs_iext_prev(ifp, icur);
5105 		ifp->if_nextents--;
5106 
5107 		flags |= XFS_ILOG_CORE;
5108 		if (!cur) {
5109 			flags |= xfs_ilog_fext(whichfork);
5110 			break;
5111 		}
5112 		if ((error = xfs_btree_delete(cur, &i)))
5113 			goto done;
5114 		if (XFS_IS_CORRUPT(mp, i != 1)) {
5115 			error = -EFSCORRUPTED;
5116 			goto done;
5117 		}
5118 		break;
5119 	case BMAP_LEFT_FILLING:
5120 		/*
5121 		 * Deleting the first part of the extent.
5122 		 */
5123 		got.br_startoff = del_endoff;
5124 		got.br_startblock = del_endblock;
5125 		got.br_blockcount -= del->br_blockcount;
5126 		xfs_iext_update_extent(ip, state, icur, &got);
5127 		if (!cur) {
5128 			flags |= xfs_ilog_fext(whichfork);
5129 			break;
5130 		}
5131 		error = xfs_bmbt_update(cur, &got);
5132 		if (error)
5133 			goto done;
5134 		break;
5135 	case BMAP_RIGHT_FILLING:
5136 		/*
5137 		 * Deleting the last part of the extent.
5138 		 */
5139 		got.br_blockcount -= del->br_blockcount;
5140 		xfs_iext_update_extent(ip, state, icur, &got);
5141 		if (!cur) {
5142 			flags |= xfs_ilog_fext(whichfork);
5143 			break;
5144 		}
5145 		error = xfs_bmbt_update(cur, &got);
5146 		if (error)
5147 			goto done;
5148 		break;
5149 	case 0:
5150 		/*
5151 		 * Deleting the middle of the extent.
5152 		 */
5153 
5154 		old = got;
5155 
5156 		got.br_blockcount = del->br_startoff - got.br_startoff;
5157 		xfs_iext_update_extent(ip, state, icur, &got);
5158 
5159 		new.br_startoff = del_endoff;
5160 		new.br_blockcount = got_endoff - del_endoff;
5161 		new.br_state = got.br_state;
5162 		new.br_startblock = del_endblock;
5163 
5164 		flags |= XFS_ILOG_CORE;
5165 		if (cur) {
5166 			error = xfs_bmbt_update(cur, &got);
5167 			if (error)
5168 				goto done;
5169 			error = xfs_btree_increment(cur, 0, &i);
5170 			if (error)
5171 				goto done;
5172 			cur->bc_rec.b = new;
5173 			error = xfs_btree_insert(cur, &i);
5174 			if (error && error != -ENOSPC)
5175 				goto done;
5176 			/*
5177 			 * If get no-space back from btree insert, it tried a
5178 			 * split, and we have a zero block reservation.  Fix up
5179 			 * our state and return the error.
5180 			 */
5181 			if (error == -ENOSPC) {
5182 				/*
5183 				 * Reset the cursor, don't trust it after any
5184 				 * insert operation.
5185 				 */
5186 				error = xfs_bmbt_lookup_eq(cur, &got, &i);
5187 				if (error)
5188 					goto done;
5189 				if (XFS_IS_CORRUPT(mp, i != 1)) {
5190 					error = -EFSCORRUPTED;
5191 					goto done;
5192 				}
5193 				/*
5194 				 * Update the btree record back
5195 				 * to the original value.
5196 				 */
5197 				error = xfs_bmbt_update(cur, &old);
5198 				if (error)
5199 					goto done;
5200 				/*
5201 				 * Reset the extent record back
5202 				 * to the original value.
5203 				 */
5204 				xfs_iext_update_extent(ip, state, icur, &old);
5205 				flags = 0;
5206 				error = -ENOSPC;
5207 				goto done;
5208 			}
5209 			if (XFS_IS_CORRUPT(mp, i != 1)) {
5210 				error = -EFSCORRUPTED;
5211 				goto done;
5212 			}
5213 		} else
5214 			flags |= xfs_ilog_fext(whichfork);
5215 
5216 		ifp->if_nextents++;
5217 		xfs_iext_next(ifp, icur);
5218 		xfs_iext_insert(ip, icur, &new, state);
5219 		break;
5220 	}
5221 
5222 	/* remove reverse mapping */
5223 	xfs_rmap_unmap_extent(tp, ip, whichfork, del);
5224 
5225 	/*
5226 	 * If we need to, add to list of extents to delete.
5227 	 */
5228 	if (do_fx && !(bflags & XFS_BMAPI_REMAP)) {
5229 		if (xfs_is_reflink_inode(ip) && whichfork == XFS_DATA_FORK) {
5230 			xfs_refcount_decrease_extent(tp, del);
5231 		} else {
5232 			__xfs_free_extent_later(tp, del->br_startblock,
5233 					del->br_blockcount, NULL,
5234 					(bflags & XFS_BMAPI_NODISCARD) ||
5235 					del->br_state == XFS_EXT_UNWRITTEN);
5236 		}
5237 	}
5238 
5239 	/*
5240 	 * Adjust inode # blocks in the file.
5241 	 */
5242 	if (nblks)
5243 		ip->i_nblocks -= nblks;
5244 	/*
5245 	 * Adjust quota data.
5246 	 */
5247 	if (qfield && !(bflags & XFS_BMAPI_REMAP))
5248 		xfs_trans_mod_dquot_byino(tp, ip, qfield, (long)-nblks);
5249 
5250 done:
5251 	*logflagsp = flags;
5252 	return error;
5253 }
5254 
5255 /*
5256  * Unmap (remove) blocks from a file.
5257  * If nexts is nonzero then the number of extents to remove is limited to
5258  * that value.  If not all extents in the block range can be removed then
5259  * *done is set.
5260  */
5261 int						/* error */
5262 __xfs_bunmapi(
5263 	struct xfs_trans	*tp,		/* transaction pointer */
5264 	struct xfs_inode	*ip,		/* incore inode */
5265 	xfs_fileoff_t		start,		/* first file offset deleted */
5266 	xfs_filblks_t		*rlen,		/* i/o: amount remaining */
5267 	uint32_t		flags,		/* misc flags */
5268 	xfs_extnum_t		nexts)		/* number of extents max */
5269 {
5270 	struct xfs_btree_cur	*cur;		/* bmap btree cursor */
5271 	struct xfs_bmbt_irec	del;		/* extent being deleted */
5272 	int			error;		/* error return value */
5273 	xfs_extnum_t		extno;		/* extent number in list */
5274 	struct xfs_bmbt_irec	got;		/* current extent record */
5275 	struct xfs_ifork	*ifp;		/* inode fork pointer */
5276 	int			isrt;		/* freeing in rt area */
5277 	int			logflags;	/* transaction logging flags */
5278 	xfs_extlen_t		mod;		/* rt extent offset */
5279 	struct xfs_mount	*mp = ip->i_mount;
5280 	int			tmp_logflags;	/* partial logging flags */
5281 	int			wasdel;		/* was a delayed alloc extent */
5282 	int			whichfork;	/* data or attribute fork */
5283 	xfs_fsblock_t		sum;
5284 	xfs_filblks_t		len = *rlen;	/* length to unmap in file */
5285 	xfs_fileoff_t		end;
5286 	struct xfs_iext_cursor	icur;
5287 	bool			done = false;
5288 
5289 	trace_xfs_bunmap(ip, start, len, flags, _RET_IP_);
5290 
5291 	whichfork = xfs_bmapi_whichfork(flags);
5292 	ASSERT(whichfork != XFS_COW_FORK);
5293 	ifp = xfs_ifork_ptr(ip, whichfork);
5294 	if (XFS_IS_CORRUPT(mp, !xfs_ifork_has_extents(ifp)))
5295 		return -EFSCORRUPTED;
5296 	if (xfs_is_shutdown(mp))
5297 		return -EIO;
5298 
5299 	ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
5300 	ASSERT(len > 0);
5301 	ASSERT(nexts >= 0);
5302 
5303 	error = xfs_iread_extents(tp, ip, whichfork);
5304 	if (error)
5305 		return error;
5306 
5307 	if (xfs_iext_count(ifp) == 0) {
5308 		*rlen = 0;
5309 		return 0;
5310 	}
5311 	XFS_STATS_INC(mp, xs_blk_unmap);
5312 	isrt = (whichfork == XFS_DATA_FORK) && XFS_IS_REALTIME_INODE(ip);
5313 	end = start + len;
5314 
5315 	if (!xfs_iext_lookup_extent_before(ip, ifp, &end, &icur, &got)) {
5316 		*rlen = 0;
5317 		return 0;
5318 	}
5319 	end--;
5320 
5321 	logflags = 0;
5322 	if (ifp->if_format == XFS_DINODE_FMT_BTREE) {
5323 		ASSERT(ifp->if_format == XFS_DINODE_FMT_BTREE);
5324 		cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
5325 		cur->bc_ino.flags = 0;
5326 	} else
5327 		cur = NULL;
5328 
5329 	if (isrt) {
5330 		/*
5331 		 * Synchronize by locking the bitmap inode.
5332 		 */
5333 		xfs_ilock(mp->m_rbmip, XFS_ILOCK_EXCL|XFS_ILOCK_RTBITMAP);
5334 		xfs_trans_ijoin(tp, mp->m_rbmip, XFS_ILOCK_EXCL);
5335 		xfs_ilock(mp->m_rsumip, XFS_ILOCK_EXCL|XFS_ILOCK_RTSUM);
5336 		xfs_trans_ijoin(tp, mp->m_rsumip, XFS_ILOCK_EXCL);
5337 	}
5338 
5339 	extno = 0;
5340 	while (end != (xfs_fileoff_t)-1 && end >= start &&
5341 	       (nexts == 0 || extno < nexts)) {
5342 		/*
5343 		 * Is the found extent after a hole in which end lives?
5344 		 * Just back up to the previous extent, if so.
5345 		 */
5346 		if (got.br_startoff > end &&
5347 		    !xfs_iext_prev_extent(ifp, &icur, &got)) {
5348 			done = true;
5349 			break;
5350 		}
5351 		/*
5352 		 * Is the last block of this extent before the range
5353 		 * we're supposed to delete?  If so, we're done.
5354 		 */
5355 		end = XFS_FILEOFF_MIN(end,
5356 			got.br_startoff + got.br_blockcount - 1);
5357 		if (end < start)
5358 			break;
5359 		/*
5360 		 * Then deal with the (possibly delayed) allocated space
5361 		 * we found.
5362 		 */
5363 		del = got;
5364 		wasdel = isnullstartblock(del.br_startblock);
5365 
5366 		if (got.br_startoff < start) {
5367 			del.br_startoff = start;
5368 			del.br_blockcount -= start - got.br_startoff;
5369 			if (!wasdel)
5370 				del.br_startblock += start - got.br_startoff;
5371 		}
5372 		if (del.br_startoff + del.br_blockcount > end + 1)
5373 			del.br_blockcount = end + 1 - del.br_startoff;
5374 
5375 		if (!isrt)
5376 			goto delete;
5377 
5378 		sum = del.br_startblock + del.br_blockcount;
5379 		div_u64_rem(sum, mp->m_sb.sb_rextsize, &mod);
5380 		if (mod) {
5381 			/*
5382 			 * Realtime extent not lined up at the end.
5383 			 * The extent could have been split into written
5384 			 * and unwritten pieces, or we could just be
5385 			 * unmapping part of it.  But we can't really
5386 			 * get rid of part of a realtime extent.
5387 			 */
5388 			if (del.br_state == XFS_EXT_UNWRITTEN) {
5389 				/*
5390 				 * This piece is unwritten, or we're not
5391 				 * using unwritten extents.  Skip over it.
5392 				 */
5393 				ASSERT(end >= mod);
5394 				end -= mod > del.br_blockcount ?
5395 					del.br_blockcount : mod;
5396 				if (end < got.br_startoff &&
5397 				    !xfs_iext_prev_extent(ifp, &icur, &got)) {
5398 					done = true;
5399 					break;
5400 				}
5401 				continue;
5402 			}
5403 			/*
5404 			 * It's written, turn it unwritten.
5405 			 * This is better than zeroing it.
5406 			 */
5407 			ASSERT(del.br_state == XFS_EXT_NORM);
5408 			ASSERT(tp->t_blk_res > 0);
5409 			/*
5410 			 * If this spans a realtime extent boundary,
5411 			 * chop it back to the start of the one we end at.
5412 			 */
5413 			if (del.br_blockcount > mod) {
5414 				del.br_startoff += del.br_blockcount - mod;
5415 				del.br_startblock += del.br_blockcount - mod;
5416 				del.br_blockcount = mod;
5417 			}
5418 			del.br_state = XFS_EXT_UNWRITTEN;
5419 			error = xfs_bmap_add_extent_unwritten_real(tp, ip,
5420 					whichfork, &icur, &cur, &del,
5421 					&logflags);
5422 			if (error)
5423 				goto error0;
5424 			goto nodelete;
5425 		}
5426 		div_u64_rem(del.br_startblock, mp->m_sb.sb_rextsize, &mod);
5427 		if (mod) {
5428 			xfs_extlen_t off = mp->m_sb.sb_rextsize - mod;
5429 
5430 			/*
5431 			 * Realtime extent is lined up at the end but not
5432 			 * at the front.  We'll get rid of full extents if
5433 			 * we can.
5434 			 */
5435 			if (del.br_blockcount > off) {
5436 				del.br_blockcount -= off;
5437 				del.br_startoff += off;
5438 				del.br_startblock += off;
5439 			} else if (del.br_startoff == start &&
5440 				   (del.br_state == XFS_EXT_UNWRITTEN ||
5441 				    tp->t_blk_res == 0)) {
5442 				/*
5443 				 * Can't make it unwritten.  There isn't
5444 				 * a full extent here so just skip it.
5445 				 */
5446 				ASSERT(end >= del.br_blockcount);
5447 				end -= del.br_blockcount;
5448 				if (got.br_startoff > end &&
5449 				    !xfs_iext_prev_extent(ifp, &icur, &got)) {
5450 					done = true;
5451 					break;
5452 				}
5453 				continue;
5454 			} else if (del.br_state == XFS_EXT_UNWRITTEN) {
5455 				struct xfs_bmbt_irec	prev;
5456 				xfs_fileoff_t		unwrite_start;
5457 
5458 				/*
5459 				 * This one is already unwritten.
5460 				 * It must have a written left neighbor.
5461 				 * Unwrite the killed part of that one and
5462 				 * try again.
5463 				 */
5464 				if (!xfs_iext_prev_extent(ifp, &icur, &prev))
5465 					ASSERT(0);
5466 				ASSERT(prev.br_state == XFS_EXT_NORM);
5467 				ASSERT(!isnullstartblock(prev.br_startblock));
5468 				ASSERT(del.br_startblock ==
5469 				       prev.br_startblock + prev.br_blockcount);
5470 				unwrite_start = max3(start,
5471 						     del.br_startoff - mod,
5472 						     prev.br_startoff);
5473 				mod = unwrite_start - prev.br_startoff;
5474 				prev.br_startoff = unwrite_start;
5475 				prev.br_startblock += mod;
5476 				prev.br_blockcount -= mod;
5477 				prev.br_state = XFS_EXT_UNWRITTEN;
5478 				error = xfs_bmap_add_extent_unwritten_real(tp,
5479 						ip, whichfork, &icur, &cur,
5480 						&prev, &logflags);
5481 				if (error)
5482 					goto error0;
5483 				goto nodelete;
5484 			} else {
5485 				ASSERT(del.br_state == XFS_EXT_NORM);
5486 				del.br_state = XFS_EXT_UNWRITTEN;
5487 				error = xfs_bmap_add_extent_unwritten_real(tp,
5488 						ip, whichfork, &icur, &cur,
5489 						&del, &logflags);
5490 				if (error)
5491 					goto error0;
5492 				goto nodelete;
5493 			}
5494 		}
5495 
5496 delete:
5497 		if (wasdel) {
5498 			error = xfs_bmap_del_extent_delay(ip, whichfork, &icur,
5499 					&got, &del);
5500 		} else {
5501 			error = xfs_bmap_del_extent_real(ip, tp, &icur, cur,
5502 					&del, &tmp_logflags, whichfork,
5503 					flags);
5504 			logflags |= tmp_logflags;
5505 		}
5506 
5507 		if (error)
5508 			goto error0;
5509 
5510 		end = del.br_startoff - 1;
5511 nodelete:
5512 		/*
5513 		 * If not done go on to the next (previous) record.
5514 		 */
5515 		if (end != (xfs_fileoff_t)-1 && end >= start) {
5516 			if (!xfs_iext_get_extent(ifp, &icur, &got) ||
5517 			    (got.br_startoff > end &&
5518 			     !xfs_iext_prev_extent(ifp, &icur, &got))) {
5519 				done = true;
5520 				break;
5521 			}
5522 			extno++;
5523 		}
5524 	}
5525 	if (done || end == (xfs_fileoff_t)-1 || end < start)
5526 		*rlen = 0;
5527 	else
5528 		*rlen = end - start + 1;
5529 
5530 	/*
5531 	 * Convert to a btree if necessary.
5532 	 */
5533 	if (xfs_bmap_needs_btree(ip, whichfork)) {
5534 		ASSERT(cur == NULL);
5535 		error = xfs_bmap_extents_to_btree(tp, ip, &cur, 0,
5536 				&tmp_logflags, whichfork);
5537 		logflags |= tmp_logflags;
5538 	} else {
5539 		error = xfs_bmap_btree_to_extents(tp, ip, cur, &logflags,
5540 			whichfork);
5541 	}
5542 
5543 error0:
5544 	/*
5545 	 * Log everything.  Do this after conversion, there's no point in
5546 	 * logging the extent records if we've converted to btree format.
5547 	 */
5548 	if ((logflags & xfs_ilog_fext(whichfork)) &&
5549 	    ifp->if_format != XFS_DINODE_FMT_EXTENTS)
5550 		logflags &= ~xfs_ilog_fext(whichfork);
5551 	else if ((logflags & xfs_ilog_fbroot(whichfork)) &&
5552 		 ifp->if_format != XFS_DINODE_FMT_BTREE)
5553 		logflags &= ~xfs_ilog_fbroot(whichfork);
5554 	/*
5555 	 * Log inode even in the error case, if the transaction
5556 	 * is dirty we'll need to shut down the filesystem.
5557 	 */
5558 	if (logflags)
5559 		xfs_trans_log_inode(tp, ip, logflags);
5560 	if (cur) {
5561 		if (!error)
5562 			cur->bc_ino.allocated = 0;
5563 		xfs_btree_del_cursor(cur, error);
5564 	}
5565 	return error;
5566 }
5567 
5568 /* Unmap a range of a file. */
5569 int
5570 xfs_bunmapi(
5571 	xfs_trans_t		*tp,
5572 	struct xfs_inode	*ip,
5573 	xfs_fileoff_t		bno,
5574 	xfs_filblks_t		len,
5575 	uint32_t		flags,
5576 	xfs_extnum_t		nexts,
5577 	int			*done)
5578 {
5579 	int			error;
5580 
5581 	error = __xfs_bunmapi(tp, ip, bno, &len, flags, nexts);
5582 	*done = (len == 0);
5583 	return error;
5584 }
5585 
5586 /*
5587  * Determine whether an extent shift can be accomplished by a merge with the
5588  * extent that precedes the target hole of the shift.
5589  */
5590 STATIC bool
5591 xfs_bmse_can_merge(
5592 	struct xfs_bmbt_irec	*left,	/* preceding extent */
5593 	struct xfs_bmbt_irec	*got,	/* current extent to shift */
5594 	xfs_fileoff_t		shift)	/* shift fsb */
5595 {
5596 	xfs_fileoff_t		startoff;
5597 
5598 	startoff = got->br_startoff - shift;
5599 
5600 	/*
5601 	 * The extent, once shifted, must be adjacent in-file and on-disk with
5602 	 * the preceding extent.
5603 	 */
5604 	if ((left->br_startoff + left->br_blockcount != startoff) ||
5605 	    (left->br_startblock + left->br_blockcount != got->br_startblock) ||
5606 	    (left->br_state != got->br_state) ||
5607 	    (left->br_blockcount + got->br_blockcount > XFS_MAX_BMBT_EXTLEN))
5608 		return false;
5609 
5610 	return true;
5611 }
5612 
5613 /*
5614  * A bmap extent shift adjusts the file offset of an extent to fill a preceding
5615  * hole in the file. If an extent shift would result in the extent being fully
5616  * adjacent to the extent that currently precedes the hole, we can merge with
5617  * the preceding extent rather than do the shift.
5618  *
5619  * This function assumes the caller has verified a shift-by-merge is possible
5620  * with the provided extents via xfs_bmse_can_merge().
5621  */
5622 STATIC int
5623 xfs_bmse_merge(
5624 	struct xfs_trans		*tp,
5625 	struct xfs_inode		*ip,
5626 	int				whichfork,
5627 	xfs_fileoff_t			shift,		/* shift fsb */
5628 	struct xfs_iext_cursor		*icur,
5629 	struct xfs_bmbt_irec		*got,		/* extent to shift */
5630 	struct xfs_bmbt_irec		*left,		/* preceding extent */
5631 	struct xfs_btree_cur		*cur,
5632 	int				*logflags)	/* output */
5633 {
5634 	struct xfs_ifork		*ifp = xfs_ifork_ptr(ip, whichfork);
5635 	struct xfs_bmbt_irec		new;
5636 	xfs_filblks_t			blockcount;
5637 	int				error, i;
5638 	struct xfs_mount		*mp = ip->i_mount;
5639 
5640 	blockcount = left->br_blockcount + got->br_blockcount;
5641 
5642 	ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
5643 	ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
5644 	ASSERT(xfs_bmse_can_merge(left, got, shift));
5645 
5646 	new = *left;
5647 	new.br_blockcount = blockcount;
5648 
5649 	/*
5650 	 * Update the on-disk extent count, the btree if necessary and log the
5651 	 * inode.
5652 	 */
5653 	ifp->if_nextents--;
5654 	*logflags |= XFS_ILOG_CORE;
5655 	if (!cur) {
5656 		*logflags |= XFS_ILOG_DEXT;
5657 		goto done;
5658 	}
5659 
5660 	/* lookup and remove the extent to merge */
5661 	error = xfs_bmbt_lookup_eq(cur, got, &i);
5662 	if (error)
5663 		return error;
5664 	if (XFS_IS_CORRUPT(mp, i != 1))
5665 		return -EFSCORRUPTED;
5666 
5667 	error = xfs_btree_delete(cur, &i);
5668 	if (error)
5669 		return error;
5670 	if (XFS_IS_CORRUPT(mp, i != 1))
5671 		return -EFSCORRUPTED;
5672 
5673 	/* lookup and update size of the previous extent */
5674 	error = xfs_bmbt_lookup_eq(cur, left, &i);
5675 	if (error)
5676 		return error;
5677 	if (XFS_IS_CORRUPT(mp, i != 1))
5678 		return -EFSCORRUPTED;
5679 
5680 	error = xfs_bmbt_update(cur, &new);
5681 	if (error)
5682 		return error;
5683 
5684 	/* change to extent format if required after extent removal */
5685 	error = xfs_bmap_btree_to_extents(tp, ip, cur, logflags, whichfork);
5686 	if (error)
5687 		return error;
5688 
5689 done:
5690 	xfs_iext_remove(ip, icur, 0);
5691 	xfs_iext_prev(ifp, icur);
5692 	xfs_iext_update_extent(ip, xfs_bmap_fork_to_state(whichfork), icur,
5693 			&new);
5694 
5695 	/* update reverse mapping. rmap functions merge the rmaps for us */
5696 	xfs_rmap_unmap_extent(tp, ip, whichfork, got);
5697 	memcpy(&new, got, sizeof(new));
5698 	new.br_startoff = left->br_startoff + left->br_blockcount;
5699 	xfs_rmap_map_extent(tp, ip, whichfork, &new);
5700 	return 0;
5701 }
5702 
5703 static int
5704 xfs_bmap_shift_update_extent(
5705 	struct xfs_trans	*tp,
5706 	struct xfs_inode	*ip,
5707 	int			whichfork,
5708 	struct xfs_iext_cursor	*icur,
5709 	struct xfs_bmbt_irec	*got,
5710 	struct xfs_btree_cur	*cur,
5711 	int			*logflags,
5712 	xfs_fileoff_t		startoff)
5713 {
5714 	struct xfs_mount	*mp = ip->i_mount;
5715 	struct xfs_bmbt_irec	prev = *got;
5716 	int			error, i;
5717 
5718 	*logflags |= XFS_ILOG_CORE;
5719 
5720 	got->br_startoff = startoff;
5721 
5722 	if (cur) {
5723 		error = xfs_bmbt_lookup_eq(cur, &prev, &i);
5724 		if (error)
5725 			return error;
5726 		if (XFS_IS_CORRUPT(mp, i != 1))
5727 			return -EFSCORRUPTED;
5728 
5729 		error = xfs_bmbt_update(cur, got);
5730 		if (error)
5731 			return error;
5732 	} else {
5733 		*logflags |= XFS_ILOG_DEXT;
5734 	}
5735 
5736 	xfs_iext_update_extent(ip, xfs_bmap_fork_to_state(whichfork), icur,
5737 			got);
5738 
5739 	/* update reverse mapping */
5740 	xfs_rmap_unmap_extent(tp, ip, whichfork, &prev);
5741 	xfs_rmap_map_extent(tp, ip, whichfork, got);
5742 	return 0;
5743 }
5744 
5745 int
5746 xfs_bmap_collapse_extents(
5747 	struct xfs_trans	*tp,
5748 	struct xfs_inode	*ip,
5749 	xfs_fileoff_t		*next_fsb,
5750 	xfs_fileoff_t		offset_shift_fsb,
5751 	bool			*done)
5752 {
5753 	int			whichfork = XFS_DATA_FORK;
5754 	struct xfs_mount	*mp = ip->i_mount;
5755 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
5756 	struct xfs_btree_cur	*cur = NULL;
5757 	struct xfs_bmbt_irec	got, prev;
5758 	struct xfs_iext_cursor	icur;
5759 	xfs_fileoff_t		new_startoff;
5760 	int			error = 0;
5761 	int			logflags = 0;
5762 
5763 	if (XFS_IS_CORRUPT(mp, !xfs_ifork_has_extents(ifp)) ||
5764 	    XFS_TEST_ERROR(false, mp, XFS_ERRTAG_BMAPIFORMAT)) {
5765 		return -EFSCORRUPTED;
5766 	}
5767 
5768 	if (xfs_is_shutdown(mp))
5769 		return -EIO;
5770 
5771 	ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL | XFS_ILOCK_EXCL));
5772 
5773 	error = xfs_iread_extents(tp, ip, whichfork);
5774 	if (error)
5775 		return error;
5776 
5777 	if (ifp->if_format == XFS_DINODE_FMT_BTREE) {
5778 		cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
5779 		cur->bc_ino.flags = 0;
5780 	}
5781 
5782 	if (!xfs_iext_lookup_extent(ip, ifp, *next_fsb, &icur, &got)) {
5783 		*done = true;
5784 		goto del_cursor;
5785 	}
5786 	if (XFS_IS_CORRUPT(mp, isnullstartblock(got.br_startblock))) {
5787 		error = -EFSCORRUPTED;
5788 		goto del_cursor;
5789 	}
5790 
5791 	new_startoff = got.br_startoff - offset_shift_fsb;
5792 	if (xfs_iext_peek_prev_extent(ifp, &icur, &prev)) {
5793 		if (new_startoff < prev.br_startoff + prev.br_blockcount) {
5794 			error = -EINVAL;
5795 			goto del_cursor;
5796 		}
5797 
5798 		if (xfs_bmse_can_merge(&prev, &got, offset_shift_fsb)) {
5799 			error = xfs_bmse_merge(tp, ip, whichfork,
5800 					offset_shift_fsb, &icur, &got, &prev,
5801 					cur, &logflags);
5802 			if (error)
5803 				goto del_cursor;
5804 			goto done;
5805 		}
5806 	} else {
5807 		if (got.br_startoff < offset_shift_fsb) {
5808 			error = -EINVAL;
5809 			goto del_cursor;
5810 		}
5811 	}
5812 
5813 	error = xfs_bmap_shift_update_extent(tp, ip, whichfork, &icur, &got,
5814 			cur, &logflags, new_startoff);
5815 	if (error)
5816 		goto del_cursor;
5817 
5818 done:
5819 	if (!xfs_iext_next_extent(ifp, &icur, &got)) {
5820 		*done = true;
5821 		goto del_cursor;
5822 	}
5823 
5824 	*next_fsb = got.br_startoff;
5825 del_cursor:
5826 	if (cur)
5827 		xfs_btree_del_cursor(cur, error);
5828 	if (logflags)
5829 		xfs_trans_log_inode(tp, ip, logflags);
5830 	return error;
5831 }
5832 
5833 /* Make sure we won't be right-shifting an extent past the maximum bound. */
5834 int
5835 xfs_bmap_can_insert_extents(
5836 	struct xfs_inode	*ip,
5837 	xfs_fileoff_t		off,
5838 	xfs_fileoff_t		shift)
5839 {
5840 	struct xfs_bmbt_irec	got;
5841 	int			is_empty;
5842 	int			error = 0;
5843 
5844 	ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL));
5845 
5846 	if (xfs_is_shutdown(ip->i_mount))
5847 		return -EIO;
5848 
5849 	xfs_ilock(ip, XFS_ILOCK_EXCL);
5850 	error = xfs_bmap_last_extent(NULL, ip, XFS_DATA_FORK, &got, &is_empty);
5851 	if (!error && !is_empty && got.br_startoff >= off &&
5852 	    ((got.br_startoff + shift) & BMBT_STARTOFF_MASK) < got.br_startoff)
5853 		error = -EINVAL;
5854 	xfs_iunlock(ip, XFS_ILOCK_EXCL);
5855 
5856 	return error;
5857 }
5858 
5859 int
5860 xfs_bmap_insert_extents(
5861 	struct xfs_trans	*tp,
5862 	struct xfs_inode	*ip,
5863 	xfs_fileoff_t		*next_fsb,
5864 	xfs_fileoff_t		offset_shift_fsb,
5865 	bool			*done,
5866 	xfs_fileoff_t		stop_fsb)
5867 {
5868 	int			whichfork = XFS_DATA_FORK;
5869 	struct xfs_mount	*mp = ip->i_mount;
5870 	struct xfs_ifork	*ifp = xfs_ifork_ptr(ip, whichfork);
5871 	struct xfs_btree_cur	*cur = NULL;
5872 	struct xfs_bmbt_irec	got, next;
5873 	struct xfs_iext_cursor	icur;
5874 	xfs_fileoff_t		new_startoff;
5875 	int			error = 0;
5876 	int			logflags = 0;
5877 
5878 	if (XFS_IS_CORRUPT(mp, !xfs_ifork_has_extents(ifp)) ||
5879 	    XFS_TEST_ERROR(false, mp, XFS_ERRTAG_BMAPIFORMAT)) {
5880 		return -EFSCORRUPTED;
5881 	}
5882 
5883 	if (xfs_is_shutdown(mp))
5884 		return -EIO;
5885 
5886 	ASSERT(xfs_isilocked(ip, XFS_IOLOCK_EXCL | XFS_ILOCK_EXCL));
5887 
5888 	error = xfs_iread_extents(tp, ip, whichfork);
5889 	if (error)
5890 		return error;
5891 
5892 	if (ifp->if_format == XFS_DINODE_FMT_BTREE) {
5893 		cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
5894 		cur->bc_ino.flags = 0;
5895 	}
5896 
5897 	if (*next_fsb == NULLFSBLOCK) {
5898 		xfs_iext_last(ifp, &icur);
5899 		if (!xfs_iext_get_extent(ifp, &icur, &got) ||
5900 		    stop_fsb > got.br_startoff) {
5901 			*done = true;
5902 			goto del_cursor;
5903 		}
5904 	} else {
5905 		if (!xfs_iext_lookup_extent(ip, ifp, *next_fsb, &icur, &got)) {
5906 			*done = true;
5907 			goto del_cursor;
5908 		}
5909 	}
5910 	if (XFS_IS_CORRUPT(mp, isnullstartblock(got.br_startblock))) {
5911 		error = -EFSCORRUPTED;
5912 		goto del_cursor;
5913 	}
5914 
5915 	if (XFS_IS_CORRUPT(mp, stop_fsb > got.br_startoff)) {
5916 		error = -EFSCORRUPTED;
5917 		goto del_cursor;
5918 	}
5919 
5920 	new_startoff = got.br_startoff + offset_shift_fsb;
5921 	if (xfs_iext_peek_next_extent(ifp, &icur, &next)) {
5922 		if (new_startoff + got.br_blockcount > next.br_startoff) {
5923 			error = -EINVAL;
5924 			goto del_cursor;
5925 		}
5926 
5927 		/*
5928 		 * Unlike a left shift (which involves a hole punch), a right
5929 		 * shift does not modify extent neighbors in any way.  We should
5930 		 * never find mergeable extents in this scenario.  Check anyways
5931 		 * and warn if we encounter two extents that could be one.
5932 		 */
5933 		if (xfs_bmse_can_merge(&got, &next, offset_shift_fsb))
5934 			WARN_ON_ONCE(1);
5935 	}
5936 
5937 	error = xfs_bmap_shift_update_extent(tp, ip, whichfork, &icur, &got,
5938 			cur, &logflags, new_startoff);
5939 	if (error)
5940 		goto del_cursor;
5941 
5942 	if (!xfs_iext_prev_extent(ifp, &icur, &got) ||
5943 	    stop_fsb >= got.br_startoff + got.br_blockcount) {
5944 		*done = true;
5945 		goto del_cursor;
5946 	}
5947 
5948 	*next_fsb = got.br_startoff;
5949 del_cursor:
5950 	if (cur)
5951 		xfs_btree_del_cursor(cur, error);
5952 	if (logflags)
5953 		xfs_trans_log_inode(tp, ip, logflags);
5954 	return error;
5955 }
5956 
5957 /*
5958  * Splits an extent into two extents at split_fsb block such that it is the
5959  * first block of the current_ext. @ext is a target extent to be split.
5960  * @split_fsb is a block where the extents is split.  If split_fsb lies in a
5961  * hole or the first block of extents, just return 0.
5962  */
5963 int
5964 xfs_bmap_split_extent(
5965 	struct xfs_trans	*tp,
5966 	struct xfs_inode	*ip,
5967 	xfs_fileoff_t		split_fsb)
5968 {
5969 	int				whichfork = XFS_DATA_FORK;
5970 	struct xfs_ifork		*ifp = xfs_ifork_ptr(ip, whichfork);
5971 	struct xfs_btree_cur		*cur = NULL;
5972 	struct xfs_bmbt_irec		got;
5973 	struct xfs_bmbt_irec		new; /* split extent */
5974 	struct xfs_mount		*mp = ip->i_mount;
5975 	xfs_fsblock_t			gotblkcnt; /* new block count for got */
5976 	struct xfs_iext_cursor		icur;
5977 	int				error = 0;
5978 	int				logflags = 0;
5979 	int				i = 0;
5980 
5981 	if (XFS_IS_CORRUPT(mp, !xfs_ifork_has_extents(ifp)) ||
5982 	    XFS_TEST_ERROR(false, mp, XFS_ERRTAG_BMAPIFORMAT)) {
5983 		return -EFSCORRUPTED;
5984 	}
5985 
5986 	if (xfs_is_shutdown(mp))
5987 		return -EIO;
5988 
5989 	/* Read in all the extents */
5990 	error = xfs_iread_extents(tp, ip, whichfork);
5991 	if (error)
5992 		return error;
5993 
5994 	/*
5995 	 * If there are not extents, or split_fsb lies in a hole we are done.
5996 	 */
5997 	if (!xfs_iext_lookup_extent(ip, ifp, split_fsb, &icur, &got) ||
5998 	    got.br_startoff >= split_fsb)
5999 		return 0;
6000 
6001 	gotblkcnt = split_fsb - got.br_startoff;
6002 	new.br_startoff = split_fsb;
6003 	new.br_startblock = got.br_startblock + gotblkcnt;
6004 	new.br_blockcount = got.br_blockcount - gotblkcnt;
6005 	new.br_state = got.br_state;
6006 
6007 	if (ifp->if_format == XFS_DINODE_FMT_BTREE) {
6008 		cur = xfs_bmbt_init_cursor(mp, tp, ip, whichfork);
6009 		cur->bc_ino.flags = 0;
6010 		error = xfs_bmbt_lookup_eq(cur, &got, &i);
6011 		if (error)
6012 			goto del_cursor;
6013 		if (XFS_IS_CORRUPT(mp, i != 1)) {
6014 			error = -EFSCORRUPTED;
6015 			goto del_cursor;
6016 		}
6017 	}
6018 
6019 	got.br_blockcount = gotblkcnt;
6020 	xfs_iext_update_extent(ip, xfs_bmap_fork_to_state(whichfork), &icur,
6021 			&got);
6022 
6023 	logflags = XFS_ILOG_CORE;
6024 	if (cur) {
6025 		error = xfs_bmbt_update(cur, &got);
6026 		if (error)
6027 			goto del_cursor;
6028 	} else
6029 		logflags |= XFS_ILOG_DEXT;
6030 
6031 	/* Add new extent */
6032 	xfs_iext_next(ifp, &icur);
6033 	xfs_iext_insert(ip, &icur, &new, 0);
6034 	ifp->if_nextents++;
6035 
6036 	if (cur) {
6037 		error = xfs_bmbt_lookup_eq(cur, &new, &i);
6038 		if (error)
6039 			goto del_cursor;
6040 		if (XFS_IS_CORRUPT(mp, i != 0)) {
6041 			error = -EFSCORRUPTED;
6042 			goto del_cursor;
6043 		}
6044 		error = xfs_btree_insert(cur, &i);
6045 		if (error)
6046 			goto del_cursor;
6047 		if (XFS_IS_CORRUPT(mp, i != 1)) {
6048 			error = -EFSCORRUPTED;
6049 			goto del_cursor;
6050 		}
6051 	}
6052 
6053 	/*
6054 	 * Convert to a btree if necessary.
6055 	 */
6056 	if (xfs_bmap_needs_btree(ip, whichfork)) {
6057 		int tmp_logflags; /* partial log flag return val */
6058 
6059 		ASSERT(cur == NULL);
6060 		error = xfs_bmap_extents_to_btree(tp, ip, &cur, 0,
6061 				&tmp_logflags, whichfork);
6062 		logflags |= tmp_logflags;
6063 	}
6064 
6065 del_cursor:
6066 	if (cur) {
6067 		cur->bc_ino.allocated = 0;
6068 		xfs_btree_del_cursor(cur, error);
6069 	}
6070 
6071 	if (logflags)
6072 		xfs_trans_log_inode(tp, ip, logflags);
6073 	return error;
6074 }
6075 
6076 /* Deferred mapping is only for real extents in the data fork. */
6077 static bool
6078 xfs_bmap_is_update_needed(
6079 	struct xfs_bmbt_irec	*bmap)
6080 {
6081 	return  bmap->br_startblock != HOLESTARTBLOCK &&
6082 		bmap->br_startblock != DELAYSTARTBLOCK;
6083 }
6084 
6085 /* Record a bmap intent. */
6086 static int
6087 __xfs_bmap_add(
6088 	struct xfs_trans		*tp,
6089 	enum xfs_bmap_intent_type	type,
6090 	struct xfs_inode		*ip,
6091 	int				whichfork,
6092 	struct xfs_bmbt_irec		*bmap)
6093 {
6094 	struct xfs_bmap_intent		*bi;
6095 
6096 	trace_xfs_bmap_defer(tp->t_mountp,
6097 			XFS_FSB_TO_AGNO(tp->t_mountp, bmap->br_startblock),
6098 			type,
6099 			XFS_FSB_TO_AGBNO(tp->t_mountp, bmap->br_startblock),
6100 			ip->i_ino, whichfork,
6101 			bmap->br_startoff,
6102 			bmap->br_blockcount,
6103 			bmap->br_state);
6104 
6105 	bi = kmem_cache_alloc(xfs_bmap_intent_cache, GFP_NOFS | __GFP_NOFAIL);
6106 	INIT_LIST_HEAD(&bi->bi_list);
6107 	bi->bi_type = type;
6108 	bi->bi_owner = ip;
6109 	bi->bi_whichfork = whichfork;
6110 	bi->bi_bmap = *bmap;
6111 
6112 	xfs_defer_add(tp, XFS_DEFER_OPS_TYPE_BMAP, &bi->bi_list);
6113 	return 0;
6114 }
6115 
6116 /* Map an extent into a file. */
6117 void
6118 xfs_bmap_map_extent(
6119 	struct xfs_trans	*tp,
6120 	struct xfs_inode	*ip,
6121 	struct xfs_bmbt_irec	*PREV)
6122 {
6123 	if (!xfs_bmap_is_update_needed(PREV))
6124 		return;
6125 
6126 	__xfs_bmap_add(tp, XFS_BMAP_MAP, ip, XFS_DATA_FORK, PREV);
6127 }
6128 
6129 /* Unmap an extent out of a file. */
6130 void
6131 xfs_bmap_unmap_extent(
6132 	struct xfs_trans	*tp,
6133 	struct xfs_inode	*ip,
6134 	struct xfs_bmbt_irec	*PREV)
6135 {
6136 	if (!xfs_bmap_is_update_needed(PREV))
6137 		return;
6138 
6139 	__xfs_bmap_add(tp, XFS_BMAP_UNMAP, ip, XFS_DATA_FORK, PREV);
6140 }
6141 
6142 /*
6143  * Process one of the deferred bmap operations.  We pass back the
6144  * btree cursor to maintain our lock on the bmapbt between calls.
6145  */
6146 int
6147 xfs_bmap_finish_one(
6148 	struct xfs_trans		*tp,
6149 	struct xfs_inode		*ip,
6150 	enum xfs_bmap_intent_type	type,
6151 	int				whichfork,
6152 	xfs_fileoff_t			startoff,
6153 	xfs_fsblock_t			startblock,
6154 	xfs_filblks_t			*blockcount,
6155 	xfs_exntst_t			state)
6156 {
6157 	int				error = 0;
6158 
6159 	ASSERT(tp->t_firstblock == NULLFSBLOCK);
6160 
6161 	trace_xfs_bmap_deferred(tp->t_mountp,
6162 			XFS_FSB_TO_AGNO(tp->t_mountp, startblock), type,
6163 			XFS_FSB_TO_AGBNO(tp->t_mountp, startblock),
6164 			ip->i_ino, whichfork, startoff, *blockcount, state);
6165 
6166 	if (WARN_ON_ONCE(whichfork != XFS_DATA_FORK))
6167 		return -EFSCORRUPTED;
6168 
6169 	if (XFS_TEST_ERROR(false, tp->t_mountp,
6170 			XFS_ERRTAG_BMAP_FINISH_ONE))
6171 		return -EIO;
6172 
6173 	switch (type) {
6174 	case XFS_BMAP_MAP:
6175 		error = xfs_bmapi_remap(tp, ip, startoff, *blockcount,
6176 				startblock, 0);
6177 		*blockcount = 0;
6178 		break;
6179 	case XFS_BMAP_UNMAP:
6180 		error = __xfs_bunmapi(tp, ip, startoff, blockcount,
6181 				XFS_BMAPI_REMAP, 1);
6182 		break;
6183 	default:
6184 		ASSERT(0);
6185 		error = -EFSCORRUPTED;
6186 	}
6187 
6188 	return error;
6189 }
6190 
6191 /* Check that an inode's extent does not have invalid flags or bad ranges. */
6192 xfs_failaddr_t
6193 xfs_bmap_validate_extent(
6194 	struct xfs_inode	*ip,
6195 	int			whichfork,
6196 	struct xfs_bmbt_irec	*irec)
6197 {
6198 	struct xfs_mount	*mp = ip->i_mount;
6199 
6200 	if (!xfs_verify_fileext(mp, irec->br_startoff, irec->br_blockcount))
6201 		return __this_address;
6202 
6203 	if (XFS_IS_REALTIME_INODE(ip) && whichfork == XFS_DATA_FORK) {
6204 		if (!xfs_verify_rtext(mp, irec->br_startblock,
6205 					  irec->br_blockcount))
6206 			return __this_address;
6207 	} else {
6208 		if (!xfs_verify_fsbext(mp, irec->br_startblock,
6209 					   irec->br_blockcount))
6210 			return __this_address;
6211 	}
6212 	if (irec->br_state != XFS_EXT_NORM && whichfork != XFS_DATA_FORK)
6213 		return __this_address;
6214 	return NULL;
6215 }
6216 
6217 int __init
6218 xfs_bmap_intent_init_cache(void)
6219 {
6220 	xfs_bmap_intent_cache = kmem_cache_create("xfs_bmap_intent",
6221 			sizeof(struct xfs_bmap_intent),
6222 			0, 0, NULL);
6223 
6224 	return xfs_bmap_intent_cache != NULL ? 0 : -ENOMEM;
6225 }
6226 
6227 void
6228 xfs_bmap_intent_destroy_cache(void)
6229 {
6230 	kmem_cache_destroy(xfs_bmap_intent_cache);
6231 	xfs_bmap_intent_cache = NULL;
6232 }
6233