mlir, cpp20

Author: massimofioravanti

.clang-tidy

@@ -1,4 +1,4 @@
-Checks: '-*,clang-diagnostic-*,misc-*,modernize-*,readability-*,performace-*,cppcoreguidelines-*,cert-*,bugprone-*,-readability-braces-around-statements,-cppcoreguidelines-pro-type-vararg,-cppcoreguidelines-owning-memory,-modernize-use-trailing-return-type,-misc-unused-parameters,-cppcoreguidelines-pro-bounds-array-to-pointer-decay,-readability-named-parameter'
+Checks: '-*,clang-diagnostic-*,misc-*,modernize-*,readability-*,performace-*,cppcoreguidelines-*,cert-*,bugprone-*,-readability-braces-around-statements,-cppcoreguidelines-pro-type-vararg,-cppcoreguidelines-owning-memory,-modernize-use-trailing-return-type,-misc-unused-parameters,-cppcoreguidelines-pro-bounds-array-to-pointer-decay,-readability-named-parameter,-readability-identifier-length,-modernize-return-braced-init-list'
 CheckOptions:
   - key:             readability-identifier-naming.ClassCase
     value:           CamelCase

.gitignore

@@ -9,6 +9,7 @@ tags
 build
 release
 .clangd
+.cache
 .idea
 
 # User-specific stuff

.vimrc

@@ -5,7 +5,7 @@ let CCOMPILER = "gcc"
 let BUILD_TYPE = "Debug"
 let EXTRA_CONFIG = ""
 let GENERATOR = "Ninja"
-let TARGET = "parser"
+let TARGET = "dialect"
 let RUN_ARGS = ""
 let TEST = g:TARGET . "Test"
 let LINKER = "gold"
@@ -14,8 +14,11 @@ let PLOTTER = "./plot.py"
 
 let g:ale_enabled = 0
 
-let DBGLLVM_LOC = "/home/massimo/Documents/Programs/llvmDebug/usr/local/lib/cmake/llvm"
-let RELLLVM_LOC = "/usr/local/lib/cmake/llvm"
+let DBGLLVM_LOC = "/home/massimo/Documents/llvm-project/install-debug/lib/cmake/llvm"
+let RELLLVM_LOC = "/home/massimo/Documents/llvm-project/install-release/lib/cmake/llvm"
+
+let g:ycm_clangd_binary_path = exepath("/home/massimo/llvm_install/bin/clangd")
+
 
 let g:ctrlp_custom_ignore = '\v[\/](docs|release|build|gli|glbinding|benchmark|googletest|boostGraph|glfw|glm)|(\.(swp|ico|git|svn|lock))$'
 
