linux-sparse.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* [GIT PULL] Sparse/LLVM updates
@ 2012-10-09  6:34 Pekka Enberg
  0 siblings, 0 replies; 5+ messages in thread
From: Pekka Enberg @ 2012-10-09  6:34 UTC (permalink / raw)
  To: Christopher Li; +Cc: linux-sparse, Jeff Garzik, Linus Torvalds

[-- Attachment #1: Type: TEXT/PLAIN, Size: 1209 bytes --]

Hi Chris,

Please pull the latest Sparse/LLVM tree from:

  git@github.com:penberg/sparse-llvm.git llvm/core

It contains few LLVM backend fixes from myself and Jonathan Neuschäfer.

			Pekka

------------------>

The following changes since commit 063236fd3f46bc83b49172f5ecb597e0a91cede8:

  ptrlist.c: fix a typo in a comment (2012-06-26 00:54:24 -0700)

are available in the git repository at:
  git@github.com:penberg/sparse-llvm.git llvm/core

Jonathan Neuschäfer (2):
      sparse, llvm: 'Verify' the LLVM module before writing it
      sparse, llvm: convert the condition of branch/select to bool

Pekka Enberg (2):
      sparse, llvm: Fix SIGSEGV for extern symbols
      sparse, llvm: Fix 'void' return type code generation

 sparse-llvm.c                         |   36 +++++++++++++++++++++++++++++---
 validation/backend/extern.c           |   11 ++++++++++
 validation/backend/int-cond.c         |   30 +++++++++++++++++++++++++++
 validation/backend/void-return-type.c |   13 +++++++++++
 4 files changed, 86 insertions(+), 4 deletions(-)
 create mode 100644 validation/backend/extern.c
 create mode 100644 validation/backend/int-cond.c
 create mode 100644 validation/backend/void-return-type.c

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [GIT PULL] Sparse/LLVM updates
@ 2012-10-10  6:35 Pekka Enberg
  2012-10-12  2:34 ` Christopher Li
  0 siblings, 1 reply; 5+ messages in thread
From: Pekka Enberg @ 2012-10-10  6:35 UTC (permalink / raw)
  To: Christopher Li; +Cc: linux-sparse, Jeff Garzik, Linus Torvalds

Hi Chris,

On Tue, Oct 9, 2012 at 9:34 AM, Pekka Enberg <penberg@kernel.org> wrote:
> Hi Chris,
>
> Please pull the latest Sparse/LLVM tree from:
>
>   git@github.com:penberg/sparse-llvm.git llvm/core
>
> It contains few LLVM backend fixes from myself and Jonathan Neuschäfer.
>
>                         Pekka
>
> ------------------>

I have added one more LLVM backend fix from Jonathan to the branch:

The following changes since commit 063236fd3f46bc83b49172f5ecb597e0a91cede8:

  ptrlist.c: fix a typo in a comment (2012-06-26 00:54:24 -0700)

are available in the git repository at:
  git@github.com:penberg/sparse-llvm.git llvm/core

Jonathan Neuschäfer (3):
      sparse, llvm: 'Verify' the LLVM module before writing it
      sparse, llvm: convert the condition of branch/select to bool
      sparse, llvm: Fix type of loaded values

Pekka Enberg (2):
      sparse, llvm: Fix SIGSEGV for extern symbols
      sparse, llvm: Fix 'void' return type code generation

 sparse-llvm.c                         |   38 ++++++++++++++++++++++++++++----
 validation/backend/extern.c           |   11 +++++++++
 validation/backend/int-cond.c         |   30 ++++++++++++++++++++++++++
 validation/backend/load-type.c        |   12 ++++++++++
 validation/backend/void-return-type.c |   13 +++++++++++
 5 files changed, 99 insertions(+), 5 deletions(-)
 create mode 100644 validation/backend/extern.c
 create mode 100644 validation/backend/int-cond.c
 create mode 100644 validation/backend/load-type.c
 create mode 100644 validation/backend/void-return-type.c
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [GIT PULL] Sparse/LLVM updates
  2012-10-10  6:35 Pekka Enberg
@ 2012-10-12  2:34 ` Christopher Li
  0 siblings, 0 replies; 5+ messages in thread
From: Christopher Li @ 2012-10-12  2:34 UTC (permalink / raw)
  To: Pekka Enberg; +Cc: linux-sparse, Jeff Garzik, Linus Torvalds

The change looks good.

It is pull and updated on the github sparse repository.

Thanks

Chris

On Tue, Oct 9, 2012 at 11:35 PM, Pekka Enberg <penberg@kernel.org> wrote:
> Hi Chris,
>
> On Tue, Oct 9, 2012 at 9:34 AM, Pekka Enberg <penberg@kernel.org> wrote:
>> Hi Chris,
>>
>> Please pull the latest Sparse/LLVM tree from:
>>
>>   git@github.com:penberg/sparse-llvm.git llvm/core
>>
>> It contains few LLVM backend fixes from myself and Jonathan Neuschäfer.
>>
>>                         Pekka
>>
>> ------------------>
>
> I have added one more LLVM backend fix from Jonathan to the branch:
>
> The following changes since commit 063236fd3f46bc83b49172f5ecb597e0a91cede8:
>
>   ptrlist.c: fix a typo in a comment (2012-06-26 00:54:24 -0700)
>
> are available in the git repository at:
>   git@github.com:penberg/sparse-llvm.git llvm/core
>
> Jonathan Neuschäfer (3):
>       sparse, llvm: 'Verify' the LLVM module before writing it
>       sparse, llvm: convert the condition of branch/select to bool
>       sparse, llvm: Fix type of loaded values
>
> Pekka Enberg (2):
>       sparse, llvm: Fix SIGSEGV for extern symbols
>       sparse, llvm: Fix 'void' return type code generation
>
>  sparse-llvm.c                         |   38 ++++++++++++++++++++++++++++----
>  validation/backend/extern.c           |   11 +++++++++
>  validation/backend/int-cond.c         |   30 ++++++++++++++++++++++++++
>  validation/backend/load-type.c        |   12 ++++++++++
>  validation/backend/void-return-type.c |   13 +++++++++++
>  5 files changed, 99 insertions(+), 5 deletions(-)
>  create mode 100644 validation/backend/extern.c
>  create mode 100644 validation/backend/int-cond.c
>  create mode 100644 validation/backend/load-type.c
>  create mode 100644 validation/backend/void-return-type.c
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

^ permalink raw reply	[flat|nested] 5+ messages in thread

* [GIT PULL] Sparse/LLVM updates
@ 2013-07-09 12:21 Pekka Enberg
  2013-07-25 16:43 ` Christopher Li
  0 siblings, 1 reply; 5+ messages in thread
From: Pekka Enberg @ 2013-07-09 12:21 UTC (permalink / raw)
  To: Christopher Li; +Cc: Sparse Mailing-list, Xi Wang, Jonathan Neuschäfer

Hi Chris,

Please consider pulling the latest Sparse/LLVM tree:

  git@github.com:penberg/sparse-llvm.git llvm/core

It has various LLVM backend fixes from Jonathan and Xi.

                        Pekka

------------------>

The following changes since commit 5449cfbfe55eea2a602a40122c122b5040d67243:

  Allow forced attribute in function argument (2013-04-26 08:27:41 -0700)

are available in the git repository at:

  git@github.com:penberg/sparse-llvm.git llvm/core

for you to fetch changes up to c0296d71405a97349d82e9909cad82a2af3271c2:

  Fix expression type for floating point negation ('!') (2013-05-27
14:15:56 +0300)

----------------------------------------------------------------
Jonathan Neuschäfer (4):
      sparse, llvm: Fix resulting type of store address calculations
      sparse, llvm: de-duplicate load/store address calculation code
      sparse, llvm: base load/store address type on insn_symbol_type()
      sparse, llvm: add a struct access test case

Pekka Enberg (1):
      sparse, llvm: Use LLVM_HOSTTRIPLE

Xi Wang (12):
      sparse, llvm: fix phi generation
      sparse, llvm: simplify function generation
      sparse, llvm: improve pointer arithmetic handling
      sparse, llvm: set target specification
      sparse, llvm: use LLVM_DEFAULT_TARGET_TRIPLE
      sparse, llvm: fix array size
      sparse, llvm: cache symbol_type() result
      sparse, llvm: fix struct name generation
      sparse, llvm: set more data attributes
      sparse, llvm: die if error
      Fix result type of relational and logical operators
      Fix expression type for floating point negation ('!')

 evaluate.c                         |  17 ++--
 lib.h                              |   2 +
 linearize.c                        |   4 +-
 sparse-llvm.c                      | 488
++++++++++++++++++++++++++++++++++++--------------------------------------------------------
 sparsei                            |  13 +++
 validation/backend/loop2.c         |  14 +++
 validation/backend/store-type.c    |  12 +++
 validation/backend/struct-access.c |  28 ++++++
 validation/backend/struct.c        |   6 ++
 validation/backend/sum.c           |  28 ++++++
 validation/cond_expr3.c            |  17 ++++
 11 files changed, 320 insertions(+), 309 deletions(-)
 create mode 100755 sparsei
 create mode 100644 validation/backend/loop2.c
 create mode 100644 validation/backend/store-type.c
 create mode 100644 validation/backend/struct-access.c
 create mode 100644 validation/backend/sum.c
 create mode 100644 validation/cond_expr3.c
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

^ permalink raw reply	[flat|nested] 5+ messages in thread

* Re: [GIT PULL] Sparse/LLVM updates
  2013-07-09 12:21 [GIT PULL] Sparse/LLVM updates Pekka Enberg
@ 2013-07-25 16:43 ` Christopher Li
  0 siblings, 0 replies; 5+ messages in thread
From: Christopher Li @ 2013-07-25 16:43 UTC (permalink / raw)
  To: Pekka Enberg; +Cc: Sparse Mailing-list, Xi Wang, Jonathan Neuschäfer

On Tue, Jul 9, 2013 at 5:21 AM, Pekka Enberg <penberg@kernel.org> wrote:
> Hi Chris,
>
> Please consider pulling the latest Sparse/LLVM tree:
>
>   git@github.com:penberg/sparse-llvm.git llvm/core
>
> It has various LLVM backend fixes from Jonathan and Xi.
>

I merge the branch and push at the chrisl repository. Please check if I make it
right. I will make it to the official repository soon.

Chris

^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2013-07-25 16:43 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2013-07-09 12:21 [GIT PULL] Sparse/LLVM updates Pekka Enberg
2013-07-25 16:43 ` Christopher Li
  -- strict thread matches above, loose matches on Subject: below --
2012-10-10  6:35 Pekka Enberg
2012-10-12  2:34 ` Christopher Li
2012-10-09  6:34 Pekka Enberg

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).