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

    <tr>
        <th>Summary</th>
        <td>
            [MLIR] Broken bytecode roundtrip for properties
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir:core,
            mlir
      </td>
    </tr>

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

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

<pre>
    There seems to be some unexpected issue in the bytecode rountrip. When running `mlir-opt -verify-roundtrip` with the following input, the property parsing explodes.

```
llvm.func @foo()

llvm.func @repro(%val: f32) {
 llvm.call @foo() : () -> ()
  %t = arith.addf %val, %val : f32

 llvm.return
}
```

Crash log:

```
loc("-":8:10): error: invalid properties {fastmath = #llvm.fastmath<none>} for op arith.addf: Invalid attribute `fastmath` in property conversion: #llvm.fastmath<none>
repro.mlir:0:0: error: 'builtin.module' op failed to parse textual content back, cannot verify round-trip.

repro.mlir:0:0: note: see current operation:
"builtin.module"() ({
  "llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<void ()>, linkage = #llvm.linkage<external>, sym_name = "foo", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
  }) : () -> ()
  "llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<void (f32)>, linkage = #llvm.linkage<external>, sym_name = "repro", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
  ^bb0(%arg0: f32):
    "llvm.call"() <{CConv = #llvm.cconv<ccc>, TailCallKind = #llvm.tailcallkind<none>, callee = @foo, fastmathFlags = #llvm.fastmath<none>, op_bundle_sizes = array<i32>, operandSegmentSizes = array<i32: 0, 0>}> : () -> ()
    %0 = "arith.addf"(%arg0, %arg0) <{fastmath = #arith.fastmath<none>}> : (f32, f32) -> f32
    "llvm.return"() : () -> ()
  }) : () -> ()
}) : () -> ()
loc("-":0:0): error: expected mlir::arith::FastMathFlagsAttr, but got: #llvm.fastmath<none>
repro.mlir:0:0: error: 'builtin.module' op failed to parse bytecode content back, cannot verify round-trip.

repro.mlir:0:0: note: see current operation:
"builtin.module"() ({
  "llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<void ()>, linkage = #llvm.linkage<external>, sym_name = "foo", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
  }) : () -> ()
  "llvm.func"() <{CConv = #llvm.cconv<ccc>, function_type = !llvm.func<void (f32)>, linkage = #llvm.linkage<external>, sym_name = "repro", unnamed_addr = 0 : i64, visibility_ = 0 : i64}> ({
  ^bb0(%arg0: f32):
    "llvm.call"() <{CConv = #llvm.cconv<ccc>, TailCallKind = #llvm.tailcallkind<none>, callee = @foo, fastmathFlags = #llvm.fastmath<none>, op_bundle_sizes = array<i32>, operandSegmentSizes = array<i32: 0, 0>}> : () -> ()
    %0 = "arith.addf"(%arg0, %arg0) <{fastmath = #arith.fastmath<none>}> : (f32, f32) -> f32
    "llvm.return"() : () -> ()
  }) : () -> ()
}) : () -> ()
```

So far, I'm not entirely sure what might have introduce this breakage. For now, my suspicion is https://github.com/llvm/llvm-project/pull/151267 (FYI: @hankluo6 @joker-eph). I'll try to revert this commit locally to see if that resolves my issue. I'll report back once I gathered insights.  
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsV01v4zgP_jXKhUigyLHdHHJwnQlQvO9cdgZY7KmQbTrWVJYMiU6b_fULyU76gQ6KXQzmVCCFBZGi-PHwUSm9V0eDuGPpLUv3CzlSZ91ur4zy5Oyiss15971Dh-ARew9koULwtkcYDT4NWBM2oLwfEZQB6hCqM2FtGwRnR0NODSv4s0MDbjRGmSOwjPdauaUdCJYndKo9L4NqE3RZxuFRURcttVZr-xjOKDOMxEQZtwdnB3R0hkE6H6T4NGjboF8xXoRfxucfL7Q-9at2NDWwDW-tZeKGie2k90rmcHCTND1JzZIC2kQwsQWW3zJeQFSupdavDEFQnJdLlnyBq30AJlICluxBOkXdSjZNC7N1Uc4ruFwUHZoucUijM2En37-JhvGidNJ3oO2RJcU74do6eiCWTAiWFDcsKdY8eJQUgM5ZFxbKnKRWzSWRCn2IspWeekld9JmJZErPvMmS0liDLPnC8j201oEdXgQWrN7NViWRU9VIGCp9PZ_xgI9r6WprTui8smbK4E9v40WszCpAhiUFn_-eg2Eir0alSZlVb5tRIxN5cK6VSmMTABtggkD4RKPU4WZCQ1DJ-iEUopbGWIIJiBGzzTKidsru-7cbSxi-HhHq0blgMEQmaYoonBXirV_iAhpxM6MKmBBXGL5QSEqW35alNadX1ahD2lhS1nUdciNKCOfCnfd0HnDWXT9bTMqTVc0FldMRrcyDPOIrw_MeS0p8InQmdEBU9uf-3sj-oi0i8kWQjCbsN_eyaVyU8ghmlW2C9KS8qpRWdL5_I8z3lz65pCDff9hJvylJU8v_ijzNdPKLM5V-qSo-kZR0R_7MUhPkAJ5zFajqv-Tqu1S6lFr_T5nmlSpJpYPRB2WaF_0ZO0hrnCOfubGESysftDz6jyhFlGCH-2o0jcZ7r_5GPxOnk2eWlCoRVy100jTf8NijoW_vaxbAgy6fyCrm8OfYijzNL2V7wWhz7qZET4Q9LS_ZfMuX09l3CfOFD7Fe5eVxid5M_P-yePMT8KJ8P--ND7rnI_nbF2OiuDcPxvWhn3mQJUWMdloepKevl1IXRC4EWI0ER0u_i92v_3R80vsnvX_S-ye9f9L7JH89PXyz0MrIz3dM5H0gOkBDyqE-gx8dwmMnCXp17Ag6eQpDHTnbjDUCdcpD5VCGFlnBwTow9jHY6sNZP6haWQPKQ0c0-IBZcWDicFTUjdWqtj0ThxD__FkOzv7Ampg4DGNA82GdrkWWB-cPf93FkDa8k-ZBjzYL6x_2Ad0Sh46J7SpGoDWQO4dnwOEJHU1O1rbvFYG2AbpRGohctUAhOIfe6hP64HYcXK-mHA7WTU8HWFMj3MFRUph-G1DGh6T4FcCi2SXNNtnKBe7WeZqt-XqbZ4tuh3mSio1IcLsWrRBbIdM2q9rqpsrX23zTLtROcJHyG5HyjGfrbNWIJq9usopjtZbrTcY2HHup9CrixLrjInq4W6epWPOFlhVqH4d1IeZHq7ZuenvKy54QYZR3u5jkajx6tuFaefLPVkmRjkP_1__f_cHSPdw6-4Dm9eweB_I46z0PiovR6d2_rm8MwscKxzhOO_FPAAAA___01NPA">