Design And Implementation Of MSVL Compiler Under 64-bit Windows System

With the wide applications of computer and Internet technology in various kinds of fields,the correctness and reliability of software and hardware systems become very important.Nowadays,software and hardware systems are more complex than before,and the traditional software testing methods cannot longer guarantee the reliability of the software and hardware systems.Formal verification methods have become useful ways to ensure the reliability of software and hardware systems.Because the temporal logic is widely used in formal verification.A sequential logic programming language MSVL based on projection sequential logic has been developed and is used to model,simulate and verify software and hardware systems.This thesis mainly study is the design and implementation of MSVL compiler under 64-bit Windows system.The development of the MSVL compiler is different from conventional compiler.The MSVL compiler is developed based on the LLVM project,in order to simplify the development of the compiler,LLVM uses a unified intermediate language IR to connect the front end and the back end in series.In the process of development,the MSVL program needs to be converted into IR code,and the difficulty of the implementation of MSVL compiler also lies in the conversion of various statements to IR code,specifically by writing a large number of functions to convert all involved statement type,data type and arithmetic type into IR code.The thesis first introduced the related knowledge of the MSVL language,the LLVM project,and the intermediate language IR.Secondly,according to the compiler's working process,the functions of each module of the compiler and its implementation methods are introduced.Next,a tool that can convert C++ classes into MSVL programs is introduced and it explains how some complex statements are transmitted to the IR code.After completing the development of the MSVL compiler,a graphical interface is developed based on the Eclipse platform,and a large number of test cases will be run to find out the possible bugs in the compiler.Finally the thesis shows how to run this testing cases using the compiler.