May 2014 - Projects

havm: havm-0.26-1-g7400269 Version 0.26a.
by Roland Levillain 06 May '14

06 May '14

* configure.ac, NEWS: Here. --- NEWS | 4 ++++ configure.ac | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 36a136f..d251097 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,7 @@ +New in 0.26a: + + + New in 0.26, 2014-05-06: * GHC 7.4 diff --git a/configure.ac b/configure.ac index 60536ee..702544a 100644 --- a/configure.ac +++ b/configure.ac @@ -20,7 +20,7 @@ # Catch "HAVM_*" macros that are not expanded. m4_pattern_forbid([^HAVM_]) AC_PREREQ([2.59]) -AC_INIT([HAVM], [0.26], [projects(a)lrde.epita.fr] +AC_INIT([HAVM], [0.26a], [projects(a)lrde.epita.fr] AC_CONFIG_AUX_DIR([build-aux]) AM_INIT_AUTOMAKE([1.9.6 dist-bzip2]) -- 1.7.10.4

1 0

havm: havm-0.25-12-gd3b5c93 Arithmetic overflow should wrap around.
by Pablo de Oliveira 06 May '14

06 May '14

Tiger specifications do not define the expected behavior of an integer overflow. Yet, to be consistent with Nolimips, Spim, and most current architectures, we ensure that arithmetic operations in HAVM wrap around. * src/StdBinop.hs (modulo32): New function. Use it... (binop): ...here. * tests/overflow.lir, * tests/overflow.out, * tests/overflow.test: New test. * tests/Makefile.am (TESTS): Add overflow.test. (EXTRA_DIST): Add overflow.lir and overflow.out. Signed-off-by: Roland Levillain <roland(a)lrde.epita.fr> --- src/StdBinop.hs | 15 ++++++++++----- tests/Makefile.am | 5 +++-- tests/overflow.lir | 14 ++++++++++++++ tests/overflow.out | 1 + tests/{cmp.test => overflow.test} | 11 +++++------ 5 files changed, 33 insertions(+), 13 deletions(-) create mode 100644 tests/overflow.lir create mode 100644 tests/overflow.out copy tests/{cmp.test => overflow.test} (79%) diff --git a/src/StdBinop.hs b/src/StdBinop.hs index 67a177c..673f26a 100644 --- a/src/StdBinop.hs +++ b/src/StdBinop.hs @@ -1,12 +1,17 @@ module StdBinop (binop) where +import Data.Int + import Ir +modulo32 op a b = + fromIntegral((fromIntegral a :: Int32) `op` (fromIntegral b :: Int32)) + -- FIXME: Add all binary operators. binop :: Op -> Int -> Int -> Int -binop Add = (+) -binop Sub = (-) -binop Mul = (*) -binop Div = quot -binop Mod = rem +binop Add = modulo32 (+) +binop Sub = modulo32 (-) +binop Mul = modulo32 (*) +binop Div = modulo32 quot +binop Mod = modulo32 rem diff --git a/tests/Makefile.am b/tests/Makefile.am index 5849e8a..c7a59a0 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -5,9 +5,10 @@ XFAIL_TESTS = TESTS = \ -cmp.test trace.test +cmp.test overflow.test trace.test -EXTRA_DIST = cmp.lir cmp.out fact.lir fact.out $(TESTS) +EXTRA_DIST = cmp.lir cmp.out fact.lir fact.out overflow.lir overflow.out \ + $(TESTS) # Each test case depends on defs. check_SCRIPTS = defs diff --git a/tests/overflow.lir b/tests/overflow.lir new file mode 100644 index 0000000..08781f1 --- /dev/null +++ b/tests/overflow.lir @@ -0,0 +1,14 @@ +seq + label main + sxp + call + name print_int + binop (*) + const 56182 + const 56182 + call end + move + temp rv + const 0 + label end +seq end diff --git a/tests/overflow.out b/tests/overflow.out new file mode 100644 index 0000000..a34546e --- /dev/null +++ b/tests/overflow.out @@ -0,0 +1 @@ +-1138550172 \ No newline at end of file diff --git a/tests/cmp.test b/tests/overflow.test similarity index 79% copy from tests/cmp.test copy to tests/overflow.test index 55d1015..9904ac7 100755 --- a/tests/cmp.test +++ b/tests/overflow.test @@ -1,5 +1,5 @@ #! /bin/sh -# Copyright (C) 2012 EPITA Research and Development Laboratory (LRDE) +# Copyright (C) 2014 EPITA Research and Development Laboratory (LRDE) # # This file is part of HAVM. # @@ -22,12 +22,11 @@ set -e -HAVM_pass --trace $srcdir/cmp.lir -cmp stdout $srcdir/cmp.out +HAVM_pass --trace $srcdir/overflow.lir +cmp stdout $srcdir/overflow.out test -s stderr -HAVM_pass --trace=3 $srcdir/cmp.lir 3>stdtrc -cmp stdout $srcdir/cmp.out +HAVM_pass --trace=3 $srcdir/overflow.lir 3>stdtrc +cmp stdout $srcdir/overflow.out test ! -s stderr test -s stdtrc - -- 1.7.10.4

