summaryrefslogtreecommitdiffstats
path: root/tests/mir-opt/lower_intrinsics.forget.LowerIntrinsics.diff
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:18:58 +0000
commita4b7ed7a42c716ab9f05e351f003d589124fd55d (patch)
treeb620cd3f223850b28716e474e80c58059dca5dd4 /tests/mir-opt/lower_intrinsics.forget.LowerIntrinsics.diff
parentAdding upstream version 1.67.1+dfsg1. (diff)
downloadrustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.tar.xz
rustc-a4b7ed7a42c716ab9f05e351f003d589124fd55d.zip
Adding upstream version 1.68.2+dfsg1.upstream/1.68.2+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tests/mir-opt/lower_intrinsics.forget.LowerIntrinsics.diff')
-rw-r--r--tests/mir-opt/lower_intrinsics.forget.LowerIntrinsics.diff29
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/mir-opt/lower_intrinsics.forget.LowerIntrinsics.diff b/tests/mir-opt/lower_intrinsics.forget.LowerIntrinsics.diff
new file mode 100644
index 000000000..4cbbc02c9
--- /dev/null
+++ b/tests/mir-opt/lower_intrinsics.forget.LowerIntrinsics.diff
@@ -0,0 +1,29 @@
+- // MIR for `forget` before LowerIntrinsics
++ // MIR for `forget` after LowerIntrinsics
+
+ fn forget(_1: T) -> () {
+ debug t => _1; // in scope 0 at $DIR/lower_intrinsics.rs:+0:18: +0:19
+ let mut _0: (); // return place in scope 0 at $DIR/lower_intrinsics.rs:+0:24: +0:24
+ let mut _2: T; // in scope 0 at $DIR/lower_intrinsics.rs:+1:30: +1:31
+
+ bb0: {
+ StorageLive(_2); // scope 0 at $DIR/lower_intrinsics.rs:+1:30: +1:31
+ _2 = move _1; // scope 0 at $DIR/lower_intrinsics.rs:+1:30: +1:31
+- _0 = std::intrinsics::forget::<T>(move _2) -> bb1; // scope 0 at $DIR/lower_intrinsics.rs:+1:5: +1:32
+- // mir::Constant
+- // + span: $DIR/lower_intrinsics.rs:26:5: 26:29
+- // + literal: Const { ty: extern "rust-intrinsic" fn(T) {std::intrinsics::forget::<T>}, val: Value(<ZST>) }
++ _0 = const (); // scope 0 at $DIR/lower_intrinsics.rs:+1:5: +1:32
++ goto -> bb1; // scope 0 at $DIR/lower_intrinsics.rs:+1:5: +1:32
+ }
+
+ bb1: {
+ StorageDead(_2); // scope 0 at $DIR/lower_intrinsics.rs:+1:31: +1:32
+ goto -> bb2; // scope 0 at $DIR/lower_intrinsics.rs:+2:1: +2:2
+ }
+
+ bb2: {
+ return; // scope 0 at $DIR/lower_intrinsics.rs:+2:2: +2:2
+ }
+ }
+