sh bin/compile.sh ./arch/riscv/model/riscv_rv32i.nml Buildfile: /home/moore/tmp/microtesk-riscv-0.0.6-beta-180821/bin/build.xml clean: [delete] Deleting directory /home/moore/tmp/microtesk-riscv-0.0.6-beta-180821/gen BUILD SUCCESSFUL Total time: 0 seconds Translating: ./arch/riscv/model/riscv_rv32i.nml Model name: riscv_rv32i Included: ./arch/riscv/model/riscv_rv32i.nml riscv_rv32i.nml 102:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 102:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 102:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 102:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,imm:card(20))'." riscv_rv32i.nml 102:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oplui(rd:X,imm:card(20))syntax=format(lui %s, 0x%x,rd.syntax,imm)image=format(%20s%s0110111,imm,rd.image)action={rd=sign_extend(XWORD,imm)<<12;}'." riscv_rv32i.nml 125:13 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 125:13 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 125:9 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 125:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,imm:card(20))'." riscv_rv32i.nml 125:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opauipc(rd:X,imm:card(20))syntax=format(auipc %s, 0x%x,rd.syntax,imm)image=format(%20s%s0010111,imm,rd.image)action={rd=PC+(sign_extend(XWORD,imm)<<12);}'." riscv_rv32i.nml 156:33 ERROR (SEMANTIC): "Undefined type: WORD." riscv_rv32i.nml 156:33 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'WORD'." riscv_rv32i.nml 156:25 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'WORD'." riscv_rv32i.nml 156:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(target:WORD,current:WORD)'." riscv_rv32i.nml 156:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'labelmodeJUMP_LABEL_M2(target:WORD,current:WORD)=target<20..1>-current<20..1>init={jump_imm20=target<20..1>-current<20..1>;}syntax=image=format(%s,target<20..1>-current<20..1>)'." riscv_rv32i.nml 163:5 ERROR (SEMANTIC): "The 'JUMP_LABEL_M2' item of the 'JUMP_ADDR_M2' OR-rule is not defined or is not a MODE definition." riscv_rv32i.nml 163:5 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'modeJUMP_ADDR_M2=JUMP_LABEL_M2|JUMP_IMM'." riscv_rv32i.nml 165:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 165:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 165:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 165:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,imm:JUMP_ADDR_M2)'." riscv_rv32i.nml 165:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opjal(rd:X,imm:JUMP_ADDR_M2)syntax=format(jal %s, %s,rd.syntax,imm.syntax)image=format(%1s%10s%1s%8s%s1101111,jump_imm20<19>,jump_imm20<9..0>,jump_imm20<10>,jump_imm20<18..11>,rd.image)action={rd=PC+4;PC=PC+(sign_extend(XWORD,imm)<<1);}'." riscv_rv32i.nml 188:12 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 188:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 188:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 188:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 188:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opjalr(rd:X,rs1:X,imm:card(12))syntax=format(jalr %s, %s, %s,rd.syntax,rs1.syntax,print_imm12(imm).syntax)image=format(%s%s000%s1100111,imm,rs1.image,rd.image)action={rd=PC+4;PC=rs1+((sign_extend(XWORD,imm)>>1)<<1);}'." riscv_rv32i.nml 212:32 ERROR (SEMANTIC): "Undefined type: WORD." riscv_rv32i.nml 212:32 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'WORD'." riscv_rv32i.nml 212:24 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'WORD'." riscv_rv32i.nml 212:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(target:WORD,current:WORD)'." riscv_rv32i.nml 212:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'labelmodeBRANCH_LABEL(target:WORD,current:WORD)=target<12..1>-current<12..1>init={jump_imm12=target<12..1>-current<12..1>;}syntax=image=format(%s,target<12..1>-current<12..1>)'." riscv_rv32i.nml 226:5 ERROR (SEMANTIC): "The 'BRANCH_LABEL' item of the 'BRANCH_OFFSET' OR-rule is not defined or is not a MODE definition." riscv_rv32i.nml 226:5 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'modeBRANCH_OFFSET=BRANCH_LABEL|BRANCH_IMM'." riscv_rv32i.nml 228:30 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 228:30 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 228:25 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 228:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs1:X,rs2:X,branch_index:card(3))'." riscv_rv32i.nml 228:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'internalopbranch_image(rs1:X,rs2:X,branch_index:card(3))syntax=format()image=format(%1s%6s%5s%5s%3s%4s%1s1100011,jump_imm12<11>,jump_imm12<9..4>,rs2.image,rs1.image,branch_index,jump_imm12<3..0>,jump_imm12<10>)action={}'." riscv_rv32i.nml 234:12 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 234:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 234:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 234:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs1:X,rs2:X,imm:BRANCH_OFFSET)'." riscv_rv32i.nml 234:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opbeq(rs1:X,rs2:X,imm:BRANCH_OFFSET)syntax=format(beq %s, %s, %s,rs1.syntax,rs2.syntax,imm.syntax)image=format(%s,branch_image(rs1,rs2,000).image)action={ifrs1==rs2thenPC=PC+(sign_extend(XWORD,imm)<<1);endif;}'." riscv_rv32i.nml 243:12 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 243:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 243:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 243:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs1:X,rs2:X,imm:BRANCH_OFFSET)'." riscv_rv32i.nml 243:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opbne(rs1:X,rs2:X,imm:BRANCH_OFFSET)syntax=format(bne %s, %s, %s,rs1.syntax,rs2.syntax,imm.syntax)image=format(%32s,branch_image(rs1,rs2,001).image)action={ifrs1!=rs2thenPC=PC+(sign_extend(XWORD,imm)<<1);endif;}'." riscv_rv32i.nml 267:12 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 267:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 267:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 267:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs1:X,rs2:X,imm:BRANCH_OFFSET)'." riscv_rv32i.nml 267:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opblt(rs1:X,rs2:X,imm:BRANCH_OFFSET)syntax=format(blt %s, %s, %s,rs1.syntax,rs2.syntax,imm.syntax)image=format(%32s,branch_image(rs1,rs2,100).image)action={ifcast(XINT,rs1)=cast(XINT,rs2)thenPC=PC+(sign_extend(XWORD,imm)<<1);endif;}'." riscv_rv32i.nml 309:13 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 309:13 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 309:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 309:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs1:X,rs2:X,imm:BRANCH_OFFSET)'." riscv_rv32i.nml 309:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opbgeu(rs1:X,rs2:X,imm:BRANCH_OFFSET)syntax=format(bgeu %s, %s, %s,rs1.syntax,rs2.syntax,imm.syntax)image=format(%32s,branch_image(rs1,rs2,111).image)action={ifrs1>=rs2thenPC=PC+(sign_extend(XWORD,imm)<<1);endif;}'." riscv_rv32i.nml 348:10 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 348:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 348:6 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 348:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 348:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oplw(rd:X,rs1:X,imm:card(12))syntax=format(lw %s, %s(%s),rd.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%12s%s010%s0000011,imm,rs1.image,rd.image)action={tmp_address=rs1+sign_extend(XWORD,imm);tmp_index=tmp_address>>2;iftmp_address<1..0>==0thentmp_word=MEM[tmp_index];eliftmp_address<1..0>==1thentmp_word=MEM[tmp_index+1]<7..0>::MEM[tmp_index]<31..8>;eliftmp_address<1..0>==2thentmp_word=MEM[tmp_index+1]<15..0>::MEM[tmp_index]<31..16>;elsetmp_word=MEM[tmp_index+1]<23..0>::MEM[tmp_index]<31..24>;endif;rd=sign_extend(XWORD,tmp_word);}'." riscv_rv32i.nml 368:10 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 368:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 368:6 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 368:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 368:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oplh(rd:X,rs1:X,imm:card(12))syntax=format(lh %s, %s(%s),rd.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%12s%5s001%5s0000011,imm,rs1.image,rd.image)action={tmp_address=rs1+sign_extend(XWORD,imm);iftmp_address<1..0>!=3thentmp_bit_offset=zero_extend(card(5),tmp_address<1..0>)*8;tmp_half=MEM[tmp_address>>2];elsetmp_half=MEM[(tmp_address>>2)+1]<7..0>::MEM[tmp_address>>2]<31..24>;endif;rd=sign_extend(XWORD,tmp_half);}'." riscv_rv32i.nml 384:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 384:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 384:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 384:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 384:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oplhu(rd:X,rs1:X,imm:card(12))syntax=format(lhu %s, %s(%s),rd.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%12s%s101%s0000011,imm,rs1.image,rd.image)action={tmp_address=rs1+sign_extend(XWORD,imm);iftmp_address<1..0>!=3thentmp_bit_offset=zero_extend(card(5),tmp_address<1..0>)*8;tmp_half=MEM[tmp_address>>2];elsetmp_half=MEM[(tmp_address>>2)+1]<7..0>::MEM[tmp_address>>2]<31..24>;endif;rd=zero_extend(XWORD,tmp_half);}'." riscv_rv32i.nml 400:10 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 400:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 400:6 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 400:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 400:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oplb(rd:X,rs1:X,imm:card(12))syntax=format(lb %s, %s(%s),rd.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%12s%s000%s0000011,imm,rs1.image,rd.image)action={tmp_address=rs1+sign_extend(XWORD,imm);tmp_bit_offset=zero_extend(card(5),tmp_address<1..0>)*8;tmp_byte=MEM[tmp_address>>2];rd=sign_extend(XWORD,tmp_byte);}'." riscv_rv32i.nml 412:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 412:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 412:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 412:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 412:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oplbu(rd:X,rs1:X,imm:card(12))syntax=format(lbu %s, %s(%s),rd.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%12s%s100%s0000011,imm,rs1.image,rd.image)action={tmp_address=rs1+sign_extend(XWORD,imm);tmp_bit_offset=zero_extend(card(5),tmp_address<1..0>)*8;tmp_byte=MEM[tmp_address>>2];rd=zero_extend(XWORD,tmp_byte);}'." riscv_rv32i.nml 436:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 436:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 436:6 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 436:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs2:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 436:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsw(rs2:X,rs1:X,imm:card(12))syntax=format(sw %s, %s(%s),rs2.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%7s%s%s010%5s0100011,imm<11..5>,rs2.image,rs1.image,imm<4..0>)action={tmp_address=rs1+sign_extend(XWORD,imm);tmp_index=tmp_address>>2;iftmp_address<1..0>==0thenMEM[tmp_index]=rs2<31..0>;eliftmp_address<1..0>==1thenMEM[tmp_index+1]<7..0>::MEM[tmp_index]<31..8>=rs2<31..0>;eliftmp_address<1..0>==2thenMEM[tmp_index+1]<15..0>::MEM[tmp_index]<31..16>=rs2<31..0>;elseMEM[tmp_index+1]<23..0>::MEM[tmp_index]<31..24>=rs2<31..0>;endif;}'." riscv_rv32i.nml 457:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 457:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 457:6 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 457:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs2:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 457:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsh(rs2:X,rs1:X,imm:card(12))syntax=format(sh %s, %s(%s),rs2.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%7s%s%s001%5s0100011,imm<11..5>,rs2.image,rs1.image,imm<4..0>)action={tmp_address=rs1+sign_extend(XWORD,imm);iftmp_address<1..0>!=3thentmp_bit_offset=zero_extend(card(5),tmp_address<1..0>)*8;MEM[coerce(card(MEM_SIZE),tmp_address>>2)]=rs2<15..0>;elseMEM[coerce(card(MEM_SIZE),(tmp_address>>2)+1)]<7..0>::MEM[coerce(card(MEM_SIZE),tmp_address>>2)]<31..24>=rs2<15..0>;endif;}'." riscv_rv32i.nml 471:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 471:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 471:6 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 471:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs2:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 471:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsb(rs2:X,rs1:X,imm:card(12))syntax=format(sb %s, %s(%s),rs2.syntax,print_imm12(imm).syntax,rs1.syntax)image=format(%7s%5s%5s000%5s0100011,imm<11..5>,rs2.image,rs1.image,imm<4..0>)action={tmp_address=rs1+sign_extend(XWORD,imm);tmp_bit_offset=zero_extend(card(5),tmp_address<1..0>)*8;MEM[coerce(card(MEM_SIZE),tmp_address>>2)]<(tmp_bit_offset+7)..tmp_bit_offset>=rs2<7..0>;}'." riscv_rv32i.nml 480:3 ERROR (SEMANTIC): "The 'lb' item of the 'rv32i_mmu' OR-rule is not defined or is not a OP definition." riscv_rv32i.nml 480:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oprv32i_mmu=lb|lh|lw|lbu|lhu|sb|sh|sw'." riscv_rv32i.nml 498:12 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 498:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 498:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 498:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 498:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opaddi(rd:X,rs1:X,imm:card(12))syntax=format(addi %s, %s, %s,rd.syntax,rs1.syntax,print_imm12(imm).syntax)image=format(%12s%5s000%5s0010011,imm,rs1.image,rd.image)action={rd=rs1+sign_extend(XWORD,imm);}'." riscv_rv32i.nml 514:12 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 514:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 514:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 514:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'." riscv_rv32i.nml 514:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opslti(rd:X,rs1:X,imm:card(12))syntax=format(slti %s, %s, %s,rd.syntax,rs1.syntax,print_imm12(imm).syntax)image=format(%12s%s010%s0010011,imm,rs1.image,rd.image)action={ifcast(XINT,rs1)elsecoerce(BIT,0)endif,ifSHLEN==5thenimmelseimm<4..0>endif,rs1.image,rd.image)action={rd=rs1<elsecoerce(BIT,0)endif,ifSHLEN==5thenimmelseimm<4..0>endif,rs1.image,rd.image)action={rd=rs1>>imm;}'." riscv_rv32i.nml 644:12 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 644:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 644:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 644:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(SHLEN))'." riscv_rv32i.nml 644:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsrai(rd:X,rs1:X,imm:card(SHLEN))syntax=format(srai %s, %s, 0x%x,rd.syntax,rs1.syntax,imm)image=format(010000%1s%5s%s101%s0010011,ifSHLEN==6thenimm<5>elsecoerce(BIT,0)endif,ifSHLEN==5thenimmelseimm<4..0>endif,rs1.image,rd.image)action={rd=cast(XINT,rs1)>>imm;}'." riscv_rv32i.nml 671:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 671:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 671:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 671:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'." riscv_rv32i.nml 671:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsll(rd:X,rs1:X,rs2:X)syntax=format(sll %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s001%s0110011,rs2.image,rs1.image,rd.image)action={rd=rs1<;}'." riscv_rv32i.nml 678:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 678:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 678:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 678:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'." riscv_rv32i.nml 678:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsrl(rd:X,rs1:X,rs2:X)syntax=format(srl %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s101%s0110011,rs2.image,rs1.image,rd.image)action={rd=rs1>>rs2;}'." riscv_rv32i.nml 685:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 685:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 685:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 685:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'." riscv_rv32i.nml 685:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsra(rd:X,rs1:X,rs2:X)syntax=format(sra %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0100000%s%s101%s0110011,rs2.image,rs1.image,rd.image)action={rd=cast(XINT,rs1)>>rs2;}'." riscv_rv32i.nml 701:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 701:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 701:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 701:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'." riscv_rv32i.nml 701:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opadd(rd:X,rs1:X,rs2:X)syntax=format(add %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s000%s0110011,rs2.image,rs1.image,rd.image)action={rd=rs1+rs2;}'." riscv_rv32i.nml 708:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 708:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 708:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 708:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'." riscv_rv32i.nml 708:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsub(rd:X,rs1:X,rs2:X)syntax=format(sub %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0100000%s%s000%s0110011,rs2.image,rs1.image,rd.image)action={rd=rs1-rs2;}'." riscv_rv32i.nml 725:11 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 725:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 725:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 725:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'." riscv_rv32i.nml 725:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opslt(rd:X,rs1:X,rs2:X)syntax=format(slt %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s010%s0110011,rs2.image,rs1.image,rd.image)action={ifcast(XINT,rs1)" riscv_rv32i.nml 791:37 ERROR (TREEWALKER): "" riscv_rv32i.nml 791:26 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'addi(X(0),X(0),0).image'." riscv_rv32i.nml 791:43 ERROR (TREEWALKER): "ru/ispras/microtesk/translator/nml/grammar/NmlTreeWalker.g: node from line 791:43 mismatched tree node: 0 expecting " riscv_rv32i.nml 791:46 ERROR (TREEWALKER): "ru/ispras/microtesk/translator/nml/grammar/NmlTreeWalker.g: node from line 791:46 mismatched tree node: image expecting " riscv_rv32i.nml 799:17 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 799:17 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 799:13 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 799:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs:X)'." riscv_rv32i.nml 799:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopmv(rd:X,rs:X)syntax=format(mv %s, %s,rd.syntax,rs.syntax)image=format(%s,addi(rs,rd,0).image)action={addi(rd,rs,0).action;}'." riscv_rv32i.nml 811:18 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 811:18 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 811:14 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 811:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs:X)'." riscv_rv32i.nml 811:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopnot(rd:X,rs:X)syntax=format(not %s, %s,rd.syntax,rs.syntax)image=format(%s,xori(rd,rs,-1).image)action={xori(rd,rs,-1).action;}'." riscv_rv32i.nml 823:18 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 823:18 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 823:14 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 823:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs:X)'." riscv_rv32i.nml 823:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopneg(rd:X,rs:X)syntax=format(neg %s, %s,rd.syntax,rs.syntax)image=format(%s,sub(rd,X(0),rs).image)action={sub(rd,X(0),rs).action;}'." riscv_rv32i.nml 835:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 835:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 835:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 835:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs:X)'." riscv_rv32i.nml 835:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopseqz(rd:X,rs:X)syntax=format(seqz %s, %s,rd.syntax,rs.syntax)image=format(%s,sltiu(rd,rs,1).image)action={sltiu(rd,rs,1).action;}'." riscv_rv32i.nml 847:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 847:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 847:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 847:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs:X)'." riscv_rv32i.nml 847:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopsnez(rd:X,rs:X)syntax=format(snez %s, %s,rd.syntax,rs.syntax)image=format(%s,sltu(rd,X(0),rs).image)action={sltu(rd,X(0),rs).action;}'." riscv_rv32i.nml 859:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 859:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 859:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 859:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs:X)'." riscv_rv32i.nml 859:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopsltz(rd:X,rs:X)syntax=format(sltz %s, %s,rd.syntax,rs.syntax)image=format(%s,slt(rd,rs,X(0)).image)action={slt(rd,rs,X(0)).action;}'." riscv_rv32i.nml 871:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 871:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 871:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 871:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs:X)'." riscv_rv32i.nml 871:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopsgtz(rd:X,rs:X)syntax=format(sgtz %s, %s,rd.syntax,rs.syntax)image=format(%s,slt(rd,X(0),rs).image)action={slt(rd,X(0),rs).action;}'." riscv_rv32i.nml 883:20 ERROR (SEMANTIC): "The 'JUMP_ADDR_M2' primitive is not defined or does not have the 'MODE' type." riscv_rv32i.nml 883:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'JUMP_ADDR_M2'." riscv_rv32i.nml 883:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(offset:JUMP_ADDR_M2)'." riscv_rv32i.nml 883:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopj(offset:JUMP_ADDR_M2)syntax=format(j %s,offset.syntax)image=format(%s,jal(X(0),offset).image)action={jal(X(0),offset).action;}'." riscv_rv32i.nml 895:17 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 895:17 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 895:13 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 895:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs:X)'." riscv_rv32i.nml 895:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopjr(rs:X)syntax=format(jr %s,rs.syntax)image=format(%s,jalr(X(0),rs,0).image)action={jalr(X(0),rs,0).action;}'." riscv_rv32i.nml 907:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 907:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 907:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 907:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs:X,offset:BRANCH_OFFSET)'." riscv_rv32i.nml 907:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopbeqz(rs:X,offset:BRANCH_OFFSET)syntax=format(beqz %s, %s,rs.syntax,offset.syntax)image=format(%s,beq(rs,X(0),offset).image)action={beq(rs,X(0),offset).action;}'." riscv_rv32i.nml 919:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 919:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 919:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 919:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs:X,offset:BRANCH_OFFSET)'." riscv_rv32i.nml 919:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopbnez(rs:X,offset:BRANCH_OFFSET)syntax=format(bnez %s, %s,rs.syntax,offset.syntax)image=format(%s,bne(rs,X(0),offset).image)action={bne(rs,X(0),offset).action;}'." riscv_rv32i.nml 931:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 931:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 931:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 931:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs:X,offset:BRANCH_OFFSET)'." riscv_rv32i.nml 931:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopblez(rs:X,offset:BRANCH_OFFSET)syntax=format(blez %s, %s,rs.syntax,offset.syntax)image=format(%s,bge(X(0),rs,offset).image)action={bge(X(0),rs,offset).action;}'." riscv_rv32i.nml 943:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 943:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 943:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 943:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs:X,offset:BRANCH_OFFSET)'." riscv_rv32i.nml 943:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopbgez(rs:X,offset:BRANCH_OFFSET)syntax=format(bgez %s, %s,rs.syntax,offset.syntax)image=format(%s,bge(rs,X(0),offset).image)action={bge(rs,X(0),offset).action;}'." riscv_rv32i.nml 955:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 955:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 955:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 955:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs:X,offset:BRANCH_OFFSET)'." riscv_rv32i.nml 955:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopbltz(rs:X,offset:BRANCH_OFFSET)syntax=format(bltz %s, %s,rs.syntax,offset.syntax)image=format(%s,blt(rs,X(0),offset).image)action={blt(rs,X(0),offset).action;}'." riscv_rv32i.nml 967:19 ERROR (SEMANTIC): "Undefined type: X." riscv_rv32i.nml 967:19 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 967:15 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'." riscv_rv32i.nml 967:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs:X,offset:BRANCH_OFFSET)'." riscv_rv32i.nml 967:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'pseudoopbgtz(rs:X,offset:BRANCH_OFFSET)syntax=format(bgtz %s, %s,rs.syntax,offset.syntax)image=format(%s,blt(X(0),rs,offset).image)action={blt(X(0),rs,offset).action;}'." riscv_rv32i.nml 978:3 ERROR (SEMANTIC): "The 'lui' item of the 'rv32i' OR-rule is not defined or is not a OP definition." riscv_rv32i.nml 978:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oprv32i=lui|auipc|jal|jalr|beq|bne|blt|bge|bltu|bgeu|addi|slti|sltiu|xori|ori|andi|slli|srli|srai|sll|srl|sra|add|sub|slt|sltu|xor|or|and|rv32i_mmu|nop|mv|not|neg|seqz|snez|sltz|sgtz|j|jr|beqz|bnez|blez|bgez|bltz|bgtz'." riscv_rv32i.nml 1031:3 ERROR (SEMANTIC): "The 'lui' item of the 'rv32i_load_upper_imm' OR-rule is not defined or is not a OP definition." riscv_rv32i.nml 1031:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oprv32i_load_upper_imm=lui|auipc'." riscv_rv32i.nml 1034:3 ERROR (SEMANTIC): "The 'add' item of the 'rv32i_arithmetic_rrr' OR-rule is not defined or is not a OP definition." riscv_rv32i.nml 1034:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oprv32i_arithmetic_rrr=add|sub|xor|or|and'." riscv_rv32i.nml 1040:3 ERROR (SEMANTIC): "The 'xori' item of the 'rv32i_arithmetic_rri' OR-rule is not defined or is not a OP definition." riscv_rv32i.nml 1040:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'oprv32i_arithmetic_rri=xori|ori|andi'." Error: TRANSLATION WAS INTERRUPTED DUE TO SEMANTIC ERRORS. Translation was aborted. Buildfile: /home/moore/tmp/microtesk-riscv-0.0.6-beta-180821/bin/build.xml build: [mkdir] Created dir: /home/moore/tmp/microtesk-riscv-0.0.6-beta-180821/gen/bin BUILD FAILED /home/moore/tmp/microtesk-riscv-0.0.6-beta-180821/bin/build.xml:47: srcdir "/home/moore/tmp/microtesk-riscv-0.0.6-beta-180821/gen/src/java" does not exist! Total time: 0 seconds