~ubuntu-branches/ubuntu/raring/verilator/raring-proposed

« back to all changes in this revision

Viewing changes to src/V3AstNodes.h

Committer: Package Import Robot
Author(s): أحمد المحمودي (Ahmed El-Mahmoudy)
Date: 2013-01-13 11:25:29 UTC
mfrom: (1.2.16)
Revision ID: package-import@ubuntu.com-20130113112529-1jn3n8rbf8glvu2c

Tags: 3.844-1

* New upstream release.
* debian/copyright: Updated copyright years.
* Refresh patch.

files added:
test_regress/t/t_func_under.pl

test_regress/t/t_func_under.v

test_regress/t/t_func_under2.pl

test_regress/t/t_func_under2.v

test_regress/t/t_inst_misarray_bad.pl

test_regress/t/t_inst_misarray_bad.v

test_regress/t/t_package_export.pl

test_regress/t/t_package_export.v

test_regress/t/t_package_export_bad.pl

test_regress/t/t_package_param.pl

test_regress/t/t_package_param.v

test_regress/t/t_package_twodeep.pl

test_regress/t/t_package_twodeep.v

test_regress/t/t_param_package.pl

test_regress/t/t_param_package.v

test_regress/t/t_var_vec_sel.pl

test_regress/t/t_var_vec_sel.v

files modified:
.pc/shebang.diff/bin/verilator

.pc/shebang.diff/bin/verilator_includer

.pc/shebang.diff/bin/verilator_profcfunc

Changes

Makefile.in

README

README.html

README.pdf

TODO

bin/verilator

bin/verilator_difftree

bin/verilator_includer

bin/verilator_profcfunc

configure

configure.ac

debian/changelog

debian/copyright

debian/patches/shebang.diff

include/verilated.cpp

include/verilated.h

include/verilated.mk.in

include/verilated.v

include/verilated_dpi.cpp

include/verilated_dpi.h

include/verilated_heavy.h

include/verilated_imp.h

include/verilated_save.cpp

include/verilated_save.h

include/verilated_sc.h

include/verilated_syms.h

include/verilated_vcd_c.cpp

include/verilated_vcd_c.h

include/verilated_vcd_sc.cpp

include/verilated_vcd_sc.h

include/verilated_vpi.cpp

include/verilated_vpi.h

include/verilatedos.h

internals.html

internals.pdf

internals.pod

internals.txt

readme.pod

src/Makefile.in

src/Makefile_obj.in

src/V3Active.cpp

src/V3Active.h

src/V3ActiveTop.cpp

src/V3ActiveTop.h

src/V3Assert.cpp

src/V3Assert.h

src/V3AssertPre.cpp

src/V3AssertPre.h

src/V3Ast.cpp

src/V3Ast.h

src/V3AstNodes.cpp

src/V3AstNodes.h

src/V3Begin.cpp

src/V3Begin.h

src/V3Branch.cpp

src/V3Branch.h

src/V3Broken.cpp

src/V3Broken.h

src/V3Case.cpp

src/V3Case.h

src/V3Cast.cpp

src/V3Cast.h

src/V3Cdc.cpp

src/V3Cdc.h

src/V3Changed.cpp

src/V3Changed.h

src/V3Clean.cpp

src/V3Clean.h

src/V3ClkGater.cpp

src/V3ClkGater.h

src/V3Clock.cpp

src/V3Clock.h

src/V3Combine.cpp

src/V3Combine.h

src/V3Config.cpp

src/V3Config.h

src/V3Const.cpp

src/V3Const.h

src/V3Coverage.cpp

src/V3Coverage.h

src/V3CoverageJoin.cpp

src/V3CoverageJoin.h

src/V3Dead.cpp

src/V3Dead.h

src/V3Delayed.cpp

src/V3Delayed.h

src/V3Depth.cpp

src/V3Depth.h

src/V3DepthBlock.cpp

src/V3DepthBlock.h

src/V3Descope.cpp

