admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
aa53ba5d0b64bc084c243f7973ac5b026342208e
revng-revng/lib/CliftTransforms
T
History
Andrea Gussoni 5d023b32a4 EmitFieldAccesses: no assumption on composePtrAdd 
We now don't assume that the `PointerOperand` of a `ptr_add` leads to a
`Address` PA, nor that the `OffsetOperand` leads to a `Numeric` PA.

We now behave as a simple `composeAdd`, keeping the special `Offset`
scaling by the `PointeeSize` of the `PointerOperand`.
2026-03-19 17:31:42 +01:00
..
BestTraversal.cpp
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
BestTraversal.h
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
BooleanNegations.cpp
Add expression rewrite pass
2025-12-05 19:53:41 +02:00
CMakeLists.txt
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
EmitFieldAccesses.cpp
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
EmitFieldAccesses.h
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
Expressions.cpp
Clift: reject TypePunned for ArrayType
2026-03-18 17:25:13 +01:00
FieldAccessReplacement.cpp
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
FieldAccessReplacement.h
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
ImmediateRadixDeduction.cpp
Add immediate radix deduction pass
2025-12-05 19:53:41 +02:00
LabelMerging.cpp
Add label-merging pass
2025-12-05 19:53:41 +02:00
Legalization.cpp
Fix pointer arithmetic legalization
2025-12-05 15:01:14 +02:00
LoopDetection.cpp
Add BlockStatementOp
2025-12-05 15:01:14 +02:00
PatternRewriter.cpp
Add PatternRewriter.h
2025-12-05 19:53:41 +02:00
PointerArithmetic.cpp
EmitFieldAccesses: no assumption on composePtrAdd
2026-03-19 17:31:42 +01:00
PointerArithmetic.h
EmitFieldAccesses: implement pass
2026-03-18 17:25:13 +01:00
RewriteHelpers.cpp
Add RewriteHelpers.h
2025-12-05 19:53:41 +02:00
Statements.cpp
Add statement rewrite pass
2025-12-05 19:53:41 +02:00
TerminalBranchComplementHoisting.cpp
Add terminal-branch-complement-hoisting pass
2025-12-05 19:53:41 +02:00
TrivialReturnElimination.cpp
Add trivial-return-elimination pass
2025-12-05 19:53:41 +02:00