From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 .../mir-opt/inline/inline_diverging.h.Inline.diff  | 56 ++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 src/test/mir-opt/inline/inline_diverging.h.Inline.diff

(limited to 'src/test/mir-opt/inline/inline_diverging.h.Inline.diff')

diff --git a/src/test/mir-opt/inline/inline_diverging.h.Inline.diff b/src/test/mir-opt/inline/inline_diverging.h.Inline.diff
new file mode 100644
index 000000000..8759f3d02
--- /dev/null
+++ b/src/test/mir-opt/inline/inline_diverging.h.Inline.diff
@@ -0,0 +1,56 @@
+- // MIR for `h` before Inline
++ // MIR for `h` after Inline
+  
+  fn h() -> () {
+      let mut _0: ();                      // return place in scope 0 at $DIR/inline-diverging.rs:+0:12: +0:12
+      let _1: (!, !);                      // in scope 0 at $DIR/inline-diverging.rs:+1:5: +1:22
++     let mut _2: fn() -> ! {sleep};       // in scope 0 at $DIR/inline-diverging.rs:+1:5: +1:22
++     scope 1 (inlined call_twice::<!, fn() -> ! {sleep}>) { // at $DIR/inline-diverging.rs:22:5: 22:22
++         debug f => _2;                   // in scope 1 at $DIR/inline-diverging.rs:+5:36: +5:37
++         let _3: !;                       // in scope 1 at $DIR/inline-diverging.rs:+6:9: +6:10
++         let mut _4: &fn() -> ! {sleep};  // in scope 1 at $DIR/inline-diverging.rs:+6:13: +6:14
++         let mut _5: ();                  // in scope 1 at $DIR/inline-diverging.rs:+6:13: +6:16
++         let mut _7: &fn() -> ! {sleep};  // in scope 1 at $DIR/inline-diverging.rs:+7:13: +7:14
++         let mut _8: ();                  // in scope 1 at $DIR/inline-diverging.rs:+7:13: +7:16
++         let mut _9: !;                   // in scope 1 at $DIR/inline-diverging.rs:+8:6: +8:7
++         let mut _10: !;                  // in scope 1 at $DIR/inline-diverging.rs:+8:9: +8:10
++         scope 2 {
++             debug a => _3;               // in scope 2 at $DIR/inline-diverging.rs:+6:9: +6:10
++             let _6: !;                   // in scope 2 at $DIR/inline-diverging.rs:+7:9: +7:10
++             scope 3 {
++                 debug b => _6;           // in scope 3 at $DIR/inline-diverging.rs:+7:9: +7:10
++             }
++             scope 6 (inlined <fn() -> ! {sleep} as Fn<()>>::call - shim(fn() -> ! {sleep})) { // at $DIR/inline-diverging.rs:28:13: 28:16
++                 scope 7 (inlined sleep) { // at $SRC_DIR/core/src/ops/function.rs:LL:COL
++                 }
++             }
++         }
++         scope 4 (inlined <fn() -> ! {sleep} as Fn<()>>::call - shim(fn() -> ! {sleep})) { // at $DIR/inline-diverging.rs:27:13: 27:16
++             scope 5 (inlined sleep) {    // at $SRC_DIR/core/src/ops/function.rs:LL:COL
++             }
++         }
++     }
+  
+      bb0: {
+          StorageLive(_1);                 // scope 0 at $DIR/inline-diverging.rs:+1:5: +1:22
+-         _1 = call_twice::<!, fn() -> ! {sleep}>(sleep); // scope 0 at $DIR/inline-diverging.rs:+1:5: +1:22
++         StorageLive(_2);                 // scope 0 at $DIR/inline-diverging.rs:+1:5: +1:22
++         _2 = sleep;                      // scope 0 at $DIR/inline-diverging.rs:+1:5: +1:22
+                                           // mir::Constant
+-                                          // + span: $DIR/inline-diverging.rs:22:5: 22:15
+-                                          // + literal: Const { ty: fn(fn() -> ! {sleep}) -> (!, !) {call_twice::<!, fn() -> ! {sleep}>}, val: Value(<ZST>) }
+-                                          // mir::Constant
+                                           // + span: $DIR/inline-diverging.rs:22:16: 22:21
+                                           // + literal: Const { ty: fn() -> ! {sleep}, val: Value(<ZST>) }
++         StorageLive(_3);                 // scope 1 at $DIR/inline-diverging.rs:+6:9: +6:10
++         StorageLive(_4);                 // scope 1 at $DIR/inline-diverging.rs:+6:13: +6:14
++         _4 = &_2;                        // scope 1 at $DIR/inline-diverging.rs:+6:13: +6:14
++         StorageLive(_5);                 // scope 1 at $DIR/inline-diverging.rs:+6:13: +6:16
++         goto -> bb1;                     // scope 5 at $DIR/inline-diverging.rs:+18:5: +18:12
++     }
++ 
++     bb1: {
++         goto -> bb1;                     // scope 5 at $DIR/inline-diverging.rs:+18:5: +18:12
+      }
+  }
+  
-- 
cgit v1.2.3