Project

General

Profile

User Story #9379 ยป bug.txt

Lee Moore, 11/09/2018 03:29 PM

 
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 276:13 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 276:13 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 276:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 276:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs1:X,rs2:X,imm:BRANCH_OFFSET)'."
riscv_rv32i.nml 276:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opbltu(rs1:X,rs2:X,imm:BRANCH_OFFSET)syntax=format(bltu %s, %s, %s,rs1.syntax,rs2.syntax,imm.syntax)image=format(%32s,branch_image(rs1,rs2,110).image)action={ifrs1<rs2thenPC=PC+(sign_extend(XWORD,imm)<<1);endif;}'."
riscv_rv32i.nml 300:12 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 300:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 300:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 300:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rs1:X,rs2:X,imm:BRANCH_OFFSET)'."
riscv_rv32i.nml 300:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opbge(rs1:X,rs2:X,imm:BRANCH_OFFSET)syntax=format(bge %s, %s, %s,rs1.syntax,rs2.syntax,imm.syntax)image=format(%32s,branch_image(rs1,rs2,101).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]<tmp_bit_offset+15..tmp_bit_offset>;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]<tmp_bit_offset+15..tmp_bit_offset>;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]<tmp_bit_offset+7..tmp_bit_offset>;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]<tmp_bit_offset+7..tmp_bit_offset>;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)]<tmp_bit_offset+15..tmp_bit_offset>=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)<sign_extend(XINT,imm)thenrd=1;elserd=0;endif;}'."
riscv_rv32i.nml 535:13 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 535:13 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 535:9 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 535:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'."
riscv_rv32i.nml 535:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsltiu(rd:X,rs1:X,imm:card(12))syntax=format(sltiu %s, %s, %s,rd.syntax,rs1.syntax,print_imm12(imm).syntax)image=format(%12s%s011%s0010011,imm,rs1.image,rd.image)action={ifrs1<sign_extend(XWORD,imm)thenrd=1;elserd=0;endif;}'."
riscv_rv32i.nml 556:12 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 556:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 556:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 556:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'."
riscv_rv32i.nml 556:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opxori(rd:X,rs1:X,imm:card(12))syntax=format(xori %s, %s, %s,rd.syntax,rs1.syntax,print_imm12(imm).syntax)image=format(%12s%s100%s0010011,imm,rs1.image,rd.image)action={rd=rs1^sign_extend(XWORD,imm);}'."
riscv_rv32i.nml 571:11 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 571:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 571:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 571:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'."
riscv_rv32i.nml 571:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opori(rd:X,rs1:X,imm:card(12))syntax=format(ori %s, %s, %s,rd.syntax,rs1.syntax,print_imm12(imm).syntax)image=format(%12s%s110%s0010011,imm,rs1.image,rd.image)action={rd=rs1|sign_extend(XWORD,imm);}'."
riscv_rv32i.nml 586:12 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 586:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 586:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 586:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(12))'."
riscv_rv32i.nml 586:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opandi(rd:X,rs1:X,imm:card(12))syntax=format(andi %s, %s, %s,rd.syntax,rs1.syntax,print_imm12(imm).syntax)image=format(%12s%s111%s0010011,imm,rs1.image,rd.image)action={rd=rs1&sign_extend(XWORD,imm);}'."
riscv_rv32i.nml 620:12 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 620:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 620:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 620:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(SHLEN))'."
riscv_rv32i.nml 620:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opslli(rd:X,rs1:X,imm:card(SHLEN))syntax=format(slli %s, %s, 0x%x,rd.syntax,rs1.syntax,imm)image=format(000000%1s%5s%s001%s0010011,ifSHLEN==6thenimm<5>elsecoerce(BIT,0)endif,ifSHLEN==5thenimmelseimm<4..0>endif,rs1.image,rd.image)action={rd=rs1<<imm;}'."
riscv_rv32i.nml 632:12 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 632:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 632:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 632:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,imm:card(SHLEN))'."
riscv_rv32i.nml 632:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsrli(rd:X,rs1:X,imm:card(SHLEN))syntax=format(srli %s, %s, 0x%x,rd.syntax,rs1.syntax,imm)image=format(000000%1s%5s%s101%s0010011,ifSHLEN==6thenimm<5>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<<rs2<SHLEN-1..0>;}'."
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<SHLEN-1..0>;}'."
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<SHLEN-1..0>;}'."
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)<cast(XINT,rs2)thenrd=1;elserd=0;endif;}'."
riscv_rv32i.nml 736:12 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 736:12 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 736:8 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 736:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'."
riscv_rv32i.nml 736:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opsltu(rd:X,rs1:X,rs2:X)syntax=format(sltu %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s011%s0110011,rs2.image,rs1.image,rd.image)action={ifrs1<rs2thenrd=1;elserd=0;endif;}'."
riscv_rv32i.nml 756:11 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 756:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 756:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 756:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'."
riscv_rv32i.nml 756:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opand(rd:X,rs1:X,rs2:X)syntax=format(and %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s111%s0110011,rs2.image,rs1.image,rd.image)action={rd=rs1&rs2;}'."
riscv_rv32i.nml 763:10 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 763:10 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 763:6 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 763:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'."
riscv_rv32i.nml 763:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opor(rd:X,rs1:X,rs2:X)syntax=format(or %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s110%s0110011,rs2.image,rs1.image,rd.image)action={rd=rs1|rs2;}'."
riscv_rv32i.nml 770:11 ERROR (SEMANTIC): "Undefined type: X."
riscv_rv32i.nml 770:11 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 770:7 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X'."
riscv_rv32i.nml 770:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: '(rd:X,rs1:X,rs2:X)'."
riscv_rv32i.nml 770:3 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'opxor(rd:X,rs1:X,rs2:X)syntax=format(xor %s, %s, %s,rd.syntax,rs1.syntax,rs2.syntax)image=format(0000000%s%s100%s0110011,rs2.image,rs1.image,rd.image)action={rd=rs1^rs2;}'."
riscv_rv32i.nml 791:31 ERROR (SEMANTIC): "The 'X' symbol is not declared."
riscv_rv32i.nml 791:31 ERROR (SEMANTIC): "Failed to recognize the grammar structure. It will be ignored: 'X(0)'."
riscv_rv32i.nml 791:37 ERROR (TREEWALKER): "ru/ispras/microtesk/translator/nml/grammar/NmlTreeWalker.g: node from line 791:37 mismatched tree node: X expecting <UP>"
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 <UP>"
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 <UP>"
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

    (1-1/1)