src/V3Descope.h

src/V3EmitC.cpp

src/V3EmitC.h

src/V3EmitCBase.h

src/V3EmitCInlines.cpp

src/V3EmitCSyms.cpp

src/V3EmitMk.cpp

src/V3EmitMk.h

src/V3EmitV.cpp

src/V3EmitV.h

src/V3EmitXml.cpp

src/V3EmitXml.h

src/V3Error.cpp

src/V3Error.h

src/V3Expand.cpp

src/V3Expand.h

src/V3File.cpp

src/V3File.h

src/V3Gate.cpp

src/V3Gate.h

src/V3GenClk.cpp

src/V3GenClk.h

src/V3Global.h

src/V3Graph.cpp

src/V3Graph.h

src/V3GraphAcyc.cpp

src/V3GraphAlg.cpp

src/V3GraphAlg.h

src/V3GraphDfa.cpp

src/V3GraphDfa.h

src/V3GraphTest.cpp

src/V3Hashed.cpp

src/V3Hashed.h

src/V3Inline.cpp

src/V3Inline.h

src/V3Inst.cpp

src/V3Inst.h

src/V3LangCode.h

src/V3LanguageWords.h

src/V3Life.cpp

src/V3Life.h

src/V3LifePost.cpp

src/V3LifePost.h

src/V3LinkCells.cpp

src/V3LinkCells.h

src/V3LinkDot.cpp

src/V3LinkDot.h

src/V3LinkJump.cpp

src/V3LinkJump.h

src/V3LinkLValue.cpp

src/V3LinkLValue.h

src/V3LinkLevel.cpp

src/V3LinkLevel.h

src/V3LinkParse.cpp

src/V3LinkParse.h

src/V3LinkResolve.cpp

src/V3LinkResolve.h

src/V3List.h

src/V3Localize.cpp

src/V3Localize.h

src/V3Name.cpp

src/V3Name.h

src/V3Number.cpp

src/V3Number.h

src/V3Number_test.cpp

src/V3Options.cpp

src/V3Options.h

src/V3Order.cpp

src/V3Order.h

src/V3OrderGraph.h

src/V3Param.cpp

src/V3Param.h

src/V3Parse.h

src/V3ParseGrammar.cpp

src/V3ParseImp.cpp

src/V3ParseImp.h

src/V3ParseLex.cpp

src/V3ParseSym.h

src/V3PreLex.h

src/V3PreLex.l

src/V3PreProc.cpp

src/V3PreProc.h

src/V3PreShell.cpp

src/V3PreShell.h

src/V3Premit.cpp

src/V3Premit.h

src/V3Scope.cpp

src/V3Scope.h

src/V3SenTree.h

src/V3Simulate.h

src/V3Slice.cpp

src/V3Slice.h

src/V3Split.cpp

src/V3Split.h

src/V3SplitAs.cpp

src/V3SplitAs.h

src/V3Stats.cpp

src/V3Stats.h

src/V3StatsReport.cpp

src/V3String.cpp

src/V3String.h

src/V3Subst.cpp

src/V3Subst.h

src/V3SymTable.h

src/V3Table.cpp

src/V3Table.h

src/V3Task.cpp

src/V3Task.h

src/V3Trace.cpp

src/V3Trace.h

src/V3TraceDecl.cpp

src/V3TraceDecl.h

src/V3Tristate.cpp

src/V3Tristate.h

src/V3Undriven.cpp

src/V3Undriven.h

src/V3Unknown.cpp

src/V3Unknown.h

src/V3Unroll.cpp

src/V3Unroll.h

src/V3Width.cpp

src/V3Width.h

src/V3WidthCommit.h

src/V3WidthSel.cpp

src/Verilator.cpp

src/astgen

src/bisonpre

src/config_build.h

src/config_build.h.in

src/config_rev.h

src/config_rev.pl

src/flexfix

src/pod2latexfix

src/verilog.l

src/verilog.y

test_c/Makefile

