| { |
| "name": "Mir_0_3", |
| "kind": "Digraph", |
| "nodes": [ |
| { |
| "label": "bb0", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb0", |
| "stmts": [ |
| "StorageLive(_1)", |
| "_1 = Vec::<i32>::new()" |
| ] |
| }, |
| { |
| "label": "bb1", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb1", |
| "stmts": [ |
| "resume" |
| ] |
| }, |
| { |
| "label": "bb2", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb2", |
| "stmts": [ |
| "StorageLive(_2)", "StorageLive(_3)", "(_3.0: i32) = const 1_i32", "(_3.1: i32) = const 10_i32", |
| "_2 = <std::ops::Range<i32> as IntoIterator>::into_iter(move _3)" |
| ] |
| }, |
| { |
| "label": "bb3", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb3", |
| "stmts": [ |
| "StorageDead(_3)", "StorageLive(_4)", "_4 = move _2", |
| "goto" |
| ] |
| }, |
| { |
| "label": "bb4", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb4", |
| "stmts": [ |
| "drop(_1)" |
| ] |
| }, |
| { |
| "label": "bb5", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb5", |
| "stmts": [ |
| "StorageLive(_5)", "StorageLive(_6)", "StorageLive(_7)", "StorageLive(_8)", "_8 = &mut _4", "_7 = &mut (*_8)", |
| "_6 = <std::ops::Range<i32> as Iterator>::next(move _7)" |
| ] |
| }, |
| { |
| "label": "bb6", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb6", |
| "stmts": [ |
| "StorageDead(_7)", "_9 = discriminant(_6)", |
| "switchInt(move _9)" |
| ] |
| }, |
| { |
| "label": "bb7", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb7", |
| "stmts": [ |
| "_0 = const ()", "StorageDead(_8)", "StorageDead(_6)", "StorageDead(_5)", "StorageDead(_4)", "StorageDead(_2)", |
| "drop(_1)" |
| ] |
| }, |
| { |
| "label": "bb8", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb8", |
| "stmts": [ |
| "unreachable" |
| ] |
| }, |
| { |
| "label": "bb9", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb9", |
| "stmts": [ |
| "StorageLive(_10)", "_10 = ((_6 as Some).0: i32)", "StorageLive(_11)", "_11 = _10", "_5 = move _11", "StorageDead(_11)", "StorageDead(_10)", "StorageDead(_8)", "StorageDead(_6)", "StorageLive(_12)", "_12 = _5", "StorageLive(_13)", "StorageLive(_14)", "_14 = _12", "_15 = const false", "_16 = Eq(_14, const i32::MIN)", "_17 = BitAnd(move _15, move _16)", |
| "assert(!move _17, \"attempt to compute the remainder of `{} % {}` which would overflow\", _14, const 3_i32)" |
| ] |
| }, |
| { |
| "label": "bb10", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb10", |
| "stmts": [ |
| "_13 = Rem(move _14, const 3_i32)", "StorageDead(_14)", |
| "switchInt(move _13)" |
| ] |
| }, |
| { |
| "label": "bb11", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb11", |
| "stmts": [ |
| "StorageDead(_13)", |
| "goto" |
| ] |
| }, |
| { |
| "label": "bb12", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb12", |
| "stmts": [ |
| "StorageDead(_13)", "StorageLive(_18)", "StorageLive(_19)", "_19 = &mut _1", "StorageLive(_20)", "_20 = _12", |
| "_18 = Vec::<i32>::push(move _19, move _20)" |
| ] |
| }, |
| { |
| "label": "bb13", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb13", |
| "stmts": [ |
| "StorageDead(_20)", "StorageDead(_19)", "StorageDead(_18)", |
| "goto" |
| ] |
| }, |
| { |
| "label": "bb14", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb14", |
| "stmts": [ |
| "StorageDead(_12)", "StorageDead(_5)", |
| "goto" |
| ] |
| }, |
| { |
| "label": "bb15", |
| "style": { |
| "title_bg": null, |
| "last_stmt_sep": false |
| }, |
| "title": "bb15", |
| "stmts": [ |
| "StorageDead(_1)", |
| "return" |
| ] |
| } |
| ], |
| "edges": [ |
| { |
| "from": "bb0", |
| "to": "bb2", |
| "label": "return" |
| }, |
| { |
| "from": "bb2", |
| "to": "bb3", |
| "label": "return" |
| }, |
| { |
| "from": "bb2", |
| "to": "bb4", |
| "label": "unwind" |
| }, |
| { |
| "from": "bb3", |
| "to": "bb5", |
| "label": "" |
| }, |
| { |
| "from": "bb4", |
| "to": "bb1", |
| "label": "return" |
| }, |
| { |
| "from": "bb5", |
| "to": "bb6", |
| "label": "return" |
| }, |
| { |
| "from": "bb5", |
| "to": "bb4", |
| "label": "unwind" |
| }, |
| { |
| "from": "bb6", |
| "to": "bb7", |
| "label": "0_isize" |
| }, |
| { |
| "from": "bb6", |
| "to": "bb9", |
| "label": "1_isize" |
| }, |
| { |
| "from": "bb6", |
| "to": "bb8", |
| "label": "otherwise" |
| }, |
| { |
| "from": "bb7", |
| "to": "bb15", |
| "label": "return" |
| }, |
| { |
| "from": "bb9", |
| "to": "bb10", |
| "label": "success" |
| }, |
| { |
| "from": "bb9", |
| "to": "bb4", |
| "label": "unwind" |
| }, |
| { |
| "from": "bb10", |
| "to": "bb12", |
| "label": "0_i32" |
| }, |
| { |
| "from": "bb10", |
| "to": "bb11", |
| "label": "otherwise" |
| }, |
| { |
| "from": "bb11", |
| "to": "bb14", |
| "label": "" |
| }, |
| { |
| "from": "bb12", |
| "to": "bb13", |
| "label": "return" |
| }, |
| { |
| "from": "bb12", |
| "to": "bb4", |
| "label": "unwind" |
| }, |
| { |
| "from": "bb13", |
| "to": "bb14", |
| "label": "" |
| }, |
| { |
| "from": "bb14", |
| "to": "bb5", |
| "label": "" |
| } |
| ] |
| } |
