#ifndef __I386_DIV64 #define __I386_DIV64 #include #if BITS_PER_LONG == 64 #define do_div(n,base) ({ \ uint32_t __base = (base); \ uint32_t __rem; \ __rem = ((uint64_t)(n)) % __base; \ (n) = ((uint64_t)(n)) / __base; \ __rem; \ }) #else /* * do_div() is NOT a C function. It wants to return * two values (the quotient and the remainder), but * since that doesn't work very well in C, what it * does is: * * - modifies the 64-bit dividend _in_place_ * - returns the 32-bit remainder * * This ends up being the most efficient "calling * convention" on x86. */ #define do_div(n,base) ({ \ unsigned long __upper, __low, __high, __mod, __base; \ __base = (base); \ asm ( "" : "=a" (__low), "=d" (__high) : "A" (n) ); \ __upper = __high; \ if ( __high ) \ { \ __upper = __high % (__base); \ __high = __high / (__base); \ } \ asm ( "divl %2" \ : "=a" (__low), "=d" (__mod) \ : "rm" (__base), "0" (__low), "1" (__upper) ); \ asm ( "" : "=A" (n) : "a" (__low), "d" (__high) ); \ __mod; \ }) #endif #endif ?id=f1de93edf5b5c73440d445d8d6fa32251d2bdab1'>commitdiffstats
path: root/techlibs/ice40/tests/test_ffs.sh
blob: ff79ec534b791cb0fafa23fe30e105c8a217c368 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
#!/bin/bash
set -ex
for CLKPOL in 0 1; do
for ENABLE_EN in 0 1; do
for RESET_EN in 0 1; do
for RESET_VAL in 0 1; do
for RESET_SYN in 0 1; do
	pf="test_ffs_${CLKPOL}${ENABLE_EN}${RESET_EN}${RESET_VAL}${RESET_SYN}"
	sed -e "s/CLKPOL = 0/CLKPOL = ${CLKPOL}/;" -e "s/ENABLE_EN = 0/ENABLE_EN = ${ENABLE_EN}/;" \
	    -e "s/RESET_EN = 0/RESET_EN = ${RESET_EN}/;" -e "s/RESET_VAL = 0/RESET_VAL = ${RESET_VAL}/;" \
	    -e "s/RESET_SYN = 0/RESET_SYN = ${RESET_SYN}/;" test_ffs.v > ${pf}_gold.v
	../../../yosys -o ${pf}_gate.v -p "synth_ice40" ${pf}_gold.v
	../../../yosys -p "proc; opt; test_autotb ${pf}_tb.v" ${pf}_gold.v
	iverilog -s testbench -o ${pf}_gold ${pf}_gold.v ${pf}_tb.v
	iverilog -s testbench -o ${pf}_gate ${pf}_gate.v ${pf}_tb.v ../cells_sim.v
	./${pf}_gold > ${pf}_gold.txt
	./${pf}_gate > ${pf}_gate.txt
	cmp ${pf}_gold.txt ${pf}_gate.txt
done; done; done; done; done
echo OK.