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

    <tr>
        <th>Summary</th>
        <td>
            [ValueTracking] Assertion `(Known.Zero & Known.One) == 0 && "Bits known to be one AND zero?"' failed.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            crash-on-valid,
            llvm:analysis
      </td>
    </tr>

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

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

<pre>
    Reproducer: https://godbolt.org/z/811cs5jK7
```
; opt -passes=inline test.ll -S
define i32 @func_131() {
entry:
  br label %common.ret

common.ret:                                       ; preds = %if.then309, %entry
  ret i32 0

if.then309: ; No predecessors!
  %0 = call range(i8 5, 6) i8 @llvm.ctpop.i8(i8 0)
  %call444 = call i8 @safe_rshift_func_int8_t_s_u(i8 %0)
  br label %common.ret
}

define i8 @safe_rshift_func_int8_t_s_u(i8 %left) {
entry:
  %left. = tail call i8 @llvm.smin.i8(i8 %left, i8 0)
  ret i8 0
}
```
```
opt: /root/llvm-project/llvm/lib/Analysis/ValueTracking.cpp:2059: void computeKnownBits(const llvm::Value*, const llvm::APInt&, llvm::KnownBits&, unsigned int, const llvm::SimplifyQuery&): Assertion `(Known.Zero & Known.One) == 0 && "Bits known to be one AND zero?"' failed.
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=inline <source>
 #0 0x0000000004e08988 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4e08988)
 #1 0x0000000004e060dc SignalHandler(int) Signals.cpp:0:0
 #2 0x00007abb18842520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
 #3 0x00007abb188969fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
 #4 0x00007abb18842476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
 #5 0x00007abb188287f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
 #6 0x00007abb1882871b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
 #7 0x00007abb18839e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
 #8 0x00000000045bad0b computeKnownBits(llvm::Value const*, llvm::APInt const&, llvm::KnownBits&, unsigned int, llvm::SimplifyQuery const&) ValueTracking.cpp:0:0
 #9 0x00000000045baeee llvm::computeKnownBits(llvm::Value const*, llvm::KnownBits&, unsigned int, llvm::SimplifyQuery const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x45baeee)
#10 0x00000000045bafc6 llvm::computeKnownBits(llvm::Value const*, unsigned int, llvm::SimplifyQuery const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x45bafc6)
#11 0x00000000043b5544 simplifyICmpInst(unsigned int, llvm::Value*, llvm::Value*, llvm::SimplifyQuery const&, unsigned int) InstructionSimplify.cpp:0:0
#12 0x00000000043b7139 isICmpTrue(llvm::CmpInst::Predicate, llvm::Value*, llvm::Value*, llvm::SimplifyQuery const&, unsigned int) InstructionSimplify.cpp:0:0
#13 0x00000000043bce34 llvm::simplifyBinaryIntrinsic(unsigned int, llvm::Type*, llvm::Value*, llvm::Value*, llvm::SimplifyQuery const&, llvm::CallBase const*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x43bce34)
#14 0x00000000043be108 simplifyIntrinsic(llvm::CallBase*, llvm::Value*, llvm::ArrayRef<llvm::Value*>, llvm::SimplifyQuery const&) InstructionSimplify.cpp:0:0
#15 0x00000000043bf104 llvm::simplifyCall(llvm::CallBase*, llvm::Value*, llvm::ArrayRef<llvm::Value*>, llvm::SimplifyQuery const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x43bf104)
#16 0x00000000043b2742 simplifyInstructionWithOperands(llvm::Instruction*, llvm::ArrayRef<llvm::Value*>, llvm::SimplifyQuery const&, unsigned int) InstructionSimplify.cpp:0:0
#17 0x00000000043c2b1b llvm::simplifyInstruction(llvm::Instruction*, llvm::SimplifyQuery const&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x43c2b1b)
#18 0x00000000040508ed llvm::CloneAndPruneIntoFromInst(llvm::Function*, llvm::Function const*, llvm::Instruction const*, llvm::ValueMap<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>&, bool, llvm::SmallVectorImpl<llvm::ReturnInst*>&, char const*, llvm::ClonedCodeInfo*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x40508ed)
#19 0x0000000004051775 llvm::CloneAndPruneFunctionInto(llvm::Function*, llvm::Function const*, llvm::ValueMap<llvm::Value const*, llvm::WeakTrackingVH, llvm::ValueMapConfig<llvm::Value const*, llvm::sys::SmartMutex<false>>>&, bool, llvm::SmallVectorImpl<llvm::ReturnInst*>&, char const*, llvm::ClonedCodeInfo*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4051775)
#20 0x00000000040bf675 llvm::InlineFunction(llvm::CallBase&, llvm::InlineFunctionInfo&, bool, llvm::AAResults*, bool, llvm::Function*) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x40bf675)
#21 0x00000000036e6044 llvm::InlinerPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x36e6044)
#22 0x0000000002e0f61e llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::InlinerPass, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2e0f61e)
#23 0x00000000042b081b llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x42b081b)
#24 0x0000000002e0e44e llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2e0e44e)
#25 0x00000000042b2569 llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x42b2569)
#26 0x0000000002e0e42e llvm::detail::PassModel<llvm::Module, llvm::ModuleToPostOrderCGSCCPassAdaptor, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2e0e42e)
#27 0x0000000004c0d73c llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x4c0d73c)
#28 0x00000000008d51f2 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::ArrayRef<std::function<void (llvm::PassBuilder&)>>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8d51f2)
#29 0x00000000008c842c optMain (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8c842c)
#30 0x00007abb18829d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#31 0x00007abb18829e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#32 0x00000000008bf87e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x8bf87e)
Program terminated with signal: SIGSEGV
Compiler returned: 139
```

