| | | 1 | | //======================================================================= |
| | | 2 | | // Signed832.cs |
| | | 3 | | //======================================================================= |
| | | 4 | | // MIT License, Copyright (c) 2024-present David Oravsky (mrdav30) |
| | | 5 | | // See LICENSE file in the project root for full license information. |
| | | 6 | | //======================================================================= |
| | | 7 | | |
| | | 8 | | using System.Runtime.CompilerServices; |
| | | 9 | | |
| | | 10 | | namespace FixedMathSharp; |
| | | 11 | | |
| | | 12 | | /// <summary> |
| | | 13 | | /// A signed thirteen-word value used by full-domain conic discriminants. |
| | | 14 | | /// </summary> |
| | | 15 | | internal readonly struct Signed832 |
| | | 16 | | { |
| | | 17 | | internal readonly ulong Word12; |
| | | 18 | | internal readonly ulong Word11; |
| | | 19 | | internal readonly ulong Word10; |
| | | 20 | | internal readonly ulong Word9; |
| | | 21 | | internal readonly ulong Word8; |
| | | 22 | | internal readonly ulong Word7; |
| | | 23 | | internal readonly ulong Word6; |
| | | 24 | | internal readonly ulong Word5; |
| | | 25 | | internal readonly ulong Word4; |
| | | 26 | | internal readonly ulong Word3; |
| | | 27 | | internal readonly ulong Word2; |
| | | 28 | | internal readonly ulong Word1; |
| | | 29 | | internal readonly ulong Word0; |
| | | 30 | | |
| | | 31 | | internal Signed832( |
| | | 32 | | ulong word12, |
| | | 33 | | ulong word11, |
| | | 34 | | ulong word10, |
| | | 35 | | ulong word9, |
| | | 36 | | ulong word8, |
| | | 37 | | ulong word7, |
| | | 38 | | ulong word6, |
| | | 39 | | ulong word5, |
| | | 40 | | ulong word4, |
| | | 41 | | ulong word3, |
| | | 42 | | ulong word2, |
| | | 43 | | ulong word1, |
| | | 44 | | ulong word0) |
| | | 45 | | { |
| | 7573658 | 46 | | Word12 = word12; |
| | 7573658 | 47 | | Word11 = word11; |
| | 7573658 | 48 | | Word10 = word10; |
| | 7573658 | 49 | | Word9 = word9; |
| | 7573658 | 50 | | Word8 = word8; |
| | 7573658 | 51 | | Word7 = word7; |
| | 7573658 | 52 | | Word6 = word6; |
| | 7573658 | 53 | | Word5 = word5; |
| | 7573658 | 54 | | Word4 = word4; |
| | 7573658 | 55 | | Word3 = word3; |
| | 7573658 | 56 | | Word2 = word2; |
| | 7573658 | 57 | | Word1 = word1; |
| | 7573658 | 58 | | Word0 = word0; |
| | 7573658 | 59 | | } |
| | | 60 | | |
| | | 61 | | internal bool IsZero => |
| | 6433105 | 62 | | (Word12 | Word11 | Word10 | Word9 | Word8 | Word7 | Word6 | |
| | 6433105 | 63 | | Word5 | Word4 | Word3 | Word2 | Word1 | Word0) == 0UL; |
| | | 64 | | |
| | 5570218 | 65 | | internal int Sign => IsZero ? 0 : (Word12 & (1UL << 63)) != 0UL ? -1 : 1; |
| | | 66 | | |
| | | 67 | | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
| | | 68 | | internal static Signed832 ExtendValue(Signed192 value) => |
| | 111488 | 69 | | ExtendValue(Signed576.ExtendValue(Signed320.ExtendValue(value))); |
| | | 70 | | |
| | | 71 | | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
| | | 72 | | internal static Signed832 ExtendValue(Signed320 value) => |
| | 29275 | 73 | | ExtendValue(Signed576.ExtendValue(value)); |
| | | 74 | | |
| | | 75 | | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
| | | 76 | | internal static Signed832 ExtendValue(Signed576 value) |
| | | 77 | | { |
| | 940432 | 78 | | ulong extension = unchecked((ulong)((long)value.Word8 >> 63)); |
| | 940432 | 79 | | return new Signed832( |
| | 940432 | 80 | | extension, |
| | 940432 | 81 | | extension, |
| | 940432 | 82 | | extension, |
| | 940432 | 83 | | extension, |
| | 940432 | 84 | | value.Word8, |
| | 940432 | 85 | | value.Word7, |
| | 940432 | 86 | | value.Word6, |
| | 940432 | 87 | | value.Word5, |
| | 940432 | 88 | | value.Word4, |
| | 940432 | 89 | | value.Word3, |
| | 940432 | 90 | | value.Word2, |
| | 940432 | 91 | | value.Word1, |
| | 940432 | 92 | | value.Word0); |
| | | 93 | | } |
| | | 94 | | |
| | | 95 | | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
| | | 96 | | internal static Signed832 ExtendValue(Signed704 value) |
| | | 97 | | { |
| | 17750 | 98 | | ulong extension = unchecked((ulong)((long)value.Word10 >> 63)); |
| | 17750 | 99 | | return new Signed832( |
| | 17750 | 100 | | extension, |
| | 17750 | 101 | | extension, |
| | 17750 | 102 | | value.Word10, |
| | 17750 | 103 | | value.Word9, |
| | 17750 | 104 | | value.Word8, |
| | 17750 | 105 | | value.Word7, |
| | 17750 | 106 | | value.Word6, |
| | 17750 | 107 | | value.Word5, |
| | 17750 | 108 | | value.Word4, |
| | 17750 | 109 | | value.Word3, |
| | 17750 | 110 | | value.Word2, |
| | 17750 | 111 | | value.Word1, |
| | 17750 | 112 | | value.Word0); |
| | | 113 | | } |
| | | 114 | | |
| | | 115 | | internal bool Equals(Signed832 other) => |
| | 29165 | 116 | | ((Word12 ^ other.Word12) |
| | 29165 | 117 | | | (Word11 ^ other.Word11) |
| | 29165 | 118 | | | (Word10 ^ other.Word10) |
| | 29165 | 119 | | | (Word9 ^ other.Word9) |
| | 29165 | 120 | | | (Word8 ^ other.Word8) |
| | 29165 | 121 | | | (Word7 ^ other.Word7) |
| | 29165 | 122 | | | (Word6 ^ other.Word6) |
| | 29165 | 123 | | | (Word5 ^ other.Word5) |
| | 29165 | 124 | | | (Word4 ^ other.Word4) |
| | 29165 | 125 | | | (Word3 ^ other.Word3) |
| | 29165 | 126 | | | (Word2 ^ other.Word2) |
| | 29165 | 127 | | | (Word1 ^ other.Word1) |
| | 29165 | 128 | | | (Word0 ^ other.Word0)) == 0UL; |
| | | 129 | | } |