commit | 0a15f0e76333503413542fc7174246198aab48e5 | [log] [tgz] |
---|---|---|
author | Marek Sedláček <msedlacek@azul.com> | Thu Aug 17 07:25:29 2023 -0700 |
committer | Copybara-Service <copybara-worker@google.com> | Thu Aug 17 08:00:49 2023 -0700 |
tree | ac380c141b08e3a175a59a93367102379e5bc640 | |
parent | 09a7af77fe9061dcb8a34d2629ba37300b57b437 [diff] |
Headers for basic blocks in CFG dot graphs This change adds separators for basic block names, which makes it easier to find a basic block based on its name and separates it from the code. Currently there is also a chance that the basic block label will be present twice, that is in case the basic block has explicit numbering, this change fixes this bug. Differential Revision: https://reviews.llvm.org/D154102 GitOrigin-RevId: 3fee76cff3431bebaa0068a39a7b0d0a645c823f