Re: .eh_frame augmentation character for MTE stack tagging

2022-06-06 Thread Matthew Malcomson via Gcc
Hi there, Just to mention that this decision has been included in the Arm ABI project. https://github.com/ARM-software/abi-aa/blob/main/aadwarf64/aadwarf64.rst#id22 MM On 6/6/22 12:00, Richard Earnshaw via Gcc wrote: On 04/06/2022 00:52, Florian Mayer via Gcc wrote: Hey! We are in the pro

[WIP][not for GCC main branch] CHERI/Morello work in GCC update.

2021-07-30 Thread Matthew Malcomson via Gcc
though there are large chunks of work left to do in that area. Authors of this commit: Stam Markianos-Wright Alex Coplan Matthew Malcomson GCC Implementation Design: Richard Sandiford From: Matthew Malcomson Sent: 22 July 2021 17:00 To: gcc

[WIP][not for GCC main branch] CHERI/Morello capabilities in GCC

2021-07-22 Thread Matthew Malcomson via Gcc
n integral value), and finally generate a new capability with the old metadata and new value. Authors of the branch so far: Alex Coplan Dennis Zhang Matthew Malcomson Stam Markianos-Wright GCC Implementation Design: Richard Sandiford

Possible code to remove DECL_NONSHAREABLE?

2020-11-27 Thread Matthew Malcomson via Gcc
Hi there, I was just looking through the history of how some code came about, and get the impression that DECL_NONSHAREABLE was meant to be removed. It seems like it was added to solve PR49103, with the idea that it could be removed once a more robust solution was added. Original comment an

Should the `expand` functions in builtin.c generate MEM patterns with ptr_mode addresses (instead of Pmode)

