diff --git a/src/img/coverage-branch-counting-01.png b/src/img/coverage-branch-counting-01.png index c445f3552..d99400bfb 100644 Binary files a/src/img/coverage-branch-counting-01.png and b/src/img/coverage-branch-counting-01.png differ diff --git a/src/img/coverage-graphviz-01.png b/src/img/coverage-graphviz-01.png index cf7e1e76b..fe5a09ebd 100644 Binary files a/src/img/coverage-graphviz-01.png and b/src/img/coverage-graphviz-01.png differ diff --git a/src/img/coverage-spanview-01.png b/src/img/coverage-spanview-01.png index f3e4b3535..11cf402aa 100644 Binary files a/src/img/coverage-spanview-01.png and b/src/img/coverage-spanview-01.png differ diff --git a/src/img/dataflow-graphviz-example.png b/src/img/dataflow-graphviz-example.png index 718411a8c..b4a2932c7 100644 Binary files a/src/img/dataflow-graphviz-example.png and b/src/img/dataflow-graphviz-example.png differ diff --git a/src/img/github-cli.png b/src/img/github-cli.png index c3b0e7707..d53b54471 100644 Binary files a/src/img/github-cli.png and b/src/img/github-cli.png differ diff --git a/src/img/github-whitespace-changes.png b/src/img/github-whitespace-changes.png index 9a19a10aa..9fa5f1312 100644 Binary files a/src/img/github-whitespace-changes.png and b/src/img/github-whitespace-changes.png differ diff --git a/src/img/llvm-cov-show-01.png b/src/img/llvm-cov-show-01.png index 35f045943..8fb314d86 100644 Binary files a/src/img/llvm-cov-show-01.png and b/src/img/llvm-cov-show-01.png differ diff --git a/src/img/other-peoples-commits.png b/src/img/other-peoples-commits.png index e4fc2c797..c4b4effb0 100644 Binary files a/src/img/other-peoples-commits.png and b/src/img/other-peoples-commits.png differ diff --git a/src/img/rustbot-submodules.png b/src/img/rustbot-submodules.png index c2e6937cb..dbcdae117 100644 Binary files a/src/img/rustbot-submodules.png and b/src/img/rustbot-submodules.png differ diff --git a/src/img/submodule-conflicts.png b/src/img/submodule-conflicts.png index e90a6bbe8..00c4fbc01 100644 Binary files a/src/img/submodule-conflicts.png and b/src/img/submodule-conflicts.png differ diff --git a/src/img/wpa-initial-memory.png b/src/img/wpa-initial-memory.png index b6020667e..6fd86ea67 100644 Binary files a/src/img/wpa-initial-memory.png and b/src/img/wpa-initial-memory.png differ diff --git a/src/img/wpa-stack.png b/src/img/wpa-stack.png index 29eb5a54b..1539bdf7b 100644 Binary files a/src/img/wpa-stack.png and b/src/img/wpa-stack.png differ diff --git a/src/mir/mir_cfg.svg b/src/mir/mir_cfg.svg index 70705ec04..6f9a41052 100644 --- a/src/mir/mir_cfg.svg +++ b/src/mir/mir_cfg.svg @@ -1,270 +1 @@ - - - - - - -__crate__ - - -cluster_Mir_0_4 - -fn main() -> () -let _1: i32; -let mut _2: i32; -let mut _3: bool; -let mut _4: i32; -let mut _5: i32; -debug x => _1; -debug y => _2; - - -cluster_Mir_0_3 - -fn incr() -> i32 -let mut _1: i32; -let mut _2: bool; -let mut _3: bool; -debug ret => _1; - - - -bb0__0_4 - - -0 - -StorageLive(_1) -_1 = const 5_i32 -StorageLive(_2) -_2 = const 3_i32 -StorageLive(_3) -StorageLive(_4) -_4 = _1 -_3 = Gt(move _4, const 3_i32) -StorageDead(_4) - -switchInt(move _3) - - - -bb1__0_4 - - -1 - -_2 = const 4_i32 -_0 = const () - -goto - - - -bb0__0_4->bb1__0_4 - - -otherwise - - - -bb2__0_4 - - -2 - -StorageLive(_5) - -_5 = incr() - - - -bb0__0_4->bb2__0_4 - - -false - - - -bb4__0_4 - - -4 - -StorageDead(_3) -StorageDead(_2) -StorageDead(_1) - -return - - - -bb1__0_4->bb4__0_4 - - - - - -bb3__0_4 - - -3 - -_2 = Add(_2, move _5) -StorageDead(_5) -_0 = const () - -goto - - - -bb2__0_4->bb3__0_4 - - -return - - - -bb3__0_4->bb4__0_4 - - - - - -bb0__0_3 - - -0 - -StorageLive(_1) -StorageLive(_2) -_2 = const true - -switchInt(move _2) - - - -bb1__0_3 - - -1 - -_1 = const 7_i32 - -goto - - - -bb0__0_3->bb1__0_3 - - -otherwise - - - -bb2__0_3 - - -2 - -StorageLive(_3) -_3 = const true - -switchInt(move _3) - - - -bb0__0_3->bb2__0_3 - - -false - - - -bb6__0_3 - - -6 - -StorageDead(_2) -_1 = Add(_1, const 1_i32) -_0 = _1 -StorageDead(_1) - -return - - - -bb1__0_3->bb6__0_3 - - - - - -bb3__0_3 - - -3 - -_1 = const 8_i32 - -goto - - - -bb2__0_3->bb3__0_3 - - -otherwise - - - -bb4__0_3 - - -4 - -_1 = const 9_i32 - -goto - - - -bb2__0_3->bb4__0_3 - - -false - - - -bb5__0_3 - - -5 - -StorageDead(_3) - -goto - - - -bb3__0_3->bb5__0_3 - - - - - -bb4__0_3->bb5__0_3 - - - - - -bb5__0_3->bb6__0_3 - - - - - +__crate__cluster_Mir_0_4fn main() -> ()let _1: i32;let mut _2: i32;let mut _3: bool;let mut _4: i32;let mut _5: i32;debug x => _1;debug y => _2;cluster_Mir_0_3fn incr() -> i32let mut _1: i32;let mut _2: bool;let mut _3: bool;debug ret => _1;bb0__0_40StorageLive(_1)_1 = const 5_i32StorageLive(_2)_2 = const 3_i32StorageLive(_3)StorageLive(_4)_4 = _1_3 = Gt(move _4, const 3_i32)StorageDead(_4)switchInt(move _3)bb1__0_41_2 = const 4_i32_0 = const ()gotobb0__0_4->bb1__0_4otherwisebb2__0_42StorageLive(_5)_5 = incr()bb0__0_4->bb2__0_4falsebb4__0_44StorageDead(_3)StorageDead(_2)StorageDead(_1)returnbb1__0_4->bb4__0_4bb3__0_43_2 = Add(_2, move _5)StorageDead(_5)_0 = const ()gotobb2__0_4->bb3__0_4returnbb3__0_4->bb4__0_4bb0__0_30StorageLive(_1)StorageLive(_2)_2 = const trueswitchInt(move _2)bb1__0_31_1 = const 7_i32gotobb0__0_3->bb1__0_3otherwisebb2__0_32StorageLive(_3)_3 = const trueswitchInt(move _3)bb0__0_3->bb2__0_3falsebb6__0_36StorageDead(_2)_1 = Add(_1, const 1_i32)_0 = _1StorageDead(_1)returnbb1__0_3->bb6__0_3bb3__0_33_1 = const 8_i32gotobb2__0_3->bb3__0_3otherwisebb4__0_34_1 = const 9_i32gotobb2__0_3->bb4__0_3falsebb5__0_35StorageDead(_3)gotobb3__0_3->bb5__0_3bb4__0_3->bb5__0_3bb5__0_3->bb6__0_3 \ No newline at end of file diff --git a/src/mir/mir_detailed.svg b/src/mir/mir_detailed.svg index 771e9e5dc..b98c4ddd7 100644 --- a/src/mir/mir_detailed.svg +++ b/src/mir/mir_detailed.svg @@ -1,300 +1 @@ - - - - - - -G - - - -Operand - -Operand - - - -Constant - -Constant - - - -Operand->Constant - - - - - -Place - -Place - - - -Operand->Place - - -read - - - -Projection - -Projection - - - -Place->Projection - - - - - -LocalId - -LocalId - - - -Place->LocalId - - - - - -Projection->Place - - - - - -Rvalue - -Rvalue - - - -Rvalue\nAggregate - -Rvalue -Aggregate - - - -Rvalue->Rvalue\nAggregate - - - - - -Rvalue\nBinaryOp - -Rvalue -BinaryOp - - - -Rvalue->Rvalue\nBinaryOp - - - - - -Rvalue\nUnaryOp - -Rvalue -UnaryOp - - - -Rvalue->Rvalue\nUnaryOp - - - - - -Rvalue\n... - -Rvalue -... - - - -Rvalue->Rvalue\n... - - - - - -Rvalue\nAggregate->Operand - - -* - - - -Rvalue\nBinaryOp->Operand - - -2 - - - -Rvalue\nUnaryOp->Operand - - - - - -Statement\nAssignment - -Statement -Assignment - - - -Statement\nAssignment->Place - - -write - - - -Statement\nAssignment->Rvalue - - - - - -Statement - -Statement - - - -Statement->Statement\nAssignment - - - - - -Statement\n... - -Statement -... - - - -Statement->Statement\n... - - - - - -Block - -Block - - - -Block->Statement - - -* - - - -Terminator - -Terminator - - - -Block->Terminator - - - - - -Terminator\nSwitchInt - -Terminator -SwitchInt - - - -Terminator->Terminator\nSwitchInt - - - - - -Terminator\n... - -Terminator -... - - - -Terminator->Terminator\n... - - - - - -Terminator\nSwitchInt->Operand - - - - - -Terminator\nSwitchInt->Constant - - -* - - - -BlockId - -BlockId - - - -Terminator\nSwitchInt->BlockId - - -* - - - -Mir - -Mir - - - -Mir->Block - - -* - - - -Local - -Local - - - -Mir->Local - - -* - - - +GOperandOperandConstantConstantOperand->ConstantPlacePlaceOperand->PlacereadProjectionProjectionPlace->ProjectionLocalIdLocalIdPlace->LocalIdProjection->PlaceRvalueRvalueRvalue\nAggregateRvalueAggregateRvalue->Rvalue\nAggregateRvalue\nBinaryOpRvalueBinaryOpRvalue->Rvalue\nBinaryOpRvalue\nUnaryOpRvalueUnaryOpRvalue->Rvalue\nUnaryOpRvalue\n...Rvalue...Rvalue->Rvalue\n...Rvalue\nAggregate->Operand*Rvalue\nBinaryOp->Operand2Rvalue\nUnaryOp->OperandStatement\nAssignmentStatementAssignmentStatement\nAssignment->PlacewriteStatement\nAssignment->RvalueStatementStatementStatement->Statement\nAssignmentStatement\n...Statement...Statement->Statement\n...BlockBlockBlock->Statement*TerminatorTerminatorBlock->TerminatorTerminator\nSwitchIntTerminatorSwitchIntTerminator->Terminator\nSwitchIntTerminator\n...Terminator...Terminator->Terminator\n...Terminator\nSwitchInt->OperandTerminator\nSwitchInt->Constant*BlockIdBlockIdTerminator\nSwitchInt->BlockId*MirMirMir->Block*LocalLocalMir->Local* \ No newline at end of file diff --git a/src/mir/mir_overview.svg b/src/mir/mir_overview.svg index b8f092cd2..4ba52140b 100644 --- a/src/mir/mir_overview.svg +++ b/src/mir/mir_overview.svg @@ -1,103 +1 @@ - - - - - - -G - - - -Operand - -Operand - - - -Constant - -Constant - - - -Operand->Constant - - - - - -Place - -Place - - - -Operand->Place - - - - - -Projection - -Projection - - - -Place->Projection - - - - - -Local - -Local - - - -Place->Local - - - - - -Projection->Place - - - - - -Rvalue - -Rvalue - - - -Rvalue->Operand - - - - - -Assignment - -Assignment - - - -Assignment->Operand - - - - - -Assignment->Place - - - - - +GOperandOperandConstantConstantOperand->ConstantPlacePlaceOperand->PlaceProjectionProjectionPlace->ProjectionLocalLocalPlace->LocalProjection->PlaceRvalueRvalueRvalue->OperandAssignmentAssignmentAssignment->OperandAssignment->Place \ No newline at end of file diff --git a/src/queries/example-0.png b/src/queries/example-0.png index 14b46c44f..64a29cb83 100644 Binary files a/src/queries/example-0.png and b/src/queries/example-0.png differ