test_c/Makefile_obj

test_c/sim_main.cpp

test_regress/Makefile

test_regress/Makefile_obj

test_regress/driver.pl

test_regress/t/t_dpi_import.v

test_regress/t/t_dpi_import_c.cpp

test_regress/t/t_vpi_var.cpp

test_sc/Makefile

test_sc/Makefile_obj

test_sc/sc_main.cpp

test_sp/Makefile

test_sp/Makefile_obj

test_vcs/Makefile

test_verilated/sim_main.cpp

test_verilated/sim_main.v

test_verilated/vgen.pl

verilator.1

verilator.html

verilator.pdf

verilator.txt

Show diffs side-by-side

added added

removed removed

src/V3AstNodes.h

//*************************************************************************

// redistribute it and/or modify it under the terms of either the GNU

// Lesser General Public License Version 3 or the Perl Artistic License

// Version 2.0.

1367

private:

1368

AstParseRefExp m_expect; // Type we think it should resolve to

1369

string m_name;

1370

bool m_start; // Start of parseref stack

1371

1370

public:

1372

1371

AstParseRef(FileLine* fl, AstParseRefExp expect, const string& name, AstNode* lhsp, AstNodeFTaskRef* ftaskrefp)

1373

:AstNode(fl), m_expect(expect), m_name(name) { setNOp1p(lhsp); setNOp2p(ftaskrefp); m_start=false; }

1372

:AstNode(fl), m_expect(expect), m_name(name) { setNOp1p(lhsp); setNOp2p(ftaskrefp); }

1374

1373

ASTNODE_NODE_FUNCS(ParseRef, PARSEREF)

1375

1374

virtual void dump(ostream& str);

1376

1375

virtual string name() const { return m_name; } // * = Var name

1377

1376

virtual V3Hash sameHash() const { return V3Hash(V3Hash(m_expect),V3Hash(m_name)); }

1378

virtual bool same(AstNode* samep) const { return expect() == samep->castParseRef()->expect() && m_name==samep->castParseRef()->m_name; }

1377

virtual bool same(AstNode* samep) const {

1378

return (expect() == samep->castParseRef()->expect()

1379

&& m_name==samep->castParseRef()->m_name); }

1379

1380

virtual string emitVerilog() { V3ERROR_NA; return ""; }

1380

1381

virtual string emitC() { V3ERROR_NA; return ""; }

1381

1382

virtual void name(const string& name) { m_name = name; }

1385

1386

AstNode* lhsp() const { return op1p(); } // op1 = List of statements

1386

1387

AstNode* ftaskrefp() const { return op2p(); } // op2 = Function/task reference

1387

1388

void ftaskrefp(AstNodeFTaskRef* nodep) { setNOp2p(nodep); } // op2 = Function/task reference

1388

bool start() const { return m_start; }

1389

void start(bool flag) { m_start = flag; }

1389

};

1390

1391

struct AstPackageRef : public AstNode {

1392

private:

1393

AstPackage* m_packagep; // Package hierarchy

1394

public:

1395

AstPackageRef(FileLine* fl, AstPackage* packagep)

1396

: AstNode(fl), m_packagep(packagep) {}

1397

ASTNODE_NODE_FUNCS(PackageRef, PACKAGEREF)

1398

// METHODS

1399

virtual bool broken() const { return !m_packagep || !m_packagep->brokeExists(); }

1400

virtual void cloneRelink() { if (m_packagep && m_packagep->clonep()) {

1401

m_packagep = m_packagep->clonep()->castPackage();

1402

}}

1403

virtual bool same(AstNode* samep) const {

1404

return (m_packagep==samep->castPackageRef()->m_packagep); }

1405

virtual V3Hash sameHash() const { return V3Hash(V3Hash(m_packagep)); }

1406

virtual void dump(ostream& str=cout);

1407

AstPackage* packagep() const { return m_packagep; }

1408

void packagep(AstPackage* nodep) { m_packagep=nodep; }

1390

1409

};

