| | | 1 | | //======================================================================= |
| | | 2 | | // Signed576.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 nine-word value used by exact finite-axis geometry evaluations. |
| | | 14 | | /// </summary> |
| | | 15 | | internal readonly struct Signed576 |
| | | 16 | | { |
| | 1 | 17 | | public static readonly Signed576 One = ExtendValue(Signed320.One); |
| | | 18 | | |
| | | 19 | | internal readonly ulong Word8; |
| | | 20 | | internal readonly ulong Word7; |
| | | 21 | | internal readonly ulong Word6; |
| | | 22 | | internal readonly ulong Word5; |
| | | 23 | | internal readonly ulong Word4; |
| | | 24 | | internal readonly ulong Word3; |
| | | 25 | | internal readonly ulong Word2; |
| | | 26 | | internal readonly ulong Word1; |
| | | 27 | | internal readonly ulong Word0; |
| | | 28 | | |
| | | 29 | | internal Signed576( |
| | | 30 | | ulong word8, |
| | | 31 | | ulong word7, |
| | | 32 | | ulong word6, |
| | | 33 | | ulong word5, |
| | | 34 | | ulong word4, |
| | | 35 | | ulong word3, |
| | | 36 | | ulong word2, |
| | | 37 | | ulong word1, |
| | | 38 | | ulong word0) |
| | | 39 | | { |
| | 26604996 | 40 | | Word8 = word8; |
| | 26604996 | 41 | | Word7 = word7; |
| | 26604996 | 42 | | Word6 = word6; |
| | 26604996 | 43 | | Word5 = word5; |
| | 26604996 | 44 | | Word4 = word4; |
| | 26604996 | 45 | | Word3 = word3; |
| | 26604996 | 46 | | Word2 = word2; |
| | 26604996 | 47 | | Word1 = word1; |
| | 26604996 | 48 | | Word0 = word0; |
| | 26604996 | 49 | | } |
| | | 50 | | |
| | | 51 | | internal bool IsZero => |
| | 28445979 | 52 | | (Word8 | Word7 | Word6 | Word5 | Word4 | Word3 | Word2 | Word1 | Word0) == 0UL; |
| | | 53 | | |
| | 20393705 | 54 | | internal int Sign => IsZero ? 0 : (Word8 & (1UL << 63)) != 0UL ? -1 : 1; |
| | | 55 | | |
| | | 56 | | [MethodImpl(MethodImplOptions.AggressiveInlining)] |
| | | 57 | | internal static Signed576 ExtendValue(Signed320 value) |
| | | 58 | | { |
| | 16260481 | 59 | | ulong extension = unchecked((ulong)((long)value.Word4 >> 63)); |
| | 16260481 | 60 | | return new Signed576( |
| | 16260481 | 61 | | extension, extension, extension, extension, |
| | 16260481 | 62 | | value.Word4, value.Word3, value.Word2, value.Word1, value.Word0); |
| | | 63 | | } |
| | | 64 | | |
| | 453036 | 65 | | internal static Signed576 ExtendValue(Signed192 value) => ExtendValue(Signed320.ExtendValue(value)); |
| | | 66 | | |
| | | 67 | | internal static Signed576 NarrowValue(Signed704 value) => |
| | 76991 | 68 | | new(value.Word8, |
| | 76991 | 69 | | value.Word7, |
| | 76991 | 70 | | value.Word6, |
| | 76991 | 71 | | value.Word5, |
| | 76991 | 72 | | value.Word4, |
| | 76991 | 73 | | value.Word3, |
| | 76991 | 74 | | value.Word2, |
| | 76991 | 75 | | value.Word1, |
| | 76991 | 76 | | value.Word0); |
| | | 77 | | |
| | | 78 | | /// <summary>Narrows a value whose caller has proved a signed nine-word result.</summary> |
| | | 79 | | internal static Signed576 NarrowValue(Signed832 value) => |
| | 412566 | 80 | | new(value.Word8, value.Word7, value.Word6, value.Word5, value.Word4, |
| | 412566 | 81 | | value.Word3, value.Word2, value.Word1, value.Word0); |
| | | 82 | | |
| | | 83 | | internal bool Equals(Signed576 other) => |
| | 30981 | 84 | | ((Word8 ^ other.Word8) |
| | 30981 | 85 | | | (Word7 ^ other.Word7) |
| | 30981 | 86 | | | (Word6 ^ other.Word6) |
| | 30981 | 87 | | | (Word5 ^ other.Word5) |
| | 30981 | 88 | | | (Word4 ^ other.Word4) |
| | 30981 | 89 | | | (Word3 ^ other.Word3) |
| | 30981 | 90 | | | (Word2 ^ other.Word2) |
| | 30981 | 91 | | | (Word1 ^ other.Word1) |
| | 30981 | 92 | | | (Word0 ^ other.Word0)) == 0UL; |
| | | 93 | | } |