Andrea Gussoni 4e3af009fe Expressions: fold x[0] into *x ...

Implement a DDR rewriting for folding the `x[0]` into `*x`, in order
to avoid a useless verbose syntax. Due to concatenation of rewrites, we
will get `&(x[0])` transformed into `x`, which is the rewriting we are
aiming to.

2026-04-14 09:52:07 +02:00

..

llvm_lit_tests

GenericRegion: improve Head election

2025-12-03 16:37:17 +01:00

mlir_lit_tests

Expressions: fold x[0] into *x

2026-04-14 09:52:07 +02:00

test_graphs

Add FilteredGraphTraits with tests

2020-06-13 10:36:08 +02:00

TestGraphs

Rename tests/Unit to tests/unit

2022-04-21 09:56:56 +02:00

TupleTreeGenerator

TTG: remove support for optional: true fields

2025-10-13 18:33:10 +03:00

ADT.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

AdvancedValueInfo.cpp

isolate: clone root module conservatively

2026-02-05 10:20:45 +01:00

Alignment.cpp

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00

ClassSentinel.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

CliftType.cpp

importModelTypes -> importTypes

2026-03-26 16:28:48 +00:00

CMakeLists.txt

Remove unnecessary Clift unit test

2026-04-08 11:12:41 +03:00

CombingPass.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

ConstantRangeSet.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

DepthFirstVisit.h

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

DLAStepManager.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

DLASteps.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

DoxygenEmitter.cpp

Fix DoxygenEmitter line prefix emission

2026-04-09 18:37:46 +03:00

FilteredGraphTraits.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

GenericGraph.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

GraphAlgorithms.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

GzipTarFile.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

GzipTarFileGenerator.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

GzipTarFileGeneratorTest.sh

Standardize unit test names

2024-02-09 10:04:27 +01:00

InstantiatePasses.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

IRHelpers.cpp

Introduce getOrCreateGlobal

2025-12-22 11:34:47 +01:00

KeyedObjectsContainers.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

LazySmallBitVector.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

Location.cpp

Avoid ' misuse in error messages and comments

2025-04-17 16:41:21 +02:00

MetaAddress.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

Model.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

ModelType.cpp

ModelTypeTests: pass the binary to the verifier

2024-11-06 15:42:44 +02:00

Pipeline.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

PipelineC.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

PipelineCTracing.cpp

Avoid llvm::ExitOnError in non-tool binaries

2025-10-08 12:22:34 +03:00

PointerArrayEmission.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

RecursiveCoroutine2.cpp

Fix revng build with coroutines disabled

2026-02-25 12:47:27 +01:00

RecursiveCoroutine.cpp

Drop experimental from coroutines

2023-04-08 08:42:23 +02:00

RegisterStateDeductions.cpp

RegisterStateDeduction: fix heap-buffer-overflow

2024-06-27 11:05:52 +02:00

RegisterUsageAnalyses.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

ShrinkInstructionOperandsPass.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

SimpleRecursiveCoroutine.h

clang-tidy: readability-identifier-naming

2022-01-07 09:18:05 +01:00

SmallMap.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

StatementCommentPlacement.cpp

Generalize CommentPlacementHelper

2026-02-13 08:41:39 +02:00

TestKeyedObject.h

Standardize concept naming across the codebase

2022-08-05 17:27:56 +03:00

TypeBucket.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

TypeShrinking.ll

Introduce TypeShrinking tests

2024-07-10 16:19:27 +02:00

UpcastablePointer.cpp

Remove and ban \file

2025-12-16 17:41:55 +01:00

ZipMapIterator.cpp

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00