#ifndef __MEGARAID_H__ #define __MEGARAID_H__ #include /* * For state flag. Do not use LSB(8 bits) which are * reserved for storing info about channels. */ #define IN_ISR 0x80000000L #define IN_ABORT 0x40000000L #define IN_RESET 0x20000000L #define IN_QUEUE 0x10000000L #define BOARD_QUARTZ 0x08000000L #define BOARD_40LD 0x04000000L #define BOARD_64BIT 0x02000000L #define SCB_FREE 0x0 #define SCB_ACTIVE 0x1 #define SCB_WAITQ 0x2 #define SCB_ISSUED 0x3 #define SCB_COMPLETE 0x4 #define SCB_ABORTED 0x5 #define SCB_RESET 0x6 #define M_RD_CRLFSTR "\n" #define M_RD_IOCTL_CMD 0x80 #define M_RD_IOCTL_CMD_NEW 0x81 #define M_RD_DRIVER_IOCTL_INTERFACE 0x82 #define MEGARAID_VERSION "v1.18d (Release Date: Wed Aug 7 18:51:51 EDT 2002)\n" #define MEGARAID_IOCTL_VERSION 114 /* Methods */ #define GET_DRIVER_INFO 0x1 #define MEGA_CMD_TIMEOUT 10 /* Feel free to fiddle with these.. max values are: SGLIST 0..26 COMMANDS 0..253 CMDPERLUN 0..63 */ #define MAX_SGLIST 0x1A #define MAX_COMMANDS 127 #define MAX_CMD_PER_LUN 63 #define MAX_FIRMWARE_STATUS 46 #define MAX_LOGICAL_DRIVES 8 #define MAX_CHANNEL 5 #define MAX_TARGET 15 #define MAX_PHYSICAL_DRIVES MAX_CHANNEL*MAX_TARGET #define INQUIRY_DATA_SIZE 0x24 #define MAX_CDB_LEN 0x0A #define MAX_REQ_SENSE_LEN 0x20 #define INTR_VALID 0x40 /* Direction Macros for MBOX Data direction */ #define TO_DEVICE 0x0 #define FROM_DEVICE 0x1 #define FROMTO_DEVICE 0x2 /* Mailbox commands */ #define MEGA_MBOXCMD_LREAD 0x01 #define MEGA_MBOXCMD_LWRITE 0x02 #define MEGA_MBOXCMD_LREAD64 0xA7 #define MEGA_MBOXCMD_LWRITE64 0xA8 #define MEGA_MBOXCMD_PASSTHRU 0x03 #define MEGA_MBOXCMD_EXTPASSTHRU 0xE3 #define MEGA_MBOXCMD_PASSTHRU64 0xC3 #define MEGA_MBOXCMD_ADAPTERINQ 0x05 /* Offsets into Mailbox */ #define COMMAND_PORT 0x00 #define COMMAND_ID_PORT 0x01 #define SG_LIST_PORT0 0x08 #define SG_LIST_PORT1 0x09 #define SG_LIST_PORT2 0x0a #define SG_LIST_PORT3 0x0b #define SG_ELEMENT_PORT 0x0d #define NO_FIRED_PORT 0x0f /* I/O Port offsets */ #define I_CMD_PORT 0x00 #define I_ACK_PORT 0x00 #define I_TOGGLE_PORT 0x01 #define INTR_PORT 0x0a #define MAILBOX_SIZE (sizeof(mega_mailbox)-16) #define MBOX_BUSY_PORT 0x00 #define MBOX_PORT0 0x04 #define MBOX_PORT1 0x05 #define MBOX_PORT2 0x06 #define MBOX_PORT3 0x07 #define ENABLE_MBOX_REGION 0x0B /* I/O Port Values */ #define ISSUE_BYTE 0x10 #define ACK_BYTE 0x08 #define ENABLE_INTR_BYTE 0xc0 #define DISABLE_INTR_BYTE 0x00 #define VALID_INTR_BYTE 0x40 #define MBOX_BUSY_BYTE 0x10 #define ENABLE_MBOX_BYTE 0x00 /* Setup some port macros here */ #define WRITE_MAILBOX(base,offset,value) *(base+offset)=value #define READ_MAILBOX(base,offset) *(base+offset) #define WRITE_PORT(base,offset,value) outb_p(value,base+offset) #define READ_PORT(base,offset) inb_p(base+offset) #define ISSUE_COMMAND(base) WRITE_PORT(base,I_CMD_PORT,ISSUE_BYTE) #define CLEAR_INTR(base) WRITE_PORT(base,I_ACK_PORT,ACK_BYTE) #define ENABLE_INTR(base) WRITE_PORT(base,I_TOGGLE_PORT,ENABLE_INTR_BYTE) #define DISABLE_INTR(base) WRITE_PORT(base,I_TOGGLE_PORT,DISABLE_INTR_BYTE) #ifndef PCI_VENDOR_ID_LSI_LOGIC #define PCI_VENDOR_ID_LSI_LOGIC 0x1000 #endif /* Define AMI's PCI codes */ #ifndef PCI_VENDOR_ID_AMI #define PCI_VENDOR_ID_AMI 0x101E #endif #ifndef PCI_DEVICE_ID_AMI_MEGARAID #define PCI_DEVICE_ID_AMI_MEGARAID 0x9010 #endif #ifndef PCI_DEVICE_ID_AMI_MEGARAID2 #define PCI_DEVICE_ID_AMI_MEGARAID2 0x9060 #endif #ifndef PCI_DEVICE_ID_AMI_MEGARAID3 #define PCI_DEVICE_ID_AMI_MEGARAID3 0x1960 #endif #define PCI_VENDOR_ID_DISCOVERY 0x1028 #define PCI_DEVICE_ID_DISCOVERY 0x000E #define PCI_VENDOR_ID_PERC4_DI_YSTONE 0x1028 #define PCI_DEVICE_ID_PERC4_DI_YSTONE 0x000F #define PCI_VENDOR_ID_PERC4_QC_VERDE 0x1000 #define PCI_DEVICE_ID_PERC4_QC_VERDE 0x0407 /* Special Adapter Commands */ #define FW_FIRE_WRITE 0x2C #define FW_FIRE_FLASH 0x2D #define FC_NEW_CONFIG 0xA1 #define DCMD_FC_CMD 0xA1 #define DCMD_FC_PROCEED 0x02 #define DCMD_DELETE_LOGDRV 0x03 #define DCMD_FC_READ_NVRAM_CONFIG 0x04 #define DCMD_FC_READ_NVRAM_CONFIG_64 0xC0 #define DCMD_FC_READ_FINAL_CONFIG 0x05 #define DCMD_GET_DISK_CONFIG 0x06 #define DCMD_GET_DISK_CONFIG_64 0xC2 #define DCMD_CHANGE_LDNO 0x07 #define DCMD_COMPACT_CONFIG 0x08 #define DCMD_DELETE_DRIVEGROUP 0x09 #define DCMD_GET_LOOPID_INFO 0x0A #define DCMD_CHANGE_LOOPID 0x0B #define DCMD_GET_NUM_SCSI_CHANS 0x0C #define DCMD_WRITE_CONFIG 0x0D #define DCMD_WRITE_CONFIG_64 0xC1 #define NC_SUBOP_PRODUCT_INFO 0x0E #define NC_SUBOP_ENQUIRY3 0x0F #define ENQ3_GET_SOLICITED_NOTIFY_ONLY 0x01 #define ENQ3_GET_SOLICITED_FULL 0x02 #define ENQ3_GET_UNSOLICITED 0x03 #define PCI_CONF_BASE_ADDR_OFFSET 0x10 #define PCI_CONF_IRQ_OFFSET 0x3c #define PCI_CONF_AMISIG 0xa0 #define PCI_CONF_AMISIG64 0xa4 /* Sub-System Vendor ID sorted on alphabetical order*/ #define LSI_SUBSYS_ID 0x1000 #define AMI_SUBSYS_ID 0x101E #define DELL_SUBSYS_ID 0x1028 #define HP_SUBSYS_ID 0x103C #define AMI_SIGNATURE 0x3344 #define AMI_SIGNATURE_471 0xCCCC #define AMI_64BIT_SIGNATURE 0x0299 #if LINUX_VERSION_CODE < KERNEL_VERSION(2,1,0) /*0x20100 */ #define MEGARAID \ { NULL, /* Next */\ NULL, /* Usage Count Pointer */\ NULL, /* proc Directory Entry */\ megaraid_proc_info, /* proc Info Function */\ "MegaRAID", /* Driver Name */\ megaraid_detect, /* Detect Host Adapter */\ megaraid_release, /* Release Host Adapter */\ megaraid_info, /* Driver Info Function */\ megaraid_command, /* Command Function */\ megaraid_queue, /* Queue Command Function */\ megaraid_abort, /* Abort Command Function */\ megaraid_reset, /* Reset Command Function */\ NULL, /* Slave Attach Function */\ megaraid_biosparam, /* Disk BIOS Parameters */\ MAX_COMMANDS, /* # of cmds that can be\ outstanding at any time */\ 7, /* HBA Target ID */\ MAX_SGLIST, /* Scatter/Gather Table Size */\ MAX_CMD_PER_LUN, /* SCSI Commands per LUN */\ 0, /* Present */\ 0, /* Default Unchecked ISA DMA */\ ENABLE_CLUSTERING } /* Enable Clustering */ #else #define MEGARAID \ {\ name: "MegaRAID", /* Driver Name */\ detect: megaraid_detect, /* Detect Host Adapter */\ release: megaraid_release, /* Release Host Adapter */\ info: megaraid_info, /* Driver Info Function */\ command: NULL, /* XEN KILLED */\ queuecommand: megaraid_queue, /* Queue Command Function */\ abort: megaraid_abort, /* Abort Command Function */\ reset: megaraid_reset, /* Reset Command Function */\ bios_param: megaraid_biosparam, /* Disk BIOS Parameters */\ can_queue: MAX_COMMANDS, /* Can Queue */\ this_id: 7, /* HBA Target ID */\ sg_tablesize: MAX_SGLIST, /* Scatter/Gather Table Size */\ cmd_per_lun: MAX_CMD_PER_LUN, /* SCSI Commands per LUN */\ present: 0, /* Present */\ unchecked_isa_dma: 0, /* Default Unchecked ISA DMA */\ use_clustering: ENABLE_CLUSTERING, /* Enable Clustering */\ use_new_eh_code: 1, /* Uses new error handling code */\ } #endif // XENO: REMOVED command: megaraid_command, /* Command Function */ // XENO: REMOVED proc_info: megaraid_proc_info, /* /proc driver info */ // XENO: REMOVED highmem_io: 1, /* enable HIGHMEM I/O */ /*********************************************************************** * Structure Declarations for the Firmware supporting 40 Logical Drives * and 256 Physical Drives. ***********************************************************************/ #define FC_MAX_LOGICAL_DRIVES 40 #define FC_MAX_LOG_DEVICES FC_MAX_LOGICAL_DRIVES #define FC_MAX_SPAN_DEPTH 8 #define FC_MAX_ROW_SIZE 32 #define FC_MAX_CHANNELS 16 #define FC_MAX_TARGETS_PER_CHANNEL 16 #define FC_MAX_PHYSICAL_DEVICES 256 /******************************************** * PRODUCT_INFO ********************************************/ #define SIG_40LOG_32STR_8SPN 0x00282008 /* * Utilities declare this strcture size as 1024 bytes. So more fields can * be added in future. */ struct MRaidProductInfo { u32 DataSize; /* current size in bytes (not including resvd) */ u32 ConfigSignature; /* Current value is 0x00282008 * 0x28=MAX_LOGICAL_DRIVES, * 0x20=Number of stripes and * 0x08=Number of spans */ u8 FwVer[16]; /* printable ASCI string */ u8 BiosVer[16]; /* printable ASCI string */ u8 ProductName[80]; /* printable ASCI string */ u8 MaxConcCmds; /* Max. concurrent commands supported */ u8 SCSIChanPresent; /* Number of SCSI Channels detected */ u8 FCLoopPresent; /* Number of Fibre Loops detected */ u8 memType; /* EDO, FPM, SDRAM etc */ u32 signature; u16 DramSize; /* In terms of MB */ u16 subSystemID; u16 subSystemVendorID; u8 numNotifyCounters; u8 pad1k[889]; /* 135 + 889 resvd = 1024 total size */ } __attribute__ ((packed)); typedef struct MRaidProductInfo megaRaidProductInfo; /******************************************** * Standard ENQUIRY ********************************************/ struct FC_ADP_INFO { u8 MaxConcCmds; /* Max. concurrent commands supported. */ u8 RbldRate; /* Rebuild Rate. Varies from 0%-100% */ u8 MaxTargPerChan; /* Max. Targets supported per chan. */ u8 ChanPresent; /* No. of Chans present on this adapter. */ u8 FwVer[4]; /* Firmware version. */ u16 AgeOfFlash; /* No. of times FW has been downloaded. */ u8 ChipSetValue; /* Contents of 0xC0000832 */ u8 DramSize; /* In terms of MB */ u8 CacheFlushInterval; /* In terms of Seconds */ u8 BiosVersion[4]; u8 BoardType; u8 sense_alert; u8 write_config_count; /* Increase with evry configuration change */ u8 drive_inserted_count;/* Increase with every drive inserted */ u8 inserted_drive; /* Channel: Id of inserted drive */ u8 battery_status; /* BIT 0 : battery module missing BIT 1 : VBAD BIT 2 : temp high BIT 3 : battery pack missing BIT 4,5 : 00 - charge complete 01 - fast charge in prog 10 - fast charge fail 11 - undefined BIt 6 : counter > 1000 Bit 7 : undefined */ u8 dec_fault_bus_info; /* was resvd */ } __attribute__ ((packed)); struct FC_LDRV_INFO { u8 NumLDrv; /* No. of Log. Drvs configured. */ u8 recon_state[FC_MAX_LOGICAL_DRIVES / 8]; /* bit field for State of reconstruct */ u16 LDrvOpStatus[FC_MAX_LOGICAL_DRIVES / 8]; /* bit field Status of Long Operations. */ u32 LDrvSize[FC_MAX_LOGICAL_DRIVES]; /* Size of each log. Drv. */ u8 LDrvProp[FC_MAX_LOGICAL_DRIVES]; u8 LDrvState[FC_MAX_LOGICAL_DRIVES]; /* State of Logical Drives. */ } __attribute__ ((packed)); #define PREVSTAT_MASK 0xf0 #define CURRSTAT_MASK 0x0f struct FC_PDRV_INFO { u8 PDrvState[FC_MAX_PHYSICAL_DEVICES]; /* State of Phys Drvs. */ } __attribute__ ((packed)); struct FC_AdapterInq { struct FC_ADP_INFO AdpInfo; struct FC_LDRV_INFO LogdrvInfo; struct FC_PDRV_INFO PhysdrvInfo; } __attribute__ ((packed)); typedef struct FC_AdapterInq mega_RAIDINQ_FC; /******************************************** * NOTIFICATION ********************************************/ #define MAX_NOTIFY_SIZE 0x80 #define CUR_NOTIFY_SIZE sizeof(struct MegaRAID_Notify) /* * Utilities declare this strcture size as ?? bytes. So more fields can * be added in future. */ struct MegaRAID_Notify { u32 globalCounter; /* Any change increments this counter */ u8 paramCounter; /* Indicates any params changed */ u8 paramId; /* Param modified - defined below */ u16 paramVal; /* New val of last param modified */ u8 writeConfigCounter; /* write config occurred */ u8 writeConfigRsvd[3]; u8 ldrvOpCounter; /* Indicates ldrv op started/completed */ u8 ldrvOpId; /* ldrv num */ u8 ldrvOpCmd; /* ldrv operation - defined below */ u8 ldrvOpStatus; /* status of the operation */ u8 ldrvStateCounter; /* Indicates change of ldrv state */ u8 ldrvStateId; /* ldrv num */ u8 ldrvStateNew; /* New state */ u8 ldrvStateOld; /* old state */ u8 pdrvStateCounter; /* Indicates change of ldrv state */ u8 pdrvStateId; /* pdrv id */ u8 pdrvStateNew; /* New state */ u8 pdrvStateOld; /* old state */ u8 pdrvFmtCounter; /* Indicates pdrv format started/over */ u8 pdrvFmtId; /* pdrv id */ u8 pdrvFmtVal; /* format started/over */ u8 pdrvFmtRsvd; u8 targXferCounter; /* Indicates SCSI-2 Xfer rate change */ u8 targXferId; /* pdrv Id */ u8 targXferVal; /* new Xfer params of last pdrv */ u8 targXferRsvd; u8 fcLoopIdChgCounter; /* Indicates loopid changed */ u8 fcLoopIdPdrvId; /* pdrv id */ u8 fcLoopId0; /* loopid on fc loop 0 */ u8 fcLoopId1; /* loopid on fc loop 1 */ u8 fcLoopStateCounter; /* Indicates loop state changed */ u8 fcLoopState0; /* state of fc loop 0 */ u8 fcLoopState1; /* state of fc loop 1 */ u8 fcLoopStateRsvd; } __attribute__ ((packed)); /******************************************** * PARAM IDs in Notify struct ********************************************/ #define PARAM_RBLD_RATE 0x01 /*-------------------------------------- * Param val = * byte 0: new rbld rate *--------------------------------------*/ #define PARAM_CACHE_FLUSH_INTERVAL 0x02 /*-------------------------------------- * Param val = * byte 0: new cache flush interval *--------------------------------------*/ #define PARAM_SENSE_ALERT 0x03 /*-------------------------------------- * Param val = * byte 0: last pdrv id causing chkcond *--------------------------------------*/ #define PARAM_DRIVE_INSERTED 0x04 /*-------------------------------------- * Param val = * byte 0: last pdrv id inserted *--------------------------------------*/ #define PARAM_BATTERY_STATUS 0x05 /*-------------------------------------- * Param val = * byte 0: battery status *--------------------------------------*/ /******************************************** * Ldrv operation cmd in Notify struct ********************************************/ #define LDRV_CMD_CHKCONSISTANCY 0x01 #define LDRV_CMD_INITIALIZE 0x02 #define LDRV_CMD_RECONSTRUCTION 0x03 /******************************************** * Ldrv operation status in Notify struct ********************************************/ #define LDRV_OP_SUCCESS 0x00 #define LDRV_OP_FAILED 0x01 #define LDRV_OP_ABORTED 0x02 #define LDRV_OP_CORRECTED 0x03 #define LDRV_OP_STARTED 0x04 /******************************************** * Raid Logical drive states. ********************************************/ #define RDRV_OFFLINE 0 #define RDRV_DEGRADED 1 #define RDRV_OPTIMAL 2 #define RDRV_DELETED 3 /******************************************* * Physical drive states. *******************************************/ #define PDRV_UNCNF 0 #define PDRV_ONLINE 3 #define PDRV_FAILED 4 #define PDRV_RBLD 5 /******************************************* * Formal val in Notify struct *******************************************/ #define PDRV_FMT_START 0x01 #define PDRV_FMT_OVER 0x02 /******************************************** * FC Loop State in Notify Struct ********************************************/ #define ENQ_FCLOOP_FAILED 0 #define ENQ_FCLOOP_ACTIVE 1 #define ENQ_FCLOOP_TRANSIENT 2 #if LINUX_VERSION_CODE >= KERNEL_VERSION(2,4,0) #define M_RD_DMA_TYPE_NONE 0xFFFF #define M_RD_PTHRU_WITH_BULK_DATA 0x0001 #define M_RD_PTHRU_WITH_SGLIST 0x0002 #define M_RD_BULK_DATA_ONLY 0x0004 #define M_RD_SGLIST_ONLY 0x0008 #define M_RD_EPTHRU_WITH_BULK_DATA 0x0010 #endif /******************************************** * ENQUIRY3 ********************************************/ /* * Utilities declare this strcture size as 1024 bytes. So more fields can * be added in future. */ struct MegaRAID_Enquiry3 { u32 dataSize; /* current size in bytes (not including resvd) */ struct MegaRAID_Notify notify; u8 notifyRsvd[MAX_NOTIFY_SIZE - CUR_NOTIFY_SIZE]; u8 rbldRate; /* Rebuild rate (0% - 100%) */ u8 cacheFlushInterval; /* In terms of Seconds */ u8 senseAlert; u8 driveInsertedCount; /* drive insertion count */ u8 batteryStatus; u8 numLDrv; /* No. of Log Drives configured */ u8 reconState[FC_MAX_LOGICAL_DRIVES / 8]; /* State of reconstruct */ u16 lDrvOpStatus[FC_MAX_LOGICAL_DRIVES / 8]; /* log. Drv Status */ u32 lDrvSize[FC_MAX_LOGICAL_DRIVES]; /* Size of each log. Drv */ u8 lDrvProp[FC_MAX_LOGICAL_DRIVES]; u8 lDrvState[FC_MAX_LOGICAL_DRIVES]; /* State of Logical Drives */ u8 pDrvState[FC_MAX_PHYSICAL_DEVICES]; /* State of Phys. Drvs. */ u16 physDrvFormat[FC_MAX_PHYSICAL_DEVICES / 16]; u8 targXfer[80]; /* phys device transfer rate */ u8 pad1k[263]; /* 761 + 263reserved = 1024 bytes total size */ } __attribute__ ((packed)); typedef struct MegaRAID_Enquiry3 mega_Enquiry3; /* Structures */ typedef struct _mega_ADP_INFO { u8 MaxConcCmds; u8 RbldRate; u8 MaxTargPerChan; u8 ChanPresent; u8 FwVer[4]; u16 AgeOfFlash; u8 ChipSetValue; u8 DramSize; u8 CacheFlushInterval; u8 BiosVer[4]; u8 resvd[7]; } mega_ADP_INFO; typedef struct _mega_LDRV_INFO { u8 NumLDrv; u8 resvd[3]; u32 LDrvSize[MAX_LOGICAL_DRIVES]; u8 LDrvProp[MAX_LOGICAL_DRIVES]; u8 LDrvState[MAX_LOGICAL_DRIVES]; } mega_LDRV_INFO; typedef struct _mega_PDRV_INFO { u8 PDrvState[MAX_PHYSICAL_DRIVES]; u8 resvd; } mega_PDRV_INFO; /* RAID inquiry: Mailbox command 0x5*/ typedef struct _mega_RAIDINQ { mega_ADP_INFO AdpInfo; mega_LDRV_INFO LogdrvInfo; mega_PDRV_INFO PhysdrvInfo; } mega_RAIDINQ; /* Passthrough command: Mailbox command 0x3*/ typedef struct mega_passthru { u8 timeout:3; /* 0=6sec/1=60sec/2=10min/3=3hrs */ u8 ars:1; u8 reserved:3; u8 islogical:1; u8 logdrv; /* if islogical == 1 */ u8 channel; /* if islogical == 0 */ u8 target; /* if islogical == 0 */ u8 queuetag; /* unused */ u8 queueaction; /* unused */ u8 cdb[MAX_CDB_LEN]; u8 cdblen; u8 reqsenselen; u8 reqsensearea[MAX_REQ_SENSE_LEN]; u8 numsgelements; u8 scsistatus; u32 dataxferaddr; u32 dataxferlen; } mega_passthru; /* * Extended passthru: support CDB > 10 bytes */ typedef struct { u8 timeout:3; /* 0=6sec/1=60sec/2=10min/3=3hrs */ u8 ars:1; u8 rsvd1:1; u8 cd_rom:1; u8 rsvd2:1; u8 islogical:1; u8 logdrv; /* if islogical == 1 */ u8 channel; /* if islogical == 0 */ u8 target; /* if islogical == 0 */ u8 queuetag; /* unused */ u8 queueaction; /* unused */ u8 cdblen; u8 rsvd3; u8 cdb[16]; u8 numsgelements; u8 status; u8 reqsenselen; u8 reqsensearea[MAX_REQ_SENSE_LEN]; u8 rsvd4; u32 dataxferaddr; u32 dataxferlen; }mega_ext_passthru; struct _mega_mailbox { /* 0x0 */ u8 cmd; /* 0x1 */ u8 cmdid; /* 0x2 */ u16 numsectors; /* 0x4 */ u32 lba; /* 0x8 */ u32 xferaddr; /* 0xC */ u8 logdrv; /* 0xD */ u8 numsgelements; /* 0xE */ u8 resvd; /* 0xF */ u8 busy; /* 0x10 */ u8 numstatus; /* 0x11 */ u8 status; /* 0x12 */ u8 completed[46]; volatile u8 mraid_poll; volatile u8 mraid_ack; u8 pad[16]; /* for alignment purposes */ } __attribute__ ((packed)); typedef struct _mega_mailbox mega_mailbox; typedef struct { u32 xferSegment_lo; u32 xferSegment_hi; mega_mailbox mailbox; } mega_mailbox64; typedef struct _mega_ioctl_mbox { /* 0x0 */ u8 cmd; /* 0x1 */ u8 cmdid; /* 0x2 */ u8 channel; /* 0x3 */ u8 param; /* 0x4 */ u8 pad[4]; /* 0x8 */ u32 xferaddr; /* 0xC */ u8 logdrv; /* 0xD */ u8 numsgelements; /* 0xE */ u8 resvd; /* 0xF */ u8 busy; /* 0x10 */ u8 numstatus; /* 0x11 */ u8 status; /* 0x12 */ u8 completed[46]; u8 mraid_poll; u8 mraid_ack; u8 malign[16]; } mega_ioctl_mbox; typedef struct _mega_64sglist32 { u64 address; u32 length; } __attribute__ ((packed)) mega_64sglist; typedef struct _mega_sglist { u32 address; u32 length; } mega_sglist; /* Queued command data */ typedef struct _mega_scb mega_scb; struct _mega_scb { int idx; u32 state; u32 isrcount; u8 mboxData[16]; #if LINUX_VERSION_CODE >= KERNEL_VERSION(2,4,0) u32 dma_type; dma_addr_t dma_h_bulkdata; /*Dma handle for bulk data transfter */ u32 dma_direction; /*Dma direction */ dma_addr_t dma_h_sgdata; /*Dma handle for the sglist structure */ dma_addr_t dma_h_sglist[MAX_SGLIST]; /*Dma handle for all SGL elements */ u8 sglist_count; dma_addr_t dma_sghandle64; dma_addr_t dma_passthruhandle64; dma_addr_t dma_ext_passthruhandle64; dma_addr_t dma_bounce_buffer; u8 *bounce_buffer; #endif #if LINUX_VERSION_CODE >= KERNEL_VERSION(2,4,0) mega_passthru *pthru; mega_ext_passthru *epthru; #else mega_passthru pthru; mega_ext_passthru epthru; #endif Scsi_Cmnd *SCpnt; mega_sglist *sgList; mega_64sglist *sg64List; #if 0 struct semaphore ioctl_sem; #endif void *buff_ptr; u32 iDataSize; mega_scb *next; }; /* internal locking by the queue manipulting routines */ #define INTERNAL_LOCK 0 /* external locking by the queue manipulting routines */ #define EXTERNAL_LOCK 1 #define NO_LOCK 2 #define INTR_ENB 0 /* do not disable interrupt while manipulating */ #define INTR_DIS 1 /* disable interrupt while manipulating */ #define NVIRT_CHAN 4 /* # of virtual channels to represent 60 logical drives */ /* Per-controller data */ typedef struct _mega_host_config { u8 numldrv; u32 flag; #ifdef __LP64__ u64 base; #else u32 base; #endif #if LINUX_VERSION_CODE >= KERNEL_VERSION(2,4,0) dma_addr_t dma_handle64, adjdmahandle64; struct pci_dev *dev; #endif mega_scb *qFreeH; mega_scb *qFreeT; spinlock_t lock_free; mega_scb *qPendingH; mega_scb *qPendingT; spinlock_t lock_pend; Scsi_Cmnd *qCompletedH; Scsi_Cmnd *qCompletedT; spinlock_t lock_scsicmd; u32 qFcnt; u32 qPcnt; u32 qCcnt; unsigned long nReads[FC_MAX_LOGICAL_DRIVES]; unsigned long nReadBlocks[FC_MAX_LOGICAL_DRIVES]; unsigned long nWrites[FC_MAX_LOGICAL_DRIVES]; unsigned long nWriteBlocks[FC_MAX_LOGICAL_DRIVES]; unsigned long nInterrupts; /* Host adapter parameters */ u8 fwVer[7]; u8 biosVer[7]; struct Scsi_Host *host; volatile mega_mailbox64 *mbox64; /* ptr to beginning of 64-bit mailbox */ volatile mega_mailbox *mbox; /* ptr to beginning of standard mailbox */ #if LINUX_VERSION_CODE >= KERNEL_VERSION(2,4,0) /* ptr to beginning of standard mailbox */ volatile mega_mailbox64 *mailbox64ptr; #else volatile mega_mailbox64 mailbox64; #endif volatile u8 mega_buffer[2 * 1024L]; volatile megaRaidProductInfo productInfo; u8 max_cmds; mega_scb scbList[MAX_COMMANDS]; #if XENO_KILLED #define PROCBUFSIZE 4096 char procbuf[PROCBUFSIZE]; int procidx; struct proc_dir_entry *controller_proc_dir_entry; struct proc_dir_entry *proc_read, *proc_stat, *proc_status, *proc_mbox; #endif int support_ext_cdb; u8 boot_ldrv_enabled; /* boot from logical drive */ u8 boot_ldrv; /* boot logical drive */ u8 boot_pdrv_enabled; /* boot from physical drive */ u8 boot_pdrv_ch; /* boot physical drive channel */ u8 boot_pdrv_tgt; /* boot physical drive target */ int support_random_del; /* Do we support random deletion of logdrvs */ int read_ldidmap; /* set after logical drive deltion. The logical drive number must be read from the map */ #if XENO_KILLED_DELLOGDRV int quiescent; /* a stage reached when delete logical drive needs to be done. Stop sending requests to the hba till delete operation is completed */ mega_scb *int_qh; /* commands are queued in the internal queue */ mega_scb *int_qt; /* while the hba is quiescent */ int int_qlen; #endif char logdrv_chan[MAX_CHANNEL+NVIRT_CHAN]; /* logical drive are on what channels. */ int mega_ch_class; } mega_host_config; typedef struct _driver_info { i
/*
 *  yosys -- Yosys Open SYnthesis Suite
 *
 *  Copyright (C) 2012  Clifford Wolf <clifford@clifford.at>
 *
 *  Permission to use, copy, modify, and/or distribute this software for any
 *  purpose with or without fee is hereby granted, provided that the above
 *  copyright notice and this permission notice appear in all copies.
 *
 *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 *
 */

