GSoC 2019: POSIX Compliance - FENV Environment probably not working properly in RISCV

Hesham Almatary heshamelmatary at gmail.com
Wed Aug 14 12:51:34 UTC 2019


On Sun, 11 Aug 2019 at 16:49, Vaibhav Gupta <vaibhavgupta40 at gmail.com> wrote:
>
> Configure command I used to build BSP:
> ==============================================
> $ /home/varodek/development/rtems/kernel/rtems/configure --prefix=/home/varodek/development/rtems/5 --enable-maintainer-mode --target=riscv-rtems5 --enable-rtemsbsp=rv32imac --enable-tests --enable-posix --disable-networking --enable-cxx RISCV_ENABLE_HTIF_SUPPORT=1
> ==============================================
> .
RISCV_ENABLE_HTIF_SUPPORT=1 should only be used if you're going to run
on a Spike platform. I see you're using virt below

> .
> .
> .
> Qemu command I used to run test:
> ==============================================
> $ qemu-system-riscv32 -no-reboot -nographic -machine virt -m 256M -kernel psxfenv01.exe
> ==============================================
> .
> .
> .
> .
> Makefile.am
> ==============================================
> + if TEST_psxfenv01
> + psx_tests += psxfenv01
> + psxfenv01_SOURCES = psxfenv01/init.c
> + psxfenv01_CPPFLAGS = $(AM_CPPFLAGS) $(TEST_FLAGS_psxfenv01) \
> +       $(support_includes)
> + psxfenv01_LDADD = -lm $(LDADD)
> + endif
> +
> ==============================================
>
> On Sun, Aug 11, 2019 at 8:36 PM Vaibhav Gupta <vaibhavgupta40 at gmail.com> wrote:
>>
>> My code of testsuite:
>> ===============================================
>>   /* Test 'FE_DIVBYZERO' */
>>   puts( "\nDivide by zero and confirm fetestexcept()." );
>>   a = 0.0;
>>   b = 1.0;
>>   c = b/a;
>>   printf("\n%d",FE_DIVBYZERO);
>>   fegetexceptflag(&excepts,FE_ALL_EXCEPT);
>>   printf("\n%d",excepts);
>>   r = feraiseexcept(FE_DIVBYZERO);
>>   printf("\n%d\n",r);
>>   rtems_test_assert( fetestexcept( FE_DIVBYZERO ) );
>> ==============================================
>> OUTPUT
>> ==============================================
>> Divide by zero and confirm fetestexcept().
>>
>> 8
>> 0
>> 1
>> /home/varodek/development/rtems/kernel/rtems/c/src/../../testsuites/psxtests/psxfenv01/init.c: 84 fetestexcept( FE_DIVBYZERO )
>> ==============================================
>> EXPECTED OUTPUT
>> ==============================================
>> Divide by zero and confirm fetestexcept().
>>
>> 8
>> 8
>> 0
>> ==============================================
>> - fetestexcept( FE_DIVBYZERO ), should return a non-zero value as division-by-zero was performed.
>> .
>> - feraiseexcept(FE_DIVBYZERO); is also not working. It should return zero when successful
>> .
>> ==============================================
>>
>> Thank You
>> Vaibhav Gupta
>>
> _______________________________________________
> devel mailing list
> devel at rtems.org
> http://lists.rtems.org/mailman/listinfo/devel

-- 
Hesham


More information about the devel mailing list