1391

1410

1392

1411

struct AstDot : public AstNode {

1393

1412

// A dot separating paths in an AstXRef, AstFuncRef or AstTaskRef

1394

1413

// These are eliminated in the link stage

1395

private:

1396

bool m_start; // Start of parseref stack

1397

1414

public:

1398

1415

AstDot(FileLine* fl, AstNode* lhsp, AstNode* rhsp)

1399

:AstNode(fl) { setOp1p(lhsp); setOp2p(rhsp); m_start=false; }

1416

:AstNode(fl) { setOp1p(lhsp); setOp2p(rhsp); }

1400

1417

ASTNODE_NODE_FUNCS(Dot, DOT)

1418

static AstNode* newIfPkg(FileLine*fl, AstPackage* packagep, AstNode* rhsp) { // For parser, make only if non-null package

1419

if (!packagep) return rhsp;

1420

return new AstDot(fl, new AstPackageRef(fl, packagep), rhsp);

1421

}

1401

1422

virtual void dump(ostream& str);

1402

1423

virtual string emitVerilog() { V3ERROR_NA; return ""; }

1403

1424

virtual string emitC() { V3ERROR_NA; return ""; }

1404

1425

AstNode* lhsp() const { return op1p(); }

1405

1426

AstNode* rhsp() const { return op2p(); }

1406

bool start() const { return m_start; }

1407

void start(bool flag) { m_start = flag; }

1408

1427

};

1409

1428

1410

1429

//######################################################################

1474

1493

class Initial {}; // for creator type-overload selection

1475

1494

class Settle {}; // for creator type-overload selection

1476

1495

class Never {}; // for creator type-overload selection

1477

AstSenItem(FileLine* fl, AstEdgeType edgeType, AstNodeVarRef* varrefp)

1478

: AstNodeSenItem(fl), m_edgeType(edgeType) {

1479

setOp1p(varrefp);

1480

}

1481

AstSenItem(FileLine* fl, AstEdgeType edgeType, AstParseRef* varrefp)

1496

AstSenItem(FileLine* fl, AstEdgeType edgeType, AstNode* varrefp)

1482

1497

: AstNodeSenItem(fl), m_edgeType(edgeType) {

1483

1498

setOp1p(varrefp);

1484

1499

}

1913

1928

bool hidden() const { return m_hidden; }

1914

1929

};

1915

1930

1916

struct AstDisplay : public AstNode {

1931

struct AstDisplay : public AstNodeStmt {

1917

1932

// Parents: stmtlist

1918

1933

// Children: file which must be a varref

1919

1934

// Children: SFORMATF to generate print string

1921

1936

AstDisplayType m_displayType;

1922

1937

public:

1923

1938

AstDisplay(FileLine* fileline, AstDisplayType dispType, const string& text, AstNode* filep, AstNode* exprsp)

1924

: AstNode (fileline) {

1939

: AstNodeStmt (fileline) {

1925

1940

setOp1p(new AstSFormatF(fileline,text,true,exprsp));

1926

1941

setNOp3p(filep);

1927

1942

m_displayType = dispType;

1976

1991

void lhsp(AstNode* nodep) { setOp3p(nodep); }

1977

1992

};

1978

1993

1979

struct AstSysIgnore : public AstNode {

1994

struct AstSysIgnore : public AstNodeStmt {

1980

1995

// Parents: stmtlist

1981

1996

// Children: varrefs or exprs

1982

1997

AstSysIgnore(FileLine* fileline, AstNode* exprsp)

1983

: AstNode (fileline) { addNOp1p(exprsp); }

1998

: AstNodeStmt (fileline) { addNOp1p(exprsp); }

1984

1999

ASTNODE_NODE_FUNCS(SysIgnore, SYSIGNORE)

1985

2000

virtual string verilogKwd() const { return "$ignored"; }

1986

2001

virtual bool isGateOptimizable() const { return false; } // Though deleted before opt

Older »