Commit Graph

119 Commits

Author SHA1 Message Date
Sameer Rahmani b175d0f7ed Upgrade to llvm 13rc2 2021-08-28 18:09:24 +01:00
Sameer Rahmani 54b4458a8d Cleanup the exprs namespace for the episode 5 2021-07-30 12:17:41 +01:00
Sameer Rahmani f8b66934a1 Remove the unused 'toString' member function for readar classes 2021-07-19 15:50:59 +01:00
Sameer Rahmani 5b5e40c012 update the video.org for episode 4 2021-07-19 15:44:39 +01:00
Sameer Rahmani ea0bc28f01 Fix the test cases to use reader::read instead of the Reader#read 2021-07-19 09:38:07 +01:00
Sameer Rahmani cb5ea22081 Clean up the reader namespace code 2021-07-17 19:39:56 +01:00
Sameer Rahmani 5beffbc604 Fix the test cases of traits 2021-07-17 16:40:02 +01:00
Sameer Rahmani 9102085d83 Add the overview section to the videos doc 2021-07-10 17:52:53 +01:00
Sameer Rahmani a6254b0876 Lower the FnOp with the simplest possible impl 2021-06-25 23:09:46 +01:00
Sameer Rahmani fc0c41e893 Connect the Fn expr with FnOp 2021-06-25 21:47:24 +01:00
Sameer Rahmani 098365425d Add a very basic 'fn' operator to slir 2021-06-23 20:34:57 +01:00
Sameer Rahmani 7f7f49d3ac Add Basic setup for lowering the llvm dialect to the LLVMIR 2021-06-21 11:03:18 +01:00
Sameer Rahmani bd4dc2301c Add the LIR phase to lower everything to the llvm dialect 2021-06-17 13:19:19 +01:00
Sameer Rahmani ecedb14a12 Refactor the IR generation/dump process 2021-06-16 20:19:42 +01:00
Sameer Rahmani cb9914f6eb Fix the memory leak on Namespace 2021-06-15 01:21:48 +01:00
Sameer Rahmani 782c786baf Reformat files with the new clang-format config 2021-06-13 22:58:46 +01:00
Sameer Rahmani 65b6aa4020 Add the IR generation facilities to Namespace and Expression 2021-06-13 22:40:58 +01:00
Sameer Rahmani 7e319ece13 Add the bare min pass to convert slir to std dialect 2021-06-11 22:06:44 +01:00
Sameer Rahmani 36eef7222f Setup a very basic IR generation process 2021-06-09 13:29:14 +01:00
Sameer Rahmani d52c6adc1d Add SLIR missing files 2021-06-08 22:03:12 +01:00
Sameer Rahmani 616dca53fb Add SLIR skeleton to start the generator 2021-06-08 22:01:08 +01:00
Sameer Rahmani bfac2eff3f Set fn name for functions via def 2021-06-01 20:47:46 +01:00
Sameer Rahmani c21055716c Fix some test cases related to call exprs 2021-05-24 21:17:33 +01:00
Sameer Rahmani 328c8c7e41 Fix the null reference issue in Call expr 2021-05-09 21:50:56 +01:00
Sameer Rahmani 0ce47a0b6a Finish up the basic implementation of Call expr 2021-05-09 12:21:26 +01:00
Sameer Rahmani ff82772cd6 Implement a basic environment setup/lookup via 'def' and 'list' 2021-05-08 19:00:24 +01:00
Sameer Rahmani bbf3bd3660 Clean up the unsed expr traits 2021-05-06 21:00:58 +01:00
Sameer Rahmani fde6636ca2 Modify the Node and MaybeX to contain Serene's Error instead of llvm
Previously, MaybeNode and MaybeAST use to have the llvm::Error as the
error type. But after this change they will have a `vector` of
`serene::errors::Error` as the error type.
2021-05-06 19:17:57 +01:00
Sameer Rahmani add3765982 Add necessary Traits to construct an Expression alternative 2021-05-04 21:10:52 +01:00
Sameer Rahmani d0defdbf54 Add tests for MetaTrait concept 2021-05-03 22:45:35 +01:00
Sameer Rahmani b121483f2b Move the traits header to the appropriate place 2021-05-01 21:40:30 +01:00
Sameer Rahmani 179ef75793 Add A basic Trait like system using CRTP 2021-05-01 20:08:49 +01:00
Sameer Rahmani 6ce565163c Add support for current namespace in the context 2021-04-29 23:39:58 +01:00
Sameer Rahmani f2a76aa007 Add a minimal test case for namespace to pin down some behavior 2021-04-28 21:03:22 +01:00
Sameer Rahmani 33c6ebd3d3 Setup the ns table in the context class 2021-04-27 23:43:18 +01:00
Sameer Rahmani 66cecc77f3 Add the namespace table to the context 2021-04-26 21:29:44 +01:00
Sameer Rahmani c1c1421531 Rename 'maybe_ast' type to 'MeybeAst' 2021-04-25 23:08:40 +01:00
Sameer Rahmani 32ddfc313f Rename 'ast' type to 'Ast' 2021-04-25 23:07:08 +01:00
Sameer Rahmani 7bc9535617 Rename 'maybe_node' type to 'MaybeNode' 2021-04-25 23:05:21 +01:00
Sameer Rahmani 095d1872c1 Rename the 'node' type to 'Node' 2021-04-25 23:02:52 +01:00
Sameer Rahmani 0e58304462 Create the boilerplate of the call expression 2021-04-25 22:56:31 +01:00
Sameer Rahmani c04c67ccbe Add an environment implementation 2021-04-25 21:19:26 +01:00
Sameer Rahmani f9bd6cd567 Add the missing context header/impl files 2021-04-25 10:21:48 +01:00
Sameer Rahmani 4084135851 Extract SereneContext to the top level namespace 2021-04-25 09:56:28 +01:00
Sameer Rahmani 499852c48f Rename Semantic Context to Serene Context to be used in other phases too 2021-04-25 09:17:58 +01:00
Sameer Rahmani 5427b2ab00 Add a more complicated test to semantic analysis 2021-04-24 20:40:01 +01:00
Sameer Rahmani c12c6b1281 Change the semantic analysis entrypoint to the 'analyze' fn 2021-04-24 20:18:33 +01:00
Sameer Rahmani 4aee3413ea Analyze the value in the 'def' form 2021-04-24 19:10:22 +01:00
Sameer Rahmani 7c35f6a95e Add asserts to check for the first element of the list in def and fn forms 2021-04-24 18:04:04 +01:00
Sameer Rahmani 573550ca07 Add Fn expression and List rewrite to Fn 2021-04-24 14:39:43 +01:00