Goose  Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

9 check-ins using file bs/codegen/stack.h version 0990ce7032

2023-02-07
15:49
Removed the ToType extension point, go through typechecking instead for converting things such as tuple of types into types. This is more generic than the previous approach and will avoid some pitfalls in the future. check-in: 1b18849f5c user: zlodo tags: trunk
2023-01-30
19:33
Implemented the _IsTrivialInitialization extension point to optimize tuple initialization in the same way as assignments check-in: d70fa1ef12 user: zlodo tags: trunk
2023-01-29
20:48
  • Added the _IsTrivialAssignment extension point to indicate whether an assignment between two given types is trivial or absolutely needs to be resolved to an operator_assign invocation
  • Use the above to simplify tuple assignments when all the contained members have trivial assignments
check-in: 7751ce994d user: zlodo tags: trunk
2023-01-24
18:02
  • Refactored tuple assignment operator and fixed a case where it would crash
  • Fixed incorrect CIR code generation involving constant tuples containing computed values
check-in: b47efa975d user: zlodo tags: trunk
2023-01-10
22:29
ToString: don't print addresses of void pointers anymore check-in: c8f5e99651 user: zlodo tags: trunk
22:01
Implemented textual dump of a function's CIR to more easily inspect it and implement some code generation tests at the CIR level check-in: 4edae7e1a3 user: zlodo tags: trunk
2023-01-09
19:06
Fixed bad hashing implementation of terms containing a locationId that caused some absurd crash in the verifier check-in: 8fd3b7a078 user: zlodo tags: trunk
2023-01-06
19:13
Remove redundant calls to the ToType extension point when compiling function bodies check-in: 78a358141d user: zlodo tags: trunk
2023-01-05
19:44
Fixed passing tuple by value to functions, which involved properly handling type checking of constant tuples containing computed data and some codegen bugs check-in: 9b8306c3af user: zlodo tags: trunk