llvm-project.git/mlir/lib/CAPI/Target, branch users/nico/python-2 Unnamed repository; edit this file 'description' to name the repository. [mlir][SMT] add python bindings (#135674) 2025-04-16T22:17:09+00:00 Maksim Levental maksim.levental@gmail.com 2025-04-16T22:17:09+00:00 697aa9995c24a977425e672d76a4a434384b16e3 This PR adds "rich" python bindings to SMT dialect. 
This PR adds "rich" python bindings to SMT dialect.
 [mlir][SMT] C APIs (#135501) 2025-04-14T19:37:14+00:00 Maksim Levental maksim.levental@gmail.com 2025-04-14T19:37:14+00:00 9deb08a30196b5b3b3883b5c7be8c4251039bde7 This PR upstreams/adds the C APIs for SMT dialect (from CIRCT). --------- Co-authored-by: Bea Healy <beahealy22@gmail.com> Co-authored-by: Martin Erhart <maerhart@outlook.com> Co-authored-by: Mike Urbach <mikeurbach@gmail.com> Co-authored-by: Will Dietz <will.dietz@sifive.com> Co-authored-by: fzi-hielscher <hielscher@fzi.de> Co-authored-by: Fehr Mathieu <mathieu.fehr@gmail.com> Co-authored-by: Clo91eaf <Clo91eaf@qq.com> 
This PR upstreams/adds the C APIs for SMT dialect (from CIRCT).

---------

Co-authored-by: Bea Healy <beahealy22@gmail.com>
Co-authored-by: Martin Erhart <maerhart@outlook.com>
Co-authored-by: Mike Urbach <mikeurbach@gmail.com>
Co-authored-by: Will Dietz <will.dietz@sifive.com>
Co-authored-by: fzi-hielscher <hielscher@fzi.de>
Co-authored-by: Fehr Mathieu <mathieu.fehr@gmail.com>
Co-authored-by: Clo91eaf <Clo91eaf@qq.com>
 [mlir][llvmir][reland] expose Type(To/From)LLVMIRTranslator C API (#125110) 2025-01-31T15:40:56+00:00 Maksim Levental maksim.levental@gmail.com 2025-01-31T15:40:56+00:00 5fbb8dd7da5cd8b76127e780d418fe780d3337a4 






Revert "[mlir][llvmir] expose Type(To/From)LLVMIRTranslator C API  (#124864)"
2025-01-30T19:10:23+00:00

Maksim Levental
maksim.levental@gmail.com

2025-01-30T19:09:14+00:00

345512cbda296d262a28459afc7f83640b06b6a8

This reverts commit 7ae964c55b0a2b8dccf076ced9f1ffa8d5487eca.

Revert "[mlir] Fix warnings"

This reverts commit 0e43b9547d56762d29de9a99c998e7939417a1f3.





This reverts commit 7ae964c55b0a2b8dccf076ced9f1ffa8d5487eca.

Revert "[mlir] Fix warnings"

This reverts commit 0e43b9547d56762d29de9a99c998e7939417a1f3.







[mlir] Fix warnings
2025-01-30T17:50:33+00:00

Kazu Hirata
kazu@google.com

2025-01-30T17:50:33+00:00

0e43b9547d56762d29de9a99c998e7939417a1f3

This patch fixes:

  mlir/lib/CAPI/Target/LLVMIR.cpp:38:63: error: extra ';' outside of a
  function is incompatible with C++98
  [-Werror,-Wc++98-compat-extra-semi]

  mlir/lib/CAPI/Target/LLVMIR.cpp:60:61: error: extra ';' outside of a
  function is incompatible with C++98
  [-Werror,-Wc++98-compat-extra-semi]





This patch fixes:

  mlir/lib/CAPI/Target/LLVMIR.cpp:38:63: error: extra ';' outside of a
  function is incompatible with C++98
  [-Werror,-Wc++98-compat-extra-semi]

  mlir/lib/CAPI/Target/LLVMIR.cpp:60:61: error: extra ';' outside of a
  function is incompatible with C++98
  [-Werror,-Wc++98-compat-extra-semi]







[mlir][llvmir] expose Type(To/From)LLVMIRTranslator C API  (#124864)
2025-01-30T17:43:22+00:00

Maksim Levental
maksim.levental@gmail.com

2025-01-30T17:43:22+00:00

7ae964c55b0a2b8dccf076ced9f1ffa8d5487eca












Reapply "[mlir] Add mlirTranslateModuleToLLVMIR to MLIR-C (#73627)" (#73749) (#73751)
2023-11-29T18:59:51+00:00

Vitaly Buka
vitalybuka@google.com

2023-11-29T18:59:51+00:00

7fb89bfb0f93d5cfe3cf661253bbb2e2ef19359a

Co-authored-by: Edgar <git@edgarluque.com>




Co-authored-by: Edgar <git@edgarluque.com>






Revert "[mlir] Re-Add mlirTranslateModuleToLLVMIR to MLIR-C (#73627)" (#73749)
2023-11-29T05:05:12+00:00

Vitaly Buka
vitalybuka@google.com

2023-11-29T05:05:12+00:00

4e49358cdcad9aed232ed1e95eab9ded5e6fd7b1

Still breaks
https://lab.llvm.org/buildbot/#/builders/5/builds/38743/steps/9/logs/stdio

There is some info on how to reproduce
https://github.com/google/sanitizers/wiki/SanitizerBotReproduceBuild

This reverts commit 523160555925ff451e7c6d213a377d191e514805.




Still breaks
https://lab.llvm.org/buildbot/#/builders/5/builds/38743/steps/9/logs/stdio

There is some info on how to reproduce
https://github.com/google/sanitizers/wiki/SanitizerBotReproduceBuild

This reverts commit 523160555925ff451e7c6d213a377d191e514805.






[mlir] Re-Add mlirTranslateModuleToLLVMIR to MLIR-C (#73627)
2023-11-29T01:37:11+00:00

Edgar
git@edgarluque.com

2023-11-29T01:37:11+00:00

523160555925ff451e7c6d213a377d191e514805

The test was checking something unrelated to what it controlled so it
failed after that part changed, i removed that.

See https://github.com/llvm/llvm-project/pull/73117




The test was checking something unrelated to what it controlled so it
failed after that part changed, i removed that.

See https://github.com/llvm/llvm-project/pull/73117






Revert "[mlir] Add mlirTranslateModuleToLLVMIR to MLIR-C (#73117)"
2023-11-27T23:09:51+00:00

Vitaly Buka
vitalybuka@google.com

2023-11-27T23:04:53+00:00

fea023b129190edeb503dbe947034f925bbda666

Breaks https://lab.llvm.org/buildbot/#/builders/5/builds/38700

This reverts commit c43c88501e3bc273a7c1074a19e86dc305ad7234.





Breaks https://lab.llvm.org/buildbot/#/builders/5/builds/38700

This reverts commit c43c88501e3bc273a7c1074a19e86dc305ad7234.