address review: add CHECKs in calls.rs

Signed-off-by: Shunpoco <tkngsnsk313320@gmail.com>

Author: Shunpoco

tests/mir-opt/copy-prop/calls.rs

@@ -16,6 +16,7 @@ fn nrvo() -> u8 {
     // CHECK: debug y => _0;
     // CHECK-NOT: StorageLive(_1);
     // CHECK-NOT: _1 = dummy(const 5_u8)
+    // CHECK: _0 = dummy(const 5_u8)
     // CHECK-NOT: _0 = copy _1;
     // CHECK-NOT: StorageDead(_1);
     let y = dummy(5); // this should get NRVO
@@ -26,6 +27,8 @@ fn nrvo() -> u8 {
 #[custom_mir(dialect = "runtime", phase = "initial")]
 fn multiple_edges(t: bool) -> u8 {
     // CHECK-LABEL: fn multiple_edges(
+    // CHECK: bb1: {
+    // CHECK: _2 = dummy(const 13_u8)
     // CHECK: bb2: {
     // CHECK: _0 = copy _2;
     mir! {