Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 29, 2024

• Reduce max_nof_inst

  kristerw

  committed
  4e79c43
  More actions

• Remove CSE of min/max

  kristerw

  committed
  51a0ec2
  More actions

Commits on Oct 28, 2024

• Improve workaround for non-canonical NaN

  kristerw

  committed
  d747a65
  More actions

Commits on Oct 27, 2024

• Clean up

  kristerw

  committed
  20ef507
  More actions

• Canonicalize "ne x, y" as "not (eq x, y)"

  kristerw

  committed
  f01b0d4
  More actions

• Simplify Op::SLT

  kristerw

  committed
  32e45aa
  More actions

• Simplify Op::SLE and Op::ULE

  kristerw

  committed
  3755ed0
  More actions

• Simplify Op::ULT

  kristerw

  committed
  f0f0c0f
  More actions

• Simplify Op::ULE

  kristerw

  committed
  dd6c179
  More actions

• Generalize simplify_eq/simplify_ne

  kristerw

  committed
  28117c6
  More actions

• Improve handling of non-standard Boolean types

  kristerw

  committed
  7db6a64
  More actions

Commits on Oct 25, 2024

• Handle src_mem/tgt_mem when reading IR

  kristerw

  committed
  1d4394b
  More actions

• Fix minor inefficiency in generated Z3 code

  kristerw

  committed
  f715ac7
  More actions

• Don't special-case floating-point in ITE

  kristerw

  committed
  291a98d
  More actions

• riscv: implement the .set assembler directive

  kristerw

  committed
  548053e
  More actions

• smtgcc-tv-backend: unroll one extra iteration

  kristerw

  committed
  e2de154
  More actions

• aarch64: implement ldpsw

  kristerw

  committed
  c0a177b
  More actions

• aarch64: improve .set

  kristerw

  committed
  b3b4ad3
  More actions

• aarch64: do not hard-code the stack memory ID

  kristerw

  committed
  687cf0d
  More actions

Commits on Oct 22, 2024

• Report "not implemented" for DECL_REGISTER variables

  kristerw

  committed
  980f48c
  More actions

• Report "not implemented" for gimple_asm_noutputs > 0

  kristerw

  committed
  5cd998c
  More actions

• CSE min(x,y) with min(y,x) and max(x,y) with max(y,x)

  kristerw

  committed
  8b19ee7
  More actions

• Canonicalize comparisons

  kristerw

  committed
  5f05381
  More actions

• Remove duplicated code

  kristerw

  committed
  8c75c06
  More actions

Commits on Oct 21, 2024

• Improve workaround for non-canonical NaN

  kristerw

  committed
  98e00ea
  More actions

Commits on Oct 20, 2024

• aarch64: implement ngc and ngcs

  kristerw

  committed
  03fe6d7
  More actions

• aarch64: implement smnegl and umnegl

  kristerw

  committed
  7b94b2a
  More actions

• aarch64: implement smsubl and umsubl

  kristerw

  committed
  753c329
  More actions

• aarch64: bugfix csetm

  kristerw

  committed
  7ade0ff
  More actions

• CFG canonicalization

  kristerw

  committed
  7e0946f
  More actions

• simplify Op::S2F and Op::U2F

  kristerw

  committed
  bf967b9
  More actions

• simplify Op::EQ/Op::NE of extended arguments

  kristerw

  committed
  6903d73
  More actions

• aarch64: implement the .set assembler directive

  kristerw

  committed
  36a6509
  More actions

• aarch64: implement bfxil

  kristerw

  committed
  5aa4d6a
  More actions

• aarch64: implement bfi

  kristerw

  committed
  8008e02
  More actions

Pagination

PreviousNext