MicroTESK

Usage of

REG(31)

in the following code fragment will result in "incompatible type" error but should not do it.

op subs (rd: REG, rn: REG, imm12: card(12), shift: card(2))
...
op cmp (rn: REG, imm12: card(12))
/** Compare (extended immediate): alias for SUBS XZR,Xn|SP,#aimm.
    CMP Xn|SP, #aimm */
  syntax = format("cmp %s, %d", rn.syntax, imm12)
  image = format("%d111000100%12s%5s11111", 1, imm12, rn.image)
  action = {
    shift_flag = coerce(card(2), 0);
    subs(REG(31), rn, imm12, shift_flag).action;
  }

Result:

    [javac] C:\work\microtesk-2.1.5-beta-150305\gen\src\java\ru\ispras\microtesk\model\armv8\op\cmp.java:85: error: incompatible types: Data cannot be converted to Location
    [javac]         new subs(new REG(DataEngine.valueOf(Type.INT(8), 31)), rn, imm12, shift_flag.access()).action();
    [javac]                                            ^