* [PATCH] Asan changes for RISC-V.
@ 2020-10-28 23:58 Jim Wilson
2020-11-04 20:10 ` [PATCH] [PING] " Jim Wilson
` (4 more replies)
0 siblings, 5 replies; 13+ messages in thread
From: Jim Wilson @ 2020-10-28 23:58 UTC (permalink / raw)
To: gcc-patches; +Cc: cooper.joshua, Jim Wilson
We have only riscv64 asan support, there is no riscv32 support as yet. So I
need to be able to conditionally enable asan support for the riscv target. I
implemented this by returning zero from the asan_shadow_offset function. This
requires a change to toplev.c and docs in target.def.
The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
The problem is that the asan high memory region is a small wedge below
0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
down which works. But the old kernel puts shared libraries at 0x2000000000
and going up which does not work, as it isn't in any recognized memory
region. This might be fixable with more asan work, but we don't really need
support for old kernel versions.
The asan port is curious in that it uses 1<<29 for the shadow offset, but all
other 64-bit targets use a number larger than 1<<32. But what we have is
working OK for now.
I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
qemu and the results look reasonable.
=== gcc Summary ===
# of expected passes 1905
# of unexpected failures 11
# of unsupported tests 224
=== g++ Summary ===
# of expected passes 2002
# of unexpected failures 6
# of unresolved testcases 1
# of unsupported tests 175
OK?
Jim
2020-10-28 Jim Wilson <jimw@sifive.com>
gcc/
* config/riscv/riscv.c (riscv_asan_shadow_offset): New.
(TARGET_ASAN_SHADOW_OFFSET): New.
* doc/tm.texi: Regenerated.
* target.def (asan_shadow_offset); Mention that it can return zero.
* toplev.c (process_options): Check for and handle zero return from
targetm.asan_shadow_offset call.
Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
---
gcc/config/riscv/riscv.c | 16 ++++++++++++++++
gcc/doc/tm.texi | 3 ++-
gcc/target.def | 3 ++-
gcc/toplev.c | 3 ++-
4 files changed, 22 insertions(+), 3 deletions(-)
diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
index 989a9f15250..6909e200de1 100644
--- a/gcc/config/riscv/riscv.c
+++ b/gcc/config/riscv/riscv.c
@@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
return true;
}
+/* Implement TARGET_ASAN_SHADOW_OFFSET. */
+
+static unsigned HOST_WIDE_INT
+riscv_asan_shadow_offset (void)
+{
+ /* We only have libsanitizer support for RV64 at present.
+
+ This number must match kRiscv*_ShadowOffset* in the file
+ libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
+ even though 1<<36 makes more sense. */
+ return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
+}
+
/* Initialize the GCC target structure. */
#undef TARGET_ASM_ALIGNED_HI_OP
#define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
@@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
#undef TARGET_NEW_ADDRESS_PROFITABLE_P
#define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
+#undef TARGET_ASAN_SHADOW_OFFSET
+#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
+
struct gcc_target targetm = TARGET_INITIALIZER;
#include "gt-riscv.h"
diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
index 24c37f655c8..39c596b647a 100644
--- a/gcc/doc/tm.texi
+++ b/gcc/doc/tm.texi
@@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
Return the offset bitwise ored into shifted address to get corresponding
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
-supported by the target.
+supported by the target. May return 0 if Address Sanitizer is not supported
+by a subtarget.
@end deftypefn
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
diff --git a/gcc/target.def b/gcc/target.def
index ed2da154e30..268b56b6ebd 100644
--- a/gcc/target.def
+++ b/gcc/target.def
@@ -4452,7 +4452,8 @@ DEFHOOK
(asan_shadow_offset,
"Return the offset bitwise ored into shifted address to get corresponding\n\
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
-supported by the target.",
+supported by the target. May return 0 if Address Sanitizer is not supported\n\
+by a subtarget.",
unsigned HOST_WIDE_INT, (void),
NULL)
diff --git a/gcc/toplev.c b/gcc/toplev.c
index 20e231f4d2a..cf89598252c 100644
--- a/gcc/toplev.c
+++ b/gcc/toplev.c
@@ -1834,7 +1834,8 @@ process_options (void)
}
if ((flag_sanitize & SANITIZE_USER_ADDRESS)
- && targetm.asan_shadow_offset == NULL)
+ && ((targetm.asan_shadow_offset == NULL)
+ || (targetm.asan_shadow_offset () == 0)))
{
warning_at (UNKNOWN_LOCATION, 0,
"%<-fsanitize=address%> not supported for this target");
--
2.17.1
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] [PING] Asan changes for RISC-V.
2020-10-28 23:58 [PATCH] Asan changes for RISC-V Jim Wilson
@ 2020-11-04 20:10 ` Jim Wilson
2020-11-06 8:05 ` Kito Cheng
2020-11-11 19:53 ` [PATCH] [PING^2] " Jim Wilson
2020-11-13 19:12 ` [PATCH] " Jeff Law
` (3 subsequent siblings)
4 siblings, 2 replies; 13+ messages in thread
From: Jim Wilson @ 2020-11-04 20:10 UTC (permalink / raw)
To: GCC Patches; +Cc: Joshua
On Wed, Oct 28, 2020 at 4:59 PM Jim Wilson <jimw@sifive.com> wrote:
> We have only riscv64 asan support, there is no riscv32 support as yet. So
> I
> need to be able to conditionally enable asan support for the riscv
> target. I
> implemented this by returning zero from the asan_shadow_offset function.
> This
> requires a change to toplev.c and docs in target.def.
>
> The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
> The problem is that the asan high memory region is a small wedge below
> 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and
> going
> down which works. But the old kernel puts shared libraries at 0x2000000000
> and going up which does not work, as it isn't in any recognized memory
> region. This might be fixable with more asan work, but we don't really
> need
> support for old kernel versions.
>
> The asan port is curious in that it uses 1<<29 for the shadow offset, but
> all
> other 64-bit targets use a number larger than 1<<32. But what we have is
> working OK for now.
>
> I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running
> on
> qemu and the results look reasonable.
>
> === gcc Summary ===
>
> # of expected passes 1905
> # of unexpected failures 11
> # of unsupported tests 224
>
> === g++ Summary ===
>
> # of expected passes 2002
> # of unexpected failures 6
> # of unresolved testcases 1
> # of unsupported tests 175
>
> OK?
>
> Jim
>
> 2020-10-28 Jim Wilson <jimw@sifive.com>
>
> gcc/
> * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
> (TARGET_ASAN_SHADOW_OFFSET): New.
> * doc/tm.texi: Regenerated.
> * target.def (asan_shadow_offset); Mention that it can return zero.
> * toplev.c (process_options): Check for and handle zero return from
> targetm.asan_shadow_offset call.
>
> Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
> ---
> gcc/config/riscv/riscv.c | 16 ++++++++++++++++
> gcc/doc/tm.texi | 3 ++-
> gcc/target.def | 3 ++-
> gcc/toplev.c | 3 ++-
> 4 files changed, 22 insertions(+), 3 deletions(-)
>
> diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
> index 989a9f15250..6909e200de1 100644
> --- a/gcc/config/riscv/riscv.c
> +++ b/gcc/config/riscv/riscv.c
> @@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
> return true;
> }
>
> +/* Implement TARGET_ASAN_SHADOW_OFFSET. */
> +
> +static unsigned HOST_WIDE_INT
> +riscv_asan_shadow_offset (void)
> +{
> + /* We only have libsanitizer support for RV64 at present.
> +
> + This number must match kRiscv*_ShadowOffset* in the file
> + libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
> + even though 1<<36 makes more sense. */
> + return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
> +}
> +
> /* Initialize the GCC target structure. */
> #undef TARGET_ASM_ALIGNED_HI_OP
> #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
> @@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
> #undef TARGET_NEW_ADDRESS_PROFITABLE_P
> #define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
>
> +#undef TARGET_ASAN_SHADOW_OFFSET
> +#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
> +
> struct gcc_target targetm = TARGET_INITIALIZER;
>
> #include "gt-riscv.h"
> diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
> index 24c37f655c8..39c596b647a 100644
> --- a/gcc/doc/tm.texi
> +++ b/gcc/doc/tm.texi
> @@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT}
> TARGET_ASAN_SHADOW_OFFSET (void)
> Return the offset bitwise ored into shifted address to get corresponding
> Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
> -supported by the target.
> +supported by the target. May return 0 if Address Sanitizer is not
> supported
> +by a subtarget.
> @end deftypefn
>
> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK
> (unsigned HOST_WIDE_INT @var{val})
> diff --git a/gcc/target.def b/gcc/target.def
> index ed2da154e30..268b56b6ebd 100644
> --- a/gcc/target.def
> +++ b/gcc/target.def
> @@ -4452,7 +4452,8 @@ DEFHOOK
> (asan_shadow_offset,
> "Return the offset bitwise ored into shifted address to get
> corresponding\n\
> Address Sanitizer shadow memory address. NULL if Address Sanitizer is
> not\n\
> -supported by the target.",
> +supported by the target. May return 0 if Address Sanitizer is not
> supported\n\
> +by a subtarget.",
> unsigned HOST_WIDE_INT, (void),
> NULL)
>
> diff --git a/gcc/toplev.c b/gcc/toplev.c
> index 20e231f4d2a..cf89598252c 100644
> --- a/gcc/toplev.c
> +++ b/gcc/toplev.c
> @@ -1834,7 +1834,8 @@ process_options (void)
> }
>
> if ((flag_sanitize & SANITIZE_USER_ADDRESS)
> - && targetm.asan_shadow_offset == NULL)
> + && ((targetm.asan_shadow_offset == NULL)
> + || (targetm.asan_shadow_offset () == 0)))
> {
> warning_at (UNKNOWN_LOCATION, 0,
> "%<-fsanitize=address%> not supported for this target");
> --
> 2.17.1
>
>
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] [PING] Asan changes for RISC-V.
2020-11-04 20:10 ` [PATCH] [PING] " Jim Wilson
@ 2020-11-06 8:05 ` Kito Cheng
2020-11-11 19:53 ` [PATCH] [PING^2] " Jim Wilson
1 sibling, 0 replies; 13+ messages in thread
From: Kito Cheng @ 2020-11-06 8:05 UTC (permalink / raw)
To: Jim Wilson; +Cc: GCC Patches, Joshua
LGTM.
Verified with Fedora rawhide image running on qemu, kernel version is 5.5.0,
I got slightly different gcc testsuite result, but after reviewing all
failed cases,
it should not be a blocker for this patch.
It seems environment issue, some minor issues like stack
unwinding or library search path.
e.g
- ld complain cannot find -latomic
- Stack unwinding result not show main in asan report.
=== gcc Summary ===
# of expected passes 2672
# of unexpected failures 25
# of unresolved testcases 14
# of unsupported tests 224
=== g++ Summary ===
# of expected passes 1967
# of unexpected failures 20
# of unresolved testcases 15
# of unsupported tests 175
On Thu, Nov 5, 2020 at 4:11 AM Jim Wilson <jimw@sifive.com> wrote:
>
> On Wed, Oct 28, 2020 at 4:59 PM Jim Wilson <jimw@sifive.com> wrote:
>
> > We have only riscv64 asan support, there is no riscv32 support as yet. So
> > I
> > need to be able to conditionally enable asan support for the riscv
> > target. I
> > implemented this by returning zero from the asan_shadow_offset function.
> > This
> > requires a change to toplev.c and docs in target.def.
> >
> > The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
> > The problem is that the asan high memory region is a small wedge below
> > 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and
> > going
> > down which works. But the old kernel puts shared libraries at 0x2000000000
> > and going up which does not work, as it isn't in any recognized memory
> > region. This might be fixable with more asan work, but we don't really
> > need
> > support for old kernel versions.
> >
> > The asan port is curious in that it uses 1<<29 for the shadow offset, but
> > all
> > other 64-bit targets use a number larger than 1<<32. But what we have is
> > working OK for now.
> >
> > I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running
> > on
> > qemu and the results look reasonable.
> >
> > === gcc Summary ===
> >
> > # of expected passes 1905
> > # of unexpected failures 11
> > # of unsupported tests 224
> >
> > === g++ Summary ===
> >
> > # of expected passes 2002
> > # of unexpected failures 6
> > # of unresolved testcases 1
> > # of unsupported tests 175
> >
> > OK?
> >
> > Jim
> >
> > 2020-10-28 Jim Wilson <jimw@sifive.com>
> >
> > gcc/
> > * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
> > (TARGET_ASAN_SHADOW_OFFSET): New.
> > * doc/tm.texi: Regenerated.
> > * target.def (asan_shadow_offset); Mention that it can return zero.
> > * toplev.c (process_options): Check for and handle zero return from
> > targetm.asan_shadow_offset call.
> >
> > Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
> > ---
> > gcc/config/riscv/riscv.c | 16 ++++++++++++++++
> > gcc/doc/tm.texi | 3 ++-
> > gcc/target.def | 3 ++-
> > gcc/toplev.c | 3 ++-
> > 4 files changed, 22 insertions(+), 3 deletions(-)
> >
> > diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
> > index 989a9f15250..6909e200de1 100644
> > --- a/gcc/config/riscv/riscv.c
> > +++ b/gcc/config/riscv/riscv.c
> > @@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
> > return true;
> > }
> >
> > +/* Implement TARGET_ASAN_SHADOW_OFFSET. */
> > +
> > +static unsigned HOST_WIDE_INT
> > +riscv_asan_shadow_offset (void)
> > +{
> > + /* We only have libsanitizer support for RV64 at present.
> > +
> > + This number must match kRiscv*_ShadowOffset* in the file
> > + libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
> > + even though 1<<36 makes more sense. */
> > + return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
> > +}
> > +
> > /* Initialize the GCC target structure. */
> > #undef TARGET_ASM_ALIGNED_HI_OP
> > #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
> > @@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
> > #undef TARGET_NEW_ADDRESS_PROFITABLE_P
> > #define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
> >
> > +#undef TARGET_ASAN_SHADOW_OFFSET
> > +#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
> > +
> > struct gcc_target targetm = TARGET_INITIALIZER;
> >
> > #include "gt-riscv.h"
> > diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
> > index 24c37f655c8..39c596b647a 100644
> > --- a/gcc/doc/tm.texi
> > +++ b/gcc/doc/tm.texi
> > @@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
> > @deftypefn {Target Hook} {unsigned HOST_WIDE_INT}
> > TARGET_ASAN_SHADOW_OFFSET (void)
> > Return the offset bitwise ored into shifted address to get corresponding
> > Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
> > -supported by the target.
> > +supported by the target. May return 0 if Address Sanitizer is not
> > supported
> > +by a subtarget.
> > @end deftypefn
> >
> > @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK
> > (unsigned HOST_WIDE_INT @var{val})
> > diff --git a/gcc/target.def b/gcc/target.def
> > index ed2da154e30..268b56b6ebd 100644
> > --- a/gcc/target.def
> > +++ b/gcc/target.def
> > @@ -4452,7 +4452,8 @@ DEFHOOK
> > (asan_shadow_offset,
> > "Return the offset bitwise ored into shifted address to get
> > corresponding\n\
> > Address Sanitizer shadow memory address. NULL if Address Sanitizer is
> > not\n\
> > -supported by the target.",
> > +supported by the target. May return 0 if Address Sanitizer is not
> > supported\n\
> > +by a subtarget.",
> > unsigned HOST_WIDE_INT, (void),
> > NULL)
> >
> > diff --git a/gcc/toplev.c b/gcc/toplev.c
> > index 20e231f4d2a..cf89598252c 100644
> > --- a/gcc/toplev.c
> > +++ b/gcc/toplev.c
> > @@ -1834,7 +1834,8 @@ process_options (void)
> > }
> >
> > if ((flag_sanitize & SANITIZE_USER_ADDRESS)
> > - && targetm.asan_shadow_offset == NULL)
> > + && ((targetm.asan_shadow_offset == NULL)
> > + || (targetm.asan_shadow_offset () == 0)))
> > {
> > warning_at (UNKNOWN_LOCATION, 0,
> > "%<-fsanitize=address%> not supported for this target");
> > --
> > 2.17.1
> >
> >
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] [PING^2] Asan changes for RISC-V.
2020-11-04 20:10 ` [PATCH] [PING] " Jim Wilson
2020-11-06 8:05 ` Kito Cheng
@ 2020-11-11 19:53 ` Jim Wilson
1 sibling, 0 replies; 13+ messages in thread
From: Jim Wilson @ 2020-11-11 19:53 UTC (permalink / raw)
To: GCC Patches; +Cc: Joshua
Original message here
https://gcc.gnu.org/pipermail/gcc-patches/2020-October/557406.html
This has non-RISC-V changes, so I need a global reviewer to look at it.
Jim
On Wed, Nov 4, 2020 at 12:10 PM Jim Wilson <jimw@sifive.com> wrote:
>
>
> On Wed, Oct 28, 2020 at 4:59 PM Jim Wilson <jimw@sifive.com> wrote:
>
>> We have only riscv64 asan support, there is no riscv32 support as yet.
>> So I
>> need to be able to conditionally enable asan support for the riscv
>> target. I
>> implemented this by returning zero from the asan_shadow_offset function.
>> This
>> requires a change to toplev.c and docs in target.def.
>>
>> The asan support works on a 5.5 kernel, but does not work on a 4.15
>> kernel.
>> The problem is that the asan high memory region is a small wedge below
>> 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and
>> going
>> down which works. But the old kernel puts shared libraries at
>> 0x2000000000
>> and going up which does not work, as it isn't in any recognized memory
>> region. This might be fixable with more asan work, but we don't really
>> need
>> support for old kernel versions.
>>
>> The asan port is curious in that it uses 1<<29 for the shadow offset, but
>> all
>> other 64-bit targets use a number larger than 1<<32. But what we have is
>> working OK for now.
>>
>> I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image
>> running on
>> qemu and the results look reasonable.
>>
>> === gcc Summary ===
>>
>> # of expected passes 1905
>> # of unexpected failures 11
>> # of unsupported tests 224
>>
>> === g++ Summary ===
>>
>> # of expected passes 2002
>> # of unexpected failures 6
>> # of unresolved testcases 1
>> # of unsupported tests 175
>>
>> OK?
>>
>> Jim
>>
>> 2020-10-28 Jim Wilson <jimw@sifive.com>
>>
>> gcc/
>> * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
>> (TARGET_ASAN_SHADOW_OFFSET): New.
>> * doc/tm.texi: Regenerated.
>> * target.def (asan_shadow_offset); Mention that it can return
>> zero.
>> * toplev.c (process_options): Check for and handle zero return
>> from
>> targetm.asan_shadow_offset call.
>>
>> Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
>> ---
>> gcc/config/riscv/riscv.c | 16 ++++++++++++++++
>> gcc/doc/tm.texi | 3 ++-
>> gcc/target.def | 3 ++-
>> gcc/toplev.c | 3 ++-
>> 4 files changed, 22 insertions(+), 3 deletions(-)
>>
>> diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
>> index 989a9f15250..6909e200de1 100644
>> --- a/gcc/config/riscv/riscv.c
>> +++ b/gcc/config/riscv/riscv.c
>> @@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
>> return true;
>> }
>>
>> +/* Implement TARGET_ASAN_SHADOW_OFFSET. */
>> +
>> +static unsigned HOST_WIDE_INT
>> +riscv_asan_shadow_offset (void)
>> +{
>> + /* We only have libsanitizer support for RV64 at present.
>> +
>> + This number must match kRiscv*_ShadowOffset* in the file
>> + libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
>> + even though 1<<36 makes more sense. */
>> + return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
>> +}
>> +
>> /* Initialize the GCC target structure. */
>> #undef TARGET_ASM_ALIGNED_HI_OP
>> #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
>> @@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
>> #undef TARGET_NEW_ADDRESS_PROFITABLE_P
>> #define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
>>
>> +#undef TARGET_ASAN_SHADOW_OFFSET
>> +#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
>> +
>> struct gcc_target targetm = TARGET_INITIALIZER;
>>
>> #include "gt-riscv.h"
>> diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
>> index 24c37f655c8..39c596b647a 100644
>> --- a/gcc/doc/tm.texi
>> +++ b/gcc/doc/tm.texi
>> @@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
>> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT}
>> TARGET_ASAN_SHADOW_OFFSET (void)
>> Return the offset bitwise ored into shifted address to get corresponding
>> Address Sanitizer shadow memory address. NULL if Address Sanitizer is
>> not
>> -supported by the target.
>> +supported by the target. May return 0 if Address Sanitizer is not
>> supported
>> +by a subtarget.
>> @end deftypefn
>>
>> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK
>> (unsigned HOST_WIDE_INT @var{val})
>> diff --git a/gcc/target.def b/gcc/target.def
>> index ed2da154e30..268b56b6ebd 100644
>> --- a/gcc/target.def
>> +++ b/gcc/target.def
>> @@ -4452,7 +4452,8 @@ DEFHOOK
>> (asan_shadow_offset,
>> "Return the offset bitwise ored into shifted address to get
>> corresponding\n\
>> Address Sanitizer shadow memory address. NULL if Address Sanitizer is
>> not\n\
>> -supported by the target.",
>> +supported by the target. May return 0 if Address Sanitizer is not
>> supported\n\
>> +by a subtarget.",
>> unsigned HOST_WIDE_INT, (void),
>> NULL)
>>
>> diff --git a/gcc/toplev.c b/gcc/toplev.c
>> index 20e231f4d2a..cf89598252c 100644
>> --- a/gcc/toplev.c
>> +++ b/gcc/toplev.c
>> @@ -1834,7 +1834,8 @@ process_options (void)
>> }
>>
>> if ((flag_sanitize & SANITIZE_USER_ADDRESS)
>> - && targetm.asan_shadow_offset == NULL)
>> + && ((targetm.asan_shadow_offset == NULL)
>> + || (targetm.asan_shadow_offset () == 0)))
>> {
>> warning_at (UNKNOWN_LOCATION, 0,
>> "%<-fsanitize=address%> not supported for this target");
>> --
>> 2.17.1
>>
>>
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] Asan changes for RISC-V.
2020-10-28 23:58 [PATCH] Asan changes for RISC-V Jim Wilson
2020-11-04 20:10 ` [PATCH] [PING] " Jim Wilson
@ 2020-11-13 19:12 ` Jeff Law
2020-11-14 3:11 ` Jim Wilson
2022-04-19 12:57 ` 回复:[PATCH] " joshua
` (2 subsequent siblings)
4 siblings, 1 reply; 13+ messages in thread
From: Jeff Law @ 2020-11-13 19:12 UTC (permalink / raw)
To: Jim Wilson, gcc-patches; +Cc: cooper.joshua
On 10/28/20 5:58 PM, Jim Wilson wrote:
> We have only riscv64 asan support, there is no riscv32 support as yet. So I
> need to be able to conditionally enable asan support for the riscv target. I
> implemented this by returning zero from the asan_shadow_offset function. This
> requires a change to toplev.c and docs in target.def.
>
> The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
> The problem is that the asan high memory region is a small wedge below
> 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
> down which works. But the old kernel puts shared libraries at 0x2000000000
> and going up which does not work, as it isn't in any recognized memory
> region. This might be fixable with more asan work, but we don't really need
> support for old kernel versions.
>
> The asan port is curious in that it uses 1<<29 for the shadow offset, but all
> other 64-bit targets use a number larger than 1<<32. But what we have is
> working OK for now.
>
> I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
> qemu and the results look reasonable.
>
> === gcc Summary ===
>
> # of expected passes 1905
> # of unexpected failures 11
> # of unsupported tests 224
>
> === g++ Summary ===
>
> # of expected passes 2002
> # of unexpected failures 6
> # of unresolved testcases 1
> # of unsupported tests 175
>
> OK?
>
> Jim
>
> 2020-10-28 Jim Wilson <jimw@sifive.com>
>
> gcc/
> * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
> (TARGET_ASAN_SHADOW_OFFSET): New.
> * doc/tm.texi: Regenerated.
> * target.def (asan_shadow_offset); Mention that it can return zero.
> * toplev.c (process_options): Check for and handle zero return from
> targetm.asan_shadow_offset call.
I noticed you hadn't committed this change. Just to be explicit, this
is OK for the trunk.
Thanks,
jeff
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] Asan changes for RISC-V.
2020-11-13 19:12 ` [PATCH] " Jeff Law
@ 2020-11-14 3:11 ` Jim Wilson
0 siblings, 0 replies; 13+ messages in thread
From: Jim Wilson @ 2020-11-14 3:11 UTC (permalink / raw)
To: Jeff Law; +Cc: GCC Patches, Joshua
On Fri, Nov 13, 2020 at 11:12 AM Jeff Law <law@redhat.com> wrote:
>
> On 10/28/20 5:58 PM, Jim Wilson wrote:
> > We have only riscv64 asan support, there is no riscv32 support as yet.
> So I
> > need to be able to conditionally enable asan support for the riscv
> target. I
> > implemented this by returning zero from the asan_shadow_offset
> function. This
> > requires a change to toplev.c and docs in target.def.
> >
>
> I noticed you hadn't committed this change. Just to be explicit, this
> is OK for the trunk.
>
Thanks committed. I can self approve the RISC-V parts but not the asan
changes so I wanted a review for that.
Jim
^ permalink raw reply [flat|nested] 13+ messages in thread
* 回复:[PATCH] Asan changes for RISC-V.
2020-10-28 23:58 [PATCH] Asan changes for RISC-V Jim Wilson
2020-11-04 20:10 ` [PATCH] [PING] " Jim Wilson
2020-11-13 19:12 ` [PATCH] " Jeff Law
@ 2022-04-19 12:57 ` joshua
2022-04-20 2:19 ` joshua
2022-04-20 6:13 ` joshua
4 siblings, 0 replies; 13+ messages in thread
From: joshua @ 2022-04-19 12:57 UTC (permalink / raw)
To: gcc-patches, Jim Wilson; +Cc: Jim Wilson
Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
Is it because # libsanitizer not supported rv32, but it will break the rv64 multi-lib build, so we disable that temporally until rv32 supported# in Makefile.in?
------------------------------------------------------------------
发件人:Jim Wilson <jimw@sifive.com>
发送时间:2020年10月29日(星期四) 07:59
收件人:gcc-patches <gcc-patches@gcc.gnu.org>
抄 送:cooper.joshua <cooper.joshua@linux.alibaba.com>; Jim Wilson <jimw@sifive.com>
主 题:[PATCH] Asan changes for RISC-V.
We have only riscv64 asan support, there is no riscv32 support as yet. So I
need to be able to conditionally enable asan support for the riscv target. I
implemented this by returning zero from the asan_shadow_offset function. This
requires a change to toplev.c and docs in target.def.
The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
The problem is that the asan high memory region is a small wedge below
0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
down which works. But the old kernel puts shared libraries at 0x2000000000
and going up which does not work, as it isn't in any recognized memory
region. This might be fixable with more asan work, but we don't really need
support for old kernel versions.
The asan port is curious in that it uses 1<<29 for the shadow offset, but all
other 64-bit targets use a number larger than 1<<32. But what we have is
working OK for now.
I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
qemu and the results look reasonable.
=== gcc Summary ===
# of expected passes 1905
# of unexpected failures 11
# of unsupported tests 224
=== g++ Summary ===
# of expected passes 2002
# of unexpected failures 6
# of unresolved testcases 1
# of unsupported tests 175
OK?
Jim
2020-10-28 Jim Wilson <jimw@sifive.com>
gcc/
* config/riscv/riscv.c (riscv_asan_shadow_offset): New.
(TARGET_ASAN_SHADOW_OFFSET): New.
* doc/tm.texi: Regenerated.
* target.def (asan_shadow_offset); Mention that it can return zero.
* toplev.c (process_options): Check for and handle zero return from
targetm.asan_shadow_offset call.
Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
---
gcc/config/riscv/riscv.c | 16 ++++++++++++++++
gcc/doc/tm.texi | 3 ++-
gcc/target.def | 3 ++-
gcc/toplev.c | 3 ++-
4 files changed, 22 insertions(+), 3 deletions(-)
diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
index 989a9f15250..6909e200de1 100644
--- a/gcc/config/riscv/riscv.c
+++ b/gcc/config/riscv/riscv.c
@@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
return true;
}
+/* Implement TARGET_ASAN_SHADOW_OFFSET. */
+
+static unsigned HOST_WIDE_INT
+riscv_asan_shadow_offset (void)
+{
+ /* We only have libsanitizer support for RV64 at present.
+
+ This number must match kRiscv*_ShadowOffset* in the file
+ libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
+ even though 1<<36 makes more sense. */
+ return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
+}
+
/* Initialize the GCC target structure. */
#undef TARGET_ASM_ALIGNED_HI_OP
#define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
@@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
#undef TARGET_NEW_ADDRESS_PROFITABLE_P
#define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
+#undef TARGET_ASAN_SHADOW_OFFSET
+#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
+
struct gcc_target targetm = TARGET_INITIALIZER;
#include "gt-riscv.h"
diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
index 24c37f655c8..39c596b647a 100644
--- a/gcc/doc/tm.texi
+++ b/gcc/doc/tm.texi
@@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
Return the offset bitwise ored into shifted address to get corresponding
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
-supported by the target.
+supported by the target. May return 0 if Address Sanitizer is not supported
+by a subtarget.
@end deftypefn
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
diff --git a/gcc/target.def b/gcc/target.def
index ed2da154e30..268b56b6ebd 100644
--- a/gcc/target.def
+++ b/gcc/target.def
@@ -4452,7 +4452,8 @@ DEFHOOK
(asan_shadow_offset,
"Return the offset bitwise ored into shifted address to get corresponding\n\
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
-supported by the target.",
+supported by the target. May return 0 if Address Sanitizer is not supported\n\
+by a subtarget.",
unsigned HOST_WIDE_INT, (void),
NULL)
diff --git a/gcc/toplev.c b/gcc/toplev.c
index 20e231f4d2a..cf89598252c 100644
--- a/gcc/toplev.c
+++ b/gcc/toplev.c
@@ -1834,7 +1834,8 @@ process_options (void)
}
if ((flag_sanitize & SANITIZE_USER_ADDRESS)
- && targetm.asan_shadow_offset == NULL)
+ && ((targetm.asan_shadow_offset == NULL)
+ || (targetm.asan_shadow_offset () == 0)))
{
warning_at (UNKNOWN_LOCATION, 0,
"%<-fsanitize=address%> not supported for this target");
--
2.17.1
^ permalink raw reply [flat|nested] 13+ messages in thread
* 回复:[PATCH] Asan changes for RISC-V.
2020-10-28 23:58 [PATCH] Asan changes for RISC-V Jim Wilson
` (2 preceding siblings ...)
2022-04-19 12:57 ` 回复:[PATCH] " joshua
@ 2022-04-20 2:19 ` joshua
2022-04-20 6:13 ` joshua
4 siblings, 0 replies; 13+ messages in thread
From: joshua @ 2022-04-20 2:19 UTC (permalink / raw)
To: Jim Wilson, gcc-patches, Kito Cheng
Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
Is it because # libsanitizer not supported rv32, but it will break the rv64 multi-lib build, so we disable that temporally until rv32 supported# in Makefile.in?
------------------------------------------------------------------
发件人:Jim Wilson <jimw@sifive.com>
发送时间:2020年10月29日(星期四) 07:59
收件人:gcc-patches <gcc-patches@gcc.gnu.org>
抄 送:cooper.joshua <cooper.joshua@linux.alibaba.com>; Jim Wilson <jimw@sifive.com>
主 题:[PATCH] Asan changes for RISC-V.
We have only riscv64 asan support, there is no riscv32 support as yet. So I
need to be able to conditionally enable asan support for the riscv target. I
implemented this by returning zero from the asan_shadow_offset function. This
requires a change to toplev.c and docs in target.def.
The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
The problem is that the asan high memory region is a small wedge below
0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
down which works. But the old kernel puts shared libraries at 0x2000000000
and going up which does not work, as it isn't in any recognized memory
region. This might be fixable with more asan work, but we don't really need
support for old kernel versions.
The asan port is curious in that it uses 1<<29 for the shadow offset, but all
other 64-bit targets use a number larger than 1<<32. But what we have is
working OK for now.
I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
qemu and the results look reasonable.
=== gcc Summary ===
# of expected passes 1905
# of unexpected failures 11
# of unsupported tests 224
=== g++ Summary ===
# of expected passes 2002
# of unexpected failures 6
# of unresolved testcases 1
# of unsupported tests 175
OK?
Jim
2020-10-28 Jim Wilson <jimw@sifive.com>
gcc/
* config/riscv/riscv.c (riscv_asan_shadow_offset): New.
(TARGET_ASAN_SHADOW_OFFSET): New.
* doc/tm.texi: Regenerated.
* target.def (asan_shadow_offset); Mention that it can return zero.
* toplev.c (process_options): Check for and handle zero return from
targetm.asan_shadow_offset call.
Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
---
gcc/config/riscv/riscv.c | 16 ++++++++++++++++
gcc/doc/tm.texi | 3 ++-
gcc/target.def | 3 ++-
gcc/toplev.c | 3 ++-
4 files changed, 22 insertions(+), 3 deletions(-)
diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
index 989a9f15250..6909e200de1 100644
--- a/gcc/config/riscv/riscv.c
+++ b/gcc/config/riscv/riscv.c
@@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
return true;
}
+/* Implement TARGET_ASAN_SHADOW_OFFSET. */
+
+static unsigned HOST_WIDE_INT
+riscv_asan_shadow_offset (void)
+{
+ /* We only have libsanitizer support for RV64 at present.
+
+ This number must match kRiscv*_ShadowOffset* in the file
+ libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
+ even though 1<<36 makes more sense. */
+ return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
+}
+
/* Initialize the GCC target structure. */
#undef TARGET_ASM_ALIGNED_HI_OP
#define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
@@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
#undef TARGET_NEW_ADDRESS_PROFITABLE_P
#define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
+#undef TARGET_ASAN_SHADOW_OFFSET
+#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
+
struct gcc_target targetm = TARGET_INITIALIZER;
#include "gt-riscv.h"
diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
index 24c37f655c8..39c596b647a 100644
--- a/gcc/doc/tm.texi
+++ b/gcc/doc/tm.texi
@@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
Return the offset bitwise ored into shifted address to get corresponding
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
-supported by the target.
+supported by the target. May return 0 if Address Sanitizer is not supported
+by a subtarget.
@end deftypefn
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
diff --git a/gcc/target.def b/gcc/target.def
index ed2da154e30..268b56b6ebd 100644
--- a/gcc/target.def
+++ b/gcc/target.def
@@ -4452,7 +4452,8 @@ DEFHOOK
(asan_shadow_offset,
"Return the offset bitwise ored into shifted address to get corresponding\n\
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
-supported by the target.",
+supported by the target. May return 0 if Address Sanitizer is not supported\n\
+by a subtarget.",
unsigned HOST_WIDE_INT, (void),
NULL)
diff --git a/gcc/toplev.c b/gcc/toplev.c
index 20e231f4d2a..cf89598252c 100644
--- a/gcc/toplev.c
+++ b/gcc/toplev.c
@@ -1834,7 +1834,8 @@ process_options (void)
}
if ((flag_sanitize & SANITIZE_USER_ADDRESS)
- && targetm.asan_shadow_offset == NULL)
+ && ((targetm.asan_shadow_offset == NULL)
+ || (targetm.asan_shadow_offset () == 0)))
{
warning_at (UNKNOWN_LOCATION, 0,
"%<-fsanitize=address%> not supported for this target");
--
2.17.1
^ permalink raw reply [flat|nested] 13+ messages in thread
* 回复:[PATCH] Asan changes for RISC-V.
2020-10-28 23:58 [PATCH] Asan changes for RISC-V Jim Wilson
` (3 preceding siblings ...)
2022-04-20 2:19 ` joshua
@ 2022-04-20 6:13 ` joshua
2022-04-20 23:53 ` Palmer Dabbelt
2022-04-21 1:41 ` [PATCH] " Kito Cheng
4 siblings, 2 replies; 13+ messages in thread
From: joshua @ 2022-04-20 6:13 UTC (permalink / raw)
To: Kito Cheng, gcc-patches
Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
Is it because # libsanitizer not supported rv32, but it will break the rv64 multi-lib build, so we disable that temporally until rv32 supported# in Makefile.in?
------------------------------------------------------------------
发件人:Jim Wilson <jimw@sifive.com>
发送时间:2020年10月29日(星期四) 07:59
收件人:gcc-patches <gcc-patches@gcc.gnu.org>
抄 送:cooper.joshua <cooper.joshua@linux.alibaba.com>; Jim Wilson <jimw@sifive.com>
主 题:[PATCH] Asan changes for RISC-V.
We have only riscv64 asan support, there is no riscv32 support as yet. So I
need to be able to conditionally enable asan support for the riscv target. I
implemented this by returning zero from the asan_shadow_offset function. This
requires a change to toplev.c and docs in target.def.
The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
The problem is that the asan high memory region is a small wedge below
0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
down which works. But the old kernel puts shared libraries at 0x2000000000
and going up which does not work, as it isn't in any recognized memory
region. This might be fixable with more asan work, but we don't really need
support for old kernel versions.
The asan port is curious in that it uses 1<<29 for the shadow offset, but all
other 64-bit targets use a number larger than 1<<32. But what we have is
working OK for now.
I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
qemu and the results look reasonable.
=== gcc Summary ===
# of expected passes 1905
# of unexpected failures 11
# of unsupported tests 224
=== g++ Summary ===
# of expected passes 2002
# of unexpected failures 6
# of unresolved testcases 1
# of unsupported tests 175
OK?
Jim
2020-10-28 Jim Wilson <jimw@sifive.com>
gcc/
* config/riscv/riscv.c (riscv_asan_shadow_offset): New.
(TARGET_ASAN_SHADOW_OFFSET): New.
* doc/tm.texi: Regenerated.
* target.def (asan_shadow_offset); Mention that it can return zero.
* toplev.c (process_options): Check for and handle zero return from
targetm.asan_shadow_offset call.
Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
---
gcc/config/riscv/riscv.c | 16 ++++++++++++++++
gcc/doc/tm.texi | 3 ++-
gcc/target.def | 3 ++-
gcc/toplev.c | 3 ++-
4 files changed, 22 insertions(+), 3 deletions(-)
diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
index 989a9f15250..6909e200de1 100644
--- a/gcc/config/riscv/riscv.c
+++ b/gcc/config/riscv/riscv.c
@@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
return true;
}
+/* Implement TARGET_ASAN_SHADOW_OFFSET. */
+
+static unsigned HOST_WIDE_INT
+riscv_asan_shadow_offset (void)
+{
+ /* We only have libsanitizer support for RV64 at present.
+
+ This number must match kRiscv*_ShadowOffset* in the file
+ libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
+ even though 1<<36 makes more sense. */
+ return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
+}
+
/* Initialize the GCC target structure. */
#undef TARGET_ASM_ALIGNED_HI_OP
#define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
@@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
#undef TARGET_NEW_ADDRESS_PROFITABLE_P
#define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
+#undef TARGET_ASAN_SHADOW_OFFSET
+#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
+
struct gcc_target targetm = TARGET_INITIALIZER;
#include "gt-riscv.h"
diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
index 24c37f655c8..39c596b647a 100644
--- a/gcc/doc/tm.texi
+++ b/gcc/doc/tm.texi
@@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
Return the offset bitwise ored into shifted address to get corresponding
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
-supported by the target.
+supported by the target. May return 0 if Address Sanitizer is not supported
+by a subtarget.
@end deftypefn
@deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
diff --git a/gcc/target.def b/gcc/target.def
index ed2da154e30..268b56b6ebd 100644
--- a/gcc/target.def
+++ b/gcc/target.def
@@ -4452,7 +4452,8 @@ DEFHOOK
(asan_shadow_offset,
"Return the offset bitwise ored into shifted address to get corresponding\n\
Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
-supported by the target.",
+supported by the target. May return 0 if Address Sanitizer is not supported\n\
+by a subtarget.",
unsigned HOST_WIDE_INT, (void),
NULL)
diff --git a/gcc/toplev.c b/gcc/toplev.c
index 20e231f4d2a..cf89598252c 100644
--- a/gcc/toplev.c
+++ b/gcc/toplev.c
@@ -1834,7 +1834,8 @@ process_options (void)
}
if ((flag_sanitize & SANITIZE_USER_ADDRESS)
- && targetm.asan_shadow_offset == NULL)
+ && ((targetm.asan_shadow_offset == NULL)
+ || (targetm.asan_shadow_offset () == 0)))
{
warning_at (UNKNOWN_LOCATION, 0,
"%<-fsanitize=address%> not supported for this target");
--
2.17.1
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: 回复:[PATCH] Asan changes for RISC-V.
2022-04-20 6:13 ` joshua
@ 2022-04-20 23:53 ` Palmer Dabbelt
2022-04-21 1:38 ` Kito Cheng
2022-04-21 1:41 ` [PATCH] " Kito Cheng
1 sibling, 1 reply; 13+ messages in thread
From: Palmer Dabbelt @ 2022-04-20 23:53 UTC (permalink / raw)
To: gcc-patches; +Cc: Kito Cheng, gcc-patches
On Tue, 19 Apr 2022 23:13:15 PDT (-0700), gcc-patches@gcc.gnu.org wrote:
> Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
> Is it because # libsanitizer not supported rv32, but it will break the rv64 multi-lib build, so we disable that temporally until rv32 supported# in Makefile.in?
Not quite sure what's going on here, I keep getting copies of this
message that look empty in gmail.
I was under the impression that asan worked on rv64, but remember there
being some worrisome constants floating around (as Jim alludes to in the
forwarded patch). As far as I can tell there's no libsanitizer support
for rv32 (upstream is at LLVM), probably because we didn't have a stable
uABI back then. It's not super hard to do a libsanitizer port, but I
don't see any other 32-bit targets with asan so either I'm missing
something or it's tricky (and we don't have much free VA space, so not
sure if it'd even run anything useful).
> ------------------------------------------------------------------
> 发件人:Jim Wilson <jimw@sifive.com>
> 发送时间:2020年10月29日(星期四) 07:59
> 收件人:gcc-patches <gcc-patches@gcc.gnu.org>
> 抄 送:cooper.joshua <cooper.joshua@linux.alibaba.com>; Jim Wilson <jimw@sifive.com>
> 主 题:[PATCH] Asan changes for RISC-V.
>
> We have only riscv64 asan support, there is no riscv32 support as yet. So I
> need to be able to conditionally enable asan support for the riscv target. I
> implemented this by returning zero from the asan_shadow_offset function. This
> requires a change to toplev.c and docs in target.def.
>
> The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
> The problem is that the asan high memory region is a small wedge below
> 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
> down which works. But the old kernel puts shared libraries at 0x2000000000
> and going up which does not work, as it isn't in any recognized memory
> region. This might be fixable with more asan work, but we don't really need
> support for old kernel versions.
>
> The asan port is curious in that it uses 1<<29 for the shadow offset, but all
> other 64-bit targets use a number larger than 1<<32. But what we have is
> working OK for now.
>
> I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
> qemu and the results look reasonable.
>
> === gcc Summary ===
>
> # of expected passes 1905
> # of unexpected failures 11
> # of unsupported tests 224
>
> === g++ Summary ===
>
> # of expected passes 2002
> # of unexpected failures 6
> # of unresolved testcases 1
> # of unsupported tests 175
>
> OK?
>
> Jim
>
> 2020-10-28 Jim Wilson <jimw@sifive.com>
>
> gcc/
> * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
> (TARGET_ASAN_SHADOW_OFFSET): New.
> * doc/tm.texi: Regenerated.
> * target.def (asan_shadow_offset); Mention that it can return zero.
> * toplev.c (process_options): Check for and handle zero return from
> targetm.asan_shadow_offset call.
>
> Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
> ---
> gcc/config/riscv/riscv.c | 16 ++++++++++++++++
> gcc/doc/tm.texi | 3 ++-
> gcc/target.def | 3 ++-
> gcc/toplev.c | 3 ++-
> 4 files changed, 22 insertions(+), 3 deletions(-)
>
> diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
> index 989a9f15250..6909e200de1 100644
> --- a/gcc/config/riscv/riscv.c
> +++ b/gcc/config/riscv/riscv.c
> @@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
> return true;
> }
>
> +/* Implement TARGET_ASAN_SHADOW_OFFSET. */
> +
> +static unsigned HOST_WIDE_INT
> +riscv_asan_shadow_offset (void)
> +{
> + /* We only have libsanitizer support for RV64 at present.
> +
> + This number must match kRiscv*_ShadowOffset* in the file
> + libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
> + even though 1<<36 makes more sense. */
> + return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
> +}
> +
> /* Initialize the GCC target structure. */
> #undef TARGET_ASM_ALIGNED_HI_OP
> #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
> @@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
> #undef TARGET_NEW_ADDRESS_PROFITABLE_P
> #define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
>
> +#undef TARGET_ASAN_SHADOW_OFFSET
> +#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
> +
> struct gcc_target targetm = TARGET_INITIALIZER;
>
> #include "gt-riscv.h"
> diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
> index 24c37f655c8..39c596b647a 100644
> --- a/gcc/doc/tm.texi
> +++ b/gcc/doc/tm.texi
> @@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
> Return the offset bitwise ored into shifted address to get corresponding
> Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
> -supported by the target.
> +supported by the target. May return 0 if Address Sanitizer is not supported
> +by a subtarget.
> @end deftypefn
>
> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
> diff --git a/gcc/target.def b/gcc/target.def
> index ed2da154e30..268b56b6ebd 100644
> --- a/gcc/target.def
> +++ b/gcc/target.def
> @@ -4452,7 +4452,8 @@ DEFHOOK
> (asan_shadow_offset,
> "Return the offset bitwise ored into shifted address to get corresponding\n\
> Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
> -supported by the target.",
> +supported by the target. May return 0 if Address Sanitizer is not supported\n\
> +by a subtarget.",
> unsigned HOST_WIDE_INT, (void),
> NULL)
>
> diff --git a/gcc/toplev.c b/gcc/toplev.c
> index 20e231f4d2a..cf89598252c 100644
> --- a/gcc/toplev.c
> +++ b/gcc/toplev.c
> @@ -1834,7 +1834,8 @@ process_options (void)
> }
>
> if ((flag_sanitize & SANITIZE_USER_ADDRESS)
> - && targetm.asan_shadow_offset == NULL)
> + && ((targetm.asan_shadow_offset == NULL)
> + || (targetm.asan_shadow_offset () == 0)))
> {
> warning_at (UNKNOWN_LOCATION, 0,
> "%<-fsanitize=address%> not supported for this target");
> --
> 2.17.1
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: 回复:[PATCH] Asan changes for RISC-V.
2022-04-20 23:53 ` Palmer Dabbelt
@ 2022-04-21 1:38 ` Kito Cheng
0 siblings, 0 replies; 13+ messages in thread
From: Kito Cheng @ 2022-04-21 1:38 UTC (permalink / raw)
To: Palmer Dabbelt; +Cc: GCC Patches
Arm 32, x86 (32) and mips has support for Asan[1], so we can
`reference` how they implement that,
but I guess the problem is we need someone to do that.
[1] https://github.com/llvm/llvm-project/blob/main/compiler-rt/cmake/Modules/AllSupportedArchDefs.cmake#L28
On Thu, Apr 21, 2022 at 7:54 AM Palmer Dabbelt <palmer@dabbelt.com> wrote:
>
> On Tue, 19 Apr 2022 23:13:15 PDT (-0700), gcc-patches@gcc.gnu.org wrote:
> > Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
> > Is it because # libsanitizer not supported rv32, but it will break the rv64 multi-lib build, so we disable that temporally until rv32 supported# in Makefile.in?
>
> Not quite sure what's going on here, I keep getting copies of this
> message that look empty in gmail.
>
> I was under the impression that asan worked on rv64, but remember there
> being some worrisome constants floating around (as Jim alludes to in the
> forwarded patch). As far as I can tell there's no libsanitizer support
> for rv32 (upstream is at LLVM), probably because we didn't have a stable
> uABI back then. It's not super hard to do a libsanitizer port, but I
> don't see any other 32-bit targets with asan so either I'm missing
> something or it's tricky (and we don't have much free VA space, so not
> sure if it'd even run anything useful).
>
> > ------------------------------------------------------------------
> > 发件人:Jim Wilson <jimw@sifive.com>
> > 发送时间:2020年10月29日(星期四) 07:59
> > 收件人:gcc-patches <gcc-patches@gcc.gnu.org>
> > 抄 送:cooper.joshua <cooper.joshua@linux.alibaba.com>; Jim Wilson <jimw@sifive.com>
> > 主 题:[PATCH] Asan changes for RISC-V.
> >
> > We have only riscv64 asan support, there is no riscv32 support as yet. So I
> > need to be able to conditionally enable asan support for the riscv target. I
> > implemented this by returning zero from the asan_shadow_offset function. This
> > requires a change to toplev.c and docs in target.def.
> >
> > The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
> > The problem is that the asan high memory region is a small wedge below
> > 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
> > down which works. But the old kernel puts shared libraries at 0x2000000000
> > and going up which does not work, as it isn't in any recognized memory
> > region. This might be fixable with more asan work, but we don't really need
> > support for old kernel versions.
> >
> > The asan port is curious in that it uses 1<<29 for the shadow offset, but all
> > other 64-bit targets use a number larger than 1<<32. But what we have is
> > working OK for now.
> >
> > I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
> > qemu and the results look reasonable.
> >
> > === gcc Summary ===
> >
> > # of expected passes 1905
> > # of unexpected failures 11
> > # of unsupported tests 224
> >
> > === g++ Summary ===
> >
> > # of expected passes 2002
> > # of unexpected failures 6
> > # of unresolved testcases 1
> > # of unsupported tests 175
> >
> > OK?
> >
> > Jim
> >
> > 2020-10-28 Jim Wilson <jimw@sifive.com>
> >
> > gcc/
> > * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
> > (TARGET_ASAN_SHADOW_OFFSET): New.
> > * doc/tm.texi: Regenerated.
> > * target.def (asan_shadow_offset); Mention that it can return zero.
> > * toplev.c (process_options): Check for and handle zero return from
> > targetm.asan_shadow_offset call.
> >
> > Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
> > ---
> > gcc/config/riscv/riscv.c | 16 ++++++++++++++++
> > gcc/doc/tm.texi | 3 ++-
> > gcc/target.def | 3 ++-
> > gcc/toplev.c | 3 ++-
> > 4 files changed, 22 insertions(+), 3 deletions(-)
> >
> > diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
> > index 989a9f15250..6909e200de1 100644
> > --- a/gcc/config/riscv/riscv.c
> > +++ b/gcc/config/riscv/riscv.c
> > @@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
> > return true;
> > }
> >
> > +/* Implement TARGET_ASAN_SHADOW_OFFSET. */
> > +
> > +static unsigned HOST_WIDE_INT
> > +riscv_asan_shadow_offset (void)
> > +{
> > + /* We only have libsanitizer support for RV64 at present.
> > +
> > + This number must match kRiscv*_ShadowOffset* in the file
> > + libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
> > + even though 1<<36 makes more sense. */
> > + return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
> > +}
> > +
> > /* Initialize the GCC target structure. */
> > #undef TARGET_ASM_ALIGNED_HI_OP
> > #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
> > @@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
> > #undef TARGET_NEW_ADDRESS_PROFITABLE_P
> > #define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
> >
> > +#undef TARGET_ASAN_SHADOW_OFFSET
> > +#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
> > +
> > struct gcc_target targetm = TARGET_INITIALIZER;
> >
> > #include "gt-riscv.h"
> > diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
> > index 24c37f655c8..39c596b647a 100644
> > --- a/gcc/doc/tm.texi
> > +++ b/gcc/doc/tm.texi
> > @@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
> > @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
> > Return the offset bitwise ored into shifted address to get corresponding
> > Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
> > -supported by the target.
> > +supported by the target. May return 0 if Address Sanitizer is not supported
> > +by a subtarget.
> > @end deftypefn
> >
> > @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
> > diff --git a/gcc/target.def b/gcc/target.def
> > index ed2da154e30..268b56b6ebd 100644
> > --- a/gcc/target.def
> > +++ b/gcc/target.def
> > @@ -4452,7 +4452,8 @@ DEFHOOK
> > (asan_shadow_offset,
> > "Return the offset bitwise ored into shifted address to get corresponding\n\
> > Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
> > -supported by the target.",
> > +supported by the target. May return 0 if Address Sanitizer is not supported\n\
> > +by a subtarget.",
> > unsigned HOST_WIDE_INT, (void),
> > NULL)
> >
> > diff --git a/gcc/toplev.c b/gcc/toplev.c
> > index 20e231f4d2a..cf89598252c 100644
> > --- a/gcc/toplev.c
> > +++ b/gcc/toplev.c
> > @@ -1834,7 +1834,8 @@ process_options (void)
> > }
> >
> > if ((flag_sanitize & SANITIZE_USER_ADDRESS)
> > - && targetm.asan_shadow_offset == NULL)
> > + && ((targetm.asan_shadow_offset == NULL)
> > + || (targetm.asan_shadow_offset () == 0)))
> > {
> > warning_at (UNKNOWN_LOCATION, 0,
> > "%<-fsanitize=address%> not supported for this target");
> > --
> > 2.17.1
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] Asan changes for RISC-V.
2022-04-20 6:13 ` joshua
2022-04-20 23:53 ` Palmer Dabbelt
@ 2022-04-21 1:41 ` Kito Cheng
2022-04-21 15:49 ` Palmer Dabbelt
1 sibling, 1 reply; 13+ messages in thread
From: Kito Cheng @ 2022-04-21 1:41 UTC (permalink / raw)
To: joshua; +Cc: gcc-patches
Hi Joshua:
> Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
Is it because # libsanitizer not supported rv32, but it will break the
rv64 multi-lib build, so we disable that temporally until rv32
supported# in Makefile.in?
IIUC, you mean the Makefile in riscv-gnu-toolchain instead of upstream
GCC, right? I guess we can make a configure option to enable that and
check it does not come with multi-lib, or maybe you could fix that on
GCC's configure script to make the multi-lib build be ignored for
rv32?
On Wed, Apr 20, 2022 at 2:13 PM joshua via Gcc-patches
<gcc-patches@gcc.gnu.org> wrote:
>
> Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
> Is it because # libsanitizer not supported rv32, but it will break the rv64 multi-lib build, so we disable that temporally until rv32 supported# in Makefile.in?
>
>
> ------------------------------------------------------------------
> 发件人:Jim Wilson <jimw@sifive.com>
> 发送时间:2020年10月29日(星期四) 07:59
> 收件人:gcc-patches <gcc-patches@gcc.gnu.org>
> 抄 送:cooper.joshua <cooper.joshua@linux.alibaba.com>; Jim Wilson <jimw@sifive.com>
> 主 题:[PATCH] Asan changes for RISC-V.
>
> We have only riscv64 asan support, there is no riscv32 support as yet. So I
> need to be able to conditionally enable asan support for the riscv target. I
> implemented this by returning zero from the asan_shadow_offset function. This
> requires a change to toplev.c and docs in target.def.
>
> The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
> The problem is that the asan high memory region is a small wedge below
> 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
> down which works. But the old kernel puts shared libraries at 0x2000000000
> and going up which does not work, as it isn't in any recognized memory
> region. This might be fixable with more asan work, but we don't really need
> support for old kernel versions.
>
> The asan port is curious in that it uses 1<<29 for the shadow offset, but all
> other 64-bit targets use a number larger than 1<<32. But what we have is
> working OK for now.
>
> I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
> qemu and the results look reasonable.
>
> === gcc Summary ===
>
> # of expected passes 1905
> # of unexpected failures 11
> # of unsupported tests 224
>
> === g++ Summary ===
>
> # of expected passes 2002
> # of unexpected failures 6
> # of unresolved testcases 1
> # of unsupported tests 175
>
> OK?
>
> Jim
>
> 2020-10-28 Jim Wilson <jimw@sifive.com>
>
> gcc/
> * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
> (TARGET_ASAN_SHADOW_OFFSET): New.
> * doc/tm.texi: Regenerated.
> * target.def (asan_shadow_offset); Mention that it can return zero.
> * toplev.c (process_options): Check for and handle zero return from
> targetm.asan_shadow_offset call.
>
> Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
> ---
> gcc/config/riscv/riscv.c | 16 ++++++++++++++++
> gcc/doc/tm.texi | 3 ++-
> gcc/target.def | 3 ++-
> gcc/toplev.c | 3 ++-
> 4 files changed, 22 insertions(+), 3 deletions(-)
>
> diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
> index 989a9f15250..6909e200de1 100644
> --- a/gcc/config/riscv/riscv.c
> +++ b/gcc/config/riscv/riscv.c
> @@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
> return true;
> }
>
> +/* Implement TARGET_ASAN_SHADOW_OFFSET. */
> +
> +static unsigned HOST_WIDE_INT
> +riscv_asan_shadow_offset (void)
> +{
> + /* We only have libsanitizer support for RV64 at present.
> +
> + This number must match kRiscv*_ShadowOffset* in the file
> + libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
> + even though 1<<36 makes more sense. */
> + return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
> +}
> +
> /* Initialize the GCC target structure. */
> #undef TARGET_ASM_ALIGNED_HI_OP
> #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
> @@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
> #undef TARGET_NEW_ADDRESS_PROFITABLE_P
> #define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
>
> +#undef TARGET_ASAN_SHADOW_OFFSET
> +#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
> +
> struct gcc_target targetm = TARGET_INITIALIZER;
>
> #include "gt-riscv.h"
> diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
> index 24c37f655c8..39c596b647a 100644
> --- a/gcc/doc/tm.texi
> +++ b/gcc/doc/tm.texi
> @@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
> Return the offset bitwise ored into shifted address to get corresponding
> Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
> -supported by the target.
> +supported by the target. May return 0 if Address Sanitizer is not supported
> +by a subtarget.
> @end deftypefn
>
> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
> diff --git a/gcc/target.def b/gcc/target.def
> index ed2da154e30..268b56b6ebd 100644
> --- a/gcc/target.def
> +++ b/gcc/target.def
> @@ -4452,7 +4452,8 @@ DEFHOOK
> (asan_shadow_offset,
> "Return the offset bitwise ored into shifted address to get corresponding\n\
> Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
> -supported by the target.",
> +supported by the target. May return 0 if Address Sanitizer is not supported\n\
> +by a subtarget.",
> unsigned HOST_WIDE_INT, (void),
> NULL)
>
> diff --git a/gcc/toplev.c b/gcc/toplev.c
> index 20e231f4d2a..cf89598252c 100644
> --- a/gcc/toplev.c
> +++ b/gcc/toplev.c
> @@ -1834,7 +1834,8 @@ process_options (void)
> }
>
> if ((flag_sanitize & SANITIZE_USER_ADDRESS)
> - && targetm.asan_shadow_offset == NULL)
> + && ((targetm.asan_shadow_offset == NULL)
> + || (targetm.asan_shadow_offset () == 0)))
> {
> warning_at (UNKNOWN_LOCATION, 0,
> "%<-fsanitize=address%> not supported for this target");
> --
> 2.17.1
>
^ permalink raw reply [flat|nested] 13+ messages in thread
* Re: [PATCH] Asan changes for RISC-V.
2022-04-21 1:41 ` [PATCH] " Kito Cheng
@ 2022-04-21 15:49 ` Palmer Dabbelt
0 siblings, 0 replies; 13+ messages in thread
From: Palmer Dabbelt @ 2022-04-21 15:49 UTC (permalink / raw)
To: gcc-patches; +Cc: cooper.joshua, gcc-patches
On Wed, 20 Apr 2022 18:41:08 PDT (-0700), gcc-patches@gcc.gnu.org wrote:
> Hi Joshua:
[from the other thread: Thanks, no idea how I missed all those 32-bit
ports...]
>
>> Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
> Is it because # libsanitizer not supported rv32, but it will break the
> rv64 multi-lib build, so we disable that temporally until rv32
> supported# in Makefile.in?
>
> IIUC, you mean the Makefile in riscv-gnu-toolchain instead of upstream
> GCC, right? I guess we can make a configure option to enable that and
> check it does not come with multi-lib, or maybe you could fix that on
> GCC's configure script to make the multi-lib build be ignored for
> rv32?
A super simple option is to just let folks select this an configure time
in riscv-gnu-toolchain, there's already a bunch of options like that and
there's probably more logic to the "do we want libsanitizer" than we
want to bake into the riscv-gnu-toolchain -- doubly so as it's really a
developer thing these days.
I just opened a PR to pass through the top-level configure argument
<https://github.com/riscv-collab/riscv-gnu-toolchain/pull/1062>.
>
>
> On Wed, Apr 20, 2022 at 2:13 PM joshua via Gcc-patches
> <gcc-patches@gcc.gnu.org> wrote:
>>
>> Does Asan work for RISC-V currently? It seems that '-fsanitize=address' is still unsupported for RISC-V. If I add '--enable-libsanitizer' in Makefile.in to reconfigure, there are compiling errors.
>> Is it because # libsanitizer not supported rv32, but it will break the rv64 multi-lib build, so we disable that temporally until rv32 supported# in Makefile.in?
>>
>>
>> ------------------------------------------------------------------
>> 发件人:Jim Wilson <jimw@sifive.com>
>> 发送时间:2020年10月29日(星期四) 07:59
>> 收件人:gcc-patches <gcc-patches@gcc.gnu.org>
>> 抄 送:cooper.joshua <cooper.joshua@linux.alibaba.com>; Jim Wilson <jimw@sifive.com>
>> 主 题:[PATCH] Asan changes for RISC-V.
>>
>> We have only riscv64 asan support, there is no riscv32 support as yet. So I
>> need to be able to conditionally enable asan support for the riscv target. I
>> implemented this by returning zero from the asan_shadow_offset function. This
>> requires a change to toplev.c and docs in target.def.
>>
>> The asan support works on a 5.5 kernel, but does not work on a 4.15 kernel.
>> The problem is that the asan high memory region is a small wedge below
>> 0x4000000000. The new kernel puts shared libraries at 0x3fffffffff and going
>> down which works. But the old kernel puts shared libraries at 0x2000000000
>> and going up which does not work, as it isn't in any recognized memory
>> region. This might be fixable with more asan work, but we don't really need
>> support for old kernel versions.
>>
>> The asan port is curious in that it uses 1<<29 for the shadow offset, but all
>> other 64-bit targets use a number larger than 1<<32. But what we have is
>> working OK for now.
>>
>> I did a make check RUNTESTFLAGS="asan.exp" on Fedora rawhide image running on
>> qemu and the results look reasonable.
>>
>> === gcc Summary ===
>>
>> # of expected passes 1905
>> # of unexpected failures 11
>> # of unsupported tests 224
>>
>> === g++ Summary ===
>>
>> # of expected passes 2002
>> # of unexpected failures 6
>> # of unresolved testcases 1
>> # of unsupported tests 175
>>
>> OK?
>>
>> Jim
>>
>> 2020-10-28 Jim Wilson <jimw@sifive.com>
>>
>> gcc/
>> * config/riscv/riscv.c (riscv_asan_shadow_offset): New.
>> (TARGET_ASAN_SHADOW_OFFSET): New.
>> * doc/tm.texi: Regenerated.
>> * target.def (asan_shadow_offset); Mention that it can return zero.
>> * toplev.c (process_options): Check for and handle zero return from
>> targetm.asan_shadow_offset call.
>>
>> Co-Authored-By: cooper.joshua <cooper.joshua@linux.alibaba.com>
>> ---
>> gcc/config/riscv/riscv.c | 16 ++++++++++++++++
>> gcc/doc/tm.texi | 3 ++-
>> gcc/target.def | 3 ++-
>> gcc/toplev.c | 3 ++-
>> 4 files changed, 22 insertions(+), 3 deletions(-)
>>
>> diff --git a/gcc/config/riscv/riscv.c b/gcc/config/riscv/riscv.c
>> index 989a9f15250..6909e200de1 100644
>> --- a/gcc/config/riscv/riscv.c
>> +++ b/gcc/config/riscv/riscv.c
>> @@ -5299,6 +5299,19 @@ riscv_gpr_save_operation_p (rtx op)
>> return true;
>> }
>>
>> +/* Implement TARGET_ASAN_SHADOW_OFFSET. */
>> +
>> +static unsigned HOST_WIDE_INT
>> +riscv_asan_shadow_offset (void)
>> +{
>> + /* We only have libsanitizer support for RV64 at present.
>> +
>> + This number must match kRiscv*_ShadowOffset* in the file
>> + libsanitizer/asan/asan_mapping.h which is currently 1<<29 for rv64,
>> + even though 1<<36 makes more sense. */
>> + return TARGET_64BIT ? (HOST_WIDE_INT_1 << 29) : 0;
>> +}
>> +
>> /* Initialize the GCC target structure. */
>> #undef TARGET_ASM_ALIGNED_HI_OP
>> #define TARGET_ASM_ALIGNED_HI_OP "\t.half\t"
>> @@ -5482,6 +5495,9 @@ riscv_gpr_save_operation_p (rtx op)
>> #undef TARGET_NEW_ADDRESS_PROFITABLE_P
>> #define TARGET_NEW_ADDRESS_PROFITABLE_P riscv_new_address_profitable_p
>>
>> +#undef TARGET_ASAN_SHADOW_OFFSET
>> +#define TARGET_ASAN_SHADOW_OFFSET riscv_asan_shadow_offset
>> +
>> struct gcc_target targetm = TARGET_INITIALIZER;
>>
>> #include "gt-riscv.h"
>> diff --git a/gcc/doc/tm.texi b/gcc/doc/tm.texi
>> index 24c37f655c8..39c596b647a 100644
>> --- a/gcc/doc/tm.texi
>> +++ b/gcc/doc/tm.texi
>> @@ -12078,7 +12078,8 @@ is zero, which disables this optimization.
>> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_ASAN_SHADOW_OFFSET (void)
>> Return the offset bitwise ored into shifted address to get corresponding
>> Address Sanitizer shadow memory address. NULL if Address Sanitizer is not
>> -supported by the target.
>> +supported by the target. May return 0 if Address Sanitizer is not supported
>> +by a subtarget.
>> @end deftypefn
>>
>> @deftypefn {Target Hook} {unsigned HOST_WIDE_INT} TARGET_MEMMODEL_CHECK (unsigned HOST_WIDE_INT @var{val})
>> diff --git a/gcc/target.def b/gcc/target.def
>> index ed2da154e30..268b56b6ebd 100644
>> --- a/gcc/target.def
>> +++ b/gcc/target.def
>> @@ -4452,7 +4452,8 @@ DEFHOOK
>> (asan_shadow_offset,
>> "Return the offset bitwise ored into shifted address to get corresponding\n\
>> Address Sanitizer shadow memory address. NULL if Address Sanitizer is not\n\
>> -supported by the target.",
>> +supported by the target. May return 0 if Address Sanitizer is not supported\n\
>> +by a subtarget.",
>> unsigned HOST_WIDE_INT, (void),
>> NULL)
>>
>> diff --git a/gcc/toplev.c b/gcc/toplev.c
>> index 20e231f4d2a..cf89598252c 100644
>> --- a/gcc/toplev.c
>> +++ b/gcc/toplev.c
>> @@ -1834,7 +1834,8 @@ process_options (void)
>> }
>>
>> if ((flag_sanitize & SANITIZE_USER_ADDRESS)
>> - && targetm.asan_shadow_offset == NULL)
>> + && ((targetm.asan_shadow_offset == NULL)
>> + || (targetm.asan_shadow_offset () == 0)))
>> {
>> warning_at (UNKNOWN_LOCATION, 0,
>> "%<-fsanitize=address%> not supported for this target");
>> --
>> 2.17.1
>>
^ permalink raw reply [flat|nested] 13+ messages in thread
end of thread, other threads:[~2022-04-21 15:49 UTC | newest]
Thread overview: 13+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-10-28 23:58 [PATCH] Asan changes for RISC-V Jim Wilson
2020-11-04 20:10 ` [PATCH] [PING] " Jim Wilson
2020-11-06 8:05 ` Kito Cheng
2020-11-11 19:53 ` [PATCH] [PING^2] " Jim Wilson
2020-11-13 19:12 ` [PATCH] " Jeff Law
2020-11-14 3:11 ` Jim Wilson
2022-04-19 12:57 ` 回复:[PATCH] " joshua
2022-04-20 2:19 ` joshua
2022-04-20 6:13 ` joshua
2022-04-20 23:53 ` Palmer Dabbelt
2022-04-21 1:38 ` Kito Cheng
2022-04-21 1:41 ` [PATCH] " Kito Cheng
2022-04-21 15:49 ` Palmer Dabbelt
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 read-only IMAP folder(s) and NNTP newsgroup(s).