diff options
| author | bors <bors@rust-lang.org> | 2023-10-10 20:37:55 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-10-10 20:37:55 +0000 |
| commit | d627cf07ce46d230a93732a4714d16f00df9466b (patch) | |
| tree | 791010467be467be275e7532b173388e006c62f1 /compiler/rustc_codegen_llvm/src | |
| parent | c30b28bdc17f1da73515afa0886f0d4f55c76e1f (diff) | |
| parent | 37f080edbc763f0add0552427d303b247055fc15 (diff) | |
| download | rust-d627cf07ce46d230a93732a4714d16f00df9466b.tar.gz rust-d627cf07ce46d230a93732a4714d16f00df9466b.zip | |
Auto merge of #113915 - cjgillot:ssa-call, r=tmiasko
Also consider call and yield as MIR SSA. The SSA analysis on MIR only considered `Assign` statements as defining a SSA local. This PR adds assignments as part of a `Call` or `Yield` terminator in that category. This mainly allows to perform CopyProp on a call return place. The only subtlety is in the dominance property: the assignment is only complete at the beginning of the target block.
Diffstat (limited to 'compiler/rustc_codegen_llvm/src')
0 files changed, 0 insertions, 0 deletions