[GIT PULL] patches for -rc3

[GIT PULL] patches for -rc3

[Luc Van Oostenryck]

Chris,

Please pull these patches for v0.5.1-rc3.
The patches of two kinds:
*) fixes for problem found during pre-release testing:
   - missing examine in evaluate_dereference()
   - workaround for bogus phi-nodes
   - fix for OP_PHI liveness
   - fix for __builtin_bswap{16,32,64}() constantness
*) small things inhibiting testing:
   - dissect: use built_in_ident() instead of MK_IDENT()
   - little/big-endian flag & defines
   - cgcc support for arm, arm64 & ppc64 


Everything have now been tested on:
- linux i386, x86-64, arm64, arm, ppc64 & ppc64le
- freebsd x86-64
- openbsd i386 (llvm backend not tested)
- darwin x86-64
and the tests consisted in:
- sparse's testsuite, of course,
- on linux, a kernel compile for an allyesconfig and looking
  after some oddities in the logs, like a crash or an unusal
  warning.
- doing a 'make sparse' on the git's tree

The only remaining problem I saw was a failire in the llvm
backend on arm (but I only had a rather old version of LLVM).

Unless a last minute problem, this should be the last patches
for the release.

Regards,
Luc

----------------------------------------------------------------

The following changes since commit bcfe020ed939fa1e8474efaf31a86d80d0e5c5fe:

  add support for -fmemcpy-max-count (2017-06-15 10:03:49 +0200)

are available in the git repository at:

  git://github.com/lucvoo/sparse.git tags/for-chris

for you to fetch changes up to a6fbbbf01a1ca358e0a991dd0fb1a1cca60b6f0b:

  bump sparse's version to -rc3 (2017-06-21 15:30:04 +0200)

----------------------------------------------------------------
Luc Van Oostenryck (13):
      fix: add missing examine in evaluate_dereference()
      fix OP_PHI usage in try_to_simplify_bb() only when non-bogus
      fix: try_to_simplify_bb eargerness
      add fallback for missing __builtin_bswapXX()
      fix: __builtin_bswap{16,32,64}() constantness
      dissect: use built_in_ident() instead of MK_IDENT()
      teach sparse about -m{big,little}-endian
      teach sparse about __{BIG,LITTLE}_ENDIAN__
      teach sparse about __BYTE_ORDER__ & __ORDER_{BIG,LITTLE}_ENDIAN__
      cgcc: teach cgcc about arm64
      cgcc: teach cgcc about ppc64[le]
      cgcc: teach cgcc about arm
      bump sparse's version to -rc3

 Makefile                              |  2 +-
 builtin.c                             | 11 ++++---
 cgcc                                  | 20 +++++++++++++
 compat/bswap.h                        | 54 +++++++++++++++++++++++++++++++++++
 dissect.h                             | 11 -------
 evaluate.c                            |  2 ++
 flow.c                                | 47 +++++++++++++++++-------------
 lib.c                                 | 24 +++++++++++++++-
 lib.h                                 |  1 +
 test-dissect.c                        |  6 ++--
 validation/badtype5.c                 | 18 ++++++++++++
 validation/builtin-bswap-constant.c   |  6 ++++
 validation/crazy03.c                  | 33 +++++++++++++++++++++
 validation/endian-big.c               | 14 +++++++++
 validation/endian-little.c            | 14 +++++++++
 validation/linear/missing-insn-size.c | 19 ++++++++++++
 16 files changed, 242 insertions(+), 40 deletions(-)
 create mode 100644 compat/bswap.h
 create mode 100644 validation/badtype5.c
 create mode 100644 validation/crazy03.c
 create mode 100644 validation/endian-big.c
 create mode 100644 validation/endian-little.c
 create mode 100644 validation/linear/missing-insn-size.c

Re: [GIT PULL] patches for -rc3

[Ramsay Jones]

