Re-land "[SandboxIR] Add debug checker to compare IR before/after a revert (#115968)" (#116671)

This PR re-lands https://github.com/llvm/llvm-project/pull/115968 with a
fix for a buildbot failure.

Re-land "[SandboxIR] Add debug checker to compare IR before/after a revert (#115968)" (#116671)

This PR re-lands https://github.com/llvm/llvm-project/pull/115968 with a
fix for a buildbot failure.

The `IRSnapshotChecker` class is only defined in debug mode, so its unit
tests must also be inside `#ifndef NDEBUG`.

show more ...

Revert "[SandboxIR] Add debug checker to compare IR before/after a revert" (#116666)

Reverts llvm/llvm-project#115968. It caused buildbot failures.

[SandboxIR] Add debug checker to compare IR before/after a revert (#115968)

This will help us catch mistakes in change tracking. It's only enabled
when EXPENSIVE_CHECKS are enabled.

[SandboxIR] Preserve the order of switch cases after revert. (#115577)

Preserving the case order is not strictly necessary to preserve
semantics (for example, operations like SwitchInst::removeCase

[SandboxIR] Preserve the order of switch cases after revert. (#115577)

Preserving the case order is not strictly necessary to preserve
semantics (for example, operations like SwitchInst::removeCase will
happily swap cases around). However, I'm planning to introduce an
optional verification step for SandboxIR that will use StructuralHash to
compare IR after a revert to the original IR to help catch tracker bugs,
and the order difference triggers a difference there.

show more ...

[SandboxIR] Switch more Instruction::create() functions to InsertPosition (#111075)

[SandboxIR][NFC] Move Function class to a separate file (#110526)

[SandboxIR][NFC] Move Instruction classes into a separate file (#110294)

[SandboxIR] Implement GlobalAlias (#109019)

This patch implements sandboxir::GlobalAlias, mirroring
llvm::GlobalAlias.

[SandboxIR] Implement GlobalVariable (#108642)

This patch implements sandboxir::GlobalVariable mirroring
llvm::GlobalVariable.

[SandboxIR] Implement GlobalIFunc (#108622)

This patch implements sandboxir::GlobalIFunc mirroring
llvm::GlobalIFunc.

[SandboxIR] Implement GlobalValue (#108317)

This patch implements sandboxir::GlobalValue mirroring
llvm::GlobalValue. Please note that the implementation is incomplete as
it's missing several memb

[SandboxIR] Implement GlobalValue (#108317)

This patch implements sandboxir::GlobalValue mirroring
llvm::GlobalValue. Please note that the implementation is incomplete as
it's missing several member functions.

show more ...

[SandboxIR] Add remaining SelectInst methods and track swapValues() (#108114)

[SandboxIR] Implement CmpInst, FCmpInst, and ICmpInst (#106301)

As in the description.

Not sure the macros for "WRAP_XXX" add value or not, but do save some
boiler plate. Maybe there is a better

[SandboxIR] Implement CmpInst, FCmpInst, and ICmpInst (#106301)

As in the description.

Not sure the macros for "WRAP_XXX" add value or not, but do save some
boiler plate. Maybe there is a better way.

show more ...

[SandboxIR] Add tracking for ShuffleVectorInst::commute. (#106644)

Track it as an operand swap + a `setShuffleMask` and delegate to the
`llvm::ShuffleVectorInst` implementation.

[SandboxIR] Implement SandboxIR Type (#106294)

This patch implements sandboxir::Type, a thin wrapper of llvm::Type.
This is designed very similarly to sandbox::Value. Context owns all
sandboxir::T

[SandboxIR] Implement SandboxIR Type (#106294)

This patch implements sandboxir::Type, a thin wrapper of llvm::Type.
This is designed very similarly to sandbox::Value. Context owns all
sandboxir::Type objects and maintains a map between llvm::Type and
sandboxir::Type.

There are a couple of reasons for migrating from llvm::Type to
sandboxir::Type:
- Creating an llvm::Type from within SandboxIR-only code doesn't work
well because it requires you to pass llvm::Context to functions like
llvm::Type::getInt32Ty(C), but you wouldn't normally have access to
llvm::Context C. In unit tests this is not such a big deal because you
have access to both, but it will become an issue in SandboxIR-only code.
- Not being able to get the sandboxir::Context from llvm::Type results
in awkward sandboir APIs with additional sandboxir::Context arguments.
- llvm::Type::getContext() can basically give you access to the whole
LLVM IR, which we should try to avoid.

show more ...

[SandboxIR] Implement PossiblyNonNegInst (#106149)

This patch implements sandboxir::PossiblyNonNegInst mirroring
llvm::PossiblyNonNegInst.

[SandboxIR] Implement PossiblyDisjointInst (#106148)

This patch implements sandboxir::PossiblyDisjointInst mirroring
llvm::PossiblyDisjointInst.

[SandboxIR] Implement LandingPadInst (#106116)

This patch implements sandboxir::LandingPadInst mirroring
llvm::LandingPadInst.

[SandboxIR] Implement FenceInst (#105920)

This patch implements sandboxir::FenceInst mirroring llvm::FenceInst.

[SandboxIR] Implement CleanupReturnInst (#105750)

This patch implements sandboxir::CleanupReturnInst mirroring
llvm::CleanupReturnInst.

[SandboxIR] Implement CatchReturnInst (#105605)

This patch implements sandboxir::CatchReturnInst mirroring
llvm::CatchReturnInst.

[SandboxIR] Implement FuncletPadInst, CatchPadInst and CleanupInst (#105294)

This patch implements sandboxir::FuncletPadInst,CatchInst,CleanupInst
mirroring their llvm:: counterparts.

[SandboxIR] Add tracking for `ShuffleVectorInst::setShuffleMask`. (#105590)

[SandboxIR] Implement CatchSwitchInst (#104652)

This patch implements sandboxir::CatchSwitchInst mirroring
llvm::CatchSwitchInst.

[SandboxIR] Implement SwitchInst (#104641)

This patch implements sandboxir::SwitchInst mirroring llvm::SwitchInst.