Type:
name: signed
TypeVector:
name: integer base: signed range: - 31 - 0
Type:
name: void
Type:
name: bit
SystemT:
name: conditionalsI::T_ inputs: - SignalI: name: x type: TypeVector: name: '' base: bit range: - 15 - 0 - SignalI: name: y type: TypeVector: name: '' base: bit range: - 15 - 0 outputs: - SignalI: name: s type: bit inouts: [] scope: Scope: name: '' scopes: [] inners: [] systemIs: [] connections: [] behaviors: - Behavior: events: [] block: Block: mode: par name: '' inners: [] statements: - If: condition: Binary: type: TypeVector: name: '' base: bit range: - 15 - 0 operator: "<=" left: RefName: type: TypeVector: name: '' base: bit range: - 15 - 0 ref: RefThis: type: void name: x right: RefName: type: TypeVector: name: '' base: bit range: - 15 - 0 ref: RefThis: type: void name: y 'yes': Block: mode: par name: '' inners: [] statements: - Transmit: left: RefName: type: bit ref: RefThis: type: void name: s right: Value: type: integer content: 0 'no': Block: mode: par name: '' inners: [] statements: - Transmit: left: RefName: type: bit ref: RefThis: type: void name: s right: Value: type: integer content: 1 noifs: []