Commit Graph

117 Commits

Author SHA1 Message Date
Patrick Stevens
0e31d74586 Implement Ldobj and Box for reference types (#124) 2025-08-30 15:36:26 +00:00
Patrick Stevens
8112b122fb Compute byte form for CliType where necessary (#123) 2025-08-29 23:19:29 +00:00
Patrick Stevens
5173805562 Concretize all base class types eagerly (#122) 2025-08-29 17:57:19 +00:00
Patrick Stevens
cb5d76f059 Prepare for overlapping struct field handling (#121) 2025-08-29 17:27:34 +00:00
Patrick Stevens
5e7bd969ba Convert correctness bug in overlapping fields into a failwith (#120) 2025-08-29 08:45:23 +00:00
Patrick Stevens
07fabfff65 Implement sizeof completely (#119) 2025-08-27 23:46:50 +00:00
Patrick Stevens
655ba4400a Centralise field handling in structs (#118) 2025-08-27 19:49:50 +01:00
Patrick Stevens
c58c8ce678 Progress towards the GenericEdgeCases test (#96) 2025-08-25 11:27:14 +00:00
Patrick Stevens
239ae0f0cd Implement dereferencing more (#117) 2025-08-24 19:44:18 +00:00
Patrick Stevens
4de0dbd816 Add another test and put real-version first (#116) 2025-08-24 19:38:43 +00:00
Patrick Stevens
91aff34d1e Fix a TODO (#115) 2025-08-24 19:27:38 +00:00
Patrick Stevens
f9e186ba8f Initobj (#114) 2025-08-24 19:23:50 +00:00
Patrick Stevens
622d0782ae Add field pointer handle (#113) 2025-08-24 09:44:57 +00:00
Patrick Stevens
3e4b0a7b7e Plumb through field offset info (#112) 2025-08-24 09:05:31 +00:00
Patrick Stevens
5f35c7a7cd ConcreteChar matcher (#111) 2025-08-24 08:13:06 +00:00
Patrick Stevens
9afc7efea1 Interface dispatch (#100) 2025-08-23 21:43:57 +00:00
Patrick Stevens
2190f148e1 Test for interface dispatch (#109) 2025-08-23 17:50:07 +00:00
Patrick Stevens
e2e3d5c3bf Tidy up a bit (#108) 2025-08-23 17:41:12 +00:00
Patrick Stevens
92f22cff42 Plumb generic metadata through (#107) 2025-08-23 15:18:05 +01:00
Patrick Stevens
3bdfeaf8a1 Delete spare Program.fs (#106) 2025-08-22 19:20:54 +00:00
Patrick Stevens
5c14baec9f Store interface implementations (#105) 2025-08-22 19:17:39 +00:00
Patrick Stevens
174e415c70 Add constraints to generics (#104) 2025-08-22 19:14:19 +00:00
Patrick Stevens
a531531aef More concrete active patterns (#103) 2025-08-22 19:11:02 +00:00
Patrick Stevens
4c64dd7eb5 Implement Bne_un_s (#102) 2025-08-22 13:37:56 +00:00
Patrick Stevens
cfd6716616 Switch back to NUnit (#101) 2025-08-22 13:34:36 +00:00
Patrick Stevens
d711d6fff5 Check types of JIT calls (#97) 2025-08-10 22:32:23 +00:00
Patrick Stevens
6dbe6614d5 Remove local variable checks in tests (#98) 2025-08-10 22:29:02 +00:00
Patrick Stevens
d8b7e84f6c Implement bgt_s (#95) 2025-07-05 23:32:12 +01:00
Patrick Stevens
3af1f2cc97 Implement Ldtoken for fields (#94) 2025-07-05 22:21:58 +01:00
Patrick Stevens
56d1cf63d6 Remove weird duplicate ConcreteType thing (#93) 2025-07-04 18:43:45 +00:00
Patrick Stevens
de1eefb436 Implement Sizeof (#92) 2025-07-04 18:08:56 +00:00
Patrick Stevens
30b8ec990f Split up IlMachineState (#91) 2025-07-03 08:51:48 +01:00
Patrick Stevens
2efe9803da Switch to Expecto (#89) 2025-07-02 23:14:29 +00:00
Patrick Stevens
f39e7c07bf Concrete types - lots of tech debt in here (#79) 2025-07-02 22:41:13 +01:00
Patrick Stevens
ad8e625678 Fix stelem of nested generic (#86) 2025-07-02 21:22:16 +00:00
Patrick Stevens
0fc4335760 Add another generic for MethodInfo (#85) 2025-07-02 17:49:24 +00:00
Patrick Stevens
c79f775ce4 Add a type parameter on FieldInfo to represent signature (#84) 2025-07-02 17:41:28 +00:00
Patrick Stevens
b5f4ed6dec Add more comments (#83) 2025-07-02 17:29:54 +00:00
Patrick Stevens
af3e4f20f2 Implement shl, shr, or (#82) 2025-07-02 16:42:36 +00:00
Patrick Stevens
3d5667ebba Implement another conversion (#81) 2025-07-01 21:55:18 +00:00
Patrick Stevens
4dbb737648 Module method IsJITIntrinsic (#77) 2025-06-30 22:21:00 +01:00
Patrick Stevens
ddd6374c72 More corelib (#76) 2025-06-30 22:15:33 +01:00
Patrick Stevens
711bfd5aad Add namespace info to types (#75) 2025-06-27 21:41:53 +01:00
Patrick Stevens
84df17295b Implement another comparison case (#74) 2025-06-27 18:49:20 +00:00
Patrick Stevens
641040509f Test float comparisons (#73) 2025-06-27 14:06:01 +00:00
Patrick Stevens
7c636b61a7 Implement Ldelem etc (#72) 2025-06-27 13:28:38 +00:00
Patrick Stevens
4352bfa218 Split binary ops into another file (#71) 2025-06-27 11:19:14 +00:00
Patrick Stevens
477cb9b3fb Delete spare files (#70) 2025-06-27 11:02:18 +00:00
Patrick Stevens
c859f88f52 Rejig test harness (#68) 2025-06-27 10:54:00 +00:00
Patrick Stevens
5cf0789439 Bump flake, add claude-code (#66) 2025-06-25 23:40:20 +01:00