cc @nikic 

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWlFzm7ga_TXKi8YeLAGGhzwQJ-5m2mxzm97uzH3xCBC2NrLESKJN-uvvSGAbYTs3br293Z1mspsC0tF3znf0IUBEa7YUlF6C6ApE1xekMSupLktTPH19_nKRy_L58gOtlSybgiqAM7gyptYAZwDNAZovZZlLbsZSLQGafwVonkwmhY7-fDsFwTUIMhAH3W97iK-grA0c1URrqgG-ZoIzQaGh2ow5h6OHtmFJK3uaYQRBGFSNKBYTPAEoASiFYHrVtqLCqGcbjDuCMFeQk5xyCFBUyPVairGiphva_b93FmfwdT826FrRUkOAry00q8ZmRQUOUoBm9kQbRxeEosbFHfTH7XXBmUP8XTpQWlCtpdIATTYAAEWBG6ognENFxJIClLAERna42CrAEisL55_X48LUsh6zpG0SAJT2cCxCGIY7tLajJhVdKL1ilVk4bZkwycIs9KJpYWwIPaQXdZ1e94luEvfqcTitzItJ7dqMHQlDGO8zcRLoNRNbBbaQMzjQwyUm2eZlG_fAov6hrJ1TAJorKQ1AczviqFbyT1psDu0flgM0zwThz5ppgOafCG_oR0WKRyaW46KuAc5QELn0f5ashIVc142hb4X8Iq6Y0QAlhRTaQIeIM4AzhwFQZrkMr2X3t8IAFNtru7M9NHelEW5-l5AJcwjlga1rzqrnfzVUPbs-LsBMa6oMkwJaHVDiYMf_oUpCgGLYHr4X1OUNX9vEBNB1jyFAyAYAH20jaCTMKZSCwuz3a_iVKgnwHCAE0BRWhHFajlud79_dZA83UDf5mhlIYN4soaK1VMZiDKoOM6smHxdy3UuAnxamdUNtHiARln3Bm5JCs6KwUESvYE6KR6NIQbvhHwwpHmHZrOut84IxCNJ7JZeKrCFRy2ZNhdGdGawt0NzmkHGqRvSp5lJRZc9xIpYjslFQj4xqxCNA85yJtiMcWRnnpK7tcWPqxow1HD3sV0WAZ1o2qqAA33QuBggHMHgKNj8hDZI0SXo51c-6_ce9YsI4YtaHtobsGinyZSG1UZSsO6s4h6TQldjvogfQVfDUhbWbfQDhySDuOCgL-MCWgvDfiCi5xU-6MNrTups4gftvC4Q6oCnJ80mShChCQRd4Ow-fkngRhyPORPM0WoqmvVCMtRzHbXi2ixcc9jHTOK0KWJuVoqRcPDLOTxvA9fcGCIdBh9MYLrXjeWrw4TT2sCMfGyXTCkOS28lzErLr6CHHe8iT_GTMSe5hTn1MnNI0Pg3TdfEwE89bUU7KID9UYgfFtS2IXYkdFNfNtRNL7JHi2kNL4aGbw8Dj6ZAQpbSH_c3UzhH-uWpEy2qbR1sigiHtqoi_nfb_mVxVxB45vwDiPIrCEOouktvZur51YSTHw-6vCP7X2WMUh7Kk0A6rmsLS2XTaN6UlgAYEphOcQqZt6B9V499hNnS6WxEtWUEM_ano4AGdguKwfyPtOl8xQdTzrTCKCc2KFxP08bl-LaFTafakJZxfEd33-vl828rg-TYc6EQnQbLzbU-X_RBfyTpTijx_oBXAswNN8c1rJ--rUx8NKFWT4FDqLY2fgdf5kmuJesmNB0qgaYh6yd3q-Qczq_c1VUSUftnttfmL-H_HFJ_67AqUT_IDefY4vJLbD8iWC9fLlr_OCaIgoWW_MnApaCbKe9UIeiuMnCu57u4qu1bzRhymtLlwZO3QU-NIC5faO1Lv5_tIhz8oedwshD79dhhsJkXFlq-G3D7_PKyJMneNoU8AzyrCtXuMan9bW-VS8kFS14TzT7QwUt2ua-4N-oGaRonbbswtSLEi6kgoLh3lTJb0VlTyzIW6Tb7njnTgjsl0Gh1zxybX1iVnccev3P_I3NvU9nOP_JVzkFexl_tb90Zhl9uD97R4ON_7fVoaR7TLsg9UN9yuyLPDLTxbnVEJR9RTwltm45jGQRjusVL3RHdeUY2vxzvy1d343yhSrzprzGZ76mxe9t0RQZZUeXY5BtHv77dB8c5VL7TxLfbmYTb7d10SQ1v1z3v_6aTztPWeABANqnjSfywtqSGMd2t-ovWdLCk_WZl-hv56yb9Tb1tTfrnouIs6k3gu8h-8UB4k3qrMOecb9fhlkb-fRToHeBYJB4WGhuH5C80_0Gh_hxh_TYaX66X1ujcZokG9RFGc9iK6k2XD6Ud5L7V5r0qqXIjW3FlJaiPVYcXbbicp3HXpNDtnAbCUPM7xXgFApxWADb3ZSUp9gxTHHP3z6NvJ5-nrvxkpgnKKi1eUxkOq_lNk6lTwZPJeuARJGU0q1ItSNcIqdc9qatesHrEHo5hYfqDVIQ_u8f1I1JKaO1KsHE526Oo7liv3KrqS7gl1r5WU_L37oDxn_ADId10-QufgKz6nCW-WTOzfk3bttSnbc9Xm2RDP3N4IT0aLddUwXtpUtjsUbvZQZW0Wxj5zuqOWxVsmypdafaKKVYyqTbvNM-tpf8_mvtZbnvlS33xFEqICytrcESbONqxD7Q-73WCw-eiblumJ39ddFw9zMsSkYQAXC9ttoQ1RZrHekXr1KDT0R0G-YHmVTCls8c-mlwPdjrrZIGKoWjNBDC3hF2ZWsP2wD3AGH27fPNy8-dQ2n3UDQ-VeKFE7AeAEp4e3IrVb1goIwkCwR1bA9sxFeYnLFKfkgl5OppNpmAYoTi9WlxFK8zKJAorCPC4nVZlgXMVhgvMwKQqcXrBLFKAwiIMwSPA0TMekQEka0xjhmKCKIhAGdE0YH9tJM5ZqeeF20lymIUb4wm0C026zIEJuI81IitFnwlnp9vTMAELdbCPbrVAIRNcX6tKeH-XNUoMw4EwbvRvCMMPdFkTvuziIrn_sRqSLRvHLb99p1Er0-RL9NwAA__81mZab">