<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/56882>56882</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [DFAJumpThreading] Simple IR tests crashes on DFAJumpThreading pass
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          nrinskaya
      </td>
    </tr>
</table>

<pre>
    This bug was found by Azul FuzzGen IR test generator.

See reproducer at: https://godbolt.org/z/Ycds3d3oM

Run opt with -passes=dfa-jump-threading:

```
; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "gen_07443"
target triple = "x86_64-unknown-linux-gnu"

define void @function_0() {
entry_1:
  br label %bb_2

bb_2:                                             ; preds = %bb_2, %entry_1
  %ptr_i64_16.0 = phi i64 [ -1317805584074026212, %entry_1 ], [ -158622699357888703, %bb_2 ]
  switch i64 %ptr_i64_16.0, label %bb_2 [
  ]
}
```
Stacktrace:
```
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -passes=dfa-jump-threading <source>
 #0 0x000055a0ace61d24 PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x000055a0ace5f484 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fac3a2df3c0 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x143c0)
 #3 0x000055a0aca8b2fe (anonymous namespace)::TransformDFA::isLegalAndProfitableToTransform() DFAJumpThreading.cpp:0:0
 #4 0x000055a0aca94dcb (anonymous namespace)::DFAJumpThreading::run(llvm::Function&) DFAJumpThreading.cpp:0:0
 #5 0x000055a0aca97de7 llvm::DFAJumpThreadingPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x340ede7)
 #6 0x000055a0ad1cafd6 llvm::detail::PassModel<llvm::Function, llvm::DFAJumpThreadingPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3b41fd6)
 #7 0x000055a0ac57ef8a llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2ef5f8a)
 #8 0x000055a0aa6fb8b6 llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x10728b6)
 #9 0x000055a0ac57dac6 llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2ef4ac6)
#10 0x000055a0aa6fc2b6 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x10732b6)
#11 0x000055a0ac57baef llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2ef2aef)
#12 0x000055a0aa2d8b58 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::StringRef>, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xc4fb58)
#13 0x000055a0aa214b79 main (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xb8bb79)
#14 0x00007fac39d8d0b3 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x240b3)
#15 0x000055a0aa2cbc4e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xc42c4e)
Compiler returned: 136
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzlWN9v2zYQ_mvkF0KGRP30gx-cuN6yNVjQBAP2ZJAiJXOVSYGkmjh__Y6S7UiOm6ZtCmydYcuWePx49913so5Usd38biMMom2F7olBpWolQ3SHFo9tjVbt4-MvXKKrD8hyY1HFJdfEKj31gqUXLPrjLedI80Yr1hZcI2K9aIE21jYGfnh4Be9KMapqO1W6grNH-PxVMBOxSF0PkT60EqnGonthN8hviDEcMJasJP7f7bbx7UZzwoSsHPBgnpcG-3d_Gl2ga_Cm5ldLBPORhzMIsFFCWl9z5ybzjdg2tSgFZ1NagEE_1ahWF3xdippLsuX72RgCXwdZHEfwuze0RFfcIqtFUx_NHvJ0ncZ-Kz9KdS_9Wsj2wa9ke5zVHxkvheTokxIMeXFQtrKwQsEKHs49PENedtEbcmn1bh0eo0WIalQTymtYLaF0PYLtzoH6r3k5qhqgxOxD6EHxpft5WH2_NFxprF6LNF6H6TToJjQbgeAC8pIL5IdRmOVBkuQxUBXgFIcnSGC27K501kmeYpzOZlGS5XmeBdHe2HnQWe7XNaCGYtMvM3bBTRix4ZCP7h4QvGx5ViW3lhQfrSYFf1LT2OLm_bvF7TtkWroVFpGuSEDoSkPe1anCQbItnRZqCyd1_enw5UNd_M0LC6fCmBb0jFeIQI0JWdQt48huOCo0MRtED_5MBw4iBsI_OhjA0OxGq0qTLQIFtlug1jkBDKygcuAIHjSgXu3zh6ZWmmt3rSay8l05aSc041sNGoUBKmQ_EfnKQZCmceetbVo7Nci_fbEKQQKXfcF40bs97x6OAhQ8BPBKEhJANGnIcIxuNBRfF9GdC_FWVJLUvwIRtfMwd7Xg4YVTfz9kpkXj4g66zxE7HGMnZZzH6BQMVvoiEN4DZSUpIoJZGRUBWq813OaAtDWkuCvGVS0oHPeFPShoN9D0TEyNclq8CB7CGFBg6adlopG_JKe45A6ZSCV3W9Ua5G4zpnEqhHmQ52gBBElTKr1drhb9FWHe84rUC8kg96WwhNb8Th3t9rcNMP8N8nN3SM_5wOOxR7OYFfRLHp0i91dBQzCv03p3vtrfxzycvt6d5MSdjPEMPWGegtyAGl-x-uUAYgEi2BlhrokkFegjujwzCfTbe91n_XtKqVNCFAccIhlpIR2GysKClCwd-Mm4JaLuf7sw4R-M1-e9HcV3lqKRxQ2omutPnPVUcPNtBLn3f4B5GodA7Ij5bCSyJONlTob8OLZf8vEnpgvzMgE2RnTlQ7pIWtKcvoVQfxjN_1-xh0GGITmj7M1OxM5IMcxe_2B8pw4-uawsGGngb-98xP2Er4p3P-UHaDWGYI7RuueB4ESrBf5KrR7Cu3wlR28ltieOPie1fw_xILMI0zHx4YnMKOHlK4r9HN0_C02gTwwsjGjCI31iltMkH3gJOI6pG9FweLjko8BuobmU1QcH-Fycz-K96xrSa1JsOpzFudH3gmqid1eyVFfQ_T63Uqr-o3v4X4n6DMh3DX8mnIXWZOeuDhP0ZHt6ez9r3lFYt5WQz-whN2sLjvVnvXu_C8lesvqTa7cxoA921I28-vvN5FTEJYhlpKZorKYwptkMbYmQb7Um_NUD5GjNeNgpzVjOAhpBpwT9T7E2lmi7HjjwUrtUuEYp7SslBpDRKsk4soIWMUc9_tvxiQH0uOrlHglaettqyRlkHoVRerIVMOHzME1mcRIHYTxh84jNohmZWGFrPveSi2e9UbKEznPrdoX222am7--5QUo-64qQ668nra7n376fkKR5jiebeZYleR4GMc_jKOIJL0lC4iwPSQJPBQknk26zxDivPYwlv0cdhNudSpYTMccBxkEe4DDBaRJPi2LGIe10lvIojaPQg54GUl1PnR9uK2-i551LtK0MDNYCYn0ahLigAecdSQ6ftHaj9FxCZZuPZEcm3eLzzvl_ALVtUEg">