#include "blifparse.h"

YOSYS_NAMESPACE_BEGIN

static bool read_next_line(char *&buffer, size_t &buffer_size, int &line_count, std::istream &f)
{
	string strbuf;
	int buffer_len = 0;
	buffer[0] = 0;

	while (1)
	{
		buffer_len += strlen(buffer + buffer_len);
		while (buffer_len > 0 && (buffer[buffer_len-1] == ' ' || buffer[buffer_len-1] == '\t' ||
				buffer[buffer_len-1] == '\r' || buffer[buffer_len-1] == '\n'))
			buffer[--buffer_len] = 0;

		if (buffer_size-buffer_len < 4096) {
			buffer_size *= 2;
			buffer = (char*)realloc(buffer, buffer_size);
		}

		if (buffer_len == 0 || buffer[buffer_len-1] == '\\') {
			if (buffer_len > 0 && buffer[buffer_len-1] == '\\')
				buffer[--buffer_len] = 0;
			line_count++;
			if (!std::getline(f, strbuf))
				return false;
			while (buffer_size-buffer_len < strbuf.size()+1) {
				buffer_size *= 2;
				buffer = (char*)realloc(buffer, buffer_size);
			}
			strcpy(buffer+buffer_len, strbuf.c_str());
		} else
			return true;
	}
}

