I'm working on ensuring that the GIMPLE semantics used by smtgcc are
correct, and I have a lot of questions about the details. I'll be sending
a series of emails with these questions. This first one is about pointers
in general.
Each section starts with a description of the semantics I've impl
Hi,
> Let us know if you need further help; we understand it's not trivial to
get this set up at first.
Sure! To be honest, I haven't had time to completely set up the toolchain
yet (due to classes and ongoing mid-semester examinations). I plan to
finish it as soon as I get some time. I have set
Am 21.03.25 um 19:16 schrieb Georg-Johann Lay via Gcc:
Am 21.03.25 um 01:02 schrieb Jeff Law:
On 3/19/25 4:14 AM, Georg-Johann Lay wrote:
Am 16.03.25 um 14:51 schrieb Jeff Law via Gcc:
On 3/13/25 5:39 AM, Georg-Johann Lay via Gcc wrote:
There are situations where knowledge about which bits
of
Hi!
In Nvidia PTX, "A state space is a storage area with particular
characteristics. All variables reside in some state space. [...]".
These include:
.const Shared, read-only memory.
.global Global memory, shared by all threads.
Implemented via 'TARGET_ENCODE_SECTION_INFO', GCC/nvptx
Snapshot gcc-12-20250403 is now available on
https://gcc.gnu.org/pub/gcc/snapshots/12-20250403/
and on various mirrors, see https://gcc.gnu.org/mirrors.html for details.
This snapshot has been generated from the GCC 12 git branch
with the following options: git://gcc.gnu.org/git/gcc.git branch
Hi,
I know that PDB support has been worked on in binutils. I thinkt
he missing piece is to get GCC to emit CodeView debug information that
binutils will turn into a PDBm (not sure if the work is complete in
binutils, either).
What's the status of this? I ask because our WIndows offering is
bui
Hi.
We're trying to remove the duplication of the attributes code between
the C and libgccjit frontend.
The attached patch shows a draft of this attempt that only supports a
few attributes.
Would that kind of approach be acceptable (I'm not sure since this
includes a c-family file in libgccjit)
My doubt :
1.Does the compilation option only need to support fortran versions above
9, o5r does it also need to support fortran 77?
2.Regarding parameter checking, *my idea is that after the user creates an
array of a specified size, it is passed into the function as a parameter*.
However, the arr
On Mon, Mar 31, 2025 at 11:14:47PM +0300, Eldar Kusdavletov wrote:
> I wanted to follow up on my previous email regarding my interest in
> participating in Google Summer of Code with GCC. I saw the discussion in the
> thread, but it seems there was no final confirmation.
>
> Could you please let m
Snapshot gcc-13-20250321 is now available on
https://gcc.gnu.org/pub/gcc/snapshots/13-20250321/
and on various mirrors, see https://gcc.gnu.org/mirrors.html for details.
This snapshot has been generated from the GCC 13 git branch
with the following options: git://gcc.gnu.org/git/gcc.git branch
On 3/19/25 4:14 AM, Georg-Johann Lay wrote:
Am 16.03.25 um 14:51 schrieb Jeff Law via Gcc:
On 3/13/25 5:39 AM, Georg-Johann Lay via Gcc wrote:
There are situations where knowledge about which bits
of a value are (not) set can be used for optimization.
For example in an insn combine pattern l
On Fri, Apr 4, 2025 at 12:17 AM Robert Dubner wrote:
>
> The COBOL compiler has this routine:
>
> void
> gg_exit(tree exit_code)
> {
> tree the_call =
> build_call_expr_loc(location_from_lineno(),
> builtin_decl_explicit (BUILT_IN_EXIT),
>
UKZN email disclaimer:
The contents of this e-mail may contain personal information, and/or privileged
information, and/or confidential information. The information contained herein
is therefore only meant for consumption by the recipient mentioned and for the
purpose as specified in the body
Hi GCC developers,
I'm sharing the draft proposal for my GSoC project titled "Fortran 2018/202x".
It has already been posted on the Fortran mailing list, where I received
valuable feedback from gfortran developers.
As mentioned on the GCC GSoC page, proposals should also be shared on the GCC
mail
On Mon, Mar 31, 2025 at 3:14 PM Julian Waters wrote:
>
> Thanks for the quick reply, I'll ask the people responsible for
> working on the Linux parts try to compile and link the codebase with
> -fno-use-linker-plugin to see what happens. It's a bit disheartening
> to hear that LTO support on Windo
Snapshot gcc-14-20250405 is now available on
https://gcc.gnu.org/pub/gcc/snapshots/14-20250405/
and on various mirrors, see https://gcc.gnu.org/mirrors.html for details.
This snapshot has been generated from the GCC 14 git branch
with the following options: git://gcc.gnu.org/git/gcc.git branch
16 matches
Mail list logo
