aboutsummaryrefslogtreecommitdiffstats
path: root/src/ortho/oread/tests/bug_mcode1.on
diff options
context:
space:
mode:
Diffstat (limited to 'src/ortho/oread/tests/bug_mcode1.on')
-rw-r--r--src/ortho/oread/tests/bug_mcode1.on41
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;
+