1 0

havm: havm-0.25-13-gcbc954b checkLow should occur before plaining.
by Pablo de Oliveira 06 May '14

06 May '14

* src/Main.hs (evalM): Here. In some cases, plaining removes nested seqs in the original program. If plaining happens first, checkLow may accept a program as valid LIR when in fact the original program contained nested seqs. * tests/nestedseq.hir, * tests/nestedseq.test: New test. * tests/Makefile.am (TESTS): Add nestedseq.test. (EXTRA_DIST): Add nestedseq.hir. Signed-off-by: Roland Levillain <roland(a)lrde.epita.fr> --- src/Main.hs | 4 ++-- tests/Makefile.am | 10 +++++++--- tests/nestedseq.hir | 8 ++++++++ tests/{overflow.test => nestedseq.test} | 9 +-------- 4 files changed, 18 insertions(+), 13 deletions(-) create mode 100644 tests/nestedseq.hir copy tests/{overflow.test => nestedseq.test} (80%) diff --git a/src/Main.hs b/src/Main.hs index 652c2c3..46b84d4 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -116,14 +116,14 @@ evalM fm stms = setHandle setProfileHandle fm "profile" setHandle setDisplayHandle fm "display" setHandle setTraceHandle fm "trace" + trace ["checkingLow"] + checkLowM stms trace ["plaining"] stms <- plainStms stms trace ["unparsing"] unparseM stms trace ["checking"] checkHighM stms - trace ["checkingLow"] - checkLowM stms preloadStms 0 stms rstore "i0" 0 trace ["evaling"] diff --git a/tests/Makefile.am b/tests/Makefile.am index c7a59a0..6bbce72 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -4,10 +4,14 @@ XFAIL_TESTS = -TESTS = \ -cmp.test overflow.test trace.test +TESTS = \ + cmp.test nestedseq.test overflow.test trace.test -EXTRA_DIST = cmp.lir cmp.out fact.lir fact.out overflow.lir overflow.out \ +EXTRA_DIST = \ + cmp.lir cmp.out \ + fact.lir fact.out \ + nestedseq.hir \ + overflow.lir overflow.out \ $(TESTS) # Each test case depends on defs. diff --git a/tests/nestedseq.hir b/tests/nestedseq.hir new file mode 100644 index 0000000..6d5a5fb --- /dev/null +++ b/tests/nestedseq.hir @@ -0,0 +1,8 @@ +label main +seq + seq + sxp + const 0 + seq end +seq end +label end diff --git a/tests/overflow.test b/tests/nestedseq.test similarity index 80% copy from tests/overflow.test copy to tests/nestedseq.test index 9904ac7..ba105b8 100755 --- a/tests/overflow.test +++ b/tests/nestedseq.test @@ -22,11 +22,4 @@ set -e -HAVM_pass --trace $srcdir/overflow.lir -cmp stdout $srcdir/overflow.out -test -s stderr - -HAVM_pass --trace=3 $srcdir/overflow.lir 3>stdtrc -cmp stdout $srcdir/overflow.out -test ! -s stderr -test -s stdtrc +HAVM_run 129 --low $srcdir/nestedseq.hir -- 1.7.10.4

1 0

havm: branch master updated: havm-0.26
by git＠lrde.epita.fr 06 May '14

