From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <sergey.belyashov@gmail.com>
Received: from mail-qt1-x831.google.com (mail-qt1-x831.google.com
 [IPv6:2607:f8b0:4864:20::831])
 by sourceware.org (Postfix) with ESMTPS id 80919385DC0B
 for <cgen@sourceware.org>; Thu, 23 Apr 2020 13:37:28 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 80919385DC0B
Received: by mail-qt1-x831.google.com with SMTP id e17so1411467qtp.7
 for <cgen@sourceware.org>; Thu, 23 Apr 2020 06:37:28 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20161025;
 h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
 bh=iFLNocTLPcZiJhL9fC8DaOxtGJ8xyF74mdEfxrnZuLk=;
 b=AxsWMKkZzmautXQ+ZpTgD+mQ2RjVIxhQWIEYqYW7NTe6j7Bc2kiJ9UJfR+HTcZZZ/S
 HleiUgT17/hBWikTnEY9ZMgXrnukSzH8QncZZwVYqyOdTZOCC2n61B4rHOFrhvSlaItx
 ZtA6CjjmEYcPYAa30r5pJy9cc6jHKnnMPFNg162bHdwv543O45i7aL7wqEroHLiok5Z5
 dt2Xp/6+frpikvIc5DUKgv6+kOW96ajCY5kAmM2e0n30h6+nuD1VcfBGrLkpcExWXjQ3
 riULFrVT9296SNhmOZ7Q1dmsXoMy993qNb18Sh4PrVaWga7MH4gol3BGgmuTrm2RLMjR
 NT2w==
X-Gm-Message-State: AGi0PuYuyLwSXlcZlX2TeOQW+O+rKSNcosWC1IVvJwITGEwwum15Polo
 Zb2qSHdeaTsOC7V2egnEr5M+LFUNzv2hwgafBVARUdSgKqQ=
X-Google-Smtp-Source: APiQypKiNFS3i65MJ1W31HzLK1RrKuLxhrExyGkvXPZp/HZ4Hz6oXkXxSEqXIONNosLXbPwYcwCI9ivRgZ7AtwZLIjw=
X-Received: by 2002:aed:3ff4:: with SMTP id w49mr4082670qth.61.1587649047871; 
 Thu, 23 Apr 2020 06:37:27 -0700 (PDT)
MIME-Version: 1.0
From: Sergey Belyashov <sergey.belyashov@gmail.com>
Date: Thu, 23 Apr 2020 16:37:16 +0300
Message-ID: <CAOe0RDzfi4+f2QL-EN83LgLowFG2DQpmajf-gK-rL5ys+Y52NQ@mail.gmail.com>
Subject: BUG: non-fixed-length ISAs are unsupported for now
To: cgen@sourceware.org
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, HTML_MESSAGE,
 RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, SPF_PASS,
 TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
Content-Type: text/plain; charset="UTF-8"
X-Content-Filtered-By: Mailman/MimeDel 2.1.29
X-BeenThere: cgen@sourceware.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Cgen mailing list <cgen.sourceware.org>
List-Unsubscribe: <http://sourceware.org/mailman/options/cgen>,
 <mailto:cgen-request@sourceware.org?subject=unsubscribe>
List-Archive: <https://sourceware.org/pipermail/cgen/>
List-Post: <mailto:cgen@sourceware.org>
List-Help: <mailto:cgen-request@sourceware.org?subject=help>
List-Subscribe: <http://sourceware.org/mailman/listinfo/cgen>,
 <mailto:cgen-request@sourceware.org?subject=subscribe>
X-List-Received-Date: Thu, 23 Apr 2020 13:37:29 -0000

Hi,
While analyzing code of CGEN I have found next code:
; Return the definition of an instruction value entry.

(define (gen-ivalue-entry insn)
  (string-list "{ "
               "0x" (number->string (insn-value insn) 16)
               (if #f ; (ifmt-opcodes-beyond-base? (insn-ifmt insn))
                   (string-list ", { "
                                ; ??? wip: opcode values beyond the base
insn
                                "0 }")
                   "")
               " }")
)

and

; Given INSN, return the sum of the constant values in the insn
; (i.e. the opcode field).
;
; See also (compute-insn-base-mask).
;
; FIXME: For non-fixed-length ISAs, using this doesn't feel right.

(define (insn-value insn)
  (if (elm-get insn '/insn-value)
      (elm-get insn '/insn-value)
      (let* ((base-len (insn-base-mask-length insn))
             (value (apply +
                           (map (lambda (fld) (ifld-value fld base-len
(ifld-get-value fld)))
                                (find ifld-constant?
                                      (ifields-base-ifields (insn-iflds
insn))))
                           )))
        (elm-set! insn '/insn-value value)
        value))
)

Can anybody add support for non-fixed-length ISAs?

Best regards,
Sergey Belyashov