MicroTESK

Code (armv8.nml, line: 989):

op CheckAlignment(address_result: DWORD, check_size: BYTE)

....

temp = (address_result / check_size) * check_size;

Exception:

ATTENTION! An unexpected error has occurred:
java.lang.IllegalArgumentException: The DIV operation cannot be performed for Type.CARD(64) and Type.CARD(64) operands.

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

We are sorry for the inconvenience.

Exception stack:

java.lang.IllegalArgumentException: The DIV operation cannot be performed for Type.CARD(64) and Type.CARD(64) operands.
    at ru.ispras.microtesk.model.api.data.DataEngine.checkOperationSupported(Unknown Source)
    at ru.ispras.microtesk.model.api.data.DataEngine.execute(Unknown Source)
    at ru.ispras.microtesk.model.armv8.op.CheckAlignment.action(Unknown Source)
    at ru.ispras.microtesk.model.armv8.op.ldr_pc.action(Unknown Source)
    at ru.ispras.microtesk.model.api.instruction.InstructionCall.execute(Unknown Source)
    at ru.ispras.microtesk.test.template.ConcreteCall.execute(Unknown Source)
    at ru.ispras.microtesk.test.DataGenerator.registerCall(Unknown Source)
    at ru.ispras.microtesk.test.DataGenerator.processAbstractCall(Unknown Source)
    at ru.ispras.microtesk.test.DataGenerator.process(Unknown Source)
    at ru.ispras.microtesk.test.TestEngine$TemplateProcessor.processBlock(Unknown Source)
    at ru.ispras.microtesk.test.TestEngine$TemplateProcessor.process(Unknown Source)
    at ru.ispras.microtesk.test.template.Template.processBlock(Unknown Source)
    at ru.ispras.microtesk.test.template.Template.endMainSection(Unknown Source)
    at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
    at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
    at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
    at java.lang.reflect.Method.invoke(Unknown Source)
    at org.jruby.javasupport.JavaMethod.invokeDirectWithExceptionHandling(JavaMethod.java:440)
    at org.jruby.javasupport.JavaMethod.invokeDirect(JavaMethod.java:304)
    at org.jruby.java.invokers.InstanceMethodInvoker.call(InstanceMethodInvoker.java:52)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:306)
    at org.jruby.runtime.callsite.CachingCallSite.call(CachingCallSite.java:136)
    at org.jruby.ast.CallNoArgNode.interpret(CallNoArgNode.java:64)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.BlockNode.interpret(BlockNode.java:71)
    at org.jruby.evaluator.ASTInterpreter.INTERPRET_METHOD(ASTInterpreter.java:75)
    at org.jruby.internal.runtime.methods.InterpretedMethod.call(InterpretedMethod.java:139)
    at org.jruby.internal.runtime.methods.DefaultMethod.call(DefaultMethod.java:172)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:306)
    at org.jruby.runtime.callsite.CachingCallSite.call(CachingCallSite.java:136)
    at org.jruby.ast.CallNoArgNode.interpret(CallNoArgNode.java:64)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.BlockNode.interpret(BlockNode.java:71)
    at org.jruby.ast.IfNode.interpret(IfNode.java:116)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.evaluator.ASTInterpreter.INTERPRET_BLOCK(ASTInterpreter.java:112)
    at org.jruby.runtime.Interpreted19Block.evalBlockBody(Interpreted19Block.java:209)
    at org.jruby.runtime.Interpreted19Block.yield(Interpreted19Block.java:160)
    at org.jruby.runtime.Block.yield(Block.java:130)
    at org.jruby.RubyHash$13.visit(RubyHash.java:1270)
    at org.jruby.RubyHash.visitAll(RubyHash.java:627)
    at org.jruby.RubyHash.iteratorVisitAll(RubyHash.java:1221)
    at org.jruby.RubyHash.each_pairCommon(RubyHash.java:1266)
    at org.jruby.RubyHash.each19(RubyHash.java:1257)
    at org.jruby.RubyHash$INVOKER$i$0$0$each19.call(RubyHash$INVOKER$i$0$0$each19.gen)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:316)
    at org.jruby.runtime.callsite.CachingCallSite.callBlock(CachingCallSite.java:145)
    at org.jruby.runtime.callsite.CachingCallSite.callIter(CachingCallSite.java:154)
    at org.jruby.ast.CallNoArgBlockNode.interpret(CallNoArgBlockNode.java:64)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.BlockNode.interpret(BlockNode.java:71)
    at org.jruby.evaluator.ASTInterpreter.INTERPRET_METHOD(ASTInterpreter.java:75)
    at org.jruby.internal.runtime.methods.InterpretedMethod.call(InterpretedMethod.java:139)
    at org.jruby.internal.runtime.methods.DefaultMethod.call(DefaultMethod.java:172)
    at org.jruby.runtime.callsite.CachingCallSite.cacheAndCall(CachingCallSite.java:306)
    at org.jruby.runtime.callsite.CachingCallSite.call(CachingCallSite.java:136)
    at org.jruby.ast.CallNoArgNode.interpret(CallNoArgNode.java:64)
    at org.jruby.ast.NewlineNode.interpret(NewlineNode.java:105)
    at org.jruby.ast.BlockNode.interpret(BlockNode.java:71)
    at org.jruby.ast.RootNode.interpret(RootNode.java:129)
    at org.jruby.evaluator.ASTInterpreter.INTERPRET_ROOT(ASTInterpreter.java:120)
    at org.jruby.Ruby.runInterpreter(Ruby.java:842)
    at org.jruby.Ruby.runInterpreter(Ruby.java:850)
    at org.jruby.embed.internal.EmbedEvalUnitImpl.run(EmbedEvalUnitImpl.java:121)
    at org.jruby.embed.ScriptingContainer.runUnit(ScriptingContainer.java:1264)
    at org.jruby.embed.ScriptingContainer.runScriptlet(ScriptingContainer.java:1309)
    at ru.ispras.microtesk.test.TestEngine.generate(Unknown Source)
    at ru.ispras.microtesk.MicroTESK.generate(Unknown Source)
    at ru.ispras.microtesk.MicroTESK.main(Unknown Source)
********************************************************************************