06 May '14

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "HAVM, a Tree intermediate language interpreter". The branch master has been updated via ac93a91b0d3537621a4d64619e217ab27ee47025 (commit) via e1f8060a6baf6a6ba262ba282944f784aec94b48 (commit) via b64d9b224ac338a88733ac1a01323a5f214e8994 (commit) via cbc954b1d28ac0352dc8e9c584ab2d9b27602298 (commit) via d3b5c93be88dd1e1dc18f7647ad49a050cba0c14 (commit) from f2d7b4e2fc053aa06c4172aa4ce4a68ef6dba027 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- ac93a91 Regen ChangeLog for version 0.26. e1f8060 Version 0.26. b64d9b2 Update copyright notices. cbc954b checkLow should occur before plaining. d3b5c93 Arithmetic overflow should wrap around. ----------------------------------------------------------------------- Summary of changes: .last-cl-gen | 2 +- AUTHORS | 20 ++++---- ChangeLog | 137 ++++++++++++++++++++++++++++++++++++++++++++++---- Makefile.am | 20 ++++---- NEWS | 29 +++++++---- README | 20 ++++---- THANKS | 1 + TODO | 20 ++++---- configure.ac | 24 +++++---- doc/Makefile.am | 30 +++++------ src/Main.hs | 4 +- src/Makefile.am | 20 ++++---- src/Opt.hs | 2 +- src/StdBinop.hs | 15 ++++-- tests/Makefile.am | 15 ++++-- tests/cmp.test | 13 ++--- tests/defs.in | 12 ++--- tests/nestedseq.hir | 8 +++ tests/nestedseq.test | 23 +++++++++ tests/overflow.lir | 14 ++++++ tests/overflow.out | 1 + tests/overflow.test | 30 +++++++++++ tests/trace.test | 13 ++--- 23 files changed, 348 insertions(+), 125 deletions(-) create mode 100644 tests/nestedseq.hir create mode 100755 tests/nestedseq.test create mode 100644 tests/overflow.lir create mode 100644 tests/overflow.out create mode 100755 tests/overflow.test hooks/post-receive -- HAVM, a Tree intermediate language interpreter

1 0

havm: annotated tag havm-0.26 created: havm-0.26
by git＠lrde.epita.fr 06 May '14

06 May '14

This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "HAVM, a Tree intermediate language interpreter". The annotated tag havm-0.26 has been created at a416c69cbc3e03010200c3430889b9d52764a30a (tag) tagging ac93a91b0d3537621a4d64619e217ab27ee47025 (commit) replaces havm-0.25 tagged by Roland Levillain on Tue May 6 16:33:39 2014 +0200 - Log ----------------------------------------------------------------- HAVM 0.26. Pablo de Oliveira (2): Arithmetic overflow should wrap around. checkLow should occur before plaining. Roland Levillain (14): Regen ChangeLog. Version 0.25a. Fix build issues with GHC 7.4. Make recent versions of GHC enable all RTS options. Change HAVM's bug report e-mail address. Add a target to install HAVM's documentation on the Web. Add a rule to update ChangeLog using Git commit messages. Fix and update copyright years. Update the builtins documentation. Update doc remote installation settings to target the new location. Convert to UTF-8. Update copyright notices. Version 0.26. Regen ChangeLog for version 0.26. ----------------------------------------------------------------------- hooks/post-receive -- HAVM, a Tree intermediate language interpreter

1 0

havm: havm-0.26 Regen ChangeLog for version 0.26.
by Roland Levillain 06 May '14

06 May '14