@@ -41,7 +44,7 @@ function! s:setType(val, cmakeBuildBir, cCompiler, cppCompiler, buildType, extra
 endfunction
 
 function! s:getBuildCommand()
-	let s:command =  "!cmake -DCMAKE_BUILD_TYPE=" . g:BUILD_TYPE .  " -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DCMAKE_INSTALL_PREFIX=./install" . " -DCMAKE_C_COMPILER=" . g:CCOMPILER . " -DCMAKE_CXX_COMPILER=" . g:CPPCOMPILER . " -G " . g:GENERATOR . " -DCMAKE_EXE_LINKER_FLAGS='-fuse-ld=" . g:LINKER ."' " . g:EXTRA_CONFIG . " --build ../"
+	let s:command =  "!cmake -DCMAKE_BUILD_TYPE=" . g:BUILD_TYPE .  " -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -DCMAKE_INSTALL_PREFIX=./install" . " -DCMAKE_C_COMPILER=" . g:CCOMPILER . " -DCMAKE_CXX_COMPILER=" . g:CPPCOMPILER . " -G " . g:GENERATOR . " -DCMAKE_EXE_LINKER_FLAGS='-fuse-ld=" . g:LINKER ."' " . g:EXTRA_CONFIG . " -S ../"
 	return s:command
 endfunction
 
@@ -121,7 +124,7 @@ function! s:genCoverage()
 endfunction
 
 function! s:getFlags(otherArgs, extraCMargs)
-	let l:ret = '-DCMAKE_CXX_FLAGS="-Werror -Wall -Wextra ' . a:otherArgs . '" '
+	let l:ret = '-DCMAKE_CXX_FLAGS="' . a:otherArgs . '" '
 	let l:ret = l:ret . a:extraCMargs 
 	return l:ret
 endfunction
@@ -140,8 +143,8 @@ endfunction
 
 let EXTRA_CONFIG = s:getFlags('--coverage', "-DLLVM_DIR=".g:DBGLLVM_LOC)
 
-command! -nargs=0 CMDEBUG call s:setType(0, "build", "gcc", "g++", "Debug", s:getFlags('--coverage ', "-DLLVM_DIR=".g:DBGLLVM_LOC), "Ninja")
-command! -nargs=0 CMRELEASE call s:setType(1, "release", "clang", "clang++", "Release", "", "Ninja")
+command! -nargs=0 CMDEBUG call s:setType(0, "build", "gcc", "g++", "Debug", s:getFlags('--coverage ', "-DLLVM_DIR=".g:DBGLLVM_LOC . " -DMLIR_DIR=".g:DBGLLVM_LOC . "/../mlir"), "Ninja")
+command! -nargs=0 CMRELEASE call s:setType(1, "release", "clang", "clang++", "Release", s:getFlags('', "-DLLVM_DIR=".g:RELLLVM_LOC . " -DMLIR_DIR=".g:RELLLVM_LOC . "/../mlir"), "Ninja")
 command! -nargs=0 CMASAN call s:setType(2, "build", "clang", "clang++", "Debug", s:getFlags(' -fsanitize=address -fno-omit-frame-pointer',"-DLLVM_DIR=".g:DBGLLVM_LOC ), "Ninja")
 command! -nargs=0 CMFUZZER call s:setType(5, "build", "clang", "clang++", "Debug", s:getFlags('', "-DBUILD_FUZZER=ON"), "Ninja")
 command! -nargs=0 CMTSAN call s:setType(3, "build", "clang", "clang++", "Debug", s:getFlags('-fsanitize=thread -O1', "-DLLVM_DIR=".g:DBGLLVM_LOC), "Ninja")

CMakeLists.txt

@@ -13,6 +13,7 @@ SET(gtest_build_tests OFF CACHE INTERNAL "")
 SET(gtest_disable_pthreads OFF CACHE INTERNAL "")
 SET(gtest_hide_internal_symbols OFF CACHE INTERNAL "")
 SET(gtest_force_shared_crt OFF CACHE INTERNAL "")
+SET(GTEST_HAS_ABSL OFF CACHE INTERNAL "")
 
 add_subdirectory(googletest)
 
@@ -24,6 +25,17 @@ SET(BENCHMARK_ENABLE_RELEASE OFF CACHE INTERNAL "")
 SET(BENCHMARK_ENABLE_EXCEPTIONS OFF CACHE INTERNAL "")
 SET(BENCHMARK_ENABLE_TESTING OFF CACHE INTERNAL "")
 SET(BENCHMARK_ENABLE_GTEST_TESTS OFF CACHE INTERNAL "")
+SET(BENCHMARK_BUILD_32_BITS OFF CACHE INTERNAL "")
+SET(BENCHMARK_DOWNLOAD_DEPENDENCIES OFF CACHE INTERNAL "")
+SET(BENCHMARK_ENABLE_DOXYGEN OFF CACHE INTERNAL "")
+SET(BENCHMARK_ENABLE_ASSEMBLY_TESTS OFF CACHE INTERNAL "")
+SET(BENCHMARK_ENABLE_LTO OFF CACHE INTERNAL "")
+SET(BENCHMARK_ENABLE_LIBPFM OFF CACHE INTERNAL "")
+SET(BENCHMARK_INSTALL_DOCS OFF CACHE INTERNAL "")
+SET(BENCHMARK_USE_LIBCXX OFF CACHE INTERNAL "")
+SET(BENCHMARK_FORCE_WERROR OFF CACHE INTERNAL "")
+SET(BENCHMARK_ENABLE_WERROR ON CACHE INTERNAL "")
+SET(BENCHMARK_USE_BUNDLED_GTEST CACHE INTERNAL "")
 
 add_subdirectory(benchmark)
 
@@ -44,18 +56,19 @@ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-exceptions")
 set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -fno-rtti")
 set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Werror")
 set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wall -Wextra")
-set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-unused-variable -Wno-unused-parameter")
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-unused-variable -Wno-unused-parameter -Wno-comment -Wno-unused-function")
+set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-implicit-int-float-conversion")
 
 set(CMAKE_INSTALL_RPATH "$ORIGIN/../lib")
 
-set_tests_properties(${noArgsTests}   PROPERTIES TIMEOUT 10)
+set_tests_properties(${noArgsTests} PROPERTIES TIMEOUT 10)
 include(macros.cmake)
 
 find_package(LLVM REQUIRED CONFIG)
-add_definitions(${LLVM_DEFINITIONS})
 list(APPEND CMAKE_MODULE_PATH "${LLVM_CMAKE_DIR}")
 include(AddLLVM)
-include_directories(${LLVM_INCLUDE_DIRS})
+
+find_package(MLIR REQUIRED CONFIG)
 
 ##############################
 ###       Subfolders       ###
@@ -76,7 +89,7 @@ if (DOXYGEN_FOUND)
     configure_file(${DOXYGEN_IN} ${DOXYGEN_OUT} @ONLY)
 
     # note the option ALL which allows to build the docs together with the application
-    add_custom_target(doc 
+    add_custom_target(doc
         COMMAND ${DOXYGEN_EXECUTABLE} ${DOXYGEN_OUT}
         WORKING_DIRECTORY ${CMAKE_CURRENT_BINARY_DIR}
         COMMENT "Generating API documentation with Doxygen"
@@ -99,19 +112,19 @@ if (${CMAKE_CXX_FLAGS} MATCHES ".*--coverage.*")
 		)
 
 	add_custom_command(
-		OUTPUT filtered.info 
+		OUTPUT filtered.info
 		COMMAND ${LCOV} --remove ./total.info "/usr/*" "*/googletest/*" "*/build/*" "*/benchmark/*" --output-file ./filtered.info
 		DEPENDS total.info
 		VERBATIM)
 
 	add_custom_command(
-		OUTPUT total.info 
+		OUTPUT total.info
 		COMMAND ${LCOV} --add-tracefile ./base.info --add-tracefile ./test.info --output-file ./total.info
 		DEPENDS test.info base.info
 		VERBATIM)
 
 	add_custom_command(
-		OUTPUT test.info 
+		OUTPUT test.info
 		COMMAND ${LCOV} --capture --directory . --output-file ./test.info
 		VERBATIM)
 

benchmark

@@ -0,0 +1,9 @@
+system call
+
+fun a() -> int:
+	let a = 0
+	let b = a + 4
+	return b
+
+fun main() -> void:
+	let x = a()

examples/declaration.rl

@@ -0,0 +1,60 @@
+ent Board:
+	Int[9] slots
+	Bool playerTurn
+
+fun get(Board b, Int x, Int y) -> Int:
+	return b.slots[x + (y*3)]
+
+fun set(Board b, Int x, Int y, Int val): 
+	b.slots[x + (y * 3)] = val
+
+fun full(Board b) -> Bool:
+	let x = 0
+	let y = 0
+
+	while x < 3:
+		while y < 3:
+			if b.get(x, y) == 0:
+				return false
+			y = y + 1
+		x = x + 1
+
+	return true
+
+fun three_in_a_line_player(Board b, Int player_id) -> Bool:
+	let x = 0
+	while x < 3:
+		if b.get(x, 0) == b.get(x, 1) and b.get(x, 0) == b.get(x, 2) and b.get(x, 0) == player_id:
+			return true
+
+		if b.get(0, x) == b.get(0, x) and b.get(0, x) == b.get(0, x) and b.get(0, x) == player_id:
+			return true
+		x = x + 1
+
+	if b.get(0, 0) == b.get(1, 1) and b.get(0, 0) == b.get(2, 2) and b.get(0, 0) == player_id:
+		return true
+
+	if b.get(0, 2) == b.get(1, 1) and b.get(0, 2) == b.get(2, 0) and b.get(0, 2) == player_id:
+		return true
+
+	return false
+
+act play():
+	let b : Board
+	while !full(b):
+		act mark(Int x, Int y)
+		b.set(x, y, int(b.playerTurn) + 1)
+
+		if !b.three_in_a_line_player(int(b.playerTurn) + 1):
+			return
+
+		b.playerTurn = !b.playerTurn
+
+fun main() -> Int:
+	let game = play()
+	game.mark(0, 0)
+	game.mark(1, 0)
+	game.mark(1, 1)
+	game.mark(2, 0)
+	game.mark(2, 2)
+	return int(game.b.three_in_a_line_player(1)) - 1

examples/flatt_simple.rl

@@ -1,10 +1,43 @@
-system ex
+ent Board:
+	Int[3][3] slots
+	Bool playerTurn
 
-ent example:
-	float something
 
-fun f(float val) -> float:
-	return val * val
+fun full(Board b) -> Bool:
+	int x = 0
+	int y = 0
 
-fun f2(example val) -> example:
-	return val
+	while x < 3:
+		while y < 3:
+			if b.slots[x][y] == 0:
+				return false
+			y = y + 1
+		x = x + 1
+
+	return true
+
+fun three_in_a_line_player(Board b, int player_id) -> Bool:
+	int x = 0;
+	while x < 3:
+		if b.slots[x][0] == b.slots[x][1] and b.slots[x][0] == b.slots[x][2] and b.slots[x][0] == player_id:
+			return true
+
+		if b.slots[0][x] == b.slots[0][x] and b.slots[0][x] == b.slots[0][x] and b.slots[0][x] == player_id:
+			return true
+		x = x + 1
+
+	if b.slots[0][0] == b.slots[1][1] and b.slots[0][0] == b.slots[2][2] and b.slots[0][0] == player_id:
+		return true
+
+	if b.slots[0][2] == b.slots[1][1] and b.slots[0][2] == b.slots[2][0] and b.slots[0][2] == player_id:
+		return true
+
+	return false
+
+act play():
+	let b : Board
+	while !full(b) and !three_in_a_line_player(b, int(b.playerTurn) + 1) == 0:
+		await b.mark(int x, int y)
+		b.slots[x][y] = int(b.playerTurn) + 1
+
+		b.playerTurn = !b.playerTurn

examples/simple.rl

@@ -2,3 +2,4 @@ add_subdirectory(utils)
 add_subdirectory(ast)
 add_subdirectory(parser)
 add_subdirectory(lowerer)
+add_subdirectory(dialect)

googletest

@@ -1,8 +1,12 @@
-rlcAddLibrary(ast SHARED 
+rlcAddLibrary(ast SHARED
 	src/Type.cpp
 	src/Constant.cpp
 	src/Call.cpp
 	src/Expression.cpp
+	src/ArrayAccess.cpp
+	src/ArgumentDeclaration.cpp
+	src/ActionDeclaration.cpp
+	src/ActionDefinition.cpp
 	src/Entity.cpp
 	src/Statement.cpp
 	src/FunctionDefinition.cpp