blob: 3d2f1462d12318f8da0e0ad125f9d09cd4067c85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
+++
title = "Problems with comparing against CompCert-KVX"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3h", "3a5c1"]
forwardlinks = ["3c3h2"]
zettelid = "3c3h1"
+++
CompCert-KVX is the only other implementation of advanced scheduling
techniques, however, it is hard to directly compare against it. The main
reason for all these difficulties, is that they have modified CompCert
itself quite heavily. Secondly, they also have only implemented the
superblock scheduling oracle for a subset of back end languages, such as
their KVX back end, riscV and aarch64.
|
