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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] TestConstantFold crashed with segmentation fault
        </td>
    </tr>

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

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

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

<pre>
    MLIR built at commit  585cbe3f
Reproduced with:  
`mlir-opt --test-constant-fold temp.mlir`

temp.mlir:
``` milr 
module {
  func.func @func1() {
    %cst_17 = arith.constant 1.542000e+03 : f16
    %true_22 = arith.constant true
    %c1_24 = arith.constant 1 : index
    %c11_28 = arith.constant 11 : index
 %13 = tensor.empty() : tensor<24x24xf32>
    %cst_54 = arith.constant dense<1.41865946E+9> : vector<24x24xf32>
    %23 = vector.fma %cst_54, %cst_54, %cst_54 : vector<24x24xf32>
    %cst_63 = arith.constant dense<true> : vector<24x24xi1>
    %cst_64 = arith.constant dense<117562519> : vector<24x24xi32>
    %42 = vector.gather %13[%c11_28, %c1_24] [%cst_64], %cst_63, %23 : tensor<24x24xf32>, vector<24x24xi32>, vector<24x24xi1>, vector<24x24xf32> into vector<24x24xf32>
    %53 = scf.if %true_22 -> (f16) {
      scf.yield %cst_17 : f16
    } else {
      %117 = vector.mask %cst_63 { vector.multi_reduction <maxf>, %cst_54, %42 [] : vector<24x24xf32> to vector<24x24xf32> } : vector<24x24xi1> -> vector<24x24xf32>
      %119 = math.round %13 : tensor<24x24xf32>
 scf.yield %cst_17 : f16
    }
    %alloc_70 = memref.alloc() : memref<1xi32>
    return
  }
}


```
 