static std::pair<RTLIL::IdString, int> wideports_split(std::string name)
{
	int pos = -1;

	if (name.empty() || name.back() != ']')
		goto failed;

	for (int i = 0; i+1 < GetSize(name); i++) {
		if (name[i] == '[')
			pos = i;
		else if (name[i] < '0' || name[i] > '9')
			pos = -1;
		else if (i == pos+1 && name[i] == '0' && name[i+1] != ']')
			pos = -1;
	}

	if (pos >= 0)
		return std::pair<RTLIL::IdString, int>("\\" + name.substr(0, pos), atoi(name.c_str() + pos+1)+1);

failed:
	return std::pair<RTLIL::IdString, int>("\\" + name, 0);
}

void parse_blif(RTLIL::Design *design, std::istream &f, std::string dff_name, bool run_clean, bool sop_mode, bool wideports)
{
	RTLIL::Module *module = nullptr;
	RTLIL::Const *lutptr = NULL;
	RTLIL::Cell *sopcell = NULL;
	RTLIL::Cell *lastcell = nullptr;
	RTLIL::State lut_default_state = RTLIL::State::Sx;
	std::string err_reason;
	int blif_maxnum = 0, sopmode = -1;

	auto blif_wire = [&](const std::string &wire_name) -> Wire*
	{
		if (wire_name[0] == '$')
		{
			for (int i = 0; i+1 < GetSize(wire_name); i++)
			{
				if (wire_name[i] != '$')
					continue;

				int len = 0;
				while (i+len+1 < GetSize(wire_name) && '0' <= wire_name[i+len+1] && wire_name[i+len+1] <= '9')
					len++;

				if (len > 0) {
					string num_str = wire_name.substr(i+1, len);
					int num = atoi(num_str.c_str()) & 0x0fffffff;
					blif_maxnum = std::max(blif_maxnum, num);
				}
			}
		}

		IdString wire_id = RTLIL::escape_id(wire_name);
		Wire *wire = module->wire(wire_id);

		if (wire == nullptr)
			wire = module->addWire(wire_id);

		return wire;
	};

	dict<RTLIL::IdString, RTLIL::Const> *obj_attributes = nullptr;
	dict<RTLIL::IdString, RTLIL::Const> *obj_parameters = nullptr;

	dict<RTLIL::IdString, std::pair<int, bool>> wideports_cache;

	size_t buffer_size = 4096;
	char *buffer = (char*)malloc(buffer_size);
	int line_count = 0;

	while (1)
	{
		if (!read_next_line(buffer, buffer_size, line_count, f)) {
			if (module != nullptr)
				goto error;
			free(buffer);
			return;
		}

	continue_without_read:
		if (buffer[0] == '#')
			continue;

		if (buffer[0] == '.')
		{
			if (lutptr) {
				for (auto &bit : lutptr->bits)
					if (bit == RTLIL::State::Sx)
						bit = lut_default_state;
				lutptr = NULL;
				lut_default_state = RTLIL::State::Sx;
			}

			if (sopcell) {
				sopcell = NULL;
				sopmode = -1;
			}

			char *cmd = strtok(buffer, " \t\r\n");

			if (!strcmp(cmd, ".model")) {
				if (module != nullptr)
					goto error;
				module = new RTLIL::Module;
				lastcell = nullptr;
				module->name = RTLIL::escape_id(strtok(NULL, " \t\r\n"));
				obj_attributes = &module->attributes;
				obj_parameters = nullptr;
				if (design->module(module->name))
					log_error("Duplicate definition of module %s in line %d!\n", log_id(module->name), line_count);
				design->add(module);
				continue;
			}

			if (module == nullptr)
				goto error;

			if (!strcmp(cmd, ".end"))
			{
				for (auto &wp : wideports_cache)
				{
					auto name = wp.first;
					int width = wp.second.first;
					bool isinput = wp.second.second;

					RTLIL::Wire *wire = module->addWire(name, width);
					wire->port_input = isinput;
					wire->port_output = !isinput;

					for (int i = 0; i < width; i++) {
						RTLIL::IdString other_name = name.str() + stringf("[%d]", i);
						RTLIL::Wire *other_wire = module->wire(other_name);
						if (other_wire) {
							other_wire->port_input = false;
							other_wire->port_output = false;
							if (isinput)
								module->connect(other_wire, SigSpec(wire, i));
							else
								module->connect(SigSpec(wire, i), other_wire);
						}
					}
				}

				module->fixup_ports();
				wideports_cache.clear();

				if (run_clean)
				{
					Const buffer_lut(vector<RTLIL::State>({State::S0, State::S1}));
					vector<Cell*> remove_cells;

					for (auto cell : module->cells())
						if (cell->type == "$lut" && cell->getParam("\\LUT") == buffer_lut) {
							module->connect(cell->getPort("\\Y"), cell->getPort("\\A"));
							remove_cells.push_back(cell);
						}

					for (auto cell : remove_cells)
						module->remove(cell);

					Wire *true_wire = module->wire("$true");
					Wire *false_wire = module->wire("$false");
					Wire *undef_wire = module->wire("$undef");

					if (true_wire != nullptr)
						module->rename(true_wire, stringf("$true$%d", ++blif_maxnum));

					if (false_wire != nullptr)
						module->rename(false_wire, stringf("$false$%d", ++blif_maxnum));

					if (undef_wire != nullptr)
						module->rename(undef_wire, stringf("$undef$%d", ++blif_maxnum));

					autoidx = std::max(autoidx, blif_maxnum+1);
					blif_maxnum = 0;
				}

				module = nullptr;
				lastcell = nullptr;
				obj_attributes = nullptr;
				obj_parameters = nullptr;
				continue;
			}

			if (!strcmp(cmd, ".inputs") || !strcmp(cmd, ".outputs"))
			{
				char *p;
				while ((p = strtok(NULL, " \t\r\n")) != NULL)
				{
					RTLIL::IdString wire_name(stringf("\\%s", p));
					RTLIL::Wire *wire = module->wire(wire_name);
					if (wire == nullptr)
						wire = module->addWire(wire_name);
					if (!strcmp(cmd, ".inputs"))
						wire->port_input = true;
					else
						wire->port_output = true;

					if (wideports) {
						std::pair<RTLIL::IdString, int> wp = wideports_split(p);
						if (wp.second > 0) {
							wideports_cache[wp.first].first = std::max(wideports_cache[wp.first].first, wp.second);
							wideports_cache[wp.first].second = !strcmp(cmd, ".inputs");
						}
					}
				}
				obj_attributes = nullptr;
				obj_parameters = nullptr;
				continue;
			}

			if (!strcmp(cmd, ".cname"))
			{
				char *p = strtok(NULL, " \t\r\n");
				if (p == NULL)
					goto error;

				if(lastcell == nullptr || module == nullptr)
				{
					err_reason = stringf("No primitive object to attach .cname %s.", p);
					goto error_with_reason;
				}

				module->rename(lastcell, p);
				continue;
			}

			if (!strcmp(cmd, ".attr") || !strcmp(cmd, ".param")) {
				char *n = strtok(NULL, " \t\r\n");
				char *v = strtok(NULL, "\r\n");
				IdString id_n = RTLIL::escape_id(n);
				Const const_v;
				if (v[0] == '"') {
					std::string str(v+1);
					if (str.back() == '"')
						str.resize(str.size()-1);
					const_v = Const(str);
				} else {
					int n = strlen(v);
					const_v.bits.resize(n);
					for (int i = 0; i < n; i++)
						const_v.bits[i] = v[n-i-1] != '0' ? State::S1 : State::S0;
				}
				if (!strcmp(cmd, ".attr")) {
					if (obj_attributes == nullptr) {
						err_reason = stringf("No object to attach .attr too.");
						goto error_with_reason;
					}
					(*obj_attributes)[id_n] = const_v;
				} else {
					if (obj_parameters == nullptr) {
						err_reason = stringf("No object to attach .param too.");
						goto error_with_reason;
					}
					(*obj_parameters)[id_n] = const_v;
				}
				continue;
			}

			if (!strcmp(cmd, ".latch"))
			{
				char *d = strtok(NULL, " \t\r\n");
				char *q = strtok(NULL, " \t\r\n");
				char *edge = strtok(NULL, " \t\r\n");
				char *clock = strtok(NULL, " \t\r\n");
				char *init = strtok(NULL, " \t\r\n");
				RTLIL::Cell *cell = nullptr;

				if (clock == nullptr && edge != nullptr) {
					init = edge;
					edge = nullptr;
				}

				if (init != nullptr && (init[0] == '0' || init[0] == '1'))
					blif_wire(q)->attributes["\\init"] = Const(init[0] == '1' ? 1 : 0, 1);

				if (clock == nullptr)
					goto no_latch_clock;

				if (!strcmp(edge, "re"))
					cell = module->addDff(NEW_ID, blif_wire(clock), blif_wire(d), blif_wire(q));
				else if (!strcmp(edge, "fe"))
					cell = module->addDff(NEW_ID, blif_wire(clock), blif_wire(d), blif_wire(q), false);
				else if (!strcmp(edge, "ah"))
					cell = module->addDlatch(NEW_ID, blif_wire(clock), blif_wire(d), blif_wire(q));
				else if (!strcmp(edge, "al"))
					cell = module->addDlatch(NEW_ID, blif_wire(clock), blif_wire(d), blif_wire(q), false);
				else {
			no_latch_clock:
					if (dff_name.empty()) {
						cell = module->addFf(NEW_ID, blif_wire(d), blif_wire(q));
					} else {
						cell = module->addCell(NEW_ID, dff_name);
						cell->setPort("\\D", blif_wire(d));
						cell->setPort("\\Q", blif_wire(q));
					}
				}

				lastcell = cell;
				obj_attributes = &cell->attributes;
				obj_parameters = &cell->parameters;
				continue;
			}

			if (!strcmp(cmd, ".gate") || !strcmp(cmd, ".subckt"))
			{
				char *p = strtok(NULL, " \t\r\n");
				if (p == NULL)
					goto error;

				IdString celltype = RTLIL::escape_id(p);
				RTLIL::Cell *cell = module->addCell(NEW_ID, celltype);

				dict<RTLIL::IdString, dict<int, SigBit>> cell_wideports_cache;

				while ((p = strtok(NULL, " \t\r\n")) != NULL)
				{
					char *q = strchr(p, '=');
					if (q == NULL || !q[0])
						goto error;
					*(q++) = 0;

					if (wideports) {
						std::pair<RTLIL::IdString, int> wp = wideports_split(p);
						if (wp.second > 0)
							cell_wideports_cache[wp.first][wp.second-1] = blif_wire(q);
						else
							cell->setPort(RTLIL::escape_id(p), *q ? blif_wire(q) : SigSpec());
					} else {
						cell->setPort(RTLIL::escape_id(p), *q ? blif_wire(q) : SigSpec());
					}
				}

				for (auto &it : cell_wideports_cache)
				{
					int width = 0;
					for (auto &b : it.second)
						width = std::max(width, b.first + 1);

					SigSpec sig;

					for (int i = 0; i < width; i++) {
						if (it.second.count(i))
							sig.append(it.second.at(i));
						else
							sig.append(module->addWire(NEW_ID));
					}

					cell->setPort(it.first, sig);
				}

				lastcell = cell;
				obj_attributes = &cell->attributes;
				obj_parameters = &cell->parameters;
				continue;
			}

			obj_attributes = nullptr;
			obj_parameters = nullptr;

			if (!strcmp(cmd, ".barbuf") || !strcmp(cmd, ".conn"))
			{
				char *p = strtok(NULL, " \t\r\n");
				if (p == NULL)
					goto error;

				char *q = strtok(NULL, " \t\r\n");
				if (q == NULL)
					goto error;

				module->connect(blif_wire(q), blif_wire(p));
				continue;
			}

			if (!strcmp(cmd, ".names"))
			{
				char *p;
				RTLIL::SigSpec input_sig, output_sig;
				while ((p = strtok(NULL, " \t\r\n")) != NULL)
					input_sig.append(blif_wire(p));
				output_sig = input_sig.extract(input_sig.size()-1, 1);
				input_sig = input_sig.extract(0, input_sig.size()-1);

				if (input_sig.size() == 0)
				{
					RTLIL::State state = RTLIL::State::Sa;
					while (1) {
						if (!read_next_line(buffer, buffer_size, line_count, f))
							goto error;
						for (int i = 0; buffer[i]; i++) {
							if (buffer[i] == ' ' || buffer[i] == '\t')
								continue;
							if (i == 0 && buffer[i] == '.')
								goto finished_parsing_constval;
							if (buffer[i] == '0') {
								if (state == RTLIL::State::S1)
									goto error;
								state = RTLIL::State::S0;
								continue;
							}
							if (buffer[i] == '1') {
								if (state == RTLIL::State::S0)
									goto error;
								state = RTLIL::State::S1;
								continue;
							}
							goto error;
						}
					}

				finished_parsing_constval:
					if (state == RTLIL::State::Sa)
						state = RTLIL::State::S0;
					if (output_sig.as_wire()->name == "$undef")
						state = RTLIL::State::Sx;
					module->connect(RTLIL::SigSig(output_sig, state));
					goto continue_without_read;
				}

				if (sop_mode)
				{
					sopcell = module->addCell(NEW_ID, "$sop");
					sopcell->parameters["\\WIDTH"] = RTLIL::Const(input_sig.size());
					sopcell->parameters["\\DEPTH"] = 0;
					sopcell->parameters["\\TABLE"] = RTLIL::Const();
					sopcell->setPort("\\A", input_sig);
					sopcell->setPort("\\Y", output_sig);
					sopmode = -1;
					lastcell = sopcell;
				}
				else
				{
					RTLIL::Cell *cell = module->addCell(NEW_ID, "$lut");
					cell->parameters["\\WIDTH"] = RTLIL::Const(input_sig.size());
					cell->parameters["\\LUT"] = RTLIL::Const(RTLIL::State::Sx, 1 << input_sig.size());
					cell->setPort("\\A", input_sig);
					cell->setPort("\\Y", output_sig);
					lutptr = &cell->parameters.at("\\LUT");
					lut_default_state = RTLIL::State::Sx;
					lastcell = cell;
				}
				continue;
			}

			goto error;
		}

		if (lutptr == NULL && sopcell == NULL)
			goto error;

		char *input = strtok(buffer, " \t\r\n");
		char *output = strtok(NULL, " \t\r\n");

		if (input == NULL || output == NULL || (strcmp(output, "0") && strcmp(output, "1")))
			goto error;

		int input_len = strlen(input);

		if (sopcell)
		{
			log_assert(sopcell->parameters["\\WIDTH"].as_int() == input_len);
			sopcell->parameters["\\DEPTH"] = sopcell->parameters["\\DEPTH"].as_int() + 1;

			for (int i = 0; i < input_len; i++)
				switch (input[i]) {
					case '0':
						sopcell->parameters["\\TABLE"].bits.push_back(State::S1);
						sopcell->parameters["\\TABLE"].bits.push_back(State::S0);
						break;
					case '1':
						sopcell->parameters["\\TABLE"].bits.push_back(State::S0);
						sopcell->parameters["\\TABLE"].bits.push_back(State::S1);
						break;
					default:
						sopcell->parameters["\\TABLE"].bits.push_back(State::S0);
						sopcell->parameters["\\TABLE"].bits.push_back(State::S0);
						break;
				}

			if (sopmode == -1) {
				sopmode = (*output == '1');
				if (!sopmode) {
					SigSpec outnet = sopcell->getPort("\\Y");
					SigSpec tempnet = module->addWire(NEW_ID);
					module->addNotGate(NEW_ID, tempnet, outnet);
					sopcell->setPort("\\Y", tempnet);
				}
			} else
				log_assert(sopmode == (*output == '1'));
		}

		if (lutptr)
		{
			if (input_len > 12)
				goto error;

			for (int i = 0; i < (1 << input_len); i++) {
				for (int j = 0; j < input_len; j++) {
					char c1 = input[j];
					if (c1 != '-') {
						char c2 = (i & (1 << j)) != 0 ? '1' : '0';
						if (c1 != c2)
							goto try_next_value;
					}
				}
				lutptr->bits.at(i) = !strcmp(output, "0") ? RTLIL::State::S0 : RTLIL::State::S1;
			try_next_value:;
			}

			lut_default_state = !strcmp(output, "0") ? RTLIL::State::S1 : RTLIL::State::S0;
		}
	}

	return;

error:
	log_error("Syntax error in line %d!\n", line_count);
error_with_reason:
	log_error("Syntax error in line %d: %s\n", line_count, err_reason.c_str());
}

struct BlifFrontend : public Frontend {
	BlifFrontend() : Frontend("blif", "read BLIF file") { }
	void help() YS_OVERRIDE
	{
		//   |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
		log("\n");
		log("    read_blif [options] [filename]\n");
		log("\n");
		log("Load modules from a BLIF file into the current design.\n");
		log("\n");
		log("    -sop\n");
		log("        Create $sop cells instead of $lut cells\n");
		log("\n");
		log("    -wideports\n");
		log("        Merge ports that match the pattern 'name[int]' into a single\n");
		log("        multi-bit port 'name'.\n");
		log("\n");
	}
	void execute(std::istream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
	{
		bool sop_mode = false;
		bool wideports = false;

		log_header(design, "Executing BLIF frontend.\n");

		size_t argidx;
		for (argidx = 1; argidx < args.size(); argidx++) {
			std::string arg = args[argidx];
			if (arg == "-sop") {
				sop_mode = true;
				continue;
			}
			if (arg == "-wideports") {
				wideports = true;
				continue;
			}
			break;
		}
		extra_args(f, filename, args, argidx);

		parse_blif(design, *f, "", true, sop_mode, wideports);
	}
} BlifFrontend;

YOSYS_NAMESPACE_END