Pith. sign in

REVIEW

Genetic Improvement in the Shackleton Framework for Optimizing LLVM Pass Sequences

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2204.13261 v1 pith:K77P3UNO submitted 2022-04-28 cs.NE cs.AI

classification cs.NEcs.AI
keywords geneticimprovementframeworkoptimizationpasssequencesshackletonsolution
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

Genetic improvement is a search technique that aims to improve a given acceptable solution to a problem. In this paper, we present the novel use of genetic improvement to find problem-specific optimized LLVM pass sequences. We develop a pass-level patch representation in the linear genetic programming framework, Shackleton, to evolve the modifications to be applied to the default optimization pass sequences. Our GI-evolved solution has a mean of 3.7% runtime improvement compared to the -O3 optimization level in the default code generation options which optimizes on runtime. The proposed GI method provides an automatic way to find a problem-specific optimization sequence that improves upon a general solution without any expert domain knowledge. In this paper, we discuss the advantages and limitations of the GI feature in the Shackleton Framework and present our results.

Discussion (0). Sign in to comment.

Pith tools