1 #include "git-compat-util.h"
3 #include "match-trees.h"
6 #include "object-store.h"
8 static int score_missing(unsigned mode
)
14 else if (S_ISLNK(mode
))
21 static int score_differs(unsigned mode1
, unsigned mode2
)
25 if (S_ISDIR(mode1
) != S_ISDIR(mode2
))
27 else if (S_ISLNK(mode1
) != S_ISLNK(mode2
))
34 static int score_matches(unsigned mode1
, unsigned mode2
)
38 /* Heh, we found SHA-1 collisions between different kind of objects */
39 if (S_ISDIR(mode1
) != S_ISDIR(mode2
))
41 else if (S_ISLNK(mode1
) != S_ISLNK(mode2
))
44 else if (S_ISDIR(mode1
))
46 else if (S_ISLNK(mode1
))
53 static void *fill_tree_desc_strict(struct tree_desc
*desc
,
54 const struct object_id
*hash
)
57 enum object_type type
;
60 buffer
= repo_read_object_file(the_repository
, hash
, &type
, &size
);
62 die("unable to read tree (%s)", oid_to_hex(hash
));
64 die("%s is not a tree", oid_to_hex(hash
));
65 init_tree_desc(desc
, buffer
, size
);
69 static int base_name_entries_compare(const struct name_entry
*a
,
70 const struct name_entry
*b
)
72 return base_name_compare(a
->path
, tree_entry_len(a
), a
->mode
,
73 b
->path
, tree_entry_len(b
), b
->mode
);
77 * Inspect two trees, and give a score that tells how similar they are.
79 static int score_trees(const struct object_id
*hash1
, const struct object_id
*hash2
)
83 void *one_buf
= fill_tree_desc_strict(&one
, hash1
);
84 void *two_buf
= fill_tree_desc_strict(&two
, hash2
);
90 if (one
.size
&& two
.size
)
91 cmp
= base_name_entries_compare(&one
.entry
, &two
.entry
);
93 /* two lacks this entry */
96 /* two has more entries */
102 /* path1 does not appear in two */
103 score
+= score_missing(one
.entry
.mode
);
104 update_tree_entry(&one
);
105 } else if (cmp
> 0) {
106 /* path2 does not appear in one */
107 score
+= score_missing(two
.entry
.mode
);
108 update_tree_entry(&two
);
110 /* path appears in both */
111 if (!oideq(&one
.entry
.oid
, &two
.entry
.oid
)) {
112 /* they are different */
113 score
+= score_differs(one
.entry
.mode
,
116 /* same subtree or blob */
117 score
+= score_matches(one
.entry
.mode
,
120 update_tree_entry(&one
);
121 update_tree_entry(&two
);
130 * Match one itself and its subtrees with two and pick the best match.
132 static void match_trees(const struct object_id
*hash1
,
133 const struct object_id
*hash2
,
139 struct tree_desc one
;
140 void *one_buf
= fill_tree_desc_strict(&one
, hash1
);
144 const struct object_id
*elem
;
148 elem
= tree_entry_extract(&one
, &path
, &mode
);
151 score
= score_trees(elem
, hash2
);
152 if (*best_score
< score
) {
154 *best_match
= xstrfmt("%s%s", base
, path
);
158 char *newbase
= xstrfmt("%s%s/", base
, path
);
159 match_trees(elem
, hash2
, best_score
, best_match
,
160 newbase
, recurse_limit
- 1);
165 update_tree_entry(&one
);
171 * A tree "oid1" has a subdirectory at "prefix". Come up with a tree object by
172 * replacing it with another tree "oid2".
174 static int splice_tree(const struct object_id
*oid1
, const char *prefix
,
175 const struct object_id
*oid2
, struct object_id
*result
)
181 struct tree_desc desc
;
182 unsigned char *rewrite_here
;
183 const struct object_id
*rewrite_with
;
184 struct object_id subtree
;
185 enum object_type type
;
188 subpath
= strchrnul(prefix
, '/');
189 toplen
= subpath
- prefix
;
193 buf
= repo_read_object_file(the_repository
, oid1
, &type
, &sz
);
195 die("cannot read tree %s", oid_to_hex(oid1
));
196 init_tree_desc(&desc
, buf
, sz
);
203 tree_entry_extract(&desc
, &name
, &mode
);
204 if (strlen(name
) == toplen
&&
205 !memcmp(name
, prefix
, toplen
)) {
207 die("entry %s in tree %s is not a tree", name
,
211 * We cast here for two reasons:
213 * - to flip the "char *" (for the path) to "unsigned
214 * char *" (for the hash stored after it)
216 * - to discard the "const"; this is OK because we
217 * know it points into our non-const "buf"
219 rewrite_here
= (unsigned char *)(desc
.entry
.path
+
220 strlen(desc
.entry
.path
) +
224 update_tree_entry(&desc
);
227 die("entry %.*s not found in tree %s", toplen
, prefix
,
230 struct object_id tree_oid
;
231 oidread(&tree_oid
, rewrite_here
);
232 status
= splice_tree(&tree_oid
, subpath
, oid2
, &subtree
);
235 rewrite_with
= &subtree
;
239 hashcpy(rewrite_here
, rewrite_with
->hash
);
240 status
= write_object_file(buf
, sz
, OBJ_TREE
, result
);
246 * We are trying to come up with a merge between one and two that
247 * results in a tree shape similar to one. The tree two might
248 * correspond to a subtree of one, in which case it needs to be
249 * shifted down by prefixing otherwise empty directories. On the
250 * other hand, it could cover tree one and we might need to pick a
253 void shift_tree(struct repository
*r
,
254 const struct object_id
*hash1
,
255 const struct object_id
*hash2
,
256 struct object_id
*shifted
,
261 int add_score
, del_score
;
264 * NEEDSWORK: this limits the recursion depth to hardcoded
265 * value '2' to avoid excessive overhead.
270 add_score
= del_score
= score_trees(hash1
, hash2
);
271 add_prefix
= xcalloc(1, 1);
272 del_prefix
= xcalloc(1, 1);
275 * See if one's subtree resembles two; if so we need to prefix
276 * two with a few fake trees to match the prefix.
278 match_trees(hash1
, hash2
, &add_score
, &add_prefix
, "", depth_limit
);
281 * See if two's subtree resembles one; if so we need to
282 * pick only subtree of two.
284 match_trees(hash2
, hash1
, &del_score
, &del_prefix
, "", depth_limit
);
286 /* Assume we do not have to do any shifting */
287 oidcpy(shifted
, hash2
);
289 if (add_score
< del_score
) {
290 /* We need to pick a subtree of two */
296 if (get_tree_entry(r
, hash2
, del_prefix
, shifted
, &mode
))
297 die("cannot find path %s in tree %s",
298 del_prefix
, oid_to_hex(hash2
));
305 splice_tree(hash1
, add_prefix
, hash2
, shifted
);
309 * The user says the trees will be shifted by this much.
310 * Unfortunately we cannot fundamentally tell which one to
311 * be prefixed, as recursive merge can work in either direction.
313 void shift_tree_by(struct repository
*r
,
314 const struct object_id
*hash1
,
315 const struct object_id
*hash2
,
316 struct object_id
*shifted
,
317 const char *shift_prefix
)
319 struct object_id sub1
, sub2
;
320 unsigned short mode1
, mode2
;
321 unsigned candidate
= 0;
323 /* Can hash2 be a tree at shift_prefix in tree hash1? */
324 if (!get_tree_entry(r
, hash1
, shift_prefix
, &sub1
, &mode1
) &&
328 /* Can hash1 be a tree at shift_prefix in tree hash2? */
329 if (!get_tree_entry(r
, hash2
, shift_prefix
, &sub2
, &mode2
) &&
333 if (candidate
== 3) {
334 /* Both are plausible -- we need to evaluate the score */
335 int best_score
= score_trees(hash1
, hash2
);
339 score
= score_trees(&sub1
, hash2
);
340 if (score
> best_score
) {
344 score
= score_trees(&sub2
, hash1
);
345 if (score
> best_score
)
350 /* Neither is plausible -- do not shift */
351 oidcpy(shifted
, hash2
);
357 * shift tree2 down by adding shift_prefix above it
360 splice_tree(hash1
, shift_prefix
, hash2
, shifted
);
363 * shift tree2 up by removing shift_prefix from it
366 oidcpy(shifted
, &sub2
);