src/test/mir-opt/issue-41697/64bit/rustc.{{impl}}-{{constant}}.SimplifyCfg-qualify-consts.after.mir

   1 // MIR for `<impl at $DIR/issue-41697.rs:18:1: 22:2>::{{constant}}#0` after SimplifyCfg-qualify-consts
   2
   3 <impl at $DIR/issue-41697.rs:18:1: 22:2>::{{constant}}#0: usize = {
   4     let mut _0: usize;                   // return place in scope 0 at $DIR/issue-41697.rs:18:19: 18:22
   5     let mut _1: (usize, bool);           // in scope 0 at $DIR/issue-41697.rs:18:19: 18:22
   6
   7     bb0: {
   8         _1 = CheckedAdd(const 1usize, const 1usize); // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
   9                                          // ty::Const
  10                                          // + ty: usize
  11                                          // + val: Value(Scalar(0x0000000000000001))
  12                                          // mir::Constant
  13                                          // + span: $DIR/issue-41697.rs:18:19: 18:20
  14                                          // + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000001)) }
  15                                          // ty::Const
  16                                          // + ty: usize
  17                                          // + val: Value(Scalar(0x0000000000000001))
  18                                          // mir::Constant
  19                                          // + span: $DIR/issue-41697.rs:18:21: 18:22
  20                                          // + literal: Const { ty: usize, val: Value(Scalar(0x0000000000000001)) }
  21         assert(!move (_1.1: bool), "attempt to add with overflow") -> [success: bb2, unwind: bb1]; // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  22     }
  23
  24     bb1 (cleanup): {
  25         resume;                          // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  26     }
  27
  28     bb2: {
  29         _0 = move (_1.0: usize);         // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  30         return;                          // scope 0 at $DIR/issue-41697.rs:18:19: 18:22
  31     }
  32 }