Pointer expressions#927

Draft

MorMahd wants to merge 120 commits intohernanponcedeleon:developmentfrom

MorMahd:pointerExpressions

Commits on Sep 9, 2025

Added rudimentary pointer expressions
Mahdhaoui
committed

Commits on Sep 15, 2025

fixed expr processing
Mahdhaoui
committed
ptr correction
Mahdhaoui
committed
fixed ptr to int wrong length
Mahdhaoui
committed

Commits on Sep 19, 2025

more fixes related to arch and ptr
Mahdhaoui
committed
more fixes and added PtrLiteral
Mahdhaoui
committed

Commits on Sep 23, 2025

visitor changes
Mahdhaoui
committed

Commits on Oct 20, 2025

removed intLiteral
Mahdhaoui
committed
removed PtrLiteral
Mahdhaoui
committed
Merge remote-tracking branch 'origin/pointerExpressions' into pointerExpressions
Mahdhaoui
committed
fixed litmus c
Mahdhaoui
committed
more fixes
Mahdhaoui
committed

Commits on Oct 27, 2025

Pointer size and visitor fixes
Mahdhaoui
committed
Vulkan modification, tests pass
Mahdhaoui
committed
Vulkan modification, all Vulkan tests pass
Mahdhaoui
committed
opencl modification
Mahdhaoui
committed

Commits on Nov 5, 2025

Merge remote-tracking branch 'Dat3M/development' into pointerExpressions
Mahdhaoui
committed
Merge remote-tracking branch 'Dat3M/development' into pointerExpressions
Mahdhaoui
committed
dev merge
Mahdhaoui
committed

Commits on Nov 6, 2025

Litmus lkmm changes
Mahdhaoui
committed
Litmus c11 fix
Mahdhaoui
committed
Added pointer concat and extract
Mahdhaoui
committed

Commits on Nov 10, 2025

Added pointer recognition to ops VisitorOpsConstant
Mahdhaoui
committed
--
Mahdhaoui
committed

Commits on Nov 11, 2025

added encoding and printing of pointer tearing
Mahdhaoui
committed

Commits on Nov 12, 2025

fixed test change
Mahdhaoui
committed

Commits on Nov 16, 2025

fixed more pointer compatibility problems
Mahdhaoui
committed

Commits on Nov 18, 2025

added pointer simplification
Mahdhaoui
committed

Commits on Nov 19, 2025

pthread tests pass in 2.timeout
Mahdhaoui
committed
fixed some asm problems and ptrCmp refactoring
Mahdhaoui
committed

Commits on Nov 22, 2025

improved pointer casts
Mahdhaoui
committed

Commits on Nov 23, 2025

added pointer addition simplification
Mahdhaoui
committed
restructuring of ptr <-> int encoding
Mahdhaoui
committed

Commits on Nov 26, 2025

- improved type recognition in c11 litmus
Mahdhaoui
committed
fixed litmus type mismatch
Mahdhaoui
committed

Commits on Nov 28, 2025

refactoring
Mahdhaoui
committed
Merge branch 'development' into pointerExpressions
Mahdhaoui
committed

Commits on Nov 29, 2025

non-termination tests pass
Mahdhaoui
committed

Commits on Nov 30, 2025

fixed the litmus wrong ptr default reg type
Mahdhaoui
committed

Commits on Dec 2, 2025

fixed some litmus compilation problems
Mahdhaoui
committed

Commits on Dec 5, 2025

renaming of some scoped pointer type variables (confusion between pointer and scoped pointer while searching)
Mahdhaoui
committed

Commits on Dec 7, 2025

added comments
Mahdhaoui
committed
fixed inline asm unsupported operation
Mahdhaoui
committed

Commits on Dec 8, 2025

fixed litmus c bitvector problem
Mahdhaoui
committed

Commits on Dec 9, 2025

improvement to casts
Mahdhaoui
committed
added ptr add to InclusionBasedPointerAnalysis
Mahdhaoui
committed

Commits on Dec 10, 2025

fixes
Mahdhaoui
committed

Commits on Dec 11, 2025

Commits on Dec 12, 2025

more clarity
Mahdhaoui
committed

