Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-08-29T12:38:59ZOpen-Source Projects
Redmine QEMU4V - Bug #12607 (New): missing log problemhttps://forge.ispras.ru/issues/126072023-08-29T12:38:59ZSergey Smolovsmolov@ispras.ru
<p>Sometimes QEMU4V generates zero-size log file upon running at MicroTESK-* projects on Jenkins -- MIPS64, ARM testing.<br />Some investigations should be made.</p> MicroTESK for PowerPC - Bug #12249 (New): qemu-system-ppc: failed to find romfile "efi-virtio.rom"https://forge.ispras.ru/issues/122492023-03-22T11:26:46ZSergey Smolovsmolov@ispras.ru
<p>The following tests<br /><pre>
AbsTestCase. test
InstructionAluTestCase. test
InstructionBpuTestCase. test
InstructionMmuTestCase. test
</pre><br />fail while using last snapshot of QEMU4V (3.7.0-SNAPSHOT). The error log is:<br /><pre>
Start compilation of instruction_mmu_0000.s ...
/usr/bin/powerpc-linux-gnu-ld: warning: cannot find entry symbol _start; defaulting to 0000000000002000
done.
Start emulation ...
qemu-system-ppc: failed to find romfile "efi-virtio.rom"
</pre></p>
<p>Probably, the problem is in ELF image construction, or in QEMU params.</p> Java SoftFloat - Bug #11042 (New): Javadoc warningshttps://forge.ispras.ru/issues/110422021-12-02T12:12:23ZSergey Smolovsmolov@ispras.ru
<p>Warnings upon project build:</p>
<pre>
> Task :javadoc
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Conversion.java:41: warning - Tag @see: reference not found: #f32_to_i32(int)
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:622: warning - @param argument "zExpPtr" is not a parameter name.
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:623: warning - @param argument "zSigPtr" is not a parameter name.
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4899: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4899: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4926: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4926: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4975: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4975: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:5005: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:5005: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6348: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6348: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6375: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6375: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6424: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6424: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6454: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6454: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloatUtils.java:122: warning - @param argument "zPtr" is not a parameter name.
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:37: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:37: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:51: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:51: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
28 warnings
</pre> MicroTESK for PowerPC - Bug #10819 (New): Trace Matcher crashes on QEMU4V empty tracehttps://forge.ispras.ru/issues/108192021-04-23T08:23:08ZSergey Smolovsmolov@ispras.ru
<p>Check if QEMU4V trace is not empty before shutting down the emulator.</p> MicroTESK - Task #10304 (New): deprecation warnings via compilationhttps://forge.ispras.ru/issues/103042020-04-23T12:19:57ZSergey Smolovsmolov@ispras.ru
<pre>
> Task :compileJava
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/SysUtils.java:122: warning: [deprecation] newInstance() in Class has been deprecated
return cl.loadClass(className).newInstance();
^
where T is a type-variable:
T extends Object declared in class Class
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/SysUtils.java:148: warning: [deprecation] newInstance() in Class has been deprecated
return (Plugin) pluginClass.newInstance();
^
where T is a type-variable:
T extends Object declared in class Class
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorNitems.java:78: warning: [unchecked] unchecked method invocation: method copyAll in class SharedObject is applied to given types
return SharedObject.copyAll((List) value);
^
required: List<T>
found: List
where T is a type-variable:
T extends SharedObject<T> declared in method <T>copyAll(List<T>)
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorNitems.java:78: warning: [unchecked] unchecked conversion
return SharedObject.copyAll((List) value);
^
required: List<T>
found: List
where T is a type-variable:
T extends SharedObject<T> declared in method <T>copyAll(List<T>)
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorNitems.java:78: warning: [unchecked] unchecked conversion
return SharedObject.copyAll((List) value);
^
required: List<T>
found: List
where T is a type-variable:
T extends Object declared in class GeneratorNitems
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorConfig.java:179: warning: [deprecation] newInstance() in Class has been deprecated
return type.newInstance();
^
where T is a type-variable:
T extends Object declared in class Class
6 warnings
</pre> MicroTESK - Feature #10074 (New): option that stores boot obj at the generated ld scripthttps://forge.ispras.ru/issues/100742020-01-27T12:51:20ZSergey Smolovsmolov@ispras.ru
<p>Generally speaking, assembler program for boot loader should not be included into the resulting binary for test program. However, in some cases (for example, our JUnit test cases for MiniMIPS model) it could be useful.</p>
<p>So, boot object and it's address should be mentioned in the <em>ld</em> script that is generated by the MicroTESK, when the specific option is enabled.</p>
<p>Here is the working example of <em>ld</em> script that is runnable on QEMU: <a class="external" href="https://forge.ispras.ru/projects/microtesk-book/repository/418/revisions/master/entry/examples/link_qemu.ls">https://forge.ispras.ru/projects/microtesk-book/repository/418/revisions/master/entry/examples/link_qemu.ls</a></p> MicroTESK - Bug #10069 (New): cpu.nml Error: Internal error: context [/Isa] 1:8 attribute file is...https://forge.ispras.ru/issues/100692020-01-24T12:11:55ZSergey Smolovsmolov@ispras.ru
<p>Upon building, the following error appears in Gradle log:<br /><pre>
> Task :translateCpu
Translating: src/main/arch/demo/cpu/model/cpu.nml
Model name: cpu
Included: src/main/arch/demo/cpu/model/cpu.nml
Error: Internal error: context [/Isa] 1:8 attribute file isn't defined
</pre></p> MicroTESK for PowerPC - Bug #10031 (New): WARNING: An illegal reflective access operation has occ...https://forge.ispras.ru/issues/100312020-01-13T11:54:41ZSergey Smolovsmolov@ispras.ru
<p>The following warnings appear in test log:<br /><pre><code class="text syntaxhl" data-language="text">WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by org.jruby.util.io.ChannelDescriptor (file:/home/ssedai/projects/microtesk-powerpc/build/target/lib/jars/jruby-complete-1.7.25.jar) to method sun.nio.ch.SelChImpl.getFD()
WARNING: Please consider reporting this to the maintainers of org.jruby.util.io.ChannelDescriptor
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
</code></pre></p>
<p>OpenJDK 11 is used.</p> MicroTESK for MIPS - Bug #9377 (New): 'Failed to construct decoder' warnings in project's build loghttps://forge.ispras.ru/issues/93772018-11-08T11:34:41ZSergey Smolovsmolov@ispras.ru
<pre>
Warning: Failed to construct decoder for mfc0. Unrecognized field: rd.r
Warning: Failed to construct decoder for mfc0. Unrecognized field: rd.s
Warning: Failed to construct decoder for mfc0. Undecoded arguments: [rd]
Warning: Failed to construct decoder for mtc0. Unrecognized field: rd.r
Warning: Failed to construct decoder for mtc0. Unrecognized field: rd.s
Warning: Failed to construct decoder for mtc0. Undecoded arguments: [rd]
Warning: Failed to construct decoder for ext. Unrecognized field: (BVSUB size 00001)
Warning: Failed to construct decoder for ext. Undecoded arguments: [size]
Warning: Failed to construct decoder for ins. Unrecognized field: (BVSUB (BVADD pos size) 00001)
Warning: Failed to construct decoder for ins. Undecoded arguments: [size]
Warning: Failed to construct decoder for dins. Unrecognized field: (BVSUB (BVADD pos size) 00001)
Warning: Failed to construct decoder for dins. Undecoded arguments: [size]
Warning: Failed to construct decoder for dinsm. Unrecognized field: (BVEXTRACT 4 0 (BVSUB (BVADD (BVZEROEXT 1 pos) size) 100001))
Warning: Failed to construct decoder for dinsm. Undecoded arguments: [size]
Warning: Failed to construct decoder for dinsu. Unrecognized field: (BVEXTRACT 4 0 (BVSUB (BVADD pos (BVZEROEXT 1 size)) 100001))
Warning: Failed to construct decoder for dinsu. Unrecognized field: (BVEXTRACT 4 0 (BVSUB pos 100000))
Warning: Failed to construct decoder for dinsu. Undecoded arguments: [pos, size]
</pre> MicroTESK for MIPS - Bug #9376 (New): Warning: Group MIPS64FpuOp contains two items add_fmt and m...https://forge.ispras.ru/issues/93762018-11-08T11:33:31ZSergey Smolovsmolov@ispras.ru
<p>The warning above appears upon project building. To reproduce it, run './gradlew assemble' in Unix-like OS or 'gradlew.bat assemble' in Windows OS.</p> MicroTESK - Feature #8587 (New): ISA subsetshttps://forge.ispras.ru/issues/85872017-11-22T10:08:29ZSergey Smolovsmolov@ispras.ru
<p>Several ISA have subsets for instructions. Each subset is marked by the string name.</p>
<p>For example, in RISC-V architecture they are the following: A (atomic memory operation instructions), M (multiply\divide instructions), F (floating-point instructions), etc.</p>
<p>The ISA subset name can be associated with instruction somehow and can be printed in MicroTESK trace when the instruction is simulated.<br />The MicroTESK trace format even has the appropriate field for this information.</p> Fortress - Task #7561 (New): ISampleConstraint: 'getExpectedVariables' returns value that is igno...https://forge.ispras.ru/issues/75612016-09-08T15:05:32ZSergey Smolovsmolov@ispras.ru
<p>JUnit test case classes that implement ISampleConstraint interface should implement <code>getExpectedVariables</code> method. In fact, this method's returned value is ignored everwhere.<br />Probably we should either to made our tests more solver-specific (AFAIK, this problem comes from the fact that Z3 and CVC4 solvers return different values on same constraints), or change this method somehow.</p> Local Support Project - Bug #6394 (New): Проект HDL Retrascope: на 17-дюймовом мониторе не масшта...https://forge.ispras.ru/issues/63942015-11-04T08:18:33ZSergey Smolovsmolov@ispras.ru
<p>В проекте HDL Retrascope при заходе через браузеры Firefox, Opera, IE не масштабируется таблица Задачи.<br />В других проектах на том же мониторе такая проблема не наблюдается.</p> Fortress - Task #4713 (New): SMT-LIB structureshttps://forge.ispras.ru/issues/47132014-03-17T06:59:53ZSergey Smolovsmolov@ispras.ru
<p>Реализовать поддержку структур (record) как типа данных языка SMT-LIB.</p> CTESK - Bug #2494 (New): warning at build loghttps://forge.ispras.ru/issues/24942012-02-24T06:40:28ZSergey Smolovsmolov@ispras.ru
<p>При сборке возникает следующее предупреждение:</p>
<p>gcc -I. -g -ggdb -O0 -fno-inline -D_GLIBCXX_DEBUG -O -DATL_CLONE_DISABLE -DUSE_FOPEN64 -c c_tracer/c_tracer.c -o c_tracer/c_tracer.o<br />c_tracer/c_tracer.c: In function ‘addTraceToFile’:<br />c_tracer/c_tracer.c:117:7: warning: assignment makes pointer from integer without a cast</p>
<p>Сборка завершается корректно, так что это скорее небольшой досадный недочет.</p>