--- .last-cl-gen | 2 +- ChangeLog | 117 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 118 insertions(+), 1 deletion(-) diff --git a/.last-cl-gen b/.last-cl-gen index 429a509..36f3319 100644 --- a/.last-cl-gen +++ b/.last-cl-gen @@ -1 +1 @@ -9575357c6269b0c7860f19fe2eeaf343c71e4b94 +e1f8060a6baf6a6ba262ba282944f784aec94b48 diff --git a/ChangeLog b/ChangeLog index c8bc312..1be6a27 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,120 @@ +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Version 0.26. + + * configure.ac, NEWS: Here. + * THANKS: Update. + * src/Opt.hs: Update copyright years. + * tests/cmp.test, + * tests/trace.test: + Delete trailing newlines. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Update copyright notices. + + * AUTHORS, + * Makefile.am, + * NEWS, + * README, + * TODO, + * configure.ac, + * doc/Makefile.am, + * src/Makefile.am, + * tests/cmp.test, + * tests/defs.in, + * tests/nestedseq.test, + * tests/overflow.test, + * tests/trace.test: + Here. + +2014-05-06 Pablo de Oliveira <pablo(a)sifflez.org> + + checkLow should occur before plaining. + + * src/Main.hs (evalM): Here. + In some cases, plaining removes nested seqs in the original + program. If plaining happens first, checkLow may accept a + program as valid LIR when in fact the original program + contained nested seqs. + * tests/nestedseq.hir, + * tests/nestedseq.test: + New test. + * tests/Makefile.am (TESTS): Add nestedseq.test. + (EXTRA_DIST): Add nestedseq.hir. + +2014-05-06 Pablo de Oliveira <pablo(a)sifflez.org> + + Arithmetic overflow should wrap around. + + Tiger specifications do not define the expected behavior of an + integer overflow. Yet, to be consistent with Nolimips, Spim, + and most current architectures, we ensure that arithmetic + operations in HAVM wrap around. + + * src/StdBinop.hs (modulo32): New function. + Use it... + (binop): ...here. + * tests/overflow.lir, + * tests/overflow.out, + * tests/overflow.test: + New test. + * tests/Makefile.am (TESTS): Add overflow.test. + (EXTRA_DIST): Add overflow.lir and overflow.out. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Convert to UTF-8. + + * THANKS, + * TODO, + * doc/havm.texi: + Here. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Update doc remote installation settings to target the new location. + + * doc/Makefile.am + (install_doc_user, install_doc_host, install_doc_dir): Here. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Update the builtins documentation. + + * doc/builtins.texi: Sync with tc-assignments. + +2014-05-06 Roland Levillain <roland(a)lrde.epita.fr> + + Fix and update copyright years. + + * AUTHORS, + * ChangeLog, + * Makefile.am, + * NEWS, + * README, + * TODO, + * configure.ac, + * debian/copyright, + * doc/Makefile.am, + * doc/havm.texi, + * src/Makefile.am, + * src/Opt.hs, + * tests/cmp.test, + * tests/defs.in, + * tests/trace.test: + Here. + +2013-09-23 Roland Levillain <roland(a)lrde.epita.fr> + + Add a rule to update ChangeLog using Git commit messages. + + * build-aux/gitlog-to-changelog: New. + Imported from Git Gnulib. + * .last-cl-gen: New. + * Makefile.am (update-ChangeLog): New target. + (EXTRA_DIST): Add build-aux/gitlog-to-changelog and .last-cl-gen. + 2013-01-07 Roland Levillain <roland(a)lrde.epita.fr> Add a target to install HAVM's documentation on the Web. -- 1.7.10.4

1 0

havm: havm-0.25-15-ge1f8060 Version 0.26.
by Roland Levillain 06 May '14

06 May '14

