Commit 60fa93f
committed
emit hop_to_executor before & sometimes after implicitly-async calls
implicitly-async calls are calls to synchronous
actor-isolated functions. Synchronous functions
cannot perform hop_to_executor, so implicitly
async calls have the convention that the caller
is responsible for switching to the right
executor prior to entering the actor-isolated
callee.
It follows naturally that the caller must then
switch back to the appropriate executor after
the implicitly-async call completed.
Now, if the caller is not isolated to a
_specific_ actor, then we are (currently)
_not_ emitting a hop to go back to the
caller's executor, because that caller's
executor is unspecified (and currently not
accessable in SIL). This behavior may change
in the future; tracked in rdar://719057651 parent 233eccd commit 60fa93f
File tree
7 files changed
+234
-32
lines changed- lib/SILGen
- test/SILGen
7 files changed
+234
-32
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
546 | 546 | | |
547 | 547 | | |
548 | 548 | | |
| 549 | + | |
| 550 | + | |
| 551 | + | |
| 552 | + | |
549 | 553 | | |
550 | 554 | | |
551 | 555 | | |
| |||
3646 | 3650 | | |
3647 | 3651 | | |
3648 | 3652 | | |
| 3653 | + | |
3649 | 3654 | | |
3650 | 3655 | | |
3651 | 3656 | | |
3652 | 3657 | | |
3653 | 3658 | | |
3654 | 3659 | | |
3655 | 3660 | | |
3656 | | - | |
| 3661 | + | |
| 3662 | + | |
3657 | 3663 | | |
3658 | 3664 | | |
3659 | 3665 | | |
| |||
3688 | 3694 | | |
3689 | 3695 | | |
3690 | 3696 | | |
| 3697 | + | |
| 3698 | + | |
| 3699 | + | |
| 3700 | + | |
| 3701 | + | |
3691 | 3702 | | |
3692 | 3703 | | |
3693 | 3704 | | |
| |||
3912 | 3923 | | |
3913 | 3924 | | |
3914 | 3925 | | |
| 3926 | + | |
| 3927 | + | |
| 3928 | + | |
| 3929 | + | |
3915 | 3930 | | |
3916 | 3931 | | |
3917 | 3932 | | |
3918 | 3933 | | |
3919 | | - | |
| 3934 | + | |
3920 | 3935 | | |
3921 | 3936 | | |
3922 | 3937 | | |
| |||
4224 | 4239 | | |
4225 | 4240 | | |
4226 | 4241 | | |
| 4242 | + | |
| 4243 | + | |
4227 | 4244 | | |
4228 | 4245 | | |
4229 | 4246 | | |
| |||
4266 | 4283 | | |
4267 | 4284 | | |
4268 | 4285 | | |
| 4286 | + | |
| 4287 | + | |
| 4288 | + | |
| 4289 | + | |
| 4290 | + | |
| 4291 | + | |
| 4292 | + | |
| 4293 | + | |
| 4294 | + | |
| 4295 | + | |
| 4296 | + | |
| 4297 | + | |
| 4298 | + | |
| 4299 | + | |
| 4300 | + | |
| 4301 | + | |
| 4302 | + | |
| 4303 | + | |
| 4304 | + | |
| 4305 | + | |
| 4306 | + | |
| 4307 | + | |
| 4308 | + | |
| 4309 | + | |
| 4310 | + | |
4269 | 4311 | | |
4270 | 4312 | | |
4271 | 4313 | | |
| |||
4279 | 4321 | | |
4280 | 4322 | | |
4281 | 4323 | | |
4282 | | - | |
| 4324 | + | |
| 4325 | + | |
4283 | 4326 | | |
4284 | 4327 | | |
4285 | 4328 | | |
| |||
4365 | 4408 | | |
4366 | 4409 | | |
4367 | 4410 | | |
4368 | | - | |
| 4411 | + | |
| 4412 | + | |
| 4413 | + | |
| 4414 | + | |
| 4415 | + | |
| 4416 | + | |
| 4417 | + | |
| 4418 | + | |
| 4419 | + | |
| 4420 | + | |
| 4421 | + | |
| 4422 | + | |
| 4423 | + | |
| 4424 | + | |
| 4425 | + | |
| 4426 | + | |
4369 | 4427 | | |
4370 | 4428 | | |
4371 | 4429 | | |
4372 | 4430 | | |
4373 | | - | |
4374 | | - | |
| 4431 | + | |
| 4432 | + | |
4375 | 4433 | | |
4376 | | - | |
| 4434 | + | |
| 4435 | + | |
4377 | 4436 | | |
4378 | 4437 | | |
4379 | 4438 | | |
| |||
4482 | 4541 | | |
4483 | 4542 | | |
4484 | 4543 | | |
4485 | | - | |
| 4544 | + | |
4486 | 4545 | | |
4487 | 4546 | | |
4488 | 4547 | | |
| |||
4768 | 4827 | | |
4769 | 4828 | | |
4770 | 4829 | | |
4771 | | - | |
| 4830 | + | |
4772 | 4831 | | |
4773 | 4832 | | |
4774 | 4833 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
243 | 243 | | |
244 | 244 | | |
245 | 245 | | |
246 | | - | |
| 246 | + | |
247 | 247 | | |
248 | 248 | | |
249 | 249 | | |
| |||
1875 | 1875 | | |
1876 | 1876 | | |
1877 | 1877 | | |
1878 | | - | |
| 1878 | + | |
1879 | 1879 | | |
1880 | 1880 | | |
1881 | 1881 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2271 | 2271 | | |
2272 | 2272 | | |
2273 | 2273 | | |
2274 | | - | |
| 2274 | + | |
2275 | 2275 | | |
2276 | 2276 | | |
2277 | 2277 | | |
| |||
2294 | 2294 | | |
2295 | 2295 | | |
2296 | 2296 | | |
2297 | | - | |
| 2297 | + | |
2298 | 2298 | | |
2299 | 2299 | | |
2300 | 2300 | | |
| |||
3201 | 3201 | | |
3202 | 3202 | | |
3203 | 3203 | | |
3204 | | - | |
| 3204 | + | |
3205 | 3205 | | |
3206 | 3206 | | |
3207 | 3207 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
834 | 834 | | |
835 | 835 | | |
836 | 836 | | |
| 837 | + | |
| 838 | + | |
| 839 | + | |
| 840 | + | |
| 841 | + | |
| 842 | + | |
| 843 | + | |
| 844 | + | |
| 845 | + | |
| 846 | + | |
| 847 | + | |
| 848 | + | |
| 849 | + | |
| 850 | + | |
| 851 | + | |
| 852 | + | |
| 853 | + | |
| 854 | + | |
| 855 | + | |
| 856 | + | |
| 857 | + | |
837 | 858 | | |
838 | 859 | | |
839 | 860 | | |
| |||
852 | 873 | | |
853 | 874 | | |
854 | 875 | | |
855 | | - | |
856 | | - | |
857 | | - | |
858 | | - | |
859 | 876 | | |
860 | 877 | | |
861 | 878 | | |
| |||
1544 | 1561 | | |
1545 | 1562 | | |
1546 | 1563 | | |
1547 | | - | |
| 1564 | + | |
| 1565 | + | |
1548 | 1566 | | |
1549 | 1567 | | |
1550 | 1568 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
4485 | 4485 | | |
4486 | 4486 | | |
4487 | 4487 | | |
| 4488 | + | |
| 4489 | + | |
4488 | 4490 | | |
4489 | 4491 | | |
4490 | 4492 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
456 | 456 | | |
457 | 457 | | |
458 | 458 | | |
459 | | - | |
460 | 459 | | |
461 | 460 | | |
462 | 461 | | |
| |||
465 | 464 | | |
466 | 465 | | |
467 | 466 | | |
| 467 | + | |
468 | 468 | | |
469 | 469 | | |
470 | 470 | | |
471 | 471 | | |
472 | 472 | | |
473 | 473 | | |
| 474 | + | |
474 | 475 | | |
475 | | - | |
| 476 | + | |
476 | 477 | | |
477 | 478 | | |
478 | 479 | | |
479 | 480 | | |
480 | 481 | | |
481 | 482 | | |
482 | 483 | | |
483 | | - | |
484 | | - | |
485 | | - | |
486 | | - | |
487 | | - | |
488 | | - | |
| 484 | + | |
| 485 | + | |
| 486 | + | |
489 | 487 | | |
490 | | - | |
| 488 | + | |
491 | 489 | | |
492 | | - | |
| 490 | + | |
493 | 491 | | |
494 | 492 | | |
495 | 493 | | |
| 494 | + | |
496 | 495 | | |
497 | 496 | | |
498 | 497 | | |
499 | | - | |
| 498 | + | |
| 499 | + | |
| 500 | + | |
| 501 | + | |
| 502 | + | |
| 503 | + | |
| 504 | + | |
| 505 | + | |
500 | 506 | | |
501 | 507 | | |
502 | 508 | | |
| |||
517 | 523 | | |
518 | 524 | | |
519 | 525 | | |
520 | | - | |
| 526 | + | |
521 | 527 | | |
522 | 528 | | |
523 | 529 | | |
| |||
0 commit comments