in C++ with concepts Intro Optimizing compiler Transformations - - PowerPoint PPT Presentation

▶

Jun 05, 2023 372 likes •501 views

Axioms as generic rewrite rules in C++ with concepts Intro Optimizing compiler Transformations i+0 i s + string "" s Rewrite on built in types User-defined types Generic Concepts Rewrite rules

SLIDE 1

Axioms as generic rewrite rules in C++ with concepts

SLIDE 2

Intro

Optimizing compiler
Transformations
i+0 → i
s + string"" → s
Rewrite on built in types
User-defined types

SLIDE 3

Generic Concepts

SLIDE 4

Rewrite rules

Rewrite rules
Conditional rewrite rules

SLIDE 5

Generating rewrite rules

Instantiate axioms Extract rewrite rules from axiom and divide a rule into two functions: LHS and RHS

SLIDE 6

Generating rewrite rules

Translate a rule function into an intermediate representation

SLIDE 7

Generating rewrite rules

Eliminate function abstractions

SLIDE 8

Generating rewrite rules

Construct the rule patterns and put them in the rule repository

SLIDE 9

Applying rewrite rules

For a) and b) match rule pattern with AST of each statement
For c) first inline then match
Abstraction index

SLIDE 10

Processing pipeline

SLIDE 11

Evaluation

Abstraction penalty: ratio of the execution time of an abstracted

implementation over a direct implementation

Wraps a varying number of double values into user-defined classes
A is with optimizations, B without
Compilation time increased by a factor of 1.0035