| /dports/math/boolector/boolector-3.2.2/examples/api/c/doublereversearray/ |
| H A D | doublereversearray.c | 33 y = boolector_read (btor, result, top_exp); in reverse_array_mem_xor()
49 y = boolector_read (btor, result, top_exp); in reverse_array_mem_xor()
59 temp = boolector_sub (btor, top_exp, one); in reverse_array_mem_xor()
60 boolector_release (btor, top_exp); in reverse_array_mem_xor()
61 top_exp = temp; in reverse_array_mem_xor()
71 boolector_release (btor, top_exp); in reverse_array_mem_xor()
101 y = boolector_read (btor, result, top_exp); in reverse_array_mem()
112 temp = boolector_sub (btor, top_exp, one); in reverse_array_mem()
113 boolector_release (btor, top_exp); in reverse_array_mem()
114 top_exp = temp; in reverse_array_mem()
[all …]
|
| /dports/lang/gcc12-devel/gcc-12-20211205/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gcc8/gcc-8.5.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/libiberty/ |
| H A D | floatformat.c | 296 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
299 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
304 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
313 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
329 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
354 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gcc48/gcc-4.8.5/libiberty/ |
| H A D | floatformat.c | 294 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
297 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
302 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
311 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
325 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
350 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gnatdroid-binutils-x86/binutils-2.27/libiberty/ |
| H A D | floatformat.c | 296 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
299 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
304 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
313 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
329 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
354 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gcc11/gcc-11.2.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gcc10/gcc-10.3.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/arm-elf-binutils/binutils-2.37/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/avr-gcc/gcc-10.2.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/avr-gdb/gdb-7.3.1/libiberty/ |
| H A D | floatformat.c | 294 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
297 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
302 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
311 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
325 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
350 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gnatdroid-binutils/binutils-2.27/libiberty/ |
| H A D | floatformat.c | 296 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
299 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
304 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
313 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
329 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
354 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/libiberty/ |
| H A D | floatformat.c | 294 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
297 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
302 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
311 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
325 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
350 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/gdb/gdb-11.1/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/gdb761/gdb-7.6.1/libiberty/ |
| H A D | floatformat.c | 294 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
297 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
302 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
311 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
325 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
350 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/lang/gnat_util/gcc-6-20180516/libiberty/ |
| H A D | floatformat.c | 296 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
299 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
304 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
313 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
329 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
352 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
354 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/radare2/radare2-5.1.1/libr/asm/arch/arm/gnu/ |
| H A D | floatformat.c | 293 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
296 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
301 if ((unsigned long)top_exp == hfmt->exp_nan) { in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
327 if (bot_exp < top_exp - 53) { in floatformat_ibm_long_double_is_valid()
330 if (bot_exp > top_exp - 53 && bot_exp != 0) { in floatformat_ibm_long_double_is_valid()
353 if (-first_bit < top_exp - 53) { in floatformat_ibm_long_double_is_valid()
356 if (-first_bit > top_exp - 53) { in floatformat_ibm_long_double_is_valid()
|
| /dports/devel/gnulibiberty/binutils-2.37/libiberty/ |
| H A D | floatformat.c | 295 long top_exp, bot_exp; in floatformat_ibm_long_double_is_valid() local
298 top_exp = get_field (ufrom, hfmt->byteorder, hfmt->totalsize, in floatformat_ibm_long_double_is_valid()
303 if ((unsigned long) top_exp == hfmt->exp_nan) in floatformat_ibm_long_double_is_valid()
312 if ((unsigned long) top_exp == hfmt->exp_nan || top_exp == 0) in floatformat_ibm_long_double_is_valid()
326 if (bot_exp < top_exp - 53) in floatformat_ibm_long_double_is_valid()
328 if (bot_exp > top_exp - 53 && bot_exp != 0) in floatformat_ibm_long_double_is_valid()
351 if (-first_bit < top_exp - 53) in floatformat_ibm_long_double_is_valid()
353 if (-first_bit > top_exp - 53) in floatformat_ibm_long_double_is_valid()
|