2020-05-21 |
Luke Kenneth Casso... | update comments |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | whitespace cleanup |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | whitespace cleanup |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | remove input_cr, output_cr and is_32bit from CompCROpSubset |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | add read_cr_whole and write_cr_whole to CompCROpSubset |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | add first cut at cr_input_record.py |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | move Logical over to use CompLogicalOpSubset |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Partial attempt at proving the new cr unit. |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | argh syntax error |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | update and comment CR Input/Output Data specs |
tree | commitdiff |
2020-05-21 |
Michael Nolan | All CR tests now working |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | add CR out decoder debug |
tree | commitdiff |
2020-05-21 |
Michael Nolan | OP_CROP now working |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Begin porting cr pipeline to new interface |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Add third cr register select field to decoder |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | comment CompALUOpSubset, data_len is actually used... |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | comment DecodeCRIn and DecodeCROut, gratuitously |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | document subkls in CompUnitRecord |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | move CompLDSTOpSubset to fu.ldst.ldst_input_record |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Fix broken unit tests in test_caller |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Add cr output decoder to power_decoder2.py |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Add CR In decoder to power_decoder2.py |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Convert CR out to enum in power_decoder |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Convert CR In field to enum instead of single bit |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | add zero_a flag to CompALUOpSubset |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | add zero_a flag to Decode2ExecuteType |
tree | commitdiff |
2020-05-21 |
Michael Nolan | Fix broken test_adde/add overflow handling to caller.py |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | whitespace/shuffle |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | move common functionality between PipeSpecs to soc... |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | move FU IntegerData to directory below |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | branch output spec nia not cia |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | add dedicated TrapPipeSpec |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | create and use ShiftRotPipeSpec |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | convert to individual PipeSpecs for each pipeline |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | add regspec to ALUPipeSpec |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | use branch-specific data structures, add "regspecs... |
tree | commitdiff |
2020-05-21 |
Luke Kenneth Casso... | code-morph LDSTCompUnit to use RecordObject structure... |
tree | commitdiff |
2020-05-21 |
Cesar Strauss | Fixed typo and left-over from refactoring |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add proof for OP_MCRF |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add proof for OP_MFCR |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Make test for bpermd exercise the module a bit more |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Revert "*technically* don't use a full crossbar" |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | add link to bugreport in CR pipe formal test |
tree | commitdiff |
2020-05-20 |
Michael Nolan | *technically* don't use a full crossbar |
tree | commitdiff |
2020-05-20 |
colepoirier | Added OP_BPERMD to fu/logical pipeline, with test |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Revert "assign index to temporary" |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add proof for OP_CROP |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | go back to not using LUT in CR pipe |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | assign index to temporary |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | store CR lut result in temporary |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Begin adding CR proof |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Fix small bug in op_crop |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | add register specs to pipeline in/out so that they... |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | damn. assigning to temporary signals may turn out... |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | ehn? moo? CR test_pipe_caller locks up 100% CPU on... |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | correct XER variable names |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | correct import on shift_rot maskgen |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Use overflow definition from microwatt |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add overflow handling and proof |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Fix bug introduced in rebase |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | fixup XER names in shift_rot pipe tests |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | formal proof rename on XER flags |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | update to new names for XER fields |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | normalise XER regs carry/32 and SO |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add proof for OP_CNTZ |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | add cross-reference to bugtracker and wiki |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add test for edge cases that were previously buggy |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Delete assume left over from testing |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add proof for OP_PRTY |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Formally verify OP_POPCNT |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Fix bug with popcntd |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | convert CompUnit to use CompUnitRecord |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | whitespace, rename ilang to alu_main_stage.il |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | i seem to like short names that happen to make things... |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add proof for OP_CMP and OP_CMPEQB |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add proof for OP_EXTS |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Add 32 bit carry handling to alu |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | output ilang for ALU to unique file |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | use nmutil exts helper in ALU OP_EXTS |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | use nmutil exts helper |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | fix imports in fu matrix tests |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | use nmutil exts helper |
tree | commitdiff |
2020-05-20 |
Michael Nolan | Fix broken test_caller.py |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | munge / simplify code |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | minor code-munge, use shorter names |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | convert shift_rot to use XER Data |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | convert Logical to use new XER use of Data() |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | convert alu output to use Data for XER and CR0 |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | whoops changed name of ALUInputData to LogicalInputData |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | fix a series of random imports |
tree | commitdiff |
2020-05-20 |
Luke Kenneth Casso... | add DIV and MUL to POWER Function enum |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | output ilang to branch_pipeline.il for branch |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | use field AA directly |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | add OP_RFID to enums |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | remove SPR3 from Branch Data, rename lr and spr to... |
tree | commitdiff |
2020-05-19 |
colepoirier | Renamed bperm files in fu/logical and fu/logical formal... |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | rename module, remove extraneous code and imports |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | hmmm, branch sets nia to Data as well and sets nia... |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | whitespace |
tree | commitdiff |
2020-05-19 |
Luke Kenneth Casso... | use Data on SPRs in Trap InputData just like in BranchO... |
tree | commitdiff |
next |