HDLRuby 2.0.8

data/lib/HDLRuby/low_samples/bugs/sample_kumiawase.yaml

@@ -0,0 +1,332 @@
+---
+Type:
+  name: signed
+---
+TypeVector:
+  name: integer
+  base: signed
+  range:
+  - 31
+  - 0
+---
+Type:
+  name: bit
+---
+SystemT:
+  name: led7segI::T_
+  inputs:
+  - SignalI:
+      name: in0
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 3
+          - 0
+  outputs:
+  - SignalI:
+      name: out
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 6
+          - 0
+  inouts: []
+  scope:
+    Scope:
+      scopes: []
+      inners:
+      - SignalI:
+          name: out
+          type:
+            TypeVector:
+              name: ''
+              base: bit
+              range:
+              - 6
+              - 0
+      systemIs: []
+      connections: []
+      behaviors:
+      - Behavior:
+          events: []
+          block:
+            Block:
+              mode: par
+              inners: []
+              statements:
+              - Case:
+                  value:
+                    RefName:
+                      ref:
+                        RefThis: {}
+                      name: in0
+                  whens:
+                  - - Value:
+                        type: integer
+                        content: 0
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '0111111'
+                  - - Value:
+                        type: integer
+                        content: 1
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '0000110'
+                  - - Value:
+                        type: integer
+                        content: 2
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '1011011'
+                  - - Value:
+                        type: integer
+                        content: 3
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '1001111'
+                  - - Value:
+                        type: integer
+                        content: 4
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '1100110'
+                  - - Value:
+                        type: integer
+                        content: 5
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '1111101'
+                  - - Value:
+                        type: integer
+                        content: 6
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '1111101'
+                  - - Value:
+                        type: integer
+                        content: 7
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '0000111'
+                  - - Value:
+                        type: integer
+                        content: 8
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '1111111'
+                  - - Value:
+                        type: integer
+                        content: 9
+                    - Block:
+                        mode: par
+                        inners: []
+                        statements:
+                        - Transmit:
+                            left:
+                              RefName:
+                                ref:
+                                  RefThis: {}
+                                name: out
+                            right:
+                              Value:
+                                type:
+                                  TypeVector:
+                                    name: ''
+                                    base: bit
+                                    range:
+                                    - 6
+                                    - 0
+                                content:
+                                  BitString:
+                                    str: '1100111'
+                  default:
+                    Block:
+                      mode: par
+                      inners: []
+                      statements:
+                      - Transmit:
+                          left:
+                            RefName:
+                              ref:
+                                RefThis: {}
+                              name: out
+                          right:
+                            Value:
+                              type: integer
+                              content: 0

data/lib/HDLRuby/low_samples/bugs/sample_sub.yaml

@@ -0,0 +1,97 @@
+---
+Type:
+  name: void
+---
+Type:
+  name: bit
+---
+SystemT:
+  name: subI::T_
+  inputs:
+  - SignalI:
+      name: ina
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 15
+          - 0
+  - SignalI:
+      name: inb
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 15
+          - 0
+  outputs:
+  - SignalI:
+      name: result
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 16
+          - 0
+  inouts: []
+  scope:
+    Scope:
+      name: ''
+      scopes: []
+      inners: []
+      systemIs: []
+      connections:
+      - Connection:
+          left:
+            RefName:
+              type:
+                TypeVector:
+                  name: ''
+                  base: bit
+                  range:
+                  - 16
+                  - 0
+              ref:
+                RefThis:
+                  type: void
+              name: result
+          right:
+            Binary:
+              type:
+                TypeVector:
+                  name: ''
+                  base: bit
+                  range:
+                  - 16
+                  - 0
+              operator: "-"
+              left:
+                RefName:
+                  type:
+                    TypeVector:
+                      name: ''
+                      base: bit
+                      range:
+                      - 15
+                      - 0
+                  ref:
+                    RefThis:
+                      type: void
+                  name: ina
+              right:
+                RefName:
+                  type:
+                    TypeVector:
+                      name: ''
+                      base: bit
+                      range:
+                      - 15
+                      - 0
+                  ref:
+                    RefThis:
+                      type: void
+                  name: inb
+      behaviors: []

data/lib/HDLRuby/low_samples/bugs/seqpar.yaml

@@ -0,0 +1,184 @@
+---
+Type:
+  name: bit
+---
+SystemT:
+  name: seqparI::T_
+  inputs:
+  - SignalI:
+      name: clk
+      type: bit
+  - SignalI:
+      name: x
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 7
+          - 0
+  - SignalI:
+      name: y
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 7
+          - 0
+  outputs:
+  - SignalI:
+      name: o0
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 7
+          - 0
+  - SignalI:
+      name: o1
+      type:
+        TypeVector:
+          name: ''
+          base: bit
+          range:
+          - 7
+          - 0
+  inouts: []
+  scope:
+    Scope:
+      name: ''
+      scopes: []
+      inners:
+      - SignalI:
+          name: w0
+          type:
+            TypeVector:
+              name: ''
+              base: bit
+              range:
+              - 7
+              - 0
+      - SignalI:
+          name: w1
+          type:
+            TypeVector:
+              name: ''
+              base: bit
+              range:
+              - 7
+              - 0
+      - SignalI:
+          name: w2
+          type:
+            TypeVector:
+              name: ''
+              base: bit
+              range:
+              - 7
+              - 0
+      systemIs: []
+      connections: []
+      behaviors:
+      - Behavior:
+          events:
+          - Event:
+              type: change
+              ref:
+                RefName:
+                  ref:
+                    RefThis: {}
+                  name: clk
+          block:
+            Block:
+              mode: par
+              name: ''
+              inners: []
+              statements:
+              - Block:
+                  mode: seq
+                  name: ''
+                  inners: []
+                  statements:
+                  - Transmit:
+                      left:
+                        RefName:
+                          ref:
+                            RefThis: {}
+                          name: w1
+                      right:
+                        Binary:
+                          operator: "-"
+                          left:
+                            RefName:
+                              ref:
+                                RefThis: {}
+                              name: x
+                          right:
+                            RefName:
+                              ref:
+                                RefThis: {}
+                              name: y
+              - Transmit:
+                  left:
+                    RefName:
+                      ref:
+                        RefThis: {}
+                      name: w0
+                  right:
+                    Binary:
+                      operator: "+"
+                      left:
+                        RefName:
+                          ref:
+                            RefThis: {}
+                          name: w1
+                      right:
+                        RefName:
+                          ref:
+                            RefThis: {}
+                          name: y
+              - Transmit:
+                  left:
+                    RefName:
+                      ref:
+                        RefThis: {}
+                      name: w2
+                  right:
+                    Binary:
+                      operator: "+"
+                      left:
+                        RefName:
+                          ref:
+                            RefThis: {}
+                          name: w1
+                      right:
+                        RefName:
+                          ref:
+                            RefThis: {}
+                          name: w0
+              - Block:
+                  mode: seq
+                  name: ''
+                  inners: []
+                  statements:
+                  - Transmit:
+                      left:
+                        RefName:
+                          ref:
+                            RefThis: {}
+                          name: o1
+                      right:
+                        Binary:
+                          operator: "+"
+                          left:
+                            RefName:
+                              ref:
+                                RefThis: {}
+                              name: w0
+                          right:
+                            RefName:
+                              ref:
+                                RefThis: {}
+                              name: w2