Commits on Dec 13, 2025

fixed null ptr store
Mahdhaoui
committed
fixed null ptr store
Mahdhaoui
committed

Commits on Dec 14, 2025

small changes
Mahdhaoui
committed

Commits on Dec 17, 2025

merged detached branch
Mahdhaoui
committed

Commits on Dec 18, 2025

mem to reg gep fix to accept ptr add
Mahdhaoui
committed

Commits on Dec 19, 2025

fixed int encoding llvm tests failing
Mahdhaoui
committed

Commits on Dec 20, 2025

fixed one of spirv assertions tests
Mahdhaoui
committed

Commits on Dec 29, 2025

Commits on Jan 4, 2026

Cleanup
ThomasHaas
committed

Commits on Jan 24, 2026

All non broken Litmus tests pass.
Mahdhaoui
committed
Fixed memory + 0 and constant ptr mocking
Mahdhaoui
committed

Commits on Jan 25, 2026

Corrected asm riscv ptr type and extended llvm misc test by 4 sec
Mahdhaoui
committed
Merge branch 'development' into pointerExpressions
Mahdhaoui
committed
.
Mahdhaoui
committed
tearing only int inits fix
Mahdhaoui
committed

Commits on Jan 26, 2026

fixed nullptr forced 64 bit encoding
Mahdhaoui
committed
fixed llvm pthread test
Mahdhaoui
committed
improved pointer casting
Mahdhaoui
committed

Commits on Jan 27, 2026

fixed llvm timeout and mixed tests
Mahdhaoui
committed
forced litmus riscv ptrs' handling as ints
Mahdhaoui
committed
asm bug workaround
Mahdhaoui
committed

Commits on Jan 28, 2026

asm execution status workaround
Mahdhaoui
committed
fixed armv8 (armv7 still broken)
Mahdhaoui
committed

Commits on Jan 29, 2026

fixed armv7 asm and null pointer handling problem
Mahdhaoui
committed
fixed armv7 asm
Mahdhaoui
committed
Merge remote-tracking branch 'origin/pointerExpressions' into pointerExpressions
Mahdhaoui
committed

Commits on Jan 31, 2026

fixed non constrained variable
Mahdhaoui
committed
asm arm pointer casts only when needed
Mahdhaoui
committed
fixed some of "others" tests
Mahdhaoui
committed

Commits on Feb 1, 2026

others fixes.
Mahdhaoui
committed

Commits on Feb 2, 2026

fixed more others tests
Mahdhaoui
committed

Commits on Feb 3, 2026

fixed spirv others
Mahdhaoui
committed
removed necessary code
Mahdhaoui
committed
fixed full alias analysis recursion bug
Mahdhaoui
committed
andersen changes
Mahdhaoui
committed

Commits on Feb 4, 2026

Andersen alias fix
Mahdhaoui
committed

Commits on Feb 5, 2026

General improvements
Mahdhaoui
committed
Merge branch 'development' into pointerExpressions
Mahdhaoui
committed
General improvements
Mahdhaoui
committed
General improvements
Mahdhaoui
committed
General improvements
Mahdhaoui
committed
Merge remote-tracking branch 'Dat3M/memoryType' into pointerExpressions
Mahdhaoui
committed

Commits on Feb 6, 2026

Commits on Feb 9, 2026

removed redundant code
Mahdhaoui
committed
removed forced int ops from riscv
Mahdhaoui
committed
removed forced int ops from tso and c11
Mahdhaoui
committed
removed forced int binary op
Mahdhaoui
committed
removed redundant functions and casts
Mahdhaoui
committed
Reformat of modified files
Mahdhaoui
committed

Commits on Feb 10, 2026

Fixed some litmus c tests
Mahdhaoui
committed
Removed forced cast in intcmp
Mahdhaoui
committed
fix
Mahdhaoui
committed
fix
Mahdhaoui
committed
clarity and removed unused imports
Mahdhaoui
committed

Commits on Feb 12, 2026

added comments
Mahdhaoui
committed
Merge remote-tracking branch 'Dat3M/development' into pointerExpressions
Mahdhaoui
committed
added import
Mahdhaoui
committed
type fixes
Mahdhaoui
committed