A formal description of SYSTEM/360

~~~~~~~~~~rTable 5 Navigation matrix and reference tableNauigalion mlriz NOMm-I 1 2 3 4 56 7 8 910 Inda naic-I oLI;,,lo"-"--0undefined operation codesL 0 1 i410020-- 1 AAddnl 0 1 kO7220021 2 AD Add Normalized (Long)n2 0 0 kO8220021 3 ADR Add Normalized (Long)nr 0 1 kO4200011 4 AE Add Normalized (Short)n2 0 0 kO5200011 5 AER Add Normalized (Short)I 0 1 i420021-- 6 AH Add HalfwordI 0 1 i510002-- 7 AL Add LogicalI 0 0 i500002-- 8 ALR Add Logicaln, 0 3 i5200203- 9 AP-Add DecimalI 0 0 i400020--n2 0 1 kO4210011n2 0 0 kO5210011na 0 1 k07230021nl 0 0 k082300211 0 1 b1011-----I 0 0 h1001-----I 0 1 bll10-----1 0 0 hllOO-----I 0 1 bSll-----I 0 0 Mol-----1 0 2 b170------I 0 2 b171------1 0 1 i4111-0--n2 0 1 k0722200-nz 0 0 k0822200-n, 0 1 kO420200-nz 0 0 k0520200-1 0 1 i4211-1--1 0 1 fOO""--I 0 3 f14O------I 0 4 f30"""1 0 0 f10------*, 0 3 j5201102-1 0 0 i4011-0--1 0 1 j3-1-0-1-1 0 1 jo""00-I 0 1 iO133-01-mr 0 1 kO73-1122m* 0 0 kO83-1122mr 0 1 kO43-1112 -Im,0 0 k053-1112I 1 4 s19--""-m, 0 3 j5103414-I 0 0 iOO33-01-m, 0 3 h001-----m,[0 3 bolo-----O 1 b O _ _ _ _ _ _ _mr 0 0 k090--120ml 0 0 k060--1101 1 4 a24"""-1 O O d O- _ _ _ _ _ _mr o o k091--02ame 0 0 k061--0101 0 0 dg-------1 0 1 i0122-00-m2 0 1 kO74-0122m2 0 0 k084-0122ml 0 1 k044-0122ml 0 0 k054-0121-I-I10111213141516171819-20212223242526272829-30313233343536373839-40414243444546474849__50515253545556575859-60616263646566676869-70717273747576777879__ARAUAUllAWAWRBALBALRBCBCRBCTBCTRBXHBXLECCDCDRCECERCHCL___CLCCLICLRCPCRCVBCVDDDDDDRDEDERdiagnoseDPDREDEDMKEXHDRHERHI0ICISKLLALCDRLCERLCRLDLDRLELERLHLMLNDRLNERLNRLPDRLPERLPRLPSWLRLTDRLTERLTRMMDMDRMEMERAddAdd Unnormslired (Short)Add Unnormalired (Short)Add Unnormalired (Long)Add Unnormalized (Long)Branch and LinkBranch snd LinkBranch on ConditionBrsneh on ConditionBranch on CountBranoh on CountBranch on Index HighBranch on Index Low or EqualCompareCompare (Long)Compare (Long)Compare (Short)Compare (Short)Compare HalfwordCompare LogicalCompare LogicalCompare LogicalCompare LogicalCompare DecimalCompareConvert to BinaryConvert to DecimalDivideDivide (Long)Divide (Long)Divide (Short)Divide (Short)DiagnoseDivide DecimalDivideEditEdit and MarkExecuteHalve (Long)Halve (Short)Halt 110Insert CharacterInsert Storage KeyLoadLoad AddressLoad Complement (Long)Load Complemcnt (Short)Load ComplementLoad (Long)Load (Long)Load (Short)Load (Short)Load HalfwordLoad MultipleLoad Negative (Long)Load Negative (Short)Load NegativeLoad Positive (Long)Load Positive (Short)Load PositiveLoad PSWLoadLoad and Test (Long)Load and Test (Short)Load and TestMultiplyMultiply (Long)Multiply (Long)Multiply (Short)Multiply (Short)- 1 -5.46A2A7.43A4A5E1EFA-1A7ESE6E2E4505470746-06868759692979394955-D59515F9194F4E5D6D2D-7D3D83FD1DDEDF442434-9E430958412333136828-78384898213111203010-82182232125c6C2C7C3C41 41 4( 4$ 444444: 4+ 41 41 4333333333333__11k143t 3141 34 3411S3SSS T SSST S CT SS T T T CT Ss T SSSssS T T TS T T 1'SSss sSS~ _ _ _ _SssSSTs sT SSSS T SSSS T SSST ST SSSSSSSSS I:sSSSSSSTISCCC56A. D. FALKOFF, K. E. IVERSON, AND E. H. SUSSENGUTH