* configure.ac, NEWS: Here. * THANKS: Update. * src/Opt.hs: Update copyright years. * tests/cmp.test, * tests/trace.test: Delete trailing newlines. --- NEWS | 9 +++++++-- THANKS | 1 + configure.ac | 4 ++-- src/Opt.hs | 2 +- tests/Makefile.am | 4 ++++ tests/cmp.test | 1 - tests/trace.test | 1 - 7 files changed, 15 insertions(+), 7 deletions(-) diff --git a/NEWS b/NEWS index 2d84d88..36a136f 100644 --- a/NEWS +++ b/NEWS @@ -1,9 +1,14 @@ -New in 0.25a: +New in 0.26, 2014-05-06: * GHC 7.4 HAVM is compatible with GHC 7.4. +* Arithmetic overflows + + Arithmetic operators now wrap around the signed 32-bit integer value + type. + New in 0.25 2012-10-31: @@ -132,7 +137,7 @@ FIXME: Complete from ChangeLog. -- -Copyright (C) 2003-2006, 2012 EPITA Research and Development +Copyright (C) 2003-2006, 2012, 2014 EPITA Research and Development Laboratory (LRDE) This file is part of HAVM. diff --git a/THANKS b/THANKS index db57b56..509d240 100644 --- a/THANKS +++ b/THANKS @@ -11,6 +11,7 @@ People who contributed to Havm: * Pablo Oliveira pablo(a)sifflez.org - Patch scanner + - Arithmetic overflows * Théophile Ranquet ranquet(a)lrde.epita.fr - Version 0.25 diff --git a/configure.ac b/configure.ac index b79cdd5..60536ee 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ # Copyright (C) 2003 Robert Anisko -# Copyright (C) 2003-2007, 2012-2013 EPITA Research and Development +# Copyright (C) 2003-2007, 2012-2014 EPITA Research and Development # Laboratory (LRDE) # # This file is part of HAVM. @@ -20,7 +20,7 @@ # Catch "HAVM_*" macros that are not expanded. m4_pattern_forbid([^HAVM_]) AC_PREREQ([2.59]) -AC_INIT([HAVM], [0.25a], [projects(a)lrde.epita.fr] +AC_INIT([HAVM], [0.26], [projects(a)lrde.epita.fr] AC_CONFIG_AUX_DIR([build-aux]) AM_INIT_AUTOMAKE([1.9.6 dist-bzip2]) diff --git a/src/Opt.hs b/src/Opt.hs index dff2026..c1ac4b4 100644 --- a/src/Opt.hs +++ b/src/Opt.hs @@ -32,7 +32,7 @@ version_message = unlines "Written by Robert Anisko.", "", "Copyright (C) 2002-2003 Robert Anisko", - "Copyright (C) 2003-2007, 2009, 2011-2013" + "Copyright (C) 2003-2007, 2009, 2011-2014" ++ " EPITA Research and Development Laboratory (LRDE).", "This is free software; see the source for copying conditions. There is NO", "warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE." diff --git a/tests/Makefile.am b/tests/Makefile.am index 6bbce72..a63f480 100644 --- a/tests/Makefile.am +++ b/tests/Makefile.am @@ -2,6 +2,10 @@ ## Tests. ## ## ------- ## +# FIXME: Revamp the test strategy. Currently, outputs are generated +# in the same files for all tests! This does not help to find +# problems. Moreover, this prevents parallel tests. + XFAIL_TESTS = TESTS = \ diff --git a/tests/cmp.test b/tests/cmp.test index d258f2c..cddb132 100755 --- a/tests/cmp.test +++ b/tests/cmp.test @@ -28,4 +28,3 @@ HAVM_pass --trace=3 $srcdir/cmp.lir 3>stdtrc cmp stdout $srcdir/cmp.out test ! -s stderr test -s stdtrc - diff --git a/tests/trace.test b/tests/trace.test index 8ab1a90..751536e 100755 --- a/tests/trace.test +++ b/tests/trace.test @@ -28,4 +28,3 @@ HAVM_pass --trace=3 $srcdir/fact.lir 3>stdtrc cmp stdout $srcdir/fact.out test ! -s stderr test -s stdtrc - -- 1.7.10.4

1 0

Re: [Projects] [PATCH HAVM] checkLow should occur before plaining
by Roland Levillain 06 May '14

06 May '14

On 11/04/2014 22:16, Pablo Oliveira wrote: > Dear HAVM maintainers, Dear Pablo, > Currently havm --low fails to reject some invalid LIR programs such as: > > label main > seq > seq > sxp > const 0 > seq end > seq end > label end > > Because "plaining" step comes first, and removes unneeded nested seqs, checkLow fails to see that the original program contains nested seqs. > > Attached is a tentative patch that fixes this. Thank you for your patch! I'll apply it to for the next release of HAVM. > PS: Roland, Akim, sorry for directly CCing you. But since my last week messages to projects(a)lrde.epita.fr list went unanswered (http://lists.lrde.epita.fr/pipermail/projects/2014-April/thread.html) I'm not sure if the list is active anymore :) The list is still active. I'm just very late; sorry! :) Kind regards, Roland -- Roland Levillain EPITA Research and Development Laboratory (LRDE) 14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr

1 0

havm: havm-0.25-14-gb64d9b2 Update copyright notices.
by Roland Levillain 06 May '14

06 May '14

