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

    <tr>
        <th>Summary</th>
        <td>
            `tosa.cast` and `tosa.equal` get folded incorrectly
        </td>
    </tr>

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

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

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

<pre>
    ```mlir
// -----// IR Dump Before Canonicalizer (canonicalize) ('builtin.module' operation) //----- //
module {
  func.func @"Elixir.Manx.ExprTest.-successive_compare/2-fun-0-.33301673"(%arg0: tensor<i64>, %arg1: tensor<i64>) -> tensor<i8> {
    %0 = "tosa.cast"(%arg1) : (tensor<i64>) -> tensor<i64>
    %1 = "tosa.equal"(%0, %arg1) : (tensor<i64>, tensor<i64>) -> tensor<i1>
    %2 = "tosa.cast"(%1) : (tensor<i1>) -> tensor<i8>
    %3 = "tosa.cast"(%2) : (tensor<i8>) -> tensor<i64>
    %4 = "tosa.equal"(%arg0, %3) : (tensor<i64>, tensor<i64>) -> tensor<i1>
    %5 = "tosa.cast"(%4) : (tensor<i1>) -> tensor<i8>
    return %5 : tensor<i8>
  }
}


// -----// IR Dump After Canonicalizer (canonicalize) ('builtin.module' operation) //----- //
module {
  func.func @"Elixir.Manx.ExprTest.-successive_compare/2-fun-0-.33301673"(%arg0: tensor<i64>, %arg1: tensor<i64>) -> tensor<i8> {
    %0 = "tosa.const"() {value = dense<-1> : tensor<i64>} : () -> tensor<i64>
    %1 = "tosa.equal"(%arg0, %0) : (tensor<i64>, tensor<i64>) -> tensor<i1>
    %2 = "tosa.cast"(%1) : (tensor<i1>) -> tensor<i8>
    return %2 : tensor<i8>
  }
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJztVU1zmzAQ_TXiooEREghz4ODYyUwPvXR678iSsJXKkquPNOmvr4A4Jhk7TdpeOlOGgdVq9d7usm_YWPHQAYqme6-VA2gN0BLgm3TDfLge7Q-f4DruD_BK9tZJuGLGGsWZVj-kgwAv-MwBcDu4AG42UemgTLG3Iurkb6A9SMeCsmYKGrBHmkd74p_CIWiupjWEfTS8GB4QVAhgfK3VvXLFR2bui-v7g_ssfShyHzmX3qs7-YXb_YG5RHmD83QuR3lBCEElbUg6PmZXM7dFgCxhkMZbB8hK0QqQa4BXcNotz-62ME_vmX8xLGfJwuE4goCsk4GD9azgzIc5bzmWn9CT59cEk3-OXj5Dl98i00_waF7AKzSrN5RWviTGl8s6T1Ze7tkzYHIZGJ8FXry1V9UrvRpHYGoX-eu9qi-XVP1-r5wM0Zkj_vJCHGjWj1p-MubPywJf9iEp-r--36lva05ftx2C75iOcowRCUgmnLwccc5QNuvjLPyx-GcDjf4R8Z8GGr9voI8_rkx2JaUVQqSuUSY6IlrSsiyooOXweztlSxFkRsCjb2pdcm5lgL3VQgqoDLfOSR70Qxad7nYhHHxKa5rfrQq7uEmfe58WWt8dX_nB2dt0KC2V91H6ZNRNW5fZrqMLSjllUra8x5wKshCiQrRmraSLFuFMs43UvgP1VWqnkd_hCDG0tl5nqsMIY9TiCjUlJqjoRV_VBJENEYSWgiTByD1TuhjyKKzbZq4bU9rErU-bWvngT5ss6WdrpBzpEj6LYWddd8v4V6a5HfSbjfzdmP9PBJY4Uw">