OpenArkCompiler intermediate representation verifier

We consider the problem of checking the intermediate representation of compilers. Despite the abundance of already developed solutions in the field of static verification, it is decided to create a verification tool that meets the conditions of an easy expansion of abilities and convenience for a compiler developer. For these purposes, a language is created in which the description of conditions implies the correctness of developed instructions. To automate the verification process a translator is also implemented for the language based on a context-free grammar and an algorithm of reverse polish notation. The resulting verifier is tested by intermediate representation MapleIR, which is part of OpenArk compiler and added to repository as a mandatory part of the compilation.