| commit | ecb2bd804d31d44b4e00c96b8a13528ff009d44c | [log] [tgz] |
|---|---|---|
| author | Wei Yi Tee <wyt@google.com> | Tue Aug 02 09:45:26 2022 -0700 |
| committer | Copybara-Service <copybara-worker@google.com> | Tue Aug 02 09:46:00 2022 -0700 |
| tree | 9edbb0068c46bfcdafb183e14180d36067f032ed | |
| parent | c46666a35713ae2eddef6cc0aacdc28a5c98dd34 [diff] |
Update formalisation of transfer functions: - Semantics for 2-bit pointer nullability representation. -> Bit 1 represents if a pointer's nullability is known. -> Bit 2 represents if a pointer is not null. - Simplify formulas for interpreting pointer comparisons. PiperOrigin-RevId: 464815487
Extremely experimental interop tooling for C++ and Rust.
Please don‘t use, this is an experiment and we don’t yet know where will it take us. There will be breaking changes without warning. Unfortunately, we can't take contributions at this point.
$ apt install clang lld bazel $ git clone git@github.com:google/crubit.git $ cd crubit $ bazel build --linkopt=-fuse-ld=/usr/bin/ld.lld //rs_bindings_from_cc:rs_bindings_from_cc_impl
$ git clone https://github.com/llvm/llvm-project $ cd llvm-project $ CC=clang CXX=clang++ cmake -S llvm -B build -DLLVM_ENABLE_PROJECTS='clang' -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=install $ cmake --build build -j $ # wait... $ cmake --install build $ cd ../crubit $ LLVM_INSTALL_PATH=../llvm-project/install bazel build //rs_bindings_from_cc:rs_bindings_from_cc_impl