ea72d66b6d
* Simplify verilator linter using ale command format strings * Verilator Linter: Restructure linter command tests * Verilator Linter: adds to the handler test the returned filename * Verilator Linter: add the current file path to the search path * Verilator Linter: Add the search path to the tests Co-authored-by: TG <tarik.graba@telecom-paris.fr>
60 lines
2.3 KiB
VimL
60 lines
2.3 KiB
VimL
" Author: Masahiro H https://github.com/mshr-h
|
|
" Description: verilator for verilog files
|
|
|
|
" Set this option to change Verilator lint options
|
|
if !exists('g:ale_verilog_verilator_options')
|
|
let g:ale_verilog_verilator_options = ''
|
|
endif
|
|
|
|
function! ale_linters#verilog#verilator#GetCommand(buffer) abort
|
|
" the path to the current file is systematically added to the search path
|
|
return 'verilator --lint-only -Wall -Wno-DECLFILENAME '
|
|
\ . '-I%s:h '
|
|
\ . ale#Var(a:buffer, 'verilog_verilator_options') .' '
|
|
\ . '%t'
|
|
endfunction
|
|
|
|
function! ale_linters#verilog#verilator#Handle(buffer, lines) abort
|
|
" Look for lines like the following.
|
|
"
|
|
" %Error: addr_gen.v:3: syntax error, unexpected IDENTIFIER
|
|
" %Warning-WIDTH: addr_gen.v:26: Operator ASSIGNDLY expects 12 bits on the Assign RHS, but Assign RHS's CONST '20'h0' generates 20 bits.
|
|
" %Warning-UNUSED: test.v:3: Signal is not used: a
|
|
" %Warning-UNDRIVEN: test.v:3: Signal is not driven: clk
|
|
" %Warning-UNUSED: test.v:4: Signal is not used: dout
|
|
" %Warning-BLKSEQ: test.v:10: Blocking assignments (=) in sequential (flop or latch) block; suggest delayed assignments (<=).
|
|
" Since version 4.032 (04/2020) verilator linter messages also contain the column number,
|
|
" and look like:
|
|
" %Error: /tmp/test.sv:3:1: syntax error, unexpected endmodule, expecting ';'
|
|
"
|
|
" to stay compatible with old versions of the tool, the column number is
|
|
" optional in the researched pattern
|
|
let l:pattern = '^%\(Warning\|Error\)[^:]*:\s*\([^:]\+\):\(\d\+\):\(\d\+\)\?:\? \(.\+\)$'
|
|
let l:output = []
|
|
|
|
for l:match in ale#util#GetMatches(a:lines, l:pattern)
|
|
let l:item = {
|
|
\ 'lnum': str2nr(l:match[3]),
|
|
\ 'text': l:match[5],
|
|
\ 'type': l:match[1] is# 'Error' ? 'E' : 'W',
|
|
\ 'filename': l:match[2],
|
|
\}
|
|
|
|
if !empty(l:match[4])
|
|
let l:item.col = str2nr(l:match[4])
|
|
endif
|
|
|
|
call add(l:output, l:item)
|
|
endfor
|
|
|
|
return l:output
|
|
endfunction
|
|
|
|
call ale#linter#Define('verilog', {
|
|
\ 'name': 'verilator',
|
|
\ 'output_stream': 'stderr',
|
|
\ 'executable': 'verilator',
|
|
\ 'command': function('ale_linters#verilog#verilator#GetCommand'),
|
|
\ 'callback': 'ale_linters#verilog#verilator#Handle',
|
|
\ 'read_buffer': 0,
|
|
\})
|