* AUTHORS, * Makefile.am, * NEWS, * README, * TODO, * configure.ac, * doc/Makefile.am, * src/Makefile.am, * tests/cmp.test, * tests/defs.in, * tests/nestedseq.test, * tests/overflow.test, * tests/trace.test: Here. --- AUTHORS | 20 +++++++++++--------- ChangeLog | 20 +++++++++++--------- Makefile.am | 20 +++++++++++--------- NEWS | 20 +++++++++++--------- README | 20 +++++++++++--------- TODO | 20 +++++++++++--------- configure.ac | 20 +++++++++++--------- doc/Makefile.am | 30 ++++++++++++++++-------------- src/Makefile.am | 20 +++++++++++--------- tests/cmp.test | 12 +++++------- tests/defs.in | 12 +++++------- tests/nestedseq.test | 12 +++++------- tests/overflow.test | 12 +++++------- tests/trace.test | 12 +++++------- 14 files changed, 129 insertions(+), 121 deletions(-) diff --git a/AUTHORS b/AUTHORS index 2b88f49..c0ef54e 100644 --- a/AUTHORS +++ b/AUTHORS @@ -11,15 +11,17 @@ Copyright (C) 2002-2003 Robert Anisko Copyright (C) 2003-2007, 2009, 2011-2013 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. +HAVM is free software: you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 2 of the License, or +(at your option) any later version. + +HAVM is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/ChangeLog b/ChangeLog index febbd1e..c8bc312 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1204,15 +1204,17 @@ Copyright (C) 2002-2003 Robert Anisko Copyright (C) 2003-2007, 2009, 2011-2013 Laboratoire de Recherche et Développement de l'EPITA -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. +HAVM is free software: you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 2 of the License, or +(at your option) any later version. + +HAVM is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/Makefile.am b/Makefile.am index 0001ad1..6f6ee30 100644 --- a/Makefile.am +++ b/Makefile.am @@ -2,18 +2,20 @@ # Copyright (C) 2003-2006, 2013 EPITA Research and Development # Laboratory (LRDE) # -# This file is part of HAVM. This program is free software; you can -# redistribute it and/or modify it under the terms of the GNU General -# Public License version 2 as published by the Free Software -# Foundation. +# This file is part of HAVM. # -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -# General Public License for more details. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. +# +# HAVM is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. ACLOCAL_AMFLAGS = -I build-aux diff --git a/NEWS b/NEWS index 7b65752..2d84d88 100644 --- a/NEWS +++ b/NEWS @@ -135,18 +135,20 @@ FIXME: Complete from ChangeLog. Copyright (C) 2003-2006, 2012 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. +HAVM is free software: you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 2 of the License, or +(at your option) any later version. + +HAVM is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. Local Variables: diff --git a/README b/README index 0b7e56c..56d55d0 100644 --- a/README +++ b/README @@ -20,15 +20,17 @@ Its features are: Copyright (C) 2003, 2005 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. +HAVM is free software: you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 2 of the License, or +(at your option) any later version. + +HAVM is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/TODO b/TODO index 7c55633..5ad6835 100644 --- a/TODO +++ b/TODO @@ -43,15 +43,17 @@ Fail: no such temp: "t0" Copyright (C) 2003, 2005 EPITA Research and Development Laboratory (LRDE) -This file is part of HAVM. This program is free software; you can -redistribute it and/or modify it under the terms of the GNU General -Public License version 2 as published by the Free Software -Foundation. +This file is part of HAVM. -This program is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -General Public License for more details. +HAVM is free software: you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by +the Free Software Foundation, either version 2 of the License, or +(at your option) any later version. + +HAVM is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. You should have received a copy of the GNU General Public License -along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +along with HAVM. If not, see <http://www.gnu.org/licenses/>. diff --git a/configure.ac b/configure.ac index 1775e6f..b79cdd5 100644 --- a/configure.ac +++ b/configure.ac @@ -2,18 +2,20 @@ # Copyright (C) 2003-2007, 2012-2013 EPITA Research and Development # Laboratory (LRDE) # -# This file is part of HAVM. This program is free software; you can -# redistribute it and/or modify it under the terms of the GNU General -# Public License version 2 as published by the Free Software -# Foundation. +# This file is part of HAVM. # -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -# General Public License for more details. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. +# +# HAVM is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. # Catch "HAVM_*" macros that are not expanded. m4_pattern_forbid([^HAVM_]) diff --git a/doc/Makefile.am b/doc/Makefile.am index 13af4a6..8f7a632 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,18 +1,20 @@ -## Copyright (C) 2003, 2005, 2013, 2014 EPITA Research and Development -## Laboratory (LRDE) +# Copyright (C) 2003, 2005, 2013, 2014 EPITA Research and Development +# Laboratory (LRDE) -## This file is part of HAVM. This program is free software; you can -## redistribute it and/or modify it under the terms of the GNU General -## Public License version 2 as published by the Free Software -## Foundation. - -## This program is distributed in the hope that it will be useful, but -## WITHOUT ANY WARRANTY; without even the implied warranty of -## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -## General Public License for more details. - -## You should have received a copy of the GNU General Public License -## along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +# This file is part of HAVM. +# +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. +# +# HAVM is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. AM_MAKEINFOFLAGS = --no-split TEXI2DVI = texi2dvi --batch diff --git a/src/Makefile.am b/src/Makefile.am index dd233ac..0542942 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -2,18 +2,20 @@ # Copyright (C) 2003-2005, 2007, 2009, 2012 EPITA Research and Development # Laboratory (LRDE) # -# This file is part of HAVM. This program is free software; you can -# redistribute it and/or modify it under the terms of the GNU General -# Public License version 2 as published by the Free Software -# Foundation. +# This file is part of HAVM. # -# This program is distributed in the hope that it will be useful, but -# WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -# General Public License for more details. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. +# +# HAVM is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with HAVM. If not, see <http://www.gnu.org/licenses/>.. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. SUFFIXES = .hs .y .hc diff --git a/tests/cmp.test b/tests/cmp.test index 55d1015..d258f2c 100755 --- a/tests/cmp.test +++ b/tests/cmp.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2, or (at your option) -# any later version. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 diff --git a/tests/defs.in b/tests/defs.in index fc647c2..f37170a 100644 --- a/tests/defs.in +++ b/tests/defs.in @@ -5,10 +5,10 @@ # # This file is part of HAVM. # -# HAVM is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2, or (at your option) -# any later version. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -16,9 +16,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with autoconf; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. # Be Bourne compatible. # (Snippet copied from configure's initialization in Autoconf 2.57.) diff --git a/tests/nestedseq.test b/tests/nestedseq.test index ba105b8..25bfba7 100755 --- a/tests/nestedseq.test +++ b/tests/nestedseq.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2, or (at your option) -# any later version. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 diff --git a/tests/overflow.test b/tests/overflow.test index 9904ac7..160b642 100755 --- a/tests/overflow.test +++ b/tests/overflow.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2, or (at your option) -# any later version. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 diff --git a/tests/trace.test b/tests/trace.test index 2a65cfa..8ab1a90 100755 --- a/tests/trace.test +++ b/tests/trace.test @@ -3,10 +3,10 @@ # # This file is part of HAVM. # -# HAVM is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2, or (at your option) -# any later version. +# HAVM is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. # # HAVM is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of @@ -14,9 +14,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with Texinfo; see the file COPYING. If not, write to -# the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, -# Boston, MA 02110-1301, USA. +# along with HAVM. If not, see <http://www.gnu.org/licenses/>. . ./defs || exit 1 -- 1.7.10.4

