Unlock instant, AI-driven research and patent intelligence for your innovation.

An Intermediate Code Optimization System Based on Algebraic Calculus

A code optimization and algebraic technology, applied in the field of formal semantics, can solve the problem of high compiler cost and achieve the effect of ensuring the scope of application

Active Publication Date: 2019-05-14
EAST CHINA NORMAL UNIV
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Different target platforms have different features, and the cost of developing a dedicated compiler for the target platform is often too high

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • An Intermediate Code Optimization System Based on Algebraic Calculus

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0024] This embodiment takes the optimization of LLVM intermediate language by applying the algebraic calculation-based intermediate code optimization system of the present invention as an example.

[0025] LLVM is a compiler architecture that supports multiple high-level languages, multiple target platforms, and multi-stage optimization. It follows the standard compiler process guidelines and is divided into three parts: high-level language front-end, intermediate code optimizer, and back-end object code generator. part. The LLVM front-end first converts the source program into an LLVM IR program, optimizes the LLVM IR program after a series of control flow and data flow analysis, and then generates the corresponding target code according to the specific target processor platform.

[0026] LLVM IR comes in three forms: compiler IR, bytecode IR written to a file, and IR as assembly language. These three representations are equivalent, and it is a different representation of t...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses an intermediate code optimization system based on algebra calculus. The system comprises a high-level language conversion unit, an algebra optimization unit and a target code generation unit, wherein the high-level language conversion unit is used for completing conversion from an input code to a canonical intermediate code; the algebra optimization unit is used for completing the optimization of the canonical intermediate code; the target code generation unit is used for generating a target code. According to the intermediate code optimization system based on algebra calculus, disclosed by the invention, the converted canonical intermediate code is optimized through given optimization strategies. The optimization strategies can be defined by a user, so that the optimization efficiency is improved; the optimization process is automatically performed by the system, so that the automatic intermediate code optimization is realized.

Description

technical field [0001] The invention relates to the field of formalized semantics, in particular to an intermediate code optimization system based on algebraic calculus. Background technique [0002] The hardware of the embedded system is often customized according to the specific application. In order to obtain more software support, it is usually necessary to write a special compiler to complete the conversion from the high-level language to the specific target platform code, and at the same time meet the needs of the embedded system for high performance, High reliability, low power consumption and other requirements. Different target platforms have different features, and the cost of developing a dedicated compiler for the target platform is often too high. The invention proposes an intermediate code system based on algebraic calculation, optimizes the intermediate code according to an optimization strategy that can be customized by users, and generates efficient target ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
Patent Type & Authority Patents(China)
IPC IPC(8): G06F8/41
CPCG06F8/443
Inventor 黄滟鸿卜祥兴史建琦何积丰李昂方徽星
Owner EAST CHINA NORMAL UNIV