diff options
Diffstat (limited to 'src/ortho/oread/tests/bug_mcode1.on')
-rw-r--r-- | src/ortho/oread/tests/bug_mcode1.on | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/src/ortho/oread/tests/bug_mcode1.on b/src/ortho/oread/tests/bug_mcode1.on new file mode 100644 index 000000000..bd9737119 --- /dev/null +++ b/src/ortho/oread/tests/bug_mcode1.on @@ -0,0 +1,41 @@ +TYPE __ghdl_index_type IS UNSIGNED (32); + +-- package std.standard + +TYPE std__standard__integer__BT IS SIGNED (32); + +TYPE std__standard__real__BT IS FLOAT; + +-- package declaration math_real + +EXTERNAL FUNCTION ieee__math_real__ceil (x: std__standard__real__BT) + RETURN std__standard__real__BT; + +--F /Users/gingold/devel/vhdl-testsuite/OSVVM_2014_01/src/CoveragePkg.vhd + +TYPE work__coveragepkg__covptype__covbinbasetemptype IS RECORD + action: std__standard__integer__BT; + action2: std__standard__integer__BT; + count: std__standard__integer__BT; + atleast: std__standard__integer__BT; +END RECORD; + +TYPE work__coveragepkg__covptype__covbintemptype__BASE IS ARRAY [ + __ghdl_index_type] OF work__coveragepkg__covptype__covbinbasetemptype; + +TYPE work__coveragepkg__covptype__covbintemptype__ARR IS SUBARRAY + work__coveragepkg__covptype__covbintemptype__BASE[2]; + +PRIVATE FUNCTION work__coveragepkg__covptype__calcweightO1 () + RETURN std__standard__integer__BT +DECLARE + LOCAL VAR RESULT : std__standard__integer__BT; + LOCAL VAR x : std__standard__real__BT; + LOCAL VAR b : work__coveragepkg__covptype__covbintemptype__ARR; + LOCAL VAR T2_8 : __ghdl_index_type; +BEGIN + RESULT := ( (std__standard__integer__BT + 'conv (ieee__math_real__ceil (x)) -# b[T2_8].count)); + RETURN RESULT; +END; + |