Commit Graph

9144 Commits

Author SHA1 Message Date
Ryszard Rozak e54fcb7bc9 Remove old functions
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak cc59bb6bad WIP: Refactoring
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 0882f93d9b Update comments
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak f832edcdeb Add comment
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 237e9154df Use UniqueNames
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 6f2639aee0 Remove memory leak
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
github action 34b170acb0 Apply 'make format' 2026-02-12 09:41:10 +01:00
Ryszard Rozak db5f454d86 Start cloning from the 2nd iteration
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 93904eb786 Fix type of i
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 4232553f06 TMP: Update golden output
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 681fe77f72 Change NBA to BA in test in case of array of struct
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 485e32a56e Save copies before next cloneTree
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 5f5f1970d7 Use cloned lhsp
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 1ee32af229 Extend struct with another field
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 0e1aa435b6 Fix init of __En vars
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
github action 2dcc22766c Apply 'make format' 2026-02-12 09:41:10 +01:00
Ryszard Rozak d2824accb8 Add if for StructSel
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak b231727a1f Handle more complex array selects
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 0560332356 Switch to new forcedUpdate in handling of AstRelease
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak e72fc60179 Remove warning regarding complex array elem dtype
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 55c4a11116 Handle structs in Rd updates
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 77fda9683d Split long expression, throw error on unhandled type
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 8ee53a8e80 Fix handling of force assignments to real dtype vars
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 0efe6c735e TMP: Return nullptr in unhandled cases
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 442f4a3a72 Fix update of Rd vars
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 0885422372 WIP: Create nested loops in recursive function
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 06e8a06bad Don't use unpackDimensions
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 3dda440d17 Fix memory leaks
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak c159935321 Remove m_selIndices
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 91a9eef3d2 TMP: Restore previous way
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak d03d628ce2 Propagate changes for other expressions
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 26736c1156 Utilize clonep
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 1cfc7de87d Create lhsp of assignment by copying whole expression
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 1803aabf4f Keep old approach for packed types
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak cf56c288ad Remove unused variable
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak dd2e0f1d6f Add initialization of __En struct var
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak d0e6caee44 Remove unneeded nested if
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak 5acebddeb4 Don't throw error on unpacked struct
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
Ryszard Rozak c1d4d7af10 Extract case with forcing struct to separate test
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:09 +01:00
Igor Zaworski 446bec3d1a
Fix event triggering (#6932) 2026-02-11 10:35:59 -08:00
Yilou Wang e41436bd4a
Support inherited and nested pre/post_randomize callbacks (#7049) (#7053) 2026-02-11 09:33:57 -08:00
Yilou Wang 554fcef627
Fix rand_mode()/constraint_mode() when used as function arguments (#7051) (#7055) 2026-02-11 09:33:09 -08:00
Yilou Wang 996a4b6e1a
Fix constraint_mode()/rand_mode() in constructor being overwritten by init code (#7054) 2026-02-11 09:32:08 -08:00
Yilou Wang 84350859e0
Support System Functions in Constraint Blocks (#7028) (#7036) 2026-02-11 05:19:25 -08:00
Pawel Kojma 5d12ae3a2f
Fix non-member identifiers used inside constraints (#7033) 2026-02-11 05:18:24 -08:00
Yilou Wang 22dc437dbb
Support std::randomize() for queue, dynamic array, and associative array variables (#7044) 2026-02-10 18:24:25 -08:00
Wilson Snyder 67bff893bf Fix whitespace 2026-02-10 20:17:22 -05:00
Yilou Wang 2bb807a931
Fix Inline foreach constraints on dynamic arrays of class objects (#7030) (#7037) 2026-02-10 15:22:31 -08:00
Geza Lore a031dd1a22
Fix tracing without module inlining to match with inlining (#7041)
This is an attempt to generate an identical trace file scope hierarchy
both with and without -fno-inline. Primarily because it's needed for
testing in upcoming patch, but also improves consitency prior to #7001
2026-02-10 21:05:41 +00:00
Geza Lore 021e0ba81b
Testing: Bump vcddiff to latest (#7040) 2026-02-10 20:08:23 +00:00