Jim Huang

[Cavatools](https://github.com/phaa-eu/cavatools) simulates a multi-core RISC-V machine. It provides "[uspike](https://github.com/phaa-eu/cavatools/tree/main/uspike)," which is a RISC-V instruction set interpreter. Python scripts extract instruction bit encoding and execution semantics from the [official GitHub repository](https://github.com/riscv/riscv-opcodes).

> The docker image size is around 470 MB, after numerous attempts to reduce its size from 3GB. Can you rebuild Infer static analysis tool with `-Os` set? And then,...

If Clang scan-build already makes sense to CI, do we need Infer? Can you show the considerations?

The [build-infer.sh](https://github.com/facebook/infer/blob/main/build-infer.sh) invokes `autogen.sh`, which generates GNU Automake style scripts. At the moment, only C and Python are required for static analysis. Reference: [The Growth of the OCaml Distribution](https://ocamlpro.com/blog/2023_01_02_ocaml_distribution/)

I don't think the proposed change resolves the insufficient memory issue because it just relies on compile-time configurations instead of an adaptive approach to acquire the necessary system resources based...

Reworked in commit feca1dea732e110a8b08926f3266d2db732147b0

After the merge of tier-1 JIT compiler, it is time to revisit our IR.

Modern CPUs invest substantial effort in predicting these indirect branches, but the Branch Target Buffer (BTB) has its limitations in size. Eliminating any form of indirect call or jump, including...

[FEX](https://github.com/FEX-Emu/FEX) is an advanced x86 emulation frontend, crafted to facilitate the running of x86 and x86-64 binaries on Arm64 platforms, comparable to qemu-user. At the heart of FEX's emulation capability...

The Java HotSpot Server Compiler (C2) utilizes a Sea-of-Nodes IR form designed for high performance with minimal overhead, similar to LLVM's approach with its control flow graph (CFG). However, in...