calyx 0.7.1

Compiler Infrastructure for Hardware Accelerator Generation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119

import * as Diff from 'diff';
import Prism from 'prismjs';
import './prism-futil.js';
import 'prismjs/plugins/keep-markup/prism-keep-markup';
import 'prismjs/plugins/line-numbers/prism-line-numbers';

function wordDiff(diff, next, srcDiv, destDiv) {
    // if diffs cover different number of lines,
    // add empty lines to compensate
    let wordDiff = Diff.diffWordsWithSpace(diff.value, next.value);
    for (let change of wordDiff) {
        if (change.added == null && change.removed == null) {
            srcDiv.appendChild(document.createTextNode(change.value));
            destDiv.appendChild(document.createTextNode(change.value));
        } else if (change.added) {
            let span = document.createElement('span');
            span.innerHTML = change.value;
            span.classList = 'token diff-addition';
            destDiv.appendChild(span);
        } else if (change.removed) {
            let span = document.createElement('span');
            span.innerHTML = change.value;
            span.classList = 'token diff-deletion';
            srcDiv.appendChild(span);
        }
    }

    let count = diff.count - next.count;
    if (count > 0) {
        // more lines in diff than next
        let span = document.createElement('span');
        span.innerHTML = "\n".repeat(count);
        span.classList = 'line diff-empty';
        destDiv.appendChild(span);
    } else if (count < 0) {
        // more lines in diff than next
        let span = document.createElement('span');
        span.innerHTML = "\n".repeat(-count);
        span.classList = 'line diff-empty';
        srcDiv.appendChild(span);
    }
}

function lineDiff(diff, srcDiv, destDiv) {
    // reset src and dest
    srcDiv.innerHTML = "";
    destDiv.innerHTML = "";
    // compute line diff
    for (let i = 0; i < diff.length; i++) {
        let change = diff[i];
        if (change.added == null && change.removed == null) {
            // neither added nor removed. add to both
            srcDiv.appendChild(
                document.createTextNode(change.value)
            );
            destDiv.appendChild(
                document.createTextNode(change.value)
            );
        } else if (change.removed) {
            // check if next item is an addition
            if (i + 1 < diff.length && diff[i + 1].added) {
                wordDiff(change, diff[i + 1], srcDiv, destDiv);
                // skip next iteration because we've already handled it
                i++;
            } else {
                let span = document.createElement('span');
                span.innerHTML = change.value;
                span.classList = 'line diff-deletion';
                srcDiv.appendChild(span);
                if (change.count > 0) {
                    let span = document.createElement('span');
                    span.innerHTML = "\n".repeat(change.count);
                    span.classList = 'line diff-empty';
                    destDiv.appendChild(span);
                } else {
                    // editorStr.appendChild(document.createTextNode("\n".repeat(change.count)));
                }
            }
        } else if (change.added) {
            // present in dest, not source
            let span = document.createElement('span');
            span.innerHTML = change.value;
            span.classList.add('line');
            span.classList.add('diff-addition');
            destDiv.appendChild(span);
            if (change.count > 0) {
                let span = document.createElement('span');
                span.contentEditable = false;
                span.innerHTML = "\n".repeat(change.count);
                span.classList = 'line diff-empty';
                srcDiv.appendChild(span);
            } else {
                // let commentStr = "\n".repeat(Math.abs(change.count));
                // compiledStr.append(document.createTextNode(commentStr));
            }
        }
    }
}

export function updateDiffEditor(editor, sourceCode, compiledCode) {
    let srcDiv = editor.querySelector("#input");
    let destDiv = editor.querySelector("#output");

    destDiv.innerHTML = compiledCode;
    Prism.highlightElement(srcDiv);
    Prism.highlightElement(destDiv);

    /* if (compiledCode.startsWith("Error:")) {
        // there was compilation error. show that
        destDiv.innerHTML = compiledCode;
    } else {
        let diff = Diff.diffLines(sourceCode, compiledCode);
        lineDiff(diff, srcDiv, destDiv);

        // syntax highlighting
        Prism.highlightElement(srcDiv);
        Prism.highlightElement(destDiv);
    } */
}