diff --git a/bolt/docs/Heatmap.png b/bolt/docs/Heatmap.png index e3f76fb229..5e9cf4f08f 100644 Binary files a/bolt/docs/Heatmap.png and b/bolt/docs/Heatmap.png differ diff --git a/bolt/docs/HeatmapHeader.png b/bolt/docs/HeatmapHeader.png index a519dc6215..d7a2311f4b 100644 Binary files a/bolt/docs/HeatmapHeader.png and b/bolt/docs/HeatmapHeader.png differ diff --git a/clang/docs/ClangRepl_design.png b/clang/docs/ClangRepl_design.png index 9de851e7d7..7aaa3c470b 100644 Binary files a/clang/docs/ClangRepl_design.png and b/clang/docs/ClangRepl_design.png differ diff --git a/clang/docs/DataFlowAnalysisIntroImages/CFGExample.svg b/clang/docs/DataFlowAnalysisIntroImages/CFGExample.svg index 8e81576018..85361123a7 100644 --- a/clang/docs/DataFlowAnalysisIntroImages/CFGExample.svg +++ b/clang/docs/DataFlowAnalysisIntroImages/CFGExample.svg @@ -1,520 +1 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Entry - - // Pre: x is ⊥int x;if (n > 0)// Post: x is ⊥ - - // Pre: x is ⊥x = n;// Post: x is ⊤ - - // Pre: x is ⊥if (n == 42)// Post: x is ⊥ - - // Pre: x is ⊥x = 5;// Post: x is {5} - - // Pre: x is ⊥x = 44;// Post: x is {44} - - // Pre: x is {5; 44}print(x);// Post: x is {5; 44} - - // Pre: x is ⊤print(x);// Post: x is ⊤ - - - - - - - - - - - Exit - - True - True - False - False - - +Entry// Pre: x is ⊥int x;if (n > 0)// Post: x is ⊥// Pre: x is ⊥x = n;// Post: x is ⊤// Pre: x is ⊥if (n == 42)// Post: x is ⊥// Pre: x is ⊥x = 5;// Post: x is {5}// Pre: x is ⊥x = 44;// Post: x is {44}// Pre: x is {5; 44}print(x);// Post: x is {5; 44}// Pre: x is ⊤print(x);// Post: x is ⊤ExitTrueTrueFalseFalse \ No newline at end of file diff --git a/clang/docs/DataFlowAnalysisIntroImages/CFGJoinRule.svg b/clang/docs/DataFlowAnalysisIntroImages/CFGJoinRule.svg index 95daffa8d9..b364455c1e 100644 --- a/clang/docs/DataFlowAnalysisIntroImages/CFGJoinRule.svg +++ b/clang/docs/DataFlowAnalysisIntroImages/CFGJoinRule.svg @@ -1,222 +1 @@ - - - - - - - - - - - - (Given) - (Conclusion) - in1 - in2 - inn - join(in1, in2, …, inn) - out = transfer(basic_block, join(in1, in2, …, inn)) - - Basic block - - - … - - - - +(Given)(Conclusion)in1in2innjoin(in1, in2, …, inn)out = transfer(basic_block, join(in1, in2, …, inn))Basic block… \ No newline at end of file diff --git a/clang/docs/DataFlowAnalysisIntroImages/DefinitiveInitializationLattice.svg b/clang/docs/DataFlowAnalysisIntroImages/DefinitiveInitializationLattice.svg index 861a3f9c74..93c346304a 100644 --- a/clang/docs/DataFlowAnalysisIntroImages/DefinitiveInitializationLattice.svg +++ b/clang/docs/DataFlowAnalysisIntroImages/DefinitiveInitializationLattice.svg @@ -1,114 +1 @@ - - - - - - - - - - - - Maybe uninitialized - Initialized - Uninitialized - - - - - - - +Maybe uninitializedInitializedUninitialized \ No newline at end of file diff --git a/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg b/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg index aab7d3e986..db39115380 100644 --- a/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg +++ b/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg @@ -1,403 +1 @@ - - - - - ⊥ = {} - … - … - {−9} - {−5} - … - {−3} - {−2} - {−1} - {0} - {1} - {2} - {3} - … - - - - - - - - - - … - … - {−9, −5} - {−3, −1} - … - {1, 2} - … - - - - - - - - {1, 2, 3} - - … - … - ⊤ = ℤ - - - - - - - +⊥ = {}……{−9}{−5}…{−3}{−2}{−1}{0}{1}{2}{3}………{−9, −5}{−3, −1}…{1, 2}…{1, 2, 3}……⊤ = ℤ \ No newline at end of file diff --git a/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsInfiniteLattice.svg b/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsInfiniteLattice.svg index 380aa2a0b4..1da6f65063 100644 --- a/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsInfiniteLattice.svg +++ b/clang/docs/DataFlowAnalysisIntroImages/IntegerSetsInfiniteLattice.svg @@ -1,403 +1 @@ - - - - - ⊥ = {} - … - … - {−9} - {−5} - … - {−3} - {−2} - {−1} - {0} - {1} - {2} - {3} - … - - - - - - - - - - … - … - {−9, −5} - {−3, −1} - … - {1, 2} - … - - - - - - - - {1, 2, 3} - - … - … - (goes up infinitely) - - - - - - - +⊥ = {}……{−9}{−5}…{−3}{−2}{−1}{0}{1}{2}{3}………{−9, −5}{−3, −1}…{1, 2}…{1, 2, 3}……(goes up infinitely) \ No newline at end of file diff --git a/clang/docs/DataFlowAnalysisIntroImages/OutputParameterIdentificationLattice.svg b/clang/docs/DataFlowAnalysisIntroImages/OutputParameterIdentificationLattice.svg index 5658587c2e..feb5a524fa 100644 --- a/clang/docs/DataFlowAnalysisIntroImages/OutputParameterIdentificationLattice.svg +++ b/clang/docs/DataFlowAnalysisIntroImages/OutputParameterIdentificationLattice.svg @@ -1,340 +1 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Overwritten: {p->x, p->y, p->z} - Overwritten: {p->x, p->z} - Overwritten: {p->x, p->z} - Overwritten: {p->q} - Overwritten: {} - - - - - Normal states - - - Failure states - {Unsafe read at line 3} - {Pointer escape at line 5} - {Unsafe read at line 7} - {Unsafe read at line 3, Pointer escape at line 5} - - - {Unsafe read at line 3, Pointer escape at line 5, Unsafe read at line 7} - - - - - +Overwritten: {p->x, p->y, p->z}Overwritten: {p->x, p->z}Overwritten: {p->x, p->z}Overwritten: {p->q}Overwritten: {}Normal statesFailure states{Unsafe read at line 3}{Pointer escape at line 5}{Unsafe read at line 7}{Unsafe read at line 3, Pointer escape at line 5}{Unsafe read at line 3, Pointer escape at line 5, Unsafe read at line 7} \ No newline at end of file diff --git a/clang/docs/DataFlowAnalysisIntroImages/UniquePtrLattice.svg b/clang/docs/DataFlowAnalysisIntroImages/UniquePtrLattice.svg index f7a618ab0c..e4502aeb73 100644 --- a/clang/docs/DataFlowAnalysisIntroImages/UniquePtrLattice.svg +++ b/clang/docs/DataFlowAnalysisIntroImages/UniquePtrLattice.svg @@ -1,114 +1 @@ - - - - - - - - - - - - Conflicting - Defined - Compatible - - - - - - - +ConflictingDefinedCompatible \ No newline at end of file diff --git a/clang/docs/DriverArchitecture.png b/clang/docs/DriverArchitecture.png index 056a70a98f..648062fc0c 100644 Binary files a/clang/docs/DriverArchitecture.png and b/clang/docs/DriverArchitecture.png differ diff --git a/clang/docs/PCHLayout.png b/clang/docs/PCHLayout.png index c304e04a05..988a5ac0d8 100644 Binary files a/clang/docs/PCHLayout.png and b/clang/docs/PCHLayout.png differ diff --git a/clang/docs/analyzer/images/analyzer_html.png b/clang/docs/analyzer/images/analyzer_html.png index 607ea1882e..ba30cf39e6 100644 Binary files a/clang/docs/analyzer/images/analyzer_html.png and b/clang/docs/analyzer/images/analyzer_html.png differ diff --git a/clang/docs/analyzer/images/analyzer_xcode.png b/clang/docs/analyzer/images/analyzer_xcode.png index 84c69809e8..5043f68785 100644 Binary files a/clang/docs/analyzer/images/analyzer_xcode.png and b/clang/docs/analyzer/images/analyzer_xcode.png differ diff --git a/clang/docs/analyzer/images/example_cf_returns_retained.png b/clang/docs/analyzer/images/example_cf_returns_retained.png index 4bee49945e..1bfb38b8dc 100644 Binary files a/clang/docs/analyzer/images/example_cf_returns_retained.png and b/clang/docs/analyzer/images/example_cf_returns_retained.png differ diff --git a/clang/docs/analyzer/images/example_ns_returns_retained.png b/clang/docs/analyzer/images/example_ns_returns_retained.png index 61316e19fe..de3159f838 100644 Binary files a/clang/docs/analyzer/images/example_ns_returns_retained.png and b/clang/docs/analyzer/images/example_ns_returns_retained.png differ diff --git a/clang/docs/coro-async-task-continuations.png b/clang/docs/coro-async-task-continuations.png index 0a8894d8fd..937dfa4676 100644 Binary files a/clang/docs/coro-async-task-continuations.png and b/clang/docs/coro-async-task-continuations.png differ diff --git a/clang/docs/coro-generator-suspended.png b/clang/docs/coro-generator-suspended.png index 278929f3e1..8e79ca404a 100644 Binary files a/clang/docs/coro-generator-suspended.png and b/clang/docs/coro-generator-suspended.png differ diff --git a/clang/docs/coro-generator-variables.png b/clang/docs/coro-generator-variables.png index 53a8c9f4d5..4fc970f3f6 100644 Binary files a/clang/docs/coro-generator-variables.png and b/clang/docs/coro-generator-variables.png differ diff --git a/clang/www/analyzer/images/analyzer_html.png b/clang/www/analyzer/images/analyzer_html.png index 607ea1882e..f63cc1065f 100644 Binary files a/clang/www/analyzer/images/analyzer_html.png and b/clang/www/analyzer/images/analyzer_html.png differ diff --git a/clang/www/analyzer/images/analyzer_xcode.png b/clang/www/analyzer/images/analyzer_xcode.png index 84c69809e8..5099eff1d3 100644 Binary files a/clang/www/analyzer/images/analyzer_xcode.png and b/clang/www/analyzer/images/analyzer_xcode.png differ diff --git a/clang/www/analyzer/images/expandcollapse/arrows_dark.gif b/clang/www/analyzer/images/expandcollapse/arrows_dark.gif index 445a3c5533..5e0ca0a4af 100644 Binary files a/clang/www/analyzer/images/expandcollapse/arrows_dark.gif and b/clang/www/analyzer/images/expandcollapse/arrows_dark.gif differ diff --git a/clang/www/analyzer/images/expandcollapse/arrows_light.gif b/clang/www/analyzer/images/expandcollapse/arrows_light.gif index 4534d05af9..30f986acf6 100644 Binary files a/clang/www/analyzer/images/expandcollapse/arrows_light.gif and b/clang/www/analyzer/images/expandcollapse/arrows_light.gif differ diff --git a/clang/www/analyzer/images/expandcollapse/ellipses_dark.gif b/clang/www/analyzer/images/expandcollapse/ellipses_dark.gif index 8ed43b0e7d..716efa46e1 100644 Binary files a/clang/www/analyzer/images/expandcollapse/ellipses_dark.gif and b/clang/www/analyzer/images/expandcollapse/ellipses_dark.gif differ diff --git a/clang/www/analyzer/images/expandcollapse/ellipses_light.gif b/clang/www/analyzer/images/expandcollapse/ellipses_light.gif index 90141ba852..d96eb239e8 100644 Binary files a/clang/www/analyzer/images/expandcollapse/ellipses_light.gif and b/clang/www/analyzer/images/expandcollapse/ellipses_light.gif differ diff --git a/flang/docs/compiler_driver.png b/flang/docs/compiler_driver.png index 6311fb7e45..022399c0e4 100644 Binary files a/flang/docs/compiler_driver.png and b/flang/docs/compiler_driver.png differ diff --git a/flang/docs/frontend_driver.png b/flang/docs/frontend_driver.png index 2218819cc3..3eabd7359c 100644 Binary files a/flang/docs/frontend_driver.png and b/flang/docs/frontend_driver.png differ diff --git a/libc/docs/gpu/rpc-diagram.svg b/libc/docs/gpu/rpc-diagram.svg index eb9b807e52..7ca55dfb12 100644 --- a/libc/docs/gpu/rpc-diagram.svg +++ b/libc/docs/gpu/rpc-diagram.svg @@ -1 +1 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/lld/docs/ELF/large_section_layout_nopic.png b/lld/docs/ELF/large_section_layout_nopic.png index c1c60e37f6..e478ef79af 100644 Binary files a/lld/docs/ELF/large_section_layout_nopic.png and b/lld/docs/ELF/large_section_layout_nopic.png differ diff --git a/lld/docs/ELF/large_section_layout_pic.png b/lld/docs/ELF/large_section_layout_pic.png index 15ca500f4f..40a610de10 100644 Binary files a/lld/docs/ELF/large_section_layout_pic.png and b/lld/docs/ELF/large_section_layout_pic.png differ diff --git a/lld/docs/ELF/section_layout.png b/lld/docs/ELF/section_layout.png index e9a7e76a30..04db5e093e 100644 Binary files a/lld/docs/ELF/section_layout.png and b/lld/docs/ELF/section_layout.png differ diff --git a/lld/docs/hello.png b/lld/docs/hello.png index 70df111f1a..91b9b648c2 100644 Binary files a/lld/docs/hello.png and b/lld/docs/hello.png differ diff --git a/lldb/tools/lldb-dap/extension/llvm-logo.png b/lldb/tools/lldb-dap/extension/llvm-logo.png index 039e8d6793..9f60474e93 100644 Binary files a/lldb/tools/lldb-dap/extension/llvm-logo.png and b/lldb/tools/lldb-dap/extension/llvm-logo.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.1.png index 70aa699baa..05249a3add 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.2.png index 38d780c400..4972cae1bd 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.3.png index 29d9ded1ba..66a290ef44 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.png index 008cce0dfa..4dde2313b3 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/01-value.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.1.png index 679734ae44..6fb8f82e9a 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.2.png index b686641d43..7972100218 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.png index ce35fd00de..7b1c079755 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/02-reg.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.1.png index 2ecd7a2069..15947b7691 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.2.png index 0948a79bab..f8837ffc13 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.3.png index b687d84f82..c390f52050 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.4.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.4.png index 65e30b872d..861b7bf2e3 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.4.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.frame.4.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.png index 8c3ece5170..f4fdb71a73 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/03-memory.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.1.png index e00cb37c1f..c0ba45ca1d 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.2.png index 3efd95d143..81bddf5655 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.3.png index 2f35c0db66..815383bdd8 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.4.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.4.png index 620d60fced..80151ce93e 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.4.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.4.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.5.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.5.png index 43afe6d011..d823d40803 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.5.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.5.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.6.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.6.png index 22cfd8b012..da42c03aa7 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.6.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.6.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.7.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.7.png index e32c96a178..7ac284885a 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.7.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.frame.7.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.png index 96e27e3c8a..ae4929bfb7 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/04-composite.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.1.png index 8859e2c0e8..25d5761587 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.2.png index 75e9aedf66..ded2379b06 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/05-composite-plus.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.1.png index 6f47b707db..7cc47bc7bb 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.2.png index 0d0bbd7796..b4e9fe3afd 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.3.png index 20c2f77e08..3a6ade5a97 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.png index 1981bfd430..2fc3b6f871 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/06-extension-spill-sgpr-to-static-vpgr-lane.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.1.png index 90b0f54e5d..177a836bd5 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.10.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.10.png index 620346b54c..dd37fcac65 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.10.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.10.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.12.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.12.png index 7a37222007..5d9bf57d5e 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.12.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.12.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.13.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.13.png index 8ff6e912f2..bad656aa97 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.13.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.13.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.14.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.14.png index a36f271e4f..53d7592ea8 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.14.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.14.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.2.png index 2c65a738b5..5ba5c2fda7 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.3.png index 8405313531..4770ee9806 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.4.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.4.png index cc9603c6e2..08ac9bb433 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.4.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.4.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.5.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.5.png index 47ff1645ff..cdebdfcd7b 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.5.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.5.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.6.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.6.png index 89afd6a7f5..5402de79d4 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.6.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.6.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.7.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.7.png index 99c51601ae..803029e9c5 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.7.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.7.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.8.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.8.png index 61b494127b..16c0d74af0 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.8.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.8.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.9.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.9.png index 85665f5bde..118a15800b 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.9.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.frame.9.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.png index 52c59e8c8f..2d16422231 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/07-extension-multi-lane-vgpr.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.1.png index 7561e34573..852fc9db0c 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.2.png index f01ad13514..7f5eedbfee 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.3.png index 8391f1f6cb..0672e0b7e3 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.4.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.4.png index b2ae7b1ff1..6ba7b73531 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.4.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.4.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.5.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.5.png index 548809a8e5..da0ea18e7a 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.5.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.5.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.6.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.6.png index 9da3ff8c35..7de99119d2 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.6.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.6.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.7.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.7.png index 45cef23447..3c3f486cd2 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.7.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.frame.7.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.png index 597ec8219d..b7a40f9b7c 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/08-extension-mixed-composite.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.1.png index 583531cc0c..91c4fe2ab6 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.2.png index 7cb387ea5c..3b333060b7 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.3.png index e134a16594..0dd485ebe4 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.4.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.4.png index 814842eaf4..de1e1b9f26 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.4.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.4.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.5.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.5.png index d330282092..54d4e76e7e 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.5.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.frame.5.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.png index c0287bc3ff..e667be8b02 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/09-extension-form-aspace.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.1.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.1.png index 943f1adcb7..e7a072ac4c 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.1.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.1.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.2.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.2.png index fb093f01be..575fb3cf35 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.2.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.2.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.3.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.3.png index 0f88117a1d..2d0f1e4b37 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.3.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.3.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.4.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.4.png index 0eabb2bb86..3b2839b6cc 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.4.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.frame.4.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.png index e2ab941a78..3489154969 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/10-extension-bit-offset.example.png differ diff --git a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/simt-execution-model.png b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/simt-execution-model.png index 10cf451d35..4487317588 100644 Binary files a/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/simt-execution-model.png and b/llvm/docs/AMDGPUDwarfExtensionAllowLocationDescriptionOnTheDwarfExpressionStack/images/simt-execution-model.png differ diff --git a/llvm/docs/ARM-BE-bitcastfail.png b/llvm/docs/ARM-BE-bitcastfail.png index 0c83f0be90..fe48e72e7e 100644 Binary files a/llvm/docs/ARM-BE-bitcastfail.png and b/llvm/docs/ARM-BE-bitcastfail.png differ diff --git a/llvm/docs/ARM-BE-bitcastsuccess.png b/llvm/docs/ARM-BE-bitcastsuccess.png index 8f3414d36b..0360d176c9 100644 Binary files a/llvm/docs/ARM-BE-bitcastsuccess.png and b/llvm/docs/ARM-BE-bitcastsuccess.png differ diff --git a/llvm/docs/ARM-BE-ld1.png b/llvm/docs/ARM-BE-ld1.png index f58c99dd9d..9a071f7fcc 100644 Binary files a/llvm/docs/ARM-BE-ld1.png and b/llvm/docs/ARM-BE-ld1.png differ diff --git a/llvm/docs/ARM-BE-ldr.png b/llvm/docs/ARM-BE-ldr.png index 73db07e91e..55c63c7838 100644 Binary files a/llvm/docs/ARM-BE-ldr.png and b/llvm/docs/ARM-BE-ldr.png differ diff --git a/llvm/docs/CommandGuide/llvm-exegesis-analysis.png b/llvm/docs/CommandGuide/llvm-exegesis-analysis.png index e232f5f123..20f71d8f6c 100644 Binary files a/llvm/docs/CommandGuide/llvm-exegesis-analysis.png and b/llvm/docs/CommandGuide/llvm-exegesis-analysis.png differ diff --git a/llvm/docs/CommandGuide/locstats-compare.png b/llvm/docs/CommandGuide/locstats-compare.png index 1f0a3af65e..6d0ebdfb53 100644 Binary files a/llvm/docs/CommandGuide/locstats-compare.png and b/llvm/docs/CommandGuide/locstats-compare.png differ diff --git a/llvm/docs/CommandGuide/locstats-draw-plot.png b/llvm/docs/CommandGuide/locstats-draw-plot.png index 6c5b4fb915..0911c21abb 100644 Binary files a/llvm/docs/CommandGuide/locstats-draw-plot.png and b/llvm/docs/CommandGuide/locstats-draw-plot.png differ diff --git a/llvm/docs/DependenceGraphs/cycle.png b/llvm/docs/DependenceGraphs/cycle.png index 8099c41665..9fa2782455 100644 Binary files a/llvm/docs/DependenceGraphs/cycle.png and b/llvm/docs/DependenceGraphs/cycle.png differ diff --git a/llvm/docs/DependenceGraphs/cycle_pi.png b/llvm/docs/DependenceGraphs/cycle_pi.png index ce69fd36a0..b62a125173 100644 Binary files a/llvm/docs/DependenceGraphs/cycle_pi.png and b/llvm/docs/DependenceGraphs/cycle_pi.png differ diff --git a/llvm/docs/DependenceGraphs/uml_builder_pattern.png b/llvm/docs/DependenceGraphs/uml_builder_pattern.png index 1651f9141d..289e064d7c 100644 Binary files a/llvm/docs/DependenceGraphs/uml_builder_pattern.png and b/llvm/docs/DependenceGraphs/uml_builder_pattern.png differ diff --git a/llvm/docs/DependenceGraphs/uml_nodes_and_edges.png b/llvm/docs/DependenceGraphs/uml_nodes_and_edges.png index c0ffacafca..16e6038931 100644 Binary files a/llvm/docs/DependenceGraphs/uml_nodes_and_edges.png and b/llvm/docs/DependenceGraphs/uml_nodes_and_edges.png differ diff --git a/llvm/docs/GlobalISel/block-extract.png b/llvm/docs/GlobalISel/block-extract.png index 2253749368..0448db6ccb 100644 Binary files a/llvm/docs/GlobalISel/block-extract.png and b/llvm/docs/GlobalISel/block-extract.png differ diff --git a/llvm/docs/GlobalISel/pipeline-overview-customized.png b/llvm/docs/GlobalISel/pipeline-overview-customized.png index a6512198eb..ab6a0c220e 100644 Binary files a/llvm/docs/GlobalISel/pipeline-overview-customized.png and b/llvm/docs/GlobalISel/pipeline-overview-customized.png differ diff --git a/llvm/docs/GlobalISel/pipeline-overview-with-combiners.png b/llvm/docs/GlobalISel/pipeline-overview-with-combiners.png index 3cff8eab8f..5feb692c5a 100644 Binary files a/llvm/docs/GlobalISel/pipeline-overview-with-combiners.png and b/llvm/docs/GlobalISel/pipeline-overview-with-combiners.png differ diff --git a/llvm/docs/GlobalISel/pipeline-overview.png b/llvm/docs/GlobalISel/pipeline-overview.png index 88d691af5b..0fd35ac8df 100644 Binary files a/llvm/docs/GlobalISel/pipeline-overview.png and b/llvm/docs/GlobalISel/pipeline-overview.png differ diff --git a/llvm/docs/GlobalISel/testing-pass-level.png b/llvm/docs/GlobalISel/testing-pass-level.png index ab5b6fbdee..926e91dcb5 100644 Binary files a/llvm/docs/GlobalISel/testing-pass-level.png and b/llvm/docs/GlobalISel/testing-pass-level.png differ diff --git a/llvm/docs/GlobalISel/testing-unit-level.png b/llvm/docs/GlobalISel/testing-unit-level.png index 26503e4a19..be864936d7 100644 Binary files a/llvm/docs/GlobalISel/testing-unit-level.png and b/llvm/docs/GlobalISel/testing-unit-level.png differ diff --git a/llvm/docs/MCJIT-creation.png b/llvm/docs/MCJIT-creation.png index 7abdb9df28..fbba851ac4 100644 Binary files a/llvm/docs/MCJIT-creation.png and b/llvm/docs/MCJIT-creation.png differ diff --git a/llvm/docs/MCJIT-dyld-load.png b/llvm/docs/MCJIT-dyld-load.png index 1534190378..a173f8996e 100644 Binary files a/llvm/docs/MCJIT-dyld-load.png and b/llvm/docs/MCJIT-dyld-load.png differ diff --git a/llvm/docs/MCJIT-engine-builder.png b/llvm/docs/MCJIT-engine-builder.png index 8fdd7a94aa..3075777f64 100644 Binary files a/llvm/docs/MCJIT-engine-builder.png and b/llvm/docs/MCJIT-engine-builder.png differ diff --git a/llvm/docs/MCJIT-load-object.png b/llvm/docs/MCJIT-load-object.png index 533a52e17f..dbe6cd9b6a 100644 Binary files a/llvm/docs/MCJIT-load-object.png and b/llvm/docs/MCJIT-load-object.png differ diff --git a/llvm/docs/MCJIT-load.png b/llvm/docs/MCJIT-load.png index 9672a66340..018f14baea 100644 Binary files a/llvm/docs/MCJIT-load.png and b/llvm/docs/MCJIT-load.png differ diff --git a/llvm/docs/MCJIT-resolve-relocations.png b/llvm/docs/MCJIT-resolve-relocations.png index fedeacc4a9..64ce5e9faa 100644 Binary files a/llvm/docs/MCJIT-resolve-relocations.png and b/llvm/docs/MCJIT-resolve-relocations.png differ diff --git a/llvm/docs/_static/lines.gif b/llvm/docs/_static/lines.gif index 88f491edc3..06169f1f61 100644 Binary files a/llvm/docs/_static/lines.gif and b/llvm/docs/_static/lines.gif differ diff --git a/llvm/docs/_themes/llvm-theme/static/logo.png b/llvm/docs/_themes/llvm-theme/static/logo.png index 18d424c53c..8391f38ffe 100644 Binary files a/llvm/docs/_themes/llvm-theme/static/logo.png and b/llvm/docs/_themes/llvm-theme/static/logo.png differ diff --git a/llvm/docs/buildbot_worker_contact.png b/llvm/docs/buildbot_worker_contact.png index 1032b434de..6bfe7acd4a 100644 Binary files a/llvm/docs/buildbot_worker_contact.png and b/llvm/docs/buildbot_worker_contact.png differ diff --git a/llvm/docs/convergence-both-diverged-nested.png b/llvm/docs/convergence-both-diverged-nested.png index 8c9d4b53a4..a912d6bd77 100644 Binary files a/llvm/docs/convergence-both-diverged-nested.png and b/llvm/docs/convergence-both-diverged-nested.png differ diff --git a/llvm/docs/convergence-closed-path.png b/llvm/docs/convergence-closed-path.png index 96931ae240..d87a894270 100644 Binary files a/llvm/docs/convergence-closed-path.png and b/llvm/docs/convergence-closed-path.png differ diff --git a/llvm/docs/convergence-divergent-inside.png b/llvm/docs/convergence-divergent-inside.png index 5ec1eedf00..d2881810a5 100644 Binary files a/llvm/docs/convergence-divergent-inside.png and b/llvm/docs/convergence-divergent-inside.png differ diff --git a/llvm/docs/convergence-divergent-outside.png b/llvm/docs/convergence-divergent-outside.png index 45139bb578..64ae48683b 100644 Binary files a/llvm/docs/convergence-divergent-outside.png and b/llvm/docs/convergence-divergent-outside.png differ diff --git a/llvm/docs/convergence-natural-loop.png b/llvm/docs/convergence-natural-loop.png index 8d39c1744f..b7f432bd67 100644 Binary files a/llvm/docs/convergence-natural-loop.png and b/llvm/docs/convergence-natural-loop.png differ diff --git a/llvm/docs/cycle-1.png b/llvm/docs/cycle-1.png index 42efda3a21..fb6d941b17 100644 Binary files a/llvm/docs/cycle-1.png and b/llvm/docs/cycle-1.png differ diff --git a/llvm/docs/cycle-2.png b/llvm/docs/cycle-2.png index 5159c48116..616788d773 100644 Binary files a/llvm/docs/cycle-2.png and b/llvm/docs/cycle-2.png differ diff --git a/llvm/docs/cycle-3.png b/llvm/docs/cycle-3.png index 2f1492e0cb..b8e52055be 100644 Binary files a/llvm/docs/cycle-3.png and b/llvm/docs/cycle-3.png differ diff --git a/llvm/docs/gcc-loops.png b/llvm/docs/gcc-loops.png index 8923a31153..c304a138aa 100644 Binary files a/llvm/docs/gcc-loops.png and b/llvm/docs/gcc-loops.png differ diff --git a/llvm/docs/linpack-pc.png b/llvm/docs/linpack-pc.png index bbbee7d67e..2d7885709b 100644 Binary files a/llvm/docs/linpack-pc.png and b/llvm/docs/linpack-pc.png differ diff --git a/llvm/docs/llvm_telemetry_design.png b/llvm/docs/llvm_telemetry_design.png index 48fbc003da..a0a5a6571c 100644 Binary files a/llvm/docs/llvm_telemetry_design.png and b/llvm/docs/llvm_telemetry_design.png differ diff --git a/llvm/docs/loop-merge.svg b/llvm/docs/loop-merge.svg index ea5e574b2d..f3dc9dc042 100644 --- a/llvm/docs/loop-merge.svg +++ b/llvm/docs/loop-merge.svg @@ -1,660 +1 @@ - - - - - - image/svg+xml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + \ No newline at end of file diff --git a/llvm/docs/loop-nested.svg b/llvm/docs/loop-nested.svg index 372a3b43ec..b6336375b1 100644 --- a/llvm/docs/loop-nested.svg +++ b/llvm/docs/loop-nested.svg @@ -1,874 +1 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + \ No newline at end of file diff --git a/llvm/docs/loop-separate.svg b/llvm/docs/loop-separate.svg index fafd3eb42a..568b0e576e 100644 --- a/llvm/docs/loop-separate.svg +++ b/llvm/docs/loop-separate.svg @@ -1,690 +1 @@ - - - - - - image/svg+xml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + \ No newline at end of file diff --git a/llvm/docs/loop-single.svg b/llvm/docs/loop-single.svg index 6f9720a0dc..4a7ed2a35d 100644 --- a/llvm/docs/loop-single.svg +++ b/llvm/docs/loop-single.svg @@ -1,338 +1 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + \ No newline at end of file diff --git a/llvm/docs/loop-terminology-guarded-loop.png b/llvm/docs/loop-terminology-guarded-loop.png index d235b14211..37e0dddbdd 100644 Binary files a/llvm/docs/loop-terminology-guarded-loop.png and b/llvm/docs/loop-terminology-guarded-loop.png differ diff --git a/llvm/docs/loop-terminology-initial-loop.png b/llvm/docs/loop-terminology-initial-loop.png index ad8fc109b6..1d046580c1 100644 Binary files a/llvm/docs/loop-terminology-initial-loop.png and b/llvm/docs/loop-terminology-initial-loop.png differ diff --git a/llvm/docs/loop-terminology-rotated-loop.png b/llvm/docs/loop-terminology-rotated-loop.png index b048ff7026..7982cb8aac 100644 Binary files a/llvm/docs/loop-terminology-rotated-loop.png and b/llvm/docs/loop-terminology-rotated-loop.png differ diff --git a/llvm/docs/loop-terminology.svg b/llvm/docs/loop-terminology.svg index 6bed1733bb..ffc8b9fee7 100644 --- a/llvm/docs/loop-terminology.svg +++ b/llvm/docs/loop-terminology.svg @@ -1,2111 +1 @@ - - - - - - image/svg+xml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + \ No newline at end of file diff --git a/llvm/docs/speculative_load_hardening_microbenchmarks.png b/llvm/docs/speculative_load_hardening_microbenchmarks.png index b6f7d05bf5..295235a200 100644 Binary files a/llvm/docs/speculative_load_hardening_microbenchmarks.png and b/llvm/docs/speculative_load_hardening_microbenchmarks.png differ diff --git a/llvm/docs/tutorial/MyFirstLanguageFrontend/LangImpl05-cfg.png b/llvm/docs/tutorial/MyFirstLanguageFrontend/LangImpl05-cfg.png index cdba92ff6c..3f66383683 100644 Binary files a/llvm/docs/tutorial/MyFirstLanguageFrontend/LangImpl05-cfg.png and b/llvm/docs/tutorial/MyFirstLanguageFrontend/LangImpl05-cfg.png differ diff --git a/llvm/docs/vplan-early-exit-lowered.png b/llvm/docs/vplan-early-exit-lowered.png index 018ab2a3ad..5161b5b123 100644 Binary files a/llvm/docs/vplan-early-exit-lowered.png and b/llvm/docs/vplan-early-exit-lowered.png differ diff --git a/llvm/docs/vplan-early-exit.png b/llvm/docs/vplan-early-exit.png index a683e039a8..397e52b45a 100644 Binary files a/llvm/docs/vplan-early-exit.png and b/llvm/docs/vplan-early-exit.png differ diff --git a/llvm/docs/vplan-scope.png b/llvm/docs/vplan-scope.png index d60b58b55b..164d57a18f 100644 Binary files a/llvm/docs/vplan-scope.png and b/llvm/docs/vplan-scope.png differ diff --git a/llvm/docs/vplan-transform-pipeline.png b/llvm/docs/vplan-transform-pipeline.png index 3bdd433a7a..898ac8e9b2 100644 Binary files a/llvm/docs/vplan-transform-pipeline.png and b/llvm/docs/vplan-transform-pipeline.png differ diff --git a/mlir/docs/includes/img/DefUseChains.svg b/mlir/docs/includes/img/DefUseChains.svg index 2d5b752467..d6f3ed9b46 100644 --- a/mlir/docs/includes/img/DefUseChains.svg +++ b/mlir/docs/includes/img/DefUseChains.svg @@ -1 +1 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/mlir/docs/includes/img/Use-list.svg b/mlir/docs/includes/img/Use-list.svg index 4840619f06..1a6b3d95e9 100644 --- a/mlir/docs/includes/img/Use-list.svg +++ b/mlir/docs/includes/img/Use-list.svg @@ -1 +1 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/mlir/docs/includes/img/bufferization_dealloc_op.svg b/mlir/docs/includes/img/bufferization_dealloc_op.svg index 3b72ae72c4..2f4b713394 100644 --- a/mlir/docs/includes/img/bufferization_dealloc_op.svg +++ b/mlir/docs/includes/img/bufferization_dealloc_op.svg @@ -1 +1 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/mlir/docs/includes/img/bufferization_passes.svg b/mlir/docs/includes/img/bufferization_passes.svg index 8357265692..c33a6855bf 100644 --- a/mlir/docs/includes/img/bufferization_passes.svg +++ b/mlir/docs/includes/img/bufferization_passes.svg @@ -1 +1 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/mlir/docs/includes/img/bufferization_tensor_insert_dst.svg b/mlir/docs/includes/img/bufferization_tensor_insert_dst.svg index 228b19e922..1cbe556d22 100644 --- a/mlir/docs/includes/img/bufferization_tensor_insert_dst.svg +++ b/mlir/docs/includes/img/bufferization_tensor_insert_dst.svg @@ -1 +1 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/mlir/docs/includes/img/index-map.svg b/mlir/docs/includes/img/index-map.svg index 6004c2da36..cd055718fc 100644 --- a/mlir/docs/includes/img/index-map.svg +++ b/mlir/docs/includes/img/index-map.svg @@ -1,380 +1 @@ - - - - - - image/svg+xml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + \ No newline at end of file diff --git a/mlir/docs/includes/img/mlir-lsp-server-server_diagram.svg b/mlir/docs/includes/img/mlir-lsp-server-server_diagram.svg index 4577058586..34bb7ff96f 100644 --- a/mlir/docs/includes/img/mlir-lsp-server-server_diagram.svg +++ b/mlir/docs/includes/img/mlir-lsp-server-server_diagram.svg @@ -1 +1 @@ - \ No newline at end of file + \ No newline at end of file diff --git a/mlir/docs/includes/img/view-operation.svg b/mlir/docs/includes/img/view-operation.svg index f4d622ee26..5eb1a1bc78 100644 --- a/mlir/docs/includes/img/view-operation.svg +++ b/mlir/docs/includes/img/view-operation.svg @@ -1,580 +1 @@ - - - - - - image/svg+xml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + \ No newline at end of file diff --git a/openmp/docs/_static/lines.gif b/openmp/docs/_static/lines.gif index 88f491edc3..06169f1f61 100644 Binary files a/openmp/docs/_static/lines.gif and b/openmp/docs/_static/lines.gif differ diff --git a/polly/docs/experiments/matmul/scops.init_array.dot.png b/polly/docs/experiments/matmul/scops.init_array.dot.png index 3cd5eb8a3c..5345cf64fc 100644 Binary files a/polly/docs/experiments/matmul/scops.init_array.dot.png and b/polly/docs/experiments/matmul/scops.init_array.dot.png differ diff --git a/polly/docs/experiments/matmul/scops.main.dot.png b/polly/docs/experiments/matmul/scops.main.dot.png index 241ddaa39f..823f75a624 100644 Binary files a/polly/docs/experiments/matmul/scops.main.dot.png and b/polly/docs/experiments/matmul/scops.main.dot.png differ diff --git a/polly/docs/experiments/matmul/scops.print_array.dot.png b/polly/docs/experiments/matmul/scops.print_array.dot.png index 75c4db88de..b0354859ed 100644 Binary files a/polly/docs/experiments/matmul/scops.print_array.dot.png and b/polly/docs/experiments/matmul/scops.print_array.dot.png differ diff --git a/polly/docs/experiments/matmul/scopsonly.init_array.dot.png b/polly/docs/experiments/matmul/scopsonly.init_array.dot.png index bdfae23e0f..97ca916594 100644 Binary files a/polly/docs/experiments/matmul/scopsonly.init_array.dot.png and b/polly/docs/experiments/matmul/scopsonly.init_array.dot.png differ diff --git a/polly/docs/experiments/matmul/scopsonly.main.dot.png b/polly/docs/experiments/matmul/scopsonly.main.dot.png index 92124ee467..f28af6223f 100644 Binary files a/polly/docs/experiments/matmul/scopsonly.main.dot.png and b/polly/docs/experiments/matmul/scopsonly.main.dot.png differ diff --git a/polly/docs/experiments/matmul/scopsonly.print_array.dot.png b/polly/docs/experiments/matmul/scopsonly.print_array.dot.png index f5b8e2eddb..4c4267340f 100644 Binary files a/polly/docs/experiments/matmul/scopsonly.print_array.dot.png and b/polly/docs/experiments/matmul/scopsonly.print_array.dot.png differ diff --git a/polly/docs/images/GEMM_double.png b/polly/docs/images/GEMM_double.png index dfdf17ec31..bfaed3c3f3 100644 Binary files a/polly/docs/images/GEMM_double.png and b/polly/docs/images/GEMM_double.png differ diff --git a/polly/docs/images/LLVM-Passes-all.png b/polly/docs/images/LLVM-Passes-all.png index 0df6f76f20..644267fc53 100644 Binary files a/polly/docs/images/LLVM-Passes-all.png and b/polly/docs/images/LLVM-Passes-all.png differ diff --git a/polly/docs/images/LLVM-Passes-early.png b/polly/docs/images/LLVM-Passes-early.png index 54991529d2..c1ef6074d5 100644 Binary files a/polly/docs/images/LLVM-Passes-early.png and b/polly/docs/images/LLVM-Passes-early.png differ diff --git a/polly/docs/images/LLVM-Passes-late.png b/polly/docs/images/LLVM-Passes-late.png index f70895f37c..ba966a5949 100644 Binary files a/polly/docs/images/LLVM-Passes-late.png and b/polly/docs/images/LLVM-Passes-late.png differ diff --git a/polly/docs/images/LLVM-Passes-only.png b/polly/docs/images/LLVM-Passes-only.png index 24b56bfc28..4a989381ff 100644 Binary files a/polly/docs/images/LLVM-Passes-only.png and b/polly/docs/images/LLVM-Passes-only.png differ diff --git a/polly/docs/images/architecture.png b/polly/docs/images/architecture.png index c540e727cf..d79ea362a3 100644 Binary files a/polly/docs/images/architecture.png and b/polly/docs/images/architecture.png differ diff --git a/polly/www/images/GEMM_double.png b/polly/www/images/GEMM_double.png index dfdf17ec31..5438bda70d 100644 Binary files a/polly/www/images/GEMM_double.png and b/polly/www/images/GEMM_double.png differ diff --git a/polly/www/images/architecture.png b/polly/www/images/architecture.png index c540e727cf..fd3f37411b 100644 Binary files a/polly/www/images/architecture.png and b/polly/www/images/architecture.png differ diff --git a/polly/www/images/header-background.png b/polly/www/images/header-background.png index d736b99388..a3d72351e8 100644 Binary files a/polly/www/images/header-background.png and b/polly/www/images/header-background.png differ diff --git a/polly/www/images/iit-madras.png b/polly/www/images/iit-madras.png index caf90ab0ad..9744d15e1c 100644 Binary files a/polly/www/images/iit-madras.png and b/polly/www/images/iit-madras.png differ diff --git a/polly/www/images/osu.png b/polly/www/images/osu.png index 154a04b1c6..20dcc6c2d3 100644 Binary files a/polly/www/images/osu.png and b/polly/www/images/osu.png differ diff --git a/polly/www/images/performance/parallel-large.png b/polly/www/images/performance/parallel-large.png index 76261bb420..6492863996 100644 Binary files a/polly/www/images/performance/parallel-large.png and b/polly/www/images/performance/parallel-large.png differ diff --git a/polly/www/images/performance/parallel-small.png b/polly/www/images/performance/parallel-small.png index 3c9f6ba324..1bba39247a 100644 Binary files a/polly/www/images/performance/parallel-small.png and b/polly/www/images/performance/parallel-small.png differ diff --git a/polly/www/images/performance/sequential-large.png b/polly/www/images/performance/sequential-large.png index 5c88354f18..e3a132f4e1 100644 Binary files a/polly/www/images/performance/sequential-large.png and b/polly/www/images/performance/sequential-large.png differ diff --git a/polly/www/images/performance/sequential-small.png b/polly/www/images/performance/sequential-small.png index 94b248de8b..8d23bda929 100644 Binary files a/polly/www/images/performance/sequential-small.png and b/polly/www/images/performance/sequential-small.png differ diff --git a/polly/www/images/pollylabs.png b/polly/www/images/pollylabs.png index d7b155559d..26157afcba 100644 Binary files a/polly/www/images/pollylabs.png and b/polly/www/images/pollylabs.png differ diff --git a/polly/www/images/sys-uni.png b/polly/www/images/sys-uni.png index e6b84e16ac..5ac49d358c 100644 Binary files a/polly/www/images/sys-uni.png and b/polly/www/images/sys-uni.png differ diff --git a/polly/www/images/uni-passau.png b/polly/www/images/uni-passau.png index 4bbfa21631..f0aa27e900 100644 Binary files a/polly/www/images/uni-passau.png and b/polly/www/images/uni-passau.png differ diff --git a/third-party/benchmark/docs/assets/images/icon.png b/third-party/benchmark/docs/assets/images/icon.png index b98260486e..8507b5168b 100644 Binary files a/third-party/benchmark/docs/assets/images/icon.png and b/third-party/benchmark/docs/assets/images/icon.png differ diff --git a/third-party/benchmark/docs/assets/images/icon_black.png b/third-party/benchmark/docs/assets/images/icon_black.png index 656ae797cf..11e83e8768 100644 Binary files a/third-party/benchmark/docs/assets/images/icon_black.png and b/third-party/benchmark/docs/assets/images/icon_black.png differ diff --git a/website/source/_static/diagrams/book-map.svg b/website/source/_static/diagrams/book-map.svg index 74e01150c5..d1de6dc4f6 100644 --- a/website/source/_static/diagrams/book-map.svg +++ b/website/source/_static/diagrams/book-map.svg @@ -1,27 +1 @@ - - CppVerify book: Part I foundations then Part II practice - - - - - - - - Part I — Foundations - Logic, Hoare triples, invariants - Memory, frames, SMT - No CppVerify syntax required - Chapters 1–8 - - - Part II — CppVerify - Flags, contracts in C++ - Toolchain, counterexamples - Builds on Part I - Chapters 9–20 - \ No newline at end of file +CppVerify book: Part I foundations then Part II practicePart I — FoundationsLogic, Hoare triples, invariantsMemory, frames, SMTNo CppVerify syntax requiredChapters 1–8Part II — CppVerifyFlags, contracts in C++Toolchain, counterexamplesBuilds on Part IChapters 9–20 \ No newline at end of file diff --git a/website/source/_static/diagrams/cppverify-pipeline.svg b/website/source/_static/diagrams/cppverify-pipeline.svg index c24fa68b77..f3bf352cb5 100644 --- a/website/source/_static/diagrams/cppverify-pipeline.svg +++ b/website/source/_static/diagrams/cppverify-pipeline.svg @@ -1,32 +1 @@ - - CppVerify pipeline from AST through canonical obligations to backend result - - - - - - - - - AST - - VCR - L1 - - Passive - L2 - - Obligation - L3 - - Z3 - - Result - - - --dump-ir selects layers 1–4 - \ No newline at end of file +CppVerify pipeline from AST through canonical obligations to backend resultASTVCRL1PassiveL2ObligationL3Z3Result--dump-ir selects layers 1–4 \ No newline at end of file diff --git a/website/source/_static/diagrams/cppverify-workflow.svg b/website/source/_static/diagrams/cppverify-workflow.svg index 32330255a2..31a1243201 100644 --- a/website/source/_static/diagrams/cppverify-workflow.svg +++ b/website/source/_static/diagrams/cppverify-workflow.svg @@ -1,32 +1 @@ - - Clang AST feeds parallel verify and compile paths - - - - - - - - .cpp + - contracts - - Clang - parse + Sema - -fverify-contracts - - Verify path - VCR → Passive → WP - → Z3 → diagnostics - cpp-verify / -fverify-contracts - - Compile path - CodeGen strips ghost - and contract nodes - runs parallel with verify - - Same AST; verify reads contracts, codegen emits LLVM without ghost code - \ No newline at end of file +Clang AST feeds parallel verify and compile paths.cpp +contractsClangparse + Sema-fverify-contractsVerify pathVCR → Passive → WP→ Z3 → diagnosticscpp-verify / -fverify-contractsCompile pathCodeGen strips ghostand contract nodesruns parallel with verifySame AST; verify reads contracts, codegen emits LLVM without ghost code \ No newline at end of file diff --git a/website/source/_static/diagrams/hoare-triple.svg b/website/source/_static/diagrams/hoare-triple.svg index 1e2cd6c62b..799226b5d0 100644 --- a/website/source/_static/diagrams/hoare-triple.svg +++ b/website/source/_static/diagrams/hoare-triple.svg @@ -1,20 +1 @@ - - Hoare triple: precondition, statement, postcondition - - If P holds before S runs, then Q holds after S (when S terminates) - - { P } - → - - Statement S - your code - → - - { Q } - Hoare triple: { P } S { Q } - \ No newline at end of file +Hoare triple: precondition, statement, postconditionIf P holds before S runs, then Q holds after S (when S terminates){ P }→Statement Syour code→{ Q }Hoare triple: { P } S { Q } \ No newline at end of file diff --git a/website/source/_static/diagrams/loop-invariant-lifecycle.svg b/website/source/_static/diagrams/loop-invariant-lifecycle.svg index 92f83fbe34..20952dd817 100644 --- a/website/source/_static/diagrams/loop-invariant-lifecycle.svg +++ b/website/source/_static/diagrams/loop-invariant-lifecycle.svg @@ -1,31 +1 @@ - - Loop invariant: establishment, preservation, exit - - - - - - - - Entry - Invariant I - must hold - establishment - - preservation - One iteration - Assume I and cond - Run body; prove I again - - Exit - I and not cond - useful fact - exit condition - - - \ No newline at end of file +Loop invariant: establishment, preservation, exitEntryInvariant Imust holdestablishmentpreservationOne iterationAssume I and condRun body; prove I againExitI and not conduseful factexit condition \ No newline at end of file diff --git a/website/source/_static/diagrams/modular-verification.svg b/website/source/_static/diagrams/modular-verification.svg index 062d786494..f444ef180b 100644 --- a/website/source/_static/diagrams/modular-verification.svg +++ b/website/source/_static/diagrams/modular-verification.svg @@ -1,34 +1 @@ - - Modular verification: caller proves callee pre and assumes post - - - - - - - - Caller (main) - 1. Prove callee.pre at call site - 2. Call f() - 3. Assume callee.post after return - - VC: pre_main ⇒ post_main - - Callee (f) - Body not needed at call site - - pre: P - - body (hidden) - proved separately - - post: Q - - VC: P ⇒ Q - - contract - \ No newline at end of file +Modular verification: caller proves callee pre and assumes postCaller (main)1. Prove callee.pre at call site2. Call f()3. Assume callee.post after returnVC: pre_main ⇒ post_mainCallee (f)Body not needed at call sitepre: Pbody (hidden)proved separatelypost: QVC: P ⇒ Qcontract \ No newline at end of file diff --git a/website/source/_static/diagrams/testing-vs-samples.svg b/website/source/_static/diagrams/testing-vs-samples.svg index 7140123155..2e31c58b75 100644 --- a/website/source/_static/diagrams/testing-vs-samples.svg +++ b/website/source/_static/diagrams/testing-vs-samples.svg @@ -1,22 +1 @@ - - Testing samples finitely many inputs; verification covers the modeled domain - - - Testing - - - - - - Finitely many sample inputs - Verification - (within SMT theory) - - All inputs satisfying - the precondition - Proof obligation, not sampling - \ No newline at end of file +Testing samples finitely many inputs; verification covers the modeled domainTestingFinitely many sample inputsVerification(within SMT theory)All inputs satisfyingthe preconditionProof obligation, not sampling \ No newline at end of file diff --git a/website/source/_static/diagrams/vc-validity.svg b/website/source/_static/diagrams/vc-validity.svg index 14235d124a..501aa3286b 100644 --- a/website/source/_static/diagrams/vc-validity.svg +++ b/website/source/_static/diagrams/vc-validity.svg @@ -1,22 +1 @@ - - Verification condition: prove Hypothesis implies Goal via UNSAT - - Prove: Hypothesis ⇒ Goal - - Hypothesis - pre, path facts, invariants - ⇒ - - Goal (post) - Q - - CppVerify: UNSAT( Hypothesis ∧ ¬Goal ) - No satisfying model ⇒ implication holds in the theory - \ No newline at end of file +Verification condition: prove Hypothesis implies Goal via UNSATProve: Hypothesis ⇒ GoalHypothesispre, path facts, invariants⇒Goal (post)QCppVerify: UNSAT( Hypothesis ∧ ¬Goal )No satisfying model ⇒ implication holds in the theory \ No newline at end of file diff --git a/website/source/_static/favicon-180.png b/website/source/_static/favicon-180.png index 49a508105a..804602e791 100644 Binary files a/website/source/_static/favicon-180.png and b/website/source/_static/favicon-180.png differ diff --git a/website/source/_static/favicon-32.png b/website/source/_static/favicon-32.png index 682beabaf3..72fd04fac4 100644 Binary files a/website/source/_static/favicon-32.png and b/website/source/_static/favicon-32.png differ diff --git a/website/source/_static/favicon-512.png b/website/source/_static/favicon-512.png index a8980641e3..07e3f82a8d 100644 Binary files a/website/source/_static/favicon-512.png and b/website/source/_static/favicon-512.png differ diff --git a/website/source/_static/favicon.svg b/website/source/_static/favicon.svg index 3ad526bdb8..7ef871cc3f 100644 --- a/website/source/_static/favicon.svg +++ b/website/source/_static/favicon.svg @@ -1,9 +1 @@ - - - - - - - - - \ No newline at end of file + \ No newline at end of file diff --git a/website/source/_static/logo-dark.svg b/website/source/_static/logo-dark.svg index 2683670a5e..fcf09d5888 100644 --- a/website/source/_static/logo-dark.svg +++ b/website/source/_static/logo-dark.svg @@ -1,17 +1 @@ - - - - - - - - - - - - - - - CppVerify - - \ No newline at end of file +CppVerify \ No newline at end of file diff --git a/website/source/_static/logo-mark.svg b/website/source/_static/logo-mark.svg index 4061ee390e..509d76cf38 100644 --- a/website/source/_static/logo-mark.svg +++ b/website/source/_static/logo-mark.svg @@ -1,9 +1 @@ - - - - - - - - - \ No newline at end of file + \ No newline at end of file diff --git a/website/source/_static/logo-todo.svg b/website/source/_static/logo-todo.svg index a6754de7b1..0bb987b987 100644 --- a/website/source/_static/logo-todo.svg +++ b/website/source/_static/logo-todo.svg @@ -1,4 +1 @@ - - - TODO: logo - \ No newline at end of file +TODO: logo \ No newline at end of file diff --git a/website/source/_static/logo.png b/website/source/_static/logo.png index fd5b4e4b32..00cb05393a 100644 Binary files a/website/source/_static/logo.png and b/website/source/_static/logo.png differ diff --git a/website/source/_static/logo.svg b/website/source/_static/logo.svg index e83cbc4c24..0ce1d92ce3 100644 --- a/website/source/_static/logo.svg +++ b/website/source/_static/logo.svg @@ -1,17 +1 @@ - - - - - - - - - - - - - - - CppVerify - - \ No newline at end of file +CppVerify \ No newline at end of file