blob: 7db2d87e2158f42c7243e52a63e8daa35b32d297 [file] [log] [blame] [raw]
// Copyright (c) 2022, Compiler Explorer Authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// * Redistributions of source code must retain the above copyright notice,
// this list of conditions and the following disclaimer.
// * Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in the
// documentation and/or other materials provided with the distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
// ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
// LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
// CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
// SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
// INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
// CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
// ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
import _ from 'underscore';
import {CompilerInfo} from '../../types/compiler.interfaces';
import {ParseFiltersAndOutputOptions} from '../../types/features/filters.interfaces';
import {ResultLine} from '../../types/resultline/resultline.interfaces';
import {unwrap} from '../assert';
import {BaseCompiler} from '../base-compiler';
import * as utils from '../utils';
import {ClangParser} from './argument-parsers';
// Each arch has a list of jump instructions in
// Go source src/cmd/asm/internal/arch.
// x86 -> j, b
// arm -> cb, tb
// s390x -> cmpb, cmpub
const JUMP_RE = /^(j|b|cb|tb|cmpb|cmpub).*/i;
const LINE_RE = /^\s+(0[Xx]?[\dA-Za-z]+)?\s?(\d+)\s*\(([^:]+):(\d+)\)\s*([A-Z]+)(.*)/;
const UNKNOWN_RE = /^\s+(0[Xx]?[\dA-Za-z]+)?\s?(\d+)\s*\(<unknown line number>\)\s*([A-Z]+)(.*)/;
const FUNC_RE = /TEXT\s+[".]*(\S+)\(SB\)/;
const LOGGING_RE = /^[^:]+:\d+:(\d+:)?\s.*/;
const DECIMAL_RE = /(\s+)(\d+)(\s?)$/;
type GoEnv = {
GOROOT?: string;
GOARCH?: string;
GOOS?: string;
};
export class GolangCompiler extends BaseCompiler {
private readonly GOENV: GoEnv;
static get key() {
return 'golang';
}
constructor(compilerInfo: CompilerInfo, env) {
super(compilerInfo, env);
const goroot = this.compilerProps<string | undefined>(`compiler.${this.compiler.id}.goroot`);
const goarch = this.compilerProps<string | undefined>(`compiler.${this.compiler.id}.goarch`);
const goos = this.compilerProps<string | undefined>(`compiler.${this.compiler.id}.goos`);
this.GOENV = {};
if (goroot) {
this.GOENV.GOROOT = goroot;
}
if (goarch) {
this.GOENV.GOARCH = goarch;
}
if (goos) {
this.GOENV.GOOS = goos;
}
}
convertNewGoL(code: ResultLine[]): string {
let prevLine: string | null = null;
let file: string | null = null;
let fileCount = 0;
let func: string | null = null;
const funcCollisions: Record<string, number> = {};
const labels: Record<string, boolean> = {};
const usedLabels: Record<string, boolean> = {};
const lines = code.map(obj => {
let pcMatch: string | null = null;
let fileMatch: string | null = null;
let lineMatch: string | null = null;
let ins: string | null = null;
let args: string | null = null;
const line = obj.text;
let match = line.match(LINE_RE);
if (match) {
pcMatch = match[2];
fileMatch = match[3];
lineMatch = match[4];
ins = match[5];
args = match[6];
} else {
match = line.match(UNKNOWN_RE);
if (match) {
pcMatch = match[2];
ins = match[3];
args = match[4];
} else {
return [];
}
}
match = line.match(FUNC_RE);
if (match) {
// Normalize function name.
func = match[1].replace(/[()*.]+/g, '_');
// It's possible for normalized function names to collide.
// Keep a count of collisions per function name. Labels get
// suffixed with _[collisions] when collisions > 0.
let collisions = funcCollisions[func];
if (collisions == null) {
collisions = 0;
} else {
collisions++;
}
funcCollisions[func] = collisions;
}
const res: string[] = [];
if (pcMatch && !labels[pcMatch]) {
// Create pseudo-label.
let label = pcMatch.replace(/^0{0,4}/, '');
let suffix = '';
if (func && funcCollisions[func] > 0) {
suffix = `_${funcCollisions[func]}`;
}
label = `${func}_pc${label}${suffix}:`;
if (!labels[label]) {
res.push(label);
labels[label] = true;
}
}
if (fileMatch && file !== fileMatch) {
fileCount++;
res.push(`\t.file ${fileCount} "${fileMatch}"`);
file = fileMatch;
}
if (lineMatch && prevLine !== lineMatch) {
res.push(`\t.loc ${fileCount} ${lineMatch} 0`);
prevLine = lineMatch;
}
if (func) {
args = this.replaceJump(func, funcCollisions[func], ins, args, usedLabels);
res.push(`\t${ins}${args}`);
}
return res;
});
// Find unused pseudo-labels so they can be filtered out.
const unusedLabels = _.mapObject(labels, (val, key) => !usedLabels[key]);
return lines
.flat()
.filter(line => !unusedLabels[line])
.join('\n');
}
replaceJump(
func: string,
collisions: number,
ins: string,
args: string,
usedLabels: Record<string, boolean>,
): string {
// Check if last argument is a decimal number.
const match = args.match(DECIMAL_RE);
if (!match) {
return args;
}
// Check instruction has a jump prefix
if (JUMP_RE.test(ins)) {
let label = `${func}_pc${match[2]}`;
if (collisions > 0) {
label += `_${collisions}`;
}
usedLabels[label + ':'] = true; // record label use for later filtering
return `${match[1]}${label}${match[3]}`;
}
return args;
}
extractLogging(stdout: ResultLine[]): string {
const filepath = `./${this.compileFilename}`;
return stdout
.filter(obj => obj.text.match(LOGGING_RE))
.map(obj => obj.text.replace(filepath, '<source>'))
.join('\n');
}
override async postProcess(result) {
let out = result.stderr;
if (this.compiler.id === '6g141') {
out = result.stdout;
}
const logging = this.extractLogging(out);
result.asm = this.convertNewGoL(out);
result.stderr = [];
result.stdout = utils.parseOutput(logging, result.inputFilename);
return Promise.all([result, '']);
}
override getSharedLibraryPathsAsArguments() {
return [];
}
override optionsForFilter(filters: ParseFiltersAndOutputOptions, outputFilename: string, userOptions?: string[]) {
// If we're dealing with an older version...
if (this.compiler.id === '6g141') {
return ['tool', '6g', '-g', '-o', outputFilename, '-S'];
}
if (filters.binary) {
return ['build', '-o', outputFilename, '-gcflags=' + unwrap(userOptions).join(' ')];
} else {
// Add userOptions to -gcflags to preserve previous behavior.
return ['build', '-o', outputFilename, '-gcflags=-S ' + unwrap(userOptions).join(' ')];
}
}
override filterUserOptions(userOptions: string[]) {
if (this.compiler.id === '6g141') {
return userOptions;
}
// userOptions are added to -gcflags in optionsForFilter
return [];
}
override getDefaultExecOptions() {
return {
...super.getDefaultExecOptions(),
...this.GOENV,
};
}
override getArgumentParser() {
return ClangParser;
}
}