Repository navigation

Predicatedinstructions - #255

Merged

sipma merged 16 commits into

static-analysis-engineering:masterfrom

sipma:predicatedinstructions

Aug 3, 2026

Merged

Predicatedinstructions#255
sipma merged 16 commits into
static-analysis-engineering:masterfrom
sipma:predicatedinstructions

Commits on Jul 14, 2026
- CHB:ARM:add conditions for RSB and ORR
  sipma
  committed
  1922900
- CHB:ARM: add explicit flags_used field to opcode records
  sipma
  committed
  7cad93a
- CHB:ARM: add semantics for SBC
  sipma
  committed
  bb15f56
Commits on Jul 15, 2026
- CHB:ARM: add semantics for ADC and RSC
  sipma
  committed
  bb4a545
Commits on Jul 20, 2026
- CHB:ARM: add wide-operation aggregates
  sipma
  committed
  cc3599e
Commits on Jul 21, 2026
- CHB:generic support for wide operations
  sipma
  committed
  72cd07c
Commits on Jul 29, 2026
- XPR: add simplification rules for wide operations
  sipma
  committed
  b0ce293
- CHB: add option to specify aggregates in userdata
  sipma
  committed
  3bf1d6c
- CHB:ARM:add command-line switch to specify hard vs soft float
  sipma
  committed
  43295e4
- CHB:ARM:move call-return-value structuring to libarm32
  sipma
  committed
  6f96c63
- CHB:ARM:incorporate hard/soft float in function signature
  sipma
  committed
  da7d537
Commits on Jul 30, 2026
- XPR: remove underscores from xf operator
  sipma
  committed
  8c9b82b
- CHB: add type utility function
  sipma
  committed
  5495383
- CHB:ARM: support for wide operations
  sipma
  committed
  4abc7d3
Commits on Aug 3, 2026
- CHB:feedback info on wide-op sequences
  sipma
  committed
  57fb38b
- CHB:ARM:wide operation sequences
  sipma
  committed
  c63e1f7