Commit f75f440
authored
Rollup merge of rust-lang#108022 - CraftSpider:align-bytes, r=oli-obk
Support allocations with non-Box<[u8]> bytes
This is prep work for allowing miri to support passing pointers to C code, which will require `Allocation`s to be correctly aligned. Currently, it just makes `Allocation` generic and plumbs the necessary changes through the right places.
The follow-up to this will be adding a type in the miri interpreter which correctly aligns the bytes, using that for the Miri engine, then allowing Miri to pass pointers into these allocations to C calls.
Based off of rust-lang#100467, credit to ```@emarteca``` for the codeFile tree
7 files changed
+128
-50
lines changed- compiler
- rustc_const_eval/src/interpret
- rustc_middle/src/mir
- interpret
- src/tools/miri/src
7 files changed
+128
-50
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
16 | 16 | | |
17 | 17 | | |
18 | 18 | | |
19 | | - | |
20 | | - | |
| 19 | + | |
| 20 | + | |
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
| |||
105 | 105 | | |
106 | 106 | | |
107 | 107 | | |
| 108 | + | |
| 109 | + | |
| 110 | + | |
108 | 111 | | |
109 | 112 | | |
110 | 113 | | |
111 | | - | |
| 114 | + | |
| 115 | + | |
| 116 | + | |
| 117 | + | |
112 | 118 | | |
113 | 119 | | |
114 | 120 | | |
| |||
338 | 344 | | |
339 | 345 | | |
340 | 346 | | |
341 | | - | |
| 347 | + | |
342 | 348 | | |
343 | 349 | | |
344 | 350 | | |
| |||
459 | 465 | | |
460 | 466 | | |
461 | 467 | | |
| 468 | + | |
462 | 469 | | |
463 | 470 | | |
464 | 471 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
24 | | - | |
25 | | - | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
26 | 27 | | |
27 | 28 | | |
28 | 29 | | |
| |||
114 | 115 | | |
115 | 116 | | |
116 | 117 | | |
117 | | - | |
118 | | - | |
| 118 | + | |
| 119 | + | |
119 | 120 | | |
120 | 121 | | |
121 | 122 | | |
122 | 123 | | |
123 | 124 | | |
124 | 125 | | |
125 | | - | |
126 | | - | |
| 126 | + | |
| 127 | + | |
127 | 128 | | |
128 | 129 | | |
129 | 130 | | |
| |||
483 | 484 | | |
484 | 485 | | |
485 | 486 | | |
486 | | - | |
| 487 | + | |
487 | 488 | | |
488 | 489 | | |
489 | 490 | | |
| |||
526 | 527 | | |
527 | 528 | | |
528 | 529 | | |
| 530 | + | |
| 531 | + | |
| 532 | + | |
| 533 | + | |
| 534 | + | |
| 535 | + | |
| 536 | + | |
| 537 | + | |
| 538 | + | |
| 539 | + | |
| 540 | + | |
529 | 541 | | |
530 | 542 | | |
531 | 543 | | |
532 | 544 | | |
533 | 545 | | |
534 | 546 | | |
535 | 547 | | |
536 | | - | |
| 548 | + | |
537 | 549 | | |
538 | 550 | | |
539 | 551 | | |
| |||
569 | 581 | | |
570 | 582 | | |
571 | 583 | | |
572 | | - | |
| 584 | + | |
| 585 | + | |
573 | 586 | | |
574 | 587 | | |
575 | 588 | | |
| |||
612 | 625 | | |
613 | 626 | | |
614 | 627 | | |
615 | | - | |
| 628 | + | |
616 | 629 | | |
617 | 630 | | |
618 | 631 | | |
| |||
641 | 654 | | |
642 | 655 | | |
643 | 656 | | |
644 | | - | |
| 657 | + | |
| 658 | + | |
645 | 659 | | |
646 | 660 | | |
647 | 661 | | |
| |||
840 | 854 | | |
841 | 855 | | |
842 | 856 | | |
843 | | - | |
| 857 | + | |
844 | 858 | | |
845 | 859 | | |
846 | 860 | | |
847 | | - | |
| 861 | + | |
848 | 862 | | |
849 | 863 | | |
850 | 864 | | |
| |||
912 | 926 | | |
913 | 927 | | |
914 | 928 | | |
915 | | - | |
| 929 | + | |
| 930 | + | |
| 931 | + | |
916 | 932 | | |
917 | 933 | | |
918 | 934 | | |
| |||
937 | 953 | | |
938 | 954 | | |
939 | 955 | | |
940 | | - | |
| 956 | + | |
941 | 957 | | |
942 | 958 | | |
943 | 959 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
353 | 353 | | |
354 | 354 | | |
355 | 355 | | |
356 | | - | |
| 356 | + | |
| 357 | + | |
357 | 358 | | |
358 | 359 | | |
359 | 360 | | |
| |||
364 | 365 | | |
365 | 366 | | |
366 | 367 | | |
367 | | - | |
| 368 | + | |
| 369 | + | |
368 | 370 | | |
369 | 371 | | |
370 | 372 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | | - | |
| 11 | + | |
| 12 | + | |
12 | 13 | | |
13 | 14 | | |
14 | 15 | | |
| |||
29 | 30 | | |
30 | 31 | | |
31 | 32 | | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
| 53 | + | |
| 54 | + | |
| 55 | + | |
| 56 | + | |
| 57 | + | |
| 58 | + | |
| 59 | + | |
| 60 | + | |
| 61 | + | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
32 | 66 | | |
33 | 67 | | |
34 | 68 | | |
| |||
38 | 72 | | |
39 | 73 | | |
40 | 74 | | |
41 | | - | |
| 75 | + | |
42 | 76 | | |
43 | 77 | | |
44 | | - | |
| 78 | + | |
45 | 79 | | |
46 | 80 | | |
47 | 81 | | |
| |||
220 | 254 | | |
221 | 255 | | |
222 | 256 | | |
223 | | - | |
| 257 | + | |
| 258 | + | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
| 265 | + | |
| 266 | + | |
| 267 | + | |
| 268 | + | |
| 269 | + | |
| 270 | + | |
224 | 271 | | |
225 | 272 | | |
226 | 273 | | |
227 | 274 | | |
228 | 275 | | |
229 | 276 | | |
230 | | - | |
| 277 | + | |
231 | 278 | | |
232 | 279 | | |
233 | 280 | | |
| |||
248 | 295 | | |
249 | 296 | | |
250 | 297 | | |
251 | | - | |
| 298 | + | |
252 | 299 | | |
253 | 300 | | |
254 | 301 | | |
| |||
262 | 309 | | |
263 | 310 | | |
264 | 311 | | |
265 | | - | |
266 | | - | |
| 312 | + | |
267 | 313 | | |
268 | 314 | | |
269 | 315 | | |
| |||
275 | 321 | | |
276 | 322 | | |
277 | 323 | | |
278 | | - | |
| 324 | + | |
279 | 325 | | |
280 | 326 | | |
281 | 327 | | |
282 | 328 | | |
283 | 329 | | |
284 | 330 | | |
285 | 331 | | |
286 | | - | |
287 | | - | |
288 | | - | |
| 332 | + | |
| 333 | + | |
| 334 | + | |
| 335 | + | |
| 336 | + | |
289 | 337 | | |
290 | 338 | | |
291 | 339 | | |
| |||
311 | 359 | | |
312 | 360 | | |
313 | 361 | | |
314 | | - | |
| 362 | + | |
315 | 363 | | |
316 | 364 | | |
317 | 365 | | |
| |||
340 | 388 | | |
341 | 389 | | |
342 | 390 | | |
343 | | - | |
| 391 | + | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
| 395 | + | |
344 | 396 | | |
345 | 397 | | |
346 | 398 | | |
| |||
412 | 464 | | |
413 | 465 | | |
414 | 466 | | |
415 | | - | |
| 467 | + | |
416 | 468 | | |
417 | 469 | | |
418 | 470 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
127 | 127 | | |
128 | 128 | | |
129 | 129 | | |
130 | | - | |
131 | | - | |
| 130 | + | |
| 131 | + | |
132 | 132 | | |
133 | 133 | | |
134 | 134 | | |
| |||
0 commit comments