aboutsummaryrefslogtreecommitdiffstats
path: root/frontends/verilog/verilog_frontend.cc
Commit message (Collapse)AuthorAgeFilesLines
...
* Added read_verilog -setattrClifford Wolf2014-02-051-0/+15
|
* Added support for blanks after -I and -D in read_verilogClifford Wolf2014-02-021-7/+20
|
* Added read_verilog -icells optionClifford Wolf2014-01-291-1/+9
|
* Added verilog_defaults commandClifford Wolf2014-01-171-0/+66
|
* Added verilog frontend -ignore_redef optionClifford Wolf2013-11-241-1/+10
|
* Renamed "placeholder" to "blackbox"Clifford Wolf2013-11-221-1/+1
|
* Enable {* .. *} feature per default (removes dependency to REJECT feature in ↵Clifford Wolf2013-11-221-2/+0
| | | | flex)
* Added support for include directories with the new '-I' argument of theJohann Glaser2013-08-201-1/+10
| | | | 'read_verilog' command
* Improved ast dumping (ast/verilog frontend)Clifford Wolf2013-08-191-12/+11
|
* Enabled AST/Verilog front-end optimizations per defaultClifford Wolf2013-06-101-1/+10
|
* added option '-Dname[=definition]' to command 'read_verilog'Johann Glaser2013-05-191-1/+16
|
* Implemented proper handling of stub placeholder modulesClifford Wolf2013-03-281-1/+9
|
* Added mem2reg option to verilog frontendClifford Wolf2013-03-241-1/+11
|
* Added help messages to ilang and verilog frontendsClifford Wolf2013-03-011-1/+46
|
* Moved stand-alone libs to libs/ directory and added libs/subcircuitClifford Wolf2013-02-271-1/+1
|
* initial importClifford Wolf2013-01-051-0/+148
h> #include <stddef.h> #include <unistd.h> #include <fcntl.h> #include <sys/mman.h> #include <sys/stat.h> #include <string.h> #define SEARCH_SPACE (16 * 1024) #define CMDLINE_MAX 512 int main(int argc, char **argv) { int fd, found = 0, len, ret = -1; char *ptr, *p; if (argc != 3) { fprintf(stderr, "Usage: %s <file> <cmdline>\n", argv[0]); goto err1; } len = strlen(argv[2]); if (len + 9 > CMDLINE_MAX) { fprintf(stderr, "Command line string too long\n"); goto err1; } if (((fd = open(argv[1], O_RDWR)) < 0) || (ptr = (char *) mmap(0, SEARCH_SPACE + CMDLINE_MAX, PROT_READ|PROT_WRITE, MAP_SHARED, fd, 0)) == (void *) (-1)) { fprintf(stderr, "Could not open kernel image"); goto err2; } for (p = ptr; p < (ptr + SEARCH_SPACE); p += 4) { if (memcmp(p, "CMDLINE:", 8) == 0) { found = 1; p += 8; break; } } if (!found) { fprintf(stderr, "Command line marker not found!\n"); goto err3; } memset(p, 0, CMDLINE_MAX - 8); strcpy(p, argv[2]); msync(p, CMDLINE_MAX, MS_SYNC|MS_INVALIDATE); ret = 0; err3: munmap((void *) ptr, len); err2: if (fd > 0) close(fd); err1: return ret; }