2020-07-01 Thread Matthew Malcomson
Hello, I asked on IRC on Monday but since it didn't get any responses and the mailing list doesn't require someone paying attention at the moment I ask I'm asking here too. I've seen that `expand_builtin_init_trampoline` generates a `gen_rtx_MEM (BLKmode, ...)` on something returned from `

Re: Git ChangeLog policy for GCC Testsuite inquiry

2020-02-10 Thread Matthew Malcomson
On 08/02/2020 16:50, Segher Boessenkool wrote: On Fri, Feb 07, 2020 at 03:34:03PM -0700, Tom Tromey wrote: "Jason" == Jason Merrill writes: Jason> I omit ChangeLogs by adding ':!*/ChangeLog' to the end of the git Jason> send-email command. I don't remember where I found that incantation. Co

Re: 1-800-GIT-HELP question

2020-01-15 Thread Matthew Malcomson
On 15/01/2020 10:13, Gaius Mulley wrote: > > Hello, > > Firstly many thanks to all who have worked on the git migration and also > for the offer of help :-) > > I'm seeking a little advice on an efficient way to combine the gm2 git > repro with the gcc git repro. When gcc was using subversion I

Could unwind landing pads increment the stack?

2019-11-19 Thread Matthew Malcomson
Hello, I'm looking into how the unwind mechanism works in order to gather information to inform how we should eventually handle exceptions in MTE. I'm currently having a discussion on the llvm-dev list about how HWASAN handles exceptions, and believe it has relevence. https://lists.llvm.org/pip

Dejagnu output size limit and flaky test ( c-c++-common/builtins.c -Wc++-compat )

2019-05-08 Thread Matthew Malcomson
Hello, During testing we've noticed the "test for excess errors" check on the "c-c++-common/builtins.c -Wc++-compat" sometimes passes and sometimes doesn't. The cause seems to be a restriction in dejagnu where it stops reading after a given read if its output buffer is greater than 512000 byt

Re: What is the precise definition of NOTE_INSN_FUNCTION_BEG?

2019-05-03 Thread Matthew Malcomson
On 02/05/19 16:33, Segher Boessenkool wrote: > On Thu, May 02, 2019 at 01:02:14PM +0000, Matthew Malcomson wrote: >> On 01/05/19 20:40, Segher Boessenkool wrote: >>> On Tue, Apr 30, 2019 at 03:48:02PM -0600, Jeff Law wrote: >>>> On 4/30/19 11:24 AM, Matthew Malcoms

Re: What is the precise definition of NOTE_INSN_FUNCTION_BEG?

2019-05-02 Thread Matthew Malcomson
On 01/05/19 20:40, Segher Boessenkool wrote: > On Tue, Apr 30, 2019 at 03:48:02PM -0600, Jeff Law wrote: >> On 4/30/19 11:24 AM, Matthew Malcomson wrote: >>> That was why I ended up suggesting multiple notes -- it's currently >>> trying to satisfy more than on

Re: What is the precise definition of NOTE_INSN_FUNCTION_BEG?

2019-05-01 Thread Matthew Malcomson
On 30/04/19 22:48, Jeff Law wrote: > On 4/30/19 11:24 AM, Matthew Malcomson wrote: >> On 30/04/19 18:01, Jeff Law wrote: >>> On 4/30/19 10:48 AM, Matthew Malcomson wrote: >>>> Hi Jeff, >>>> >>>> On 30/04/19 16:29, Jeff Law wrote: >>>

Re: What is the precise definition of NOTE_INSN_FUNCTION_BEG?

2019-04-30 Thread Matthew Malcomson
On 30/04/19 18:01, Jeff Law wrote: > On 4/30/19 10:48 AM, Matthew Malcomson wrote: >> Hi Jeff, >> >> On 30/04/19 16:29, Jeff Law wrote: >>> On 1/4/19 9:03 AM, Matthew Malcomson wrote: >>>> Hi there, >>>> >>>> I'm trying to

Re: What is the precise definition of NOTE_INSN_FUNCTION_BEG?

2019-04-30 Thread Matthew Malcomson
Hi Jeff, On 30/04/19 16:29, Jeff Law wrote: > On 1/4/19 9:03 AM, Matthew Malcomson wrote: >> Hi there, >> >> I'm trying to figure out precisely what NOTE_INSN_FUNCTION_BEG means and >> hoping someone here knows. > It doesn't mean very much anymore. I beli

Should invalid __RTL testcase "startwith" passes emit a warning?

2019-02-19 Thread Matthew Malcomson
Hi there, I'd like to make handling of the __RTL function testcases where the startwith pass name is either invalid, not used for that optimisation level, or non-existant more understandable. Currently a problem with the pass name leaves around state that causes the compiler to ICE on other fu

Question on scheduling of stack_protect_prologue

2019-01-14 Thread Matthew Malcomson
I've found a testcase where the stack protector code generated through `-fstack-protector-all` doesn't actually protect anything. #+name stack-reorder.c #+begin_src c #include #include int foo (int a, int b, int c) {     char buf[64];     buf[a] = 1;     buf[b] = c;     // Just add somethin

What is the precise definition of NOTE_INSN_FUNCTION_BEG?

2019-01-04 Thread Matthew Malcomson
Hi there, I'm trying to figure out precisely what NOTE_INSN_FUNCTION_BEG means and hoping someone here knows. The gcc internal documentation says it "Appears at the start of the function body, after the function prologue." but this isn't very precise, and it seems to not distinguish between th

Re: Even numbered register pairs restriction on some instructions

2018-09-03 Thread Matthew Malcomson
Thanks for the suggestions, I've had a look into these, and unfortunately it seems they have the same problem I've been hitting before. The use of the TARGET_HARD_REGNO_MODE_OK macro limits all uses of registers in a given mode (so that we wouldn't be able to use register pairs beginning wit

Re: Even numbered register pairs restriction on some instructions

2018-09-03 Thread Matthew Malcomson
I think you can use pdp11 as an example, it does two things that are similar to what you're describing. One is that it requires SImode to go into an even regno, and indicates that it uses two registers. See TARGET_HARD_REGNO_MODE_OK and TARGET_HARD_REGNO_NREGS. The other is that it has one

Re: Even numbered register pairs restriction on some instructions

2018-08-31 Thread Matthew Malcomson
On 31/08/18 18:06, Jeff Law wrote: On 08/31/2018 09:41 AM, Matthew Malcomson wrote: Hi there, I'm looking into whether it's possible to require even numbered registers on modes that need more than one hard-register to represent them. But only in some cases. The problem is the one

Even numbered register pairs restriction on some instructions

2018-08-31 Thread Matthew Malcomson
Hi there, I'm looking into whether it's possible to require even numbered registers on modes that need more than one hard-register to represent them. But only in some cases. The problem is the one mentioned explicitly here https://gcc.gnu.org/onlinedocs/gccint/Register-Classes.html about enforc

Question on compatibility requirements between libatomic and gcc versions

2018-08-22 Thread Matthew Malcomson
Hello, I would like to know what sort of version interoperability is supported between libatomic and gcc. Mainly I'm trying to nail down whether it's supported to use a program compiled with a new version of gcc and linked to an older version of libatomic. I suspect this is supported, but wa