Code

See through aggregates in GVN#116270

Code

Merged

bors merged 28 commits intorust-lang:masterrust-lang/rust:masterfrom cjgillot:gvn-aggregatecjgillot/rust:gvn-aggregateCopy head branch name to clipboardOct 29, 2023

+4,299-2,588

Commits

Commits on Oct 25, 2023

• Do not remove unused definitions inside GVN.

  cjgillot

  committed
  d284059

• Do not visit rvalues twice.

  cjgillot

  committed
  afd631c

• Evaluate computed values to constants.

  cjgillot

  committed
  38c86b0

• Do not intern too large aggregates.

  cjgillot

  committed
  db9bd9b

• Do not transmute immediates to non-immediates.

  cjgillot

  committed
  9389373

• Simplify projections in GVN.

  cjgillot

  committed
  692e528

• Simplify aggregate projections.

  cjgillot

  committed
  48d2157

• Simplify repeat expressions.

  cjgillot

  committed
  f110f22

• Do not compute actual aggregate type.

  cjgillot

  committed
  23d4857

• Extract simplify_aggregate.

  cjgillot

  committed
  80a5e85

• Transform large arrays into Repeat expressions when possible.

  cjgillot

  committed
  dbf9ea3

• Do not intern GVN temps.

  cjgillot

  committed
  8162dc2

• Directly intern values instead of copying them.

  cjgillot

  committed
  ebc87bf

• Move provenance checks out of interning method.

  cjgillot

  committed
  ff6812c

• Explain why we check variant equality.

  cjgillot

  committed
  fbf0a0c

• Fortify transmute check.

  cjgillot

  committed
  59235a7

• Do not require absence of metadata.

  cjgillot

  committed
  e3538d1

• Take an AllocId in intern_const_alloc_for_constprop.

  cjgillot

  committed
  f08dc9b

• Disambiguate non-deterministic constants.

  cjgillot

  committed
  5e78b9c

• Complete comments.

  cjgillot

  committed
  f6aa3ee

• Valtrees for primitive types are fine.

  cjgillot

  committed
  50559ce

• FileCheck gvn.

  cjgillot

  committed
  ac0228d

• Do not merge fn pointer casts.

  cjgillot

  committed
  c4cc9ca

• Verify that the alloc_id is Memory.

  cjgillot

  committed
  d80eb3a

• Typo.

  cjgillot

  committed
  eda1928

• Rename has_provance and tweaks comments.

  cjgillot

  committed
  72f0e0e

• Directly check provenance from the AllocId.

  cjgillot

  committed
  8561618

Commits on Oct 27, 2023

• Apply suggestions from code review

  Show description for 24be433
  

  cjgillot

  and

  RalfJung

  authored
  24be433