about summary refs log tree commit diff
path: root/tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff
diff options
context:
space:
mode:
authorCamille GILLOT <gillot.camille@gmail.com>2023-09-09 16:47:17 +0000
committerCamille GILLOT <gillot.camille@gmail.com>2023-09-11 16:29:42 +0000
commit7493ad0abec1ecbd5f8a9d14a67cc3197e6176c7 (patch)
treedde9c04e021511a31a798880f60dc01e4cb1d5ea /tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff
parentbcfe1a4bf2347e2f8df209f72930b335d5edddcf (diff)
downloadrust-7493ad0abec1ecbd5f8a9d14a67cc3197e6176c7.tar.gz
rust-7493ad0abec1ecbd5f8a9d14a67cc3197e6176c7.zip
Duplicate output for test.
Diffstat (limited to 'tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff')
-rw-r--r--tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff63
1 files changed, 63 insertions, 0 deletions
diff --git a/tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff b/tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff
new file mode 100644
index 00000000000..3946e7c7d96
--- /dev/null
+++ b/tests/mir-opt/dataflow-const-prop/enum.simple.DataflowConstProp.64bit.diff
@@ -0,0 +1,63 @@
+- // MIR for `simple` before DataflowConstProp
++ // MIR for `simple` after DataflowConstProp
+  
+  fn simple() -> () {
+      let mut _0: ();
+      let _1: E;
+      let mut _3: isize;
+      scope 1 {
+          debug e => _1;
+          let _2: i32;
+          let _4: i32;
+          let _5: i32;
+          scope 2 {
+              debug x => _2;
+          }
+          scope 3 {
+              debug x => _4;
+          }
+          scope 4 {
+              debug x => _5;
+          }
+      }
+  
+      bb0: {
+          StorageLive(_1);
+          _1 = E::V1(const 0_i32);
+          StorageLive(_2);
+-         _3 = discriminant(_1);
+-         switchInt(move _3) -> [0: bb3, 1: bb1, otherwise: bb2];
++         _3 = const 0_isize;
++         switchInt(const 0_isize) -> [0: bb3, 1: bb1, otherwise: bb2];
+      }
+  
+      bb1: {
+          StorageLive(_5);
+          _5 = ((_1 as V2).0: i32);
+          _2 = _5;
+          StorageDead(_5);
+          goto -> bb4;
+      }
+  
+      bb2: {
+          unreachable;
+      }
+  
+      bb3: {
+          StorageLive(_4);
+-         _4 = ((_1 as V1).0: i32);
+-         _2 = _4;
++         _4 = const 0_i32;
++         _2 = const 0_i32;
+          StorageDead(_4);
+          goto -> bb4;
+      }
+  
+      bb4: {
+          _0 = const ();
+          StorageDead(_2);
+          StorageDead(_1);
+          return;
+      }
+  }
+