1 0

Re: [Projects] [PATCH] Arithmetic overflow should wrap around
by Roland Levillain 06 May '14

06 May '14

On 06/04/2014 02:44, Pablo Oliveira wrote: > Dear HAVM maintainers, Dear Pablo, Sorry for this late answer! :/ > Tiger specifications do not precisely define the expected behavior of an > integer overflow. Currently, HAVM does not coerce its arithmetic > computations to an Int32 type. > To be consistent with nolimips, spim, and most current architectures, it > would be nice that arithmetic operations in HAVM wrap around. Agreed. We had a discussion in the Tiger Patches mailing list about overflows in the code generated by the TC's MIPS backend a couple of years ago and I was also in favor of wrapping arithmetic operators (although I forgot to implement them!). > The tentative attached patch fixes this. (I went for the less intrusive > fix, a more radical solution would be to redefine all Int types in HAVM > to Int32.) Thank you for your patch! As long as the semantics of the virtual machine remain unclear regarding overflows, your solution is admittedly better than migrating all Int values to Int32. I'll apply it ASAP. Kind regards, Roland -- Roland Levillain EPITA Research and Development Laboratory (LRDE) 14-16, rue Voltaire - FR-94276 Le Kremlin-Bicêtre Cedex - France Phone: +33 1 53 14 59 45 - Fax: +33 1 53 14 59 22 - www.lrde.epita.fr

1 0