trace:
```console
    PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
    Stack dump:
    0.  Program arguments: mlir-opt --test-constant-fold temp.mlir
    #0 0x000000010047ca90 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f8a90)
    #1 0x000000010047ad2c llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f6d2c)
    #2 0x000000010047d13c SignalHandler(int) (/workspace/build/bin/mlir-opt+0x1002f913c)
    #3 0x00000001be7894c4 (/usr/lib/system/libsystem_platform.dylib+0x1803414c4)
 #4 0x0000000102c27de0 mlir::Operation::fold(llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/workspace/build/bin/mlir-opt+0x102aa3de0)
    #5 0x0000000102c27de0 mlir::Operation::fold(llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/workspace/build/bin/mlir-opt+0x102aa3de0)
    #6 0x0000000102b253cc mlir::OperationFolder::tryToFold(mlir::Operation*, bool*) (/workspace/build/bin/mlir-opt+0x1029a13cc)
    #7 0x0000000102a75b40 (anonymous namespace)::TestConstantFold::runOnOperation() (/workspace/build/bin/mlir-opt+0x1028f1b40)
    #8 0x0000000102acbefc mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102947efc)
    #9 0x0000000102acc5ec mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x1029485ec)
    #10 0x0000000102ace480 mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x10294a480)
    #11 0x0000000102ac6968 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x102942968)
    #12 0x0000000102ac5fbc mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_1>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) (/workspace/build/bin/mlir-opt+0x102941fbc)
    #13 0x0000000102b43fa0 mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) (/workspace/build/bin/mlir-opt+0x1029bffa0)
    #14 0x0000000102ac0970 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x10293c970)
    #15 0x0000000102ac0de0 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x10293cde0)
    #16 0x0000000100187088 main (/workspace/build/bin/mlir-opt+0x100003088)
    #17 0x000000010bbe5088 

``` 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWV1v4ywW_jXkBjXCYDv2RS7StNGONNVU7WhvI4xxwg4GL-B3mn-_AjuNHSedabTaj6mqxDaHw3Oe8wUOtVbsFOdLkNyD5GFGW7fXZrnWUupGG9daNCt0eVg-ff3yAotWSAepg0zXtXAQJlnCCk4qgB4AWr3wxuiyZbyEP4XbA7KCsBsBKaqlMHe6cfDuznHr7phW1lHl7iotS-h43cy9CEhRPyV8np6T1buq7h_WQppef63LVnIIFvfdPYRVq9jcf0AQI_8dAZwBnA9lIAQ4YdZtowUE5AFSI9x-fgQGo3kSY4QQB_geEejNqaJ0NNmZlm8xvjTbD40XirY4vrhOUC1Uyd_OJkRbnF2cMZ0CcBKRIOu4strMed24w9FmsuofA7LG8RuO3yqCAXmcMJFcRFhyZTkg62geR1ma5HH6CPB9DshjUP0XZ-5j1biD1gnOq5qe1gN4feXmN3V74ZR8BDu44jJWEV1U9zEL0SJJcRJds19MMcZ4aP-Ouj03nct83h1dfbTeBwpIHmA_FgCB5GFATkr6G0w-cC5eX4F2YSC6_LzTBIVy-jdckXRusKyai2qYH3eBKpz5_DnPQRjkD4LLcpSP59m2eIBcWn4-2bPY529Pb03tj2FgLO7fR1rpxNbwsmVOaAUBWdf0repNP49C77RQFa8HIrxGS4B7Ld46On5BZ29ZHiyrqdvPjW5V-Z7oH2f071I6ch-VUrPtAnVL8trwah6eDcpI99hnwSTODXetUcf7d-Wni-HnsYofy1dX7Q1lfFrpfQZqOaimz18fV6-P0LaF70IUFu0OGu77lXfI3rnGei14A_BmJ9y-LeZM1wBvpPzr-HXXGP0PzhzAG2Ftyy3AG0hVCYVisi05dHsOmaF2DwvKfgRo8xOEV0fZD1i2dfOO1z9Gc4DyZ6N3htaQml1bc-VsIO43-9_AIQRB9Ia6vwiheMFojmCwgawAWdmD7S6ejVAuIPoeGMTZScjQn1ttneG0Bjj1oS2UC970Tt381OaHbcKkjW_vpf8WCuDNEbDvfm8RQrjKaI4AzkcQozOItMTsEsSXVr2KnaLyb1SVkht7jKlPo0hLzM5R4DMUZUQYHK0HcHaz3XlEJiuSwYoFX2R5zOJedWuNjzFRALyxB-t43d1219tGUldpU8_LQ5Dxq2SIxFHM4tMqAJN4aBRmeFFyBI97IbL61nBDfRnrbn0YjRz_WlMp_x6KzJe6kb7WDeZutCxfuG2lC9UvvYEZTCkp-SQikv9P2OkIdoETwtgl2B4B7x86c_iuN50FlyzEK59vhdYyXH4eak4jwiaxtxhBpYukiJFXTZVWh1q3Fipa836FvAP1nVu37ktOQNwVh1Z9UwO8t6Sk7-pFPOEzG4NkBa-GfJbcUSGPhH3X35pnau2qpE1oij24Ea9eoKf0OtmnkZWi8mCFfaKK7nwBOHpiDVsVTj3ljaUQ5_GCVxO35GcWs4R_3uJn0XApFD-LKC_6bkj6b6dgOMkv9UVZZ0Lv0maidSwwyOUj9mdquHJfVKVh6HK3Bn-cJXzCcoTOaOZxhs7QHe29GEZjum6BReNs2gejM1hpnmaw4caX-lXYbtpf9GXr-qzcbqO-e-6p4eW2cX6XNyiRujWMP-2M30b2DJ_FhD-ur7Vy_M1N_PckhfnWuCcq1FqrSuwGOm6hA-dpNqEDn9GRVMUwGb7qnWBUdqV8sF_wJ3XP1bbbZF6bAHA2ZatV4p8tn7D1xGttDvdtVXUZMJ1Y8oq20m1LLrnj1yeTx_6kcN2LeRDyI4xK6TeO20qNDBmw_-l4-M9ZeML7IKjkzL3wnbDOHKaR9lE0dSIAx9vufJlJrXb_bds-8N4N0R9VxbRGkfFmIiYVHdYo20jhVqp8Nppxa4_W_Y_E9B-Rgx9KnNpg932D34uqotMmEJ9VPZQv0OVc-fNz__OcEpYvppwm55yOzxNjTvvdDNvTbt-yGgfCqzNC7V549Ws7b8J_4VwRjQ4WKMoWKMtgTYX69EkUIYKyaasdHQeKgid-gYsvW-CsXJIyJzmd8WWU5gjHOI_z2X4ZoySijLIcUVQmRRanGS-SrKCMLApWljOxxAgTtMAxJkkS53OGUcoqhmiVlumirECMeE2FnHu259rsZuG1yjKNUZbPJC24tOFXBowV_wnDIMAYJA8zswwvZIp2Z0GMpLDOnrQ44WT4eSK4K3mA5yeZ7iVN_5sDtHz3viuFIfBnrZHL298JBfz_CgAA___xSGg-">