Task #5785: Too much diagnostics on misprintings - MicroTESK - Open-Source Projects

Actions

Copy link

Task #5785

closed

Too much diagnostics on misprintings

Added by Mikhail Chupilko over 9 years ago. Updated about 5 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Andrei Tatarnikov

Category:

Target version:

2.2

Start date:

03/30/2015

Due date:

% Done:

Estimated time:

Detected in build:

svn

Published in build:

Description

Usage of logical NOT instead of bitwise NOT results in a sheet of diagnostics. Only are the first two sentences meaningful.

    rd = (top & !ltmask) | (bot & ltmask);

armv8.nml 1303:16 ERROR (SEMANTIC): "The Type.CARD(64) type is not supported by the ! operator." 
armv8.nml 1303:16 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '!ltmask'." 
armv8.nml 1303:14 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(top&!ltmask)'." 
armv8.nml 1303:25 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(top&!ltmask)|(bot&ltmask)'." 
armv8.nml 1303:25 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(top&!ltmask)|(bot&ltmask)'." 
armv8.nml 1303:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'rd=(top&!ltmask)|(bot&ltmask)'." 
armv8.nml 1291:4 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'rd=(top&!ltmask)|(bot&ltmask)'." 
armv8.nml 1291:4 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '{ifinzero==coerce(card(1),1)thendst=coerce(card(64),0);
elsedst=rd;endif;src=rn;bot=(dst&~lwmask)|((src>>>R)&lwmask);ifextend==coerce(card(1),1)thenelsetop=dst;endif;rd=(top&!ltmask)|(bot&ltmask);}'." 

armv8.nml 1307:0 ERROR (TREEWALKER): "C:\work\microtesk\src\main\java\core\ru\ispras\microtesk\translator\simnml\grammar\SimnMLTreeWalker.g: node from line 1307:0
 mismatched tree node: op expecting <UP>" 

armv8.nml 1290:2 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'action={ifinzero==coerce(card(1),1)thendst=coerce(card(64),0);
elsedst=rd;endif;src=rn;bot=(dst&~lwmask)|((src>>>R)&lwmask);ifextend==coerce(card(1),1)thenelsetop=dst;endif;rd=(top&!ltmask)|(bot&ltmask);}'." 

armv8.nml 1289:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'action={ifinzero==coerce(card(1),1)thendst=coerce(card(64),0);
elsedst=rd;endif;src=rn;bot=(dst&~lwmask)|((src>>>R)&lwmask);ifextend==coerce(card(1),1)thenelsetop=dst;endif;rd=(top&!ltmask)|(bot&ltmask);}'." 

armv8.nml 1289:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opBitFieldGeneral(rd:REG,rn:REG,lwmask:card(64),ltmask:card(64))
action={ifinzero==coerce(card(1),1)thendst=coerce(card(64),0);elsedst=rd;endif;src=rn;bot=(dst&~lwmask)|((src>>>R)&lwmask);ifextend==coerce(card(1),1)thenelsetop=dst;endif;
rd=(top&!ltmask)|(bot&ltmask);}'."

I suggest reducing the log.

The processing of the following a bit more complicated expression with incorrect NOT results in much more severe fall.

    bot = (dst & !lwmask) | ((src >>> R) & lwmask);

armv8.nml 1297:17 ERROR (SEMANTIC): "The Type.CARD(64) type is not supported by the ! operator." 
armv8.nml 1297:17 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '!lwmask'." 
armv8.nml 1297:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(dst&!lwmask)'." 
armv8.nml 1297:26 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(dst&!lwmask)|((src>>>R)&lwmask)'." 
armv8.nml 1298:4 ERROR (TREEWALKER): "C:\work\microtesk\src\main\java\core\ru\ispras\microtesk\translator\simnml\grammar\SimnMLTreeWalker.g:
 node from line 1298:4 mismatched tree node: if expecting <UP>" 

armv8.nml 1297:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'bot=(dst&!lwmask)|((src>>>R)&lwmask)'." 
armv8.nml 1291:4 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'bot=(dst&!lwmask)|((src>>>R)&lwmask)'." 
armv8.nml 1291:4 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '{ifinzero==coerce(card(1),1)thendst=coerce(card(64),0);
elsedst=rd;endif;src=rn;bot=(dst&!lwmask)|((src>>>R)&lwmask);ifextend==coerce(card(1),1)thenelsetop=dst;endif;rd=(top&~ltmask)|(bot&ltmask);}'." 

armv8.nml 1290:2 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'action={ifinzero==coerce(card(1),1)thendst=coerce(card(64),0)
;elsedst=rd;endif;src=rn;bot=(dst&!lwmask)|((src>>>R)&lwmask);ifextend==coerce(card(1),1)thenelsetop=dst;endif;rd=(top&~ltmask)|(bot&ltmask);}'." 

armv8.nml 1289:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'action={ifinzero==coerce(card(1),1)thendst=coerce(card(64),0);
elsedst=rd;endif;src=rn;bot=(dst&!lwmask)|((src>>>R)&lwmask);ifextend==coerce(card(1),1)thenelsetop=dst;endif;rd=(top&~ltmask)|(bot&ltmask);}'." 

armv8.nml 1289:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opBitFieldGeneral(rd:REG,rn:REG,lwmask:card(64),
ltmask:card(64))action={ifinzero==coerce(card(1),1)thendst=coerce(card(64),0);elsedst=rd;endif;src=rn;bot=(dst&!lwmask)|((src>>>R)&lwmask);
ifextend==coerce(card(1),1)thenelsetop=dst;endif;rd=(top&~ltmask)|(bot&ltmask);}'." 

armv8.nml 1346:4 ERROR (SEMANTIC): "The 'BitFieldGeneral' primitive is not defined or does not have the 'OP' type." 
********************************************************************************
ATTENTION! An unexpected error has occurred:
java.lang.NullPointerException: null

The program will be terminated. Please contact us at:
microtesk-support@ispras.ru

We are sorry for the inconvenience.

Exception stack:

ru.ispras.microtesk.translator.simnml.ir.primitive.StatementFactory.createAttributeCall(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.attributeCallStatement(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.statement(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.sequence(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.actionDef(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.attrDef(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.attrDefList(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.opSpecPart(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.opDef(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.procSpec(Unknown Source)
ru.ispras.microtesk.translator.simnml.grammar.SimnMLTreeWalker.startRule(Unknown Source)
ru.ispras.microtesk.translator.simnml.SimnMLAnalyzer.startParserAndWalker(Unknown Source)
ru.ispras.microtesk.translator.simnml.SimnMLAnalyzer.start(Unknown Source)
ru.ispras.microtesk.translator.simnml.SimnMLAnalyzer.start(Unknown Source)
ru.ispras.microtesk.MicroTESK.translate(Unknown Source)
ru.ispras.microtesk.MicroTESK.main(Unknown Source)
********************************************************************************

It asks me to contact the support team.