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

    <tr>
        <th>Summary</th>
        <td>
            folds for icmp-of-sum-of-extended-i1 aren't happening in more complex code
        </td>
    </tr>

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

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

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

<pre>
    I'm trying to take advantage of the folds from https://github.com/llvm/llvm-project/commit/dd31a3b3a526c0fcbbc0f09d065670af2fbab861 (cc @bcl5980 ) in Rust's standard library.  They're working great for single fields, but in more complex cases they don't seem to be triggering, leaving poor IR.

For example, if I change Rust'd `Ord::cmp` for primitives to use the `sext + zext` implementation, then I get the following for `<` on a rust tuple of `(i16, u16)`:
```llvm
define noundef zeroext i1 @check_lt_direct(i16 noundef %0, i16 noundef %1, i16 noundef %2, i16 noundef %3) unnamed_addr #0 {
start:
  %lhs.i.i = icmp sgt i16 %0, %2
 %rhs.i.i = icmp slt i16 %0, %2
  %self1.i.i = zext i1 %lhs.i.i to i8
 %rhs2.neg.i.i = sext i1 %rhs.i.i to i8
  %diff.i.i = add nsw i8 %rhs2.neg.i.i, %self1.i.i
  %4 = icmp eq i8 %diff.i.i, 0
  %_0.i.i = icmp ult i16 %1, %3
  %5 = icmp slt i8 %diff.i.i, 0
  %_0.0.i = select i1 %4, i1 %_0.i.i, i1 %5
  ret i1 %_0.0.i
}
```

But it could just be (proof: <https://alive2.llvm.org/ce/z/4dD_qc>)
```llvm
define noundef zeroext i1 @tgt(i16 noundef %0, i16 noundef %1, i16 noundef %2, i16 noundef %3) unnamed_addr #0 {
start:
  ; No longer needed %lhs.i.i = icmp sgt i16 %0, %2
  ; No longer needed %rhs.i.i = icmp slt i16 %0, %2
  ; No longer needed %self1.i.i = zext i1 %lhs.i.i to i8
  ; No longer needed %rhs2.neg.i.i = sext i1 %rhs.i.i to i8
  ; No longer needed %diff.i.i = add nsw i8 %rhs2.neg.i.i, %self1.i.i
  %4 = icmp eq i16 %0, %2
  %_0.i.i = icmp ult i16 %1, %3
  %5 = icmp slt i16 %0, %2
 %_0.0.i = select i1 %4, i1 %_0.i.i, i1 %5
  ret i1 %_0.0.i
}
```

By replacing those checks against `%diff.i.i` with the simplified forms.

A simpler change to just edit the `icmp eq i8 %diff.i.i, 0` also works <https://alive2.llvm.org/ce/z/gUqUi7>
```llvm
define noundef zeroext i1 @tgt(i16 noundef %0, i16 noundef %1, i16 noundef %2, i16 noundef %3) unnamed_addr #0 {
start:
  %lhs.i.i = icmp sgt i16 %0, %2
  %rhs.i.i = icmp slt i16 %0, %2
  %self1.i.i = zext i1 %lhs.i.i to i8
 %rhs2.neg.i.i = sext i1 %rhs.i.i to i8
  %diff.i.i = add nsw i8 %rhs2.neg.i.i, %self1.i.i
  %4 = icmp eq i1 %lhs.i.i, %rhs.i.i ; <--
 %_0.i.i = icmp ult i16 %1, %3
  %5 = icmp slt i8 %diff.i.i, 0
  %_0.0.i = select i1 %4, i1 %_0.i.i, i1 %5
  ret i1 %_0.0.i
}
```
with the the other existing folds then able to do their magic to get it down to
```llvm
define noundef zeroext i1 @tgt(i16 noundef %0, i16 noundef %1, i16 noundef %2, i16 noundef %3) unnamed_addr #0 {
  %rhs.i.i = icmp slt i16 %0, %2
  %.not = icmp eq i16 %0, %2
  %_0.i.i = icmp ult i16 %1, %3
  %_0.0.i = select i1 %.not, i1 %_0.i.i, i1 %rhs.i.i
  ret i1 %_0.0.i
}
```

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzkV8mO2zgTfhr6UmiDomTJPvjQy2-gL_8AweTcoMiSxIQiFZLq7ekHJW_tJM7APRsyAyQtmar6WNtXRcoYTesQ12xxwxZ3Mzmmzod1VD6lXvWz2uuX9T0TVQ8pvBjXQvKQ5GcEqR-lS7JF8A2kDqHxVkdogu-hS2mILL9mYsPEpjWpG-u58j0TG2sf94-rIfhPqBITG-X73tCL1nkm8zqXC1Eq3qi6VrzhK83LRVlx2YimlvWyzICJpVLACl4ru1gtOTCxAuPgwxgTE1WEmKTTMmiwpg4yvMwBfu3whYkqIDz58JmcaQPKBI0PEI1rLUJj0OrIxC3UYyK83gcE5fvB4jMoGTGSsy-gvWOiShARe4pJjZCCaVsMxrWkb1E-0haD9wHuP8wZv2P8evt34wPgsyRQEjUN3IPqpGtxb78GVvJfgqYg5teqH1jJJzuHYHqTzCPZ4WGMOMWelTzicwImbuAVnxNJG4Lv0SWZDBl7S5IO7qHFtE-Y9U9kIwGzkrP8lhS9AwlhjAnSONgpv_RRLE1WEsxIj9Ukv_OH3qd_U3anJY2NcQjOj05jA68YPBloMsqZ6lB9frDpQZswFQBBH2SZWPApLKdr2XfWxHfWcqqE0TnZo36QWgdgIufAqputZTHJkA6mA6nYLs7N3ADL78CofoDYpgl2b8q01VaeiUX4RtyeFaf3iLbJDhqv-zgc900ezPIEX8wdtgeVeFQJ31GhdW2a5iAvtQYXn8Asv4bbWXew6A1CcfQHv-xU96ikxt_IPvDTAIzHAGS7LfI34ouvQvV72Pzgt0W197zY5vq4_fH3Yq8eMB1F-N49Vt19VadvyXhDRE-g_Gg1fKKyr5HayxC8b1h-DSy_PW1o0ppHFHMq9rkPLfUvZGLzysSm0HcPXxTL_0cMeRc3UvtP8yG_gf97sN61GMAhatSXkuQsyGXUOQNyEZ9-ZMqFLDsD9KdT73wn-YO8O9vR_nbOvUDAwUo1nSg6HxGmmRBBttK4mLYT59gjSg5PJnXT3Io02UxjUNPg6uPJaL3efsawH6jJb0mN2qT9rPxRkys5SBv9dESIF3G__fjlo6mI-z8p8S_l-H9kEr41cKd19PuGSuTq6oRK_4LReCAb_fepQzqwmpi2p0U66E-HSVnbiWHa028ToJetUbRCh0yTQPsnB8n_JIx4V03PnU9_Uf8-l2_a8nzKdw68L_Ezvc71Kl_JGa6zivNVyZe8mHVrJZaF5LoQuilrRC1WhVrwesWl1Hm9KGZmLbjIs0yUPONlUcyzXORac6mrRVlUZcEKjr009tA8ZybGEddVXmTVzMoabZzuoUI4fILpIxOCrqVhPV0Y67GNrODWxBSPKMkki-vd9dOHKbJXvrmKY08PfE7oNOork4EMuL22dXIY0FE1f3PH8xpnY7Driy-xk8GRic3k0G8BAAD__1jsXx0">