On 21/06/17 14:58, Luc Van Oostenryck wrote:
> Chris,
> 
> Please pull these patches for v0.5.1-rc3.
> The patches of two kinds:
> *) fixes for problem found during pre-release testing:
>    - missing examine in evaluate_dereference()
>    - workaround for bogus phi-nodes
>    - fix for OP_PHI liveness
>    - fix for __builtin_bswap{16,32,64}() constantness
> *) small things inhibiting testing:
>    - dissect: use built_in_ident() instead of MK_IDENT()
>    - little/big-endian flag & defines
>    - cgcc support for arm, arm64 & ppc64 
> 
> 
> Everything have now been tested on:
> - linux i386, x86-64, arm64, arm, ppc64 & ppc64le
> - freebsd x86-64
> - openbsd i386 (llvm backend not tested)
> - darwin x86-64
> and the tests consisted in:
> - sparse's testsuite, of course,
> - on linux, a kernel compile for an allyesconfig and looking
>   after some oddities in the logs, like a crash or an unusal
>   warning.
> - doing a 'make sparse' on the git's tree
> 
> The only remaining problem I saw was a failire in the llvm
> backend on arm (but I only had a rather old version of LLVM).
> 
> Unless a last minute problem, this should be the last patches
> for the release.
> 
> Regards,
> Luc
> 
> ----------------------------------------------------------------
> 
> The following changes since commit bcfe020ed939fa1e8474efaf31a86d80d0e5c5fe:
> 
>   add support for -fmemcpy-max-count (2017-06-15 10:03:49 +0200)
> 
> are available in the git repository at:
> 
>   git://github.com/lucvoo/sparse.git tags/for-chris
> 
> for you to fetch changes up to a6fbbbf01a1ca358e0a991dd0fb1a1cca60b6f0b:
> 
>   bump sparse's version to -rc3 (2017-06-21 15:30:04 +0200)

Tested on Linux (i686 and x86_64) and cygwin (x86_64).

Both the sparse testsuite and 'make sparse' on the git tree
work as expected, without additional failures.

Thanks!

ATB,
Ramsay Jones

Re: [GIT PULL] patches for -rc3

[Luc Van Oostenryck]

On Wed, Jun 21, 2017 at 09:42:26PM +0100, Ramsay Jones wrote:
> Tested on Linux (i686 and x86_64) and cygwin (x86_64).
> 
> Both the sparse testsuite and 'make sparse' on the git tree
> work as expected, without additional failures.

Many thanks for testing it.
 
-- Luc

Re: [GIT PULL] patches for -rc3

[Christopher Li]

On Wed, Jun 21, 2017 at 6:58 AM, Luc Van Oostenryck
<luc.vanoostenryck@gmail.com> wrote:
> Chris,
>
> Please pull these patches for v0.5.1-rc3.
> The patches of two kinds:
> *) fixes for problem found during pre-release testing:
>    - missing examine in evaluate_dereference()
>    - workaround for bogus phi-nodes
>    - fix for OP_PHI liveness
>    - fix for __builtin_bswap{16,32,64}() constantness
> *) small things inhibiting testing:
>    - dissect: use built_in_ident() instead of MK_IDENT()
>    - little/big-endian flag & defines
>    - cgcc support for arm, arm64 & ppc64
>
>
> Everything have now been tested on:
> - linux i386, x86-64, arm64, arm, ppc64 & ppc64le
> - freebsd x86-64
> - openbsd i386 (llvm backend not tested)
> - darwin x86-64
> and the tests consisted in:
> - sparse's testsuite, of course,
> - on linux, a kernel compile for an allyesconfig and looking
>   after some oddities in the logs, like a crash or an unusal
>   warning.
> - doing a 'make sparse' on the git's tree
>
> The only remaining problem I saw was a failire in the llvm
> backend on arm (but I only had a rather old version of LLVM).
>
> Unless a last minute problem, this should be the last patches
> for the release.

Thanks. Pulled to sparse-next.

Chris

Re: [GIT PULL] patches for -rc3

[Luc Van Oostenryck]

On Wed, Jun 21, 2017 at 07:00:41PM -0700, Christopher Li wrote:
> Thanks. Pulled to sparse-next.

Thanks.

-- Luc