2016-10-09 02:32:31 +00:00
|
|
|
" Author: Masahiro H https://github.com/mshr-h
|
|
|
|
" Description: verilator for verilog files
|
|
|
|
|
2017-02-11 19:40:57 +00:00
|
|
|
function! ale_linters#verilog#verilator#GetCommand(buffer) abort
|
|
|
|
let l:filename = tempname() . '_verilator_linted.v'
|
|
|
|
|
|
|
|
" Create a special filename, so we can detect it in the handler.
|
|
|
|
call ale#engine#ManageFile(a:buffer, l:filename)
|
|
|
|
call writefile(getbufline(a:buffer, 1, '$'), l:filename)
|
|
|
|
|
|
|
|
return 'verilator --lint-only -Wall -Wno-DECLFILENAME ' . fnameescape(l:filename)
|
|
|
|
endfunction
|
|
|
|
|
2017-01-22 14:54:57 +00:00
|
|
|
function! ale_linters#verilog#verilator#Handle(buffer, lines) abort
|
2016-10-08 12:38:31 +00:00
|
|
|
" 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 (<=).
|
2017-01-15 12:39:13 +00:00
|
|
|
let l:pattern = '^%\(Warning\|Error\)[^:]*:\([^:]\+\):\(\d\+\): \(.\+\)$'
|
2016-10-10 23:43:45 +00:00
|
|
|
let l:output = []
|
2016-10-08 12:38:31 +00:00
|
|
|
|
2016-10-10 23:43:45 +00:00
|
|
|
for l:line in a:lines
|
|
|
|
let l:match = matchlist(l:line, l:pattern)
|
2016-10-08 12:38:31 +00:00
|
|
|
|
|
|
|
if len(l:match) == 0
|
|
|
|
continue
|
|
|
|
endif
|
|
|
|
|
2017-01-15 12:39:13 +00:00
|
|
|
let l:line = l:match[3] + 0
|
2016-10-10 23:43:45 +00:00
|
|
|
let l:type = l:match[1] ==# 'Error' ? 'E' : 'W'
|
2017-01-15 12:39:13 +00:00
|
|
|
let l:text = l:match[4]
|
|
|
|
let l:file = l:match[2]
|
2016-10-08 12:38:31 +00:00
|
|
|
|
2017-02-11 19:40:57 +00:00
|
|
|
if l:file =~# '_verilator_linted.v'
|
|
|
|
call add(l:output, {
|
|
|
|
\ 'bufnr': a:buffer,
|
|
|
|
\ 'lnum': l:line,
|
|
|
|
\ 'text': l:text,
|
|
|
|
\ 'type': l:type,
|
|
|
|
\})
|
2017-01-15 12:39:13 +00:00
|
|
|
endif
|
2016-10-08 12:38:31 +00:00
|
|
|
endfor
|
|
|
|
|
2016-10-10 23:43:45 +00:00
|
|
|
return l:output
|
2016-10-08 12:38:31 +00:00
|
|
|
endfunction
|
|
|
|
|
First pass at optimizing ale to autoload (#80)
* First pass at optimizing ale to autoload
First off, the structure/function names should be revised a bit,
but I will wait for @w0rp's input before unifying the naming style.
Second off, the docs probably need some more work, I just did some
simple find-and-replace work.
With that said, this pull brings major performance gains for ale. On my
slowest system, fully loading ale and all its code takes around 150ms.
I have moved all of ale's autoload-able code to autoload/, and in
addition, implemented lazy-loading of linters. This brings load time on
that same system down to 5ms.
The only downside of lazy loading is that `g:ale_linters` cannot be
changed at runtime; however, it also speeds up performance at runtime by
simplfying the logic greatly.
Please let me know what you think!
Closes #59
* Address Travis/Vint errors
For some reason, ale isn't running vint for me...
* Incorporate feedback, make fixes
Lazy-loading logic is much improved.
* Add header comments; remove incorrect workaround
* Remove unneeded plugin guards
* Fix lazy-loading linter logic
Set the wrong variable....
* Fix capitialization
2016-10-10 18:51:29 +00:00
|
|
|
call ale#linter#Define('verilog', {
|
2016-10-08 12:38:31 +00:00
|
|
|
\ 'name': 'verilator',
|
|
|
|
\ 'output_stream': 'stderr',
|
|
|
|
\ 'executable': 'verilator',
|
2017-02-11 19:40:57 +00:00
|
|
|
\ 'command_callback': 'ale_linters#verilog#verilator#GetCommand',
|
2016-10-08 12:38:31 +00:00
|
|
|
\ 'callback': 'ale_linters#verilog#verilator#Handle',
|
2017-02-11 19:40:57 +00:00
|
|
|
\ 'read_buffer': 0,
|
2016-10-08 12:38:31 +00:00
|
|
|
\})
|