From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1KGCPc-00052g-AT for qemu-devel@nongnu.org; Tue, 08 Jul 2008 08:35:16 -0400 Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1KGCPa-00051D-Q9 for qemu-devel@nongnu.org; Tue, 08 Jul 2008 08:35:15 -0400 Received: from [199.232.76.173] (port=50303 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1KGCPa-000511-DG for qemu-devel@nongnu.org; Tue, 08 Jul 2008 08:35:14 -0400 Received: from py-out-1112.google.com ([64.233.166.178]:26331) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1KGCPZ-0003H7-M0 for qemu-devel@nongnu.org; Tue, 08 Jul 2008 08:35:14 -0400 Received: by py-out-1112.google.com with SMTP id p76so1181739pyb.10 for ; Tue, 08 Jul 2008 05:35:12 -0700 (PDT) Message-ID: <761ea48b0807080535h4dadd1eev8c076bfb86f72e92@mail.gmail.com> Date: Tue, 8 Jul 2008 14:35:11 +0200 From: "Laurent Desnogues" MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_32309_24627456.1215520511738" Subject: [Qemu-devel] [RFC] ARM test generator Reply-To: qemu-devel@nongnu.org List-Id: qemu-devel.nongnu.org List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org ------=_Part_32309_24627456.1215520511738 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hello, this is a very simple test generator for ARM. The aim is to help test instruction correctness since several people already noticed some problems, that are not always easy to reproduce in the absence of test infrastructure (a big word for such a simple thing). The process is simple: - an input file gives a list of instructions with inputs - C and asm files are generated and compiled for ARM - the test can then be run on a reference platform and with arm-linux-user qemu, and outputs can be compared. The sample input file I provide demonstrates bugs that are corrected by my proposed patch: http://lists.gnu.org/archive/html/qemu-devel/2008-06/msg00699.html This should not be taken too seriously, this is just an aid to establish communication between patchers and maintainers :-) BTW I put this under BSD license, let me know if that is a problem for inclusion into qemu (in case that ever happens, which I hope will...). Comments are obviously very welcome. Laurent ------=_Part_32309_24627456.1215520511738 Content-Type: application/x-bzip2; name=test-arm-v00.tar.bz2 Content-Transfer-Encoding: base64 X-Attachment-Id: f_fiehhdg20 Content-Disposition: attachment; filename=test-arm-v00.tar.bz2 QlpoOTFBWSZTWSVeurQAJvt/5f/4FFx///////////////4AQRAQCAgIAAAIYB4+9V29L7rvKz59 sfZalGpbVss9t9u977zn3mTnb7VjxfbLns+ldb1Awr5177403u7poofIGumu3TnVOjLr7N6+vr1T Y0vL73uUHl9ddLNrBKEICTyTTyNAVP0E8iTaTyeSRtQ9T0elPSMnpHqeoADQNA0AMglNIBDQRGg1 U/Ep5IP1JoNPUaaaaB6aI9Qb1Rk2oaHqGgA9QGgEpoRJMmpoGgAZqaZGhoaHqD1ADQNANA0AaADQ ACTSiEp6Mkmm1Hkiek9qn6kephHlHqBtTQPUDQ0AAaAAeoAAEShTBVPxJkamnpPJkI9QyGjNTR6m TJkwgaDQBo9QA0AAaCREICAE00ATTSn6JqZik8T1Q2oyPU9TT1GjR6TJpoADQeiAPwU7/ePjPl6R 2a97yOWJzcdeB4CkoEhEmdFA8v1/B4K3wzf1QhUSCyGSHJmnhwbrsXadwzrm442vuvMQYLkqUoLC EgpSACQV+JsmARgkgIHuDAqSAkMUoiQYLGOgepDer2/4KzY4tvvp+J0a9IL4JIQOh4ZU6kTldyKy wR/Af8/mkeZFkGAvIvYkqWn/fej0IVTBqvS0FFH1AxDoQ3aaxMAiIJ2riLjFcS1ENEsTlPKEppZA EpdJw04dqMIKs9p4DImgoyGN/DBeklNNFtzSmPJhCG7MOVf1oXCs6t/N2JkdaU4WCyMdnV7SaJl1 xjE1ZUptKzbRKsSVUFjInEikuigmmIgEhUegqTBDbCG6QoaFRpvqAsXmsMwnKaGX8x3HYeyeY+cI udxEzoOQMyJ7+evkWcn3b4CbxnTDhGDENM4ee43is28K6eaKl7Rew8mfnf0tSvlPfITqhjUZlJdz Hog0R7KBVoBg9PxPt8M+YyxO1ArDCZPPUiqrjNPbxqFKGUaoo+EpERB0pjAJBROMEhCRG+aYqbQ6 UCG2CFxgsRL58KuwgZEwkN3c7qFq8nu/PvfT82QaTCi6ZIhu6LbNlShBSEUSaINTLwaEL0h6evv8 17mLyPjZbwnL1n8afEiBEDX1wST5A2xBMwLQxHt+ox0e8LFDyuz7fXuNkmtIp7nV6pmgGukq77ql CtUHog6tiuumuwNhUoz72m8hJjCM6lS5jLQ6wQZtSOPIOQKVBMQohPlERPIIGadkvOmoi5MaY9q7 Ugq7rqLcFMFyXVmRTFRqgyhtDRw/T2SLvpQmRlxtIL2K+pBV8evb+f6Nfi9jyKel2eHh4cVno4k2 DMZlSnlGRTs6eKQL/Kb6eUKBxhKMegZEDe7ghmRJ1Q1KhokYqt5jfujKXeSwUcjleqFTbrQeosXg 23o8jY3DWAzioEEkRuBi3o0WT7r7oWjDJCarZV2VjZ1vlmHYZNkZaSiRNNluoS3TOjm16jiLnGM3 Ub0LvF2dtOL9SDrA0r4ED7j7xFhpH+mh7uoy7fN78MGaUE0pqt4yeQ5mmB2WaxHFsggwIOY1uNBo od4h3rExFqJIhjT6k2jXXlDM07co+I75zEC6PHHAFU/Xp0FZQ8yDG6TihOVuC0Rp4zqKEA325DR5 H0xExBzXOc2KMCNjfoQNT9QjlJxJSApP2O+YCAwUkZReGGq7FuEJSktkwTHBKAX0FTe3oGrIVEox YMbA8iNRbHDxhhSwkP0nCZIkTEcLMzmBEgSDkBCDARAyBHtBIUITkQxAiIyQ2b3PpY0G9csI14np egGrI251m2m8MHk6KKTiqKGdjyqXJEgMTONkew8kOeN97NHFNuY+YxTFB6dykfbOa1Tr3Ti79Q/9 qKxu4EHCKgiUTz8BK08MbxyqYkfHu9QMxv6syIBpMXQeWWIe/PThznq6scVITFD+TboK7bFaeAFM tl6MuELRTjfkpzTJlgTYXuJu97xYqEuH36Z6sNQTiK9C+Nny+i81Y96c8R56m2uD82+iDb0VuGGv 3IGDZ4wgbpSdhW9/ISgNLRJ8e6591J2Kh0ZVB/G/Dy3YpqMF7WNxzqqWg+QzZ5kSYPkidaF8SWW3 S/R31qdNuGm5vT3U3mgdtzfbBtTIo2Q52kGfwwb12BflVP9a6FxuyNhi9XoL19x1hkaiS+wSu1ii dhDwIxlhAqt0z5pQf11u9p9MG1RD8HNLmzda9frMEuka5zMqbvi3RYqwOp9Bf7aSuysssXfFD81o rIYIowsbaIh+Eu1mJF2pJ422VSBLJf24r08IrcjE8JOOeidto36J5vjIs1ZMFi1UQxRglOk8k6ae sGxya+X16PVqUNTXTbY2NgfbnrqjDWyP3qy+XytyZl4jx10ifNoYa1WMTDhWiFNm7YaxIEcihs2N Lmn47gPWee+ryMNMm6azzbou5NoM2/ZqwqssSbltds0suvb3WVtOkjQsjMesZvp9l+06Pl7h+d0R LSMWLeW4jXimqjvQeqVjRE+ubEOyWcucdOu3cuE/SAe1yNrCkigYOMZyxyshcVMznlOA26I4Qb0N yNIO40617tgRxZnny1Gaqka2BYExJfgAP/X1LVAJflVWwV3Lb50pTZrPhyHHjOtmZ7Xi2J2EE8IV n4KHkYePxqvJ2C2Y7N49aUMg+RCEnZ92vn73T06uicKOmg+NXCcEEogbc3WJuR37BxwKR5bj0zfv hFzYBQT7Auke2wQiGHVTCIUwcsEHbxVxVlxm+VCtwGkICUipcMwGWTolm1ajcFMsSL6BFJkEYDEh WMUgKWaG0zM7Hg1oknM8VN9SBSD3mrjIpRL0N4fFyszR3b/PrHivFhY6LuOZ7aC8m7S9MwZSLlM4 6+acpfQ17jJZguNAVxr6Utv6mt3Z84+3kY347gClqiZcKuhUxjYLDtP7OODNaiWOMVGe18JKODqf dqvjcMqzLkbhDhhiWyOzKuQoEbYkepcn3j5AAJCQwjyjggwojAEYAyEPvKMO2yRjAZEaf1MBTnBD OpgTplIy1BoabNxB+nfYWGs2NK7Ljx56dDz58+gxvIoOBkrKYwTThCoVWEir1Ucgscp+DfoxhQxz 6cTKR5Q74fFKlTyHWI7Tg3vHlEdxYmOQNLGnO7ZHpYmuh6FOXeVVkzc3F4eljeCfTWzXSMFDKLti GcnR9bzx0Gl3Imbyxbn/G93w/ZPT7byyWvuS+dfQ4+1RQAakIGj4Xvw+uUFqm85KgUWCiXyLrxoz FgawuQ6Wfp6nu+CP3yI6EUpFU6uJx0Gwm0otk1O1Bwo5UhITHvFZgkViLkvOqM77QSIBylEeG/0/ T0BxfvkIdmQ6jqDtHxqlFWr7Fg/o/glVoNNpvliR+CsNLmof5stzguME9xdzXzRd1swnib+6ApU3 /R7RKj7y85jRb4N0MTAAUvl8nlL7n8vZp9fYnS/FCsAoSsiwRBQUgwkchoKdE39YpBLAtlK1CRTi TNu3HllN0IfH7vPr4/o3XquKkvRjCmBRhEyc0xZ6umMH9A1gzywbYwI+5tSNGaRUSKZyWMSab3be 02uv5PTlQHiZiQ97Emfk2IPmK5auV+O7YEiOdAw4QijkqV041PuwDZXHHLfXFF4a0rg91bLGl1dc mijOOaoVj6gZkBDJgj082xQiiongMUJCkF18x9TOLICVbKrzHGEzNCE2eUaSKKUYqCIEoD3q8HGd 35oY9CYxnH1NMbPjMvQLRcxESgvsJF6SKgTfKSJvrfCuu9lowvAvpOV25bz4ZpLMOpVgkGsEITd6 WkSSK1egmL8zlmU+/ytT08DvpmfwLI6YQte96eHyH2Hvfx6+wnXjS3LiQPnrX+f7cbrL6TfALfrC BKszIQySkKWt9SEEM/eG00W5ozDyIFzsDFhmxTM77cbVkvk00jaIiTvkoRJmjhijMUB8G5jcxSmt rarWCU4axo6HE3m0DhpoaKJu3ib2fZO5+KA0QCfS8B5VjHEvtNxjAUFBcSBWWmECwZiSPDinBzqA ut3OqbRAN5TNHZKNKE1ziKWaoghjUbfEgdweyN657cTUOwkEz3DuCYzlQcGmI84drs4eIifAVINy mQzTL1PVR7poIZ/OJOQRQJfANU5BiTEQVaPbJ0mNg1h5jFE704TdEpQNRz7Zf36tztiVBCEIDJ9o EhpVsGg1CQYyYH9ZgUBGHDYv0AREcTiSPOSNiISOEQiJDmGMQoXCBEKRg4tGuRH7nhJiuiMeTlZc NT8OhMgUNGiQMTQMTQNCRiHYI0R4d40GbpwOkApD0TYWGBBBqqqqvmwLV5QJAdBQRxJljQ3bhxwb QQY9dCAuIzkyg66VEBiA8HBEMfKBiAkoHhAEnBQeGAWwUmBIcSRjINRoNJyDSF5mBkgwOtHHxgWx zIAwKBcLDIWAVkwmN4YxwQAlI0BSXiZ+HluuuDnLI8GLnqdRJAQMMkjTcbCgVGeEm+hQDIUQYHMQ IgBomxEBUZAyAkogUAaIRnl2ECwDGxslLAvAKHEMiTMuDcc4UEsDhcmcTEg6jUK4NwqlDVRcDUdA u+4qQMXAOJBVIxOOow4CgYMYXjCVmthmFiwuL5g0G0uKK0hzDKlAoZKDAkIEDQD3CJgcmJmFCQ4c 5MJUVngVIpKdCQiJCRxnQyIiBEDEJnTIkb2CQ2gYhYQgwIjiDDQ1IhgERCIxG1IBEkYhyxJVAwJj hAiWEGJmWJhuQEiJiNIOgEBJ4FkbF3qgdIvzG5BuM0C4pGsk1mQbC4W04CGvI4HR0cw2RQuXKYBY aQiZ2BUa4zaBmWioiSQggMIurFYLejloxt0LxPF++C3qIK1q6HrVrHT5cG8t3RjzTycDNhNk27FZ OjUiS7UNtGbznNL0VQ1KFVo7aRYVgmLk1d0Ro+0TwBTusyrDb7TimX2qBSr7/QwGQGvwzNMknMZi ALg18ccZMNKLzg9FD5EvSe6QVnWNVSTn6fSixGKSE9IiVIQgsIKQoIHjevQqwuWyQWqKpXzrvTBE KzEqG/LH8NajJmIiJpWZmaVyC/4FeYpFrVEL1jAwvESsxqQlGcKwBngdoRGRgA0tBmfsG8PjSGi5 o6V5l7vJWrwDcZyHX3J+GMDE84JqesDH2vHp4zYtRmpJJZyc/oMqORvgIRqGguQP5nQKU5E6cLUb dBYn7IchdBzXCEaLGSGlgxEtdv5TKwWXx2b/tN5PORSIpWiuspkqG5sdat6YvKxamjaqVM5j0Ns0 zrdi+yg5EHshKSwFU6eJEjmuXbwa97YMAhZiI7YUBfYCFn1GbjzzVnYuyYIMo8eMIZRdC/4NJCqA R85Qw8yWCwGNJa4NhqGJxB29kCSWfj6TO8w0BAxUjRKUDH4Ftw3XBNw2QlBLEDrYAQmfUTV0KNod 4jdB3o5HVaadw5HQjC/8nhCFgzBGMJQQFj7t6FgM67G2QzkYtI1VHfNpqQO4dPSTv5RDGoVScR3E OLAD1OfMjAaXaFKvQNdiySLlrKLWNAZDQwYJt/X0kgeAMOT2mpJ5IYxpMTCvcc4gpV6IQb3LntmJ PZbgWfS3DLQWmbi8LXSTYKyIm0SxiaZc5Mgi5so51voy1JoTFUUK/txQYcsaoWnQxDNXBYmaMIPq QqqW6XiEtINfjMxSJHEsZHT7r7gxDMYwuFLnEcErE1JW0vILgPvPZdv0hj5w7itqZ+JQImlyRRUV w0qqy+KhqIaRFzCtWYkmONKuo7wsB6KetkPClGqYESk3JTKEPAqtgdr1VLPO693Et8fjkVLzacNY JyMUZOCZIC6ZpsXJTnhKlaVMRq5sGDKreqG3FbNSElrUgNGDDQVVUoSjJBkMppzKKhmRAwsqpqpc WGdQoyxWCL71Q8dDg2lElCW35BhFiwzTfdWh/waQsswhaLy4vvXX0Cu7aHML3NIg5+JiDDGDyJOc 3IJrJsRD6ISQWGINdxCLkNaeIgk5GBUqEAhEC1+g+D/WEtlhZhkaOO3rNwUVxM0bBhROBIe2JZoE BgyDJszYQ54RMYswMEdniuJc1pORK75jiW0g0JEQAU6qeYXpY0YhUrQL0EuUDmZkoryCIHX8oyIO DBVZAXDLkDPeYGYVLg+1qCBntLRVJUUI3EVaSyG2+qEHSNFkNVvAUMmRolyA4MVNYgusqd1kouFY 95CiT1Zw8wxF6P5Ay0cQaRewNSuaPl/Fa1GFQNw02ccIGxJIOBmDcoyM7/AakQC5PJjaQw2bN4Di yQdbykLQOOZID0uD14k8iQnoQkmoFDQq38wLN0SEjCmYLFQjygaiYiRL4k9VpfYwewCjJxO+JDeS dAye/pQz2iHu4cdptu7aIgoId7qxMDhKoJEfWZzmp39wKDASzNHI9GsvBondioC6+F3W5uaDTQiE VY2mfMyShWLSQoIht0FYrFRebfmG1IuwQsxJrm3SNv1l1wCtUwX1cDrDZ0CTMJAnTehUhIqfbjna NxqOIdJQ0IEcjWrEIFsGIUTvAbdNRCEzISQ22wLrQnHQkD7SxBW9ZT8TppR3iuAn0SfIdBpyhJdA wteK8zVlizXY3W7eHUiGxHtVQJtgFQ+wwgYzTEkLlKMexzjiGlTczXiG+YOUKpNQOOp+6nHLkNbF zgata3BYtvuMzTATX0rdQJsH0jRrE6dGlcCukWu4jWLclckU34beLxahQ1Ax3yRKQDQA4MVIpQwC pqRoGkzUuaFW+DpTDSCy0DSTAEeckVLBKCJCsRRkzFWkWcu9RtGRGqiKVTZqEiw1RgsFmoiwCcZM 6CcGHJhsYTJMRMk4kqXRwUTJHaBOs1P6xC0Q0zqC5ExQ0REiMNkoZaaAza1sl1guPVRBZWQkqiYM uNazMB7JE2kSIBcgwgc1ZsygIhtIx2vMS5LoFevxIWkVKWzFmrM4wMdG8DfIebCV8ysiIREYVcXs kzTEJgUeYIprDJAwIhlIsBsqqld4hPqGjYFkCua3Jw2IvklMIBjbIWKtZA92CWiyEIjCDDvIEISK 1ChJmYpGClNbDMOR7G2LAGiOqqy2Rd6YkiMpGZE9AqClASdLo41hBOEQ3CnOGUSm4MyMIUjWtBm0 jKsIRQWmtSyqCqAGlhXcy3Z2DJlqU95MIQUaQMk2Kf6BQe5EgXLAqooekSgDyJCDWaADLgslsPm0 EhnhvNc5de2TJ2oJxsVTSQk0KgvUInwrPCwMjaTaA0nqCTQjWgyVTgMfdAxp9gdOSMDrPFxpmHMO kETGIYG6aUwGkYmgCU7BJJijaCij6WbBn+Q7ohfYY8Be4kMn62UGMf6D64VSl8NuZiKOZgDFDau9 JpPcl3km9L1KoZq24fPswIbbnTp9ndI5ij9QAaiYczETYHVtIsFJOY4GOB3nVojEfQsCqiOmd4YM qqjGg1htCZ6Kchy8kgJhQlJIlBCmDGKbMCgsVBQRT2cm3qtFUizqHdLBupCSCgNINduh3nsREwST Gxj6EsTCXFDY3O9k6rTrKSWbHG9fPZMshnnJ2DMeVFkMuWiiMY4m0icBkNiwQdAhhk90qAxHrez9 HukR40AhJ5GnUNDQxR2xLiibiiZuWFxYKvAYFBFsFDVBpgUAoBIohgOyEMXjI0GyplgShDrk9GRU lAVEsg40Ko+Ltvyi9QxFj7cRMRFKQ5KNiM5BSRyBDuVzliEyJmpMCMD3FQl0NUT+Gh2TO8T9VUFi mKInORG6e7IQ5gJiEsZryNFWisvmmtcBOFpg2NUuFVcpEkIhKjxSsMS6+jfB4smYHMTMExQxRguS /N3WbasjYFMhDixoI5LGithwgmDWTNBVSjdChwQ0IE9QpwtttspdxCWcEKOwMohh0oNowRW9XCeM ZCSoaZCaBQQDSMMkI92W1EIhduAty8KGKMr9kUkuAjJY0n1lggaQ70h7IS2ycxjiBLArY9Zsw9gQ oSsQSOb2U7y+rGUHkVlEtyJLhAYUGUIwB2pCojhxVxON0yQyFgn5HvxYHy6QyLI62MmJobRKajnM 1GY3ZYSUteoQFNkYqVL2BGNgagVKkSMKVQDEpEDCiZFlWhLoJg1ppXsDUl0FzXiZExUoamJAVGgh GoQlrMKomLfYZzCMojKjC/90efb/3B5oHm8+DfyC1oEbEtrA1CA5EEedoICiEUCqjoQdREsUEo1E nvjWpMh3Z0xOwSdDlN0hoBJjYhCUwxi6rSEjAyOlQkK2Q+toCpnKbcOSRMCA2wUoLi1TQgJbK5Ey NUbazVbrNeXSJHgH30F8AeA2j1ByQmPekRwC8lnikhHnaD0cubXkkG1EpZZJG0mQIEGgNdG7sZKd eH/Qycy6nGCIltSD0Nenf1Q7ilsRRYkERkUUCCDICE5knbA5EzCTAiRWRUBIIgwZyznku8NbDrUC 6jAoVaGB3kHf8ByNxyuVmhioQl4AQebyefZKkLLc93UXhHCqcFhtutDwYtXRDgWGsTF3xVcOdhzn hUihOCAoEiIxNK1oA8AWRYok8/n7Z8nCwf7TkNZtEZA708eJCj3zNDDR3JP5nSqcxqST/4u5Ipwo SBKvXVoA ------=_Part_32309_24627456.1215520511738--