From patchwork Tue Mar 12 17:03:22 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Patchwork-Submitter: Richard Henderson X-Patchwork-Id: 160176 Delivered-To: patch@linaro.org Received: by 2002:a02:5cc1:0:0:0:0:0 with SMTP id w62csp13415800jad; Tue, 12 Mar 2019 11:19:12 -0700 (PDT) X-Google-Smtp-Source: APXvYqwlSTzIr5zn64MFIbFPZcs4LTpy3vsLZNmR4usFrSHwioXeugs4LrHV8MrN8nkqReHePDTs X-Received: by 2002:a81:9a8d:: with SMTP id r135mr30390620ywg.188.1552414752698; Tue, 12 Mar 2019 11:19:12 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1552414752; cv=none; d=google.com; s=arc-20160816; b=uUrB2FOeV07wK3OTSvAjRy1nTQn10hY48Nt7A7KujtcA0bF+6hCCUieAu7cpyQjHhr Sp06pYl1vtniewIjM7wF0tJGdjuk0JGI7HtXsJY1gId9bO1J0qkjUMdiNCAuymaCrCxV olc7pQUwjn++1D6NaLiQIJKZv587MQ8RS4ihBln7Y7aU2iOCNnXqsk0kZ7TpFf4VVfJc w3FSWWNXUHs1cAL4a+YtpbxtNcBc8hVksYTgDvsIcYMR5nRjzstIC/6X73GB+6GRmrjJ Nx+mSpW3Q5rH5UBRXkQFAHvzzEL6kedMGHrVe+M7zkL/hWa5q8vpO8Gp8Sp9dRQz926z M1XA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:cc:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:subject :content-transfer-encoding:mime-version:message-id:date:to:from :dkim-signature; bh=m98Mekkn8sXuO9JK9yuTLWR5Bz9FxzAxAnJwXJAhWVg=; b=badoDpcZiUOigUckFVND5jBP0meBUrdvsZC1UwhGlckDhxK7Eh6HS0NEw4MyjCA+D5 27FVdODSwwLpd8/FinjcTI4wQg5ToUWraeLeDjHCvOl9DmCp47PApZ6xgG8DH921WR8i YAc4HMu5XYSKpsQ7qfOkhAwzuoq4jMtAzUXTIULjpra1OXbJxHW2hL0eKogFxEAyh2Rs ie2FQZxbx1NIXriTMssU8ZJHj3opU6ifjarMX4JbyoYcP8ELU18OCaf3CSUH/r3rCBok ytk2NiQnW4h2tvQK6E8C+AAlrhoWjImTfDsJ/QQV3doZtcIlqXSf0XMUwhOAc/sV+M1z DJoQ== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=FuC6IXjL; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from lists.gnu.org (lists.gnu.org. [209.51.188.17]) by mx.google.com with ESMTPS id 62si5121577ybv.364.2019.03.12.11.19.12 for (version=TLS1 cipher=AES128-SHA bits=128/128); Tue, 12 Mar 2019 11:19:12 -0700 (PDT) Received-SPF: pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) client-ip=209.51.188.17; Authentication-Results: mx.google.com; dkim=fail header.i=@linaro.org header.s=google header.b=FuC6IXjL; spf=pass (google.com: domain of qemu-devel-bounces+patch=linaro.org@nongnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom="qemu-devel-bounces+patch=linaro.org@nongnu.org"; dmarc=fail (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from localhost ([127.0.0.1]:57227 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h3lzc-000868-47 for patch@linaro.org; Tue, 12 Mar 2019 14:19:12 -0400 Received: from eggs.gnu.org ([209.51.188.92]:51529) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h3l3P-00061D-3D for qemu-devel@nongnu.org; Tue, 12 Mar 2019 13:19:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h3koU-00015v-60 for qemu-devel@nongnu.org; Tue, 12 Mar 2019 13:03:39 -0400 Received: from mail-pf1-x429.google.com ([2607:f8b0:4864:20::429]:46296) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1h3koT-000153-TE for qemu-devel@nongnu.org; Tue, 12 Mar 2019 13:03:38 -0400 Received: by mail-pf1-x429.google.com with SMTP id s23so2238110pfe.13 for ; Tue, 12 Mar 2019 10:03:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=m98Mekkn8sXuO9JK9yuTLWR5Bz9FxzAxAnJwXJAhWVg=; b=FuC6IXjLTXWB2mU/vUkpdjLMGROeto7YauBCyzeYKVoBwwTgQiji66VLtH2g6EkCKD lDoFVNYbvAlwSZJiVMGVfyVq+WOqxHX4U/yDHl64oSA8aL8ll4wsJk0BMmqqlSrPsjr+ VEjyCcq8gUBWIybRKoumjqssjtydCZJaNyHSAQFRyQlR7TulIEXQGKYKWt+oZKAXQxs6 ennVw+5Wo975eJH7zhJX0JkaFQHhuwP48q+oGrJ8jlSL4gbsGXM5BLRmsmAXMnVBONeL YqpKSNg33a/JSl3AaoHrw1xRoyd2JRBT+sVSHJmXZ5AVwAtpmSPkdPLWaNn3dpoXWTMa Et5g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:mime-version :content-transfer-encoding; bh=m98Mekkn8sXuO9JK9yuTLWR5Bz9FxzAxAnJwXJAhWVg=; b=aNprGlMWDl37tPR0froKZ9EP10mRpdypirKQSbyQsObxLfIEEj+a5tj2SSPApFg7Fn QEuOsutBdJr26tnV58v26zONaC9yU4Z9D2JmQcz16N9NDujxEYG6X2K1VejaETVHS4jh DIe9KEdYPHChmGSStU0SLcH06Esxf8RdZi9bISnxhF5IqiKsIWIkP3XTTTE0SEABXL2r N3L5sKlZsjdhK+KJPL/FJTTJSqW0hP7034qLPRKcqWrdhnTvGnKXVInNcGBGQxGZMSrg yhuZzSBeRsfbEy1KTsKN/7eu2s2i4klQw581GoLkWucQJRf+Gu2qWkEx5ys2wX07EqMV PxVQ== X-Gm-Message-State: APjAAAXSzyHKgNatSRadNehcdrJCShqgymLE6VBY/OqsK49b1yBIwpDa O+MljCj0L07YOOnGkggyvOLQkIgRvVg= X-Received: by 2002:a63:455f:: with SMTP id u31mr35728292pgk.241.1552410216031; Tue, 12 Mar 2019 10:03:36 -0700 (PDT) Received: from cloudburst.twiddle.net (97-113-188-82.tukw.qwest.net. [97.113.188.82]) by smtp.gmail.com with ESMTPSA id v22sm17514265pfa.49.2019.03.12.10.03.34 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Tue, 12 Mar 2019 10:03:35 -0700 (PDT) From: Richard Henderson To: qemu-devel@nongnu.org Date: Tue, 12 Mar 2019 10:03:22 -0700 Message-Id: <20190312170334.14005-1-richard.henderson@linaro.org> X-Mailer: git-send-email 2.17.2 MIME-Version: 1.0 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4864:20::429 Subject: [Qemu-devel] [PULL 00/12] decodetree patches X-BeenThere: qemu-devel@nongnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: peter.maydell@linaro.org Errors-To: qemu-devel-bounces+patch=linaro.org@nongnu.org Sender: "Qemu-devel" The following changes since commit 46316f1dfffc6be72e94e89f7b0e9162e7dcdcf1: Merge remote-tracking branch 'remotes/awilliam/tags/vfio-updates-20190311.0' into staging (2019-03-12 13:37:29 +0000) are available in the Git repository at: https://github.com/rth7680/qemu.git tags/pull-dt-20190312 for you to fetch changes up to 2decfc95583dc28add69810eaca6ada7b4b44d3a: decodetree: Properly diagnose fields overflowing an insn (2019-03-12 09:46:58 -0700) ---------------------------------------------------------------- Break out documentation to docs/devel/. Add support for pattern groups. Other misc cleanups for multiple decode functions. ---------------------------------------------------------------- Bastian Koppelmann (1): test/decode: Add tests for PatternGroups Philippe Mathieu-Daudé (2): MAINTAINERS: Add scripts/decodetree.py to the TCG section decodetree: Ensure build_tree does not include values outside insnmask Richard Henderson (9): decodetree: Move documentation to docs/devel/decodetree.rst decodetree: Document the usefulness of argument sets decodetree: Do not unconditionaly return from Pattern.output_code decodetree: Allow grouping of overlapping patterns decodetree: Add --static-decode option decodetree: Produce clean output for an empty input file decodetree: Allow +- to begin a number initializing a field decodetree: Prefix extract function names with decode_function decodetree: Properly diagnose fields overflowing an insn MAINTAINERS | 2 + docs/devel/decodetree.rst | 221 ++++++++++++++++ docs/devel/index.rst | 2 +- scripts/decodetree.py | 333 ++++++++++++------------- tests/decode/check.sh | 6 + tests/decode/err_pattern_group_empty.decode | 6 + tests/decode/err_pattern_group_ident1.decode | 10 + tests/decode/err_pattern_group_ident2.decode | 11 + tests/decode/err_pattern_group_nest1.decode | 13 + tests/decode/err_pattern_group_overlap1.decode | 6 + tests/decode/err_width1.decode | 5 + tests/decode/err_width2.decode | 5 + tests/decode/err_width3.decode | 5 + tests/decode/err_width4.decode | 5 + tests/decode/succ_pattern_group_nest1.decode | 22 ++ 15 files changed, 483 insertions(+), 169 deletions(-) create mode 100644 docs/devel/decodetree.rst create mode 100644 tests/decode/err_pattern_group_empty.decode create mode 100644 tests/decode/err_pattern_group_ident1.decode create mode 100644 tests/decode/err_pattern_group_ident2.decode create mode 100644 tests/decode/err_pattern_group_nest1.decode create mode 100644 tests/decode/err_pattern_group_overlap1.decode create mode 100644 tests/decode/err_width1.decode create mode 100644 tests/decode/err_width2.decode create mode 100644 tests/decode/err_width3.decode create mode 100644 tests/decode/err_width4.decode create mode 100644 tests/decode/succ_pattern_group_nest1.decode