X86 Lea + BitTracker Optimizations

Source/Data/IR-Optimizations-BitValue.json

@@ -43,6 +43,17 @@
 			"Variations": "No",
 			"Log": "No"
 		},
+		{
+			"Type": "BitValue",
+			"Name": "DivSigned##",
+			"SubName": "ButNotSigned",
+			"Expression": "IR.DivSigned## a b",
+			"Filter": "IsBitValueSignBitCleared##(a) && IsBitValueSignBitCleared##(b)",
+			"Result": "(IR.DivUnsigned## a b)",
+			"Priority": "20",
+			"Variations": "No",
+			"Log": "No"
+		},
 		{
 			"Type": "BitValue",
 			"Name": "RemSigned##",
@@ -65,7 +76,6 @@
 			"Variations": "No",
 			"Log": "No"
 		},
-
 		{
 			"Type": "BitValue",
 			"Name": "Compare##x32Equal",
@@ -98,7 +108,6 @@
 				"IR.Compare64x64"
 			]
 		},
-
 		{
 			"Type": "BitValue",
 			"Name": "Compare##x32SignedLess",
@@ -162,6 +171,18 @@
 				"IR.Compare64x32",
 				"IR.Compare64x64"
 			]
+		},
+		{
+			"Type": "BitValue",
+			"Name": "AddCarryOut##",
+			"SubName": "ButNotSigned",
+			"Expression": "IR.AddCarryOut## a b",
+			"Filter": "IsBitValueSignBitCleared##(a) && IsBitValueSignBitCleared##(b)",
+			"Result": "(IR.Add## a b)",
+			"Result2": "(IR.Move## [To32(0)])",
+			"Priority": "20",
+			"Variations": "No",
+			"Log": "Yes"
 		}
 	]
 }

Source/Data/IR-Optimizations-Simplification.json

@@ -134,15 +134,15 @@
 			"SubName": "FromShiftedMore32",
 			"Expression": "IR.GetHigh32 (IR.ShiftRight64 a b)",
 			"Filter": "IsResolvedConstant(b) && IsGreaterOrEqual(And32(To32(b),63),32)",
-			"Result": "(IR.Move32 0)"
+			"Result": "(IR.Move32 [To32(0)])"
 		},
 		{
 			"Type": "Simplification",
 			"Name": "GetLow32",
 			"SubName": "FromShiftedMore32",
 			"Expression": "IR.GetLow32 (IR.ShiftLeft64 a b)",
 			"Filter": "IsResolvedConstant(b) && IsGreaterOrEqual(And32(To32(b),63),32)",
-			"Result": "(IR.Move32 0)"
+			"Result": "(IR.Move32 [To32(0)])"
 		},
 		{
 			"Type": "Simplification",
@@ -393,7 +393,7 @@
 			"SubName": "PassThru",
 			"Expression": "IR.Compare32x## {!=} (IR.And## a 1) 0)",
 			"Filter": "",
-			"Result": "(IR.And## a 1)",
+			"Result": "(IR.And## a [To##(1)])",
 			"Variations": "Yes"
 		},
 		{
@@ -402,7 +402,7 @@
 			"SubName": "PassThru",
 			"Expression": "IR.Compare64x## {!=} (IR.And## a 1) 0)",
 			"Filter": "",
-			"Result": "(IR.And## a 1)",
+			"Result": "(IR.And## a [To##(1)])",
 			"Variations": "Yes"
 		},
 		{
@@ -429,7 +429,7 @@
 			"SubName": "PassThru2",
 			"Expression": "IR.Compare32x## {==} (IR.And## a 1) 1)",
 			"Filter": "",
-			"Result": "(IR.And## a 1)",
+			"Result": "(IR.And## a [To##(1)])",
 			"Variations": "Yes"
 		},
 		{
@@ -438,7 +438,7 @@
 			"SubName": "PassThru2",
 			"Expression": "IR.Compare64x## {==} (IR.And## a 1) 1)",
 			"Filter": "",
-			"Result": "(IR.And## a 1)",
+			"Result": "(IR.And## a [To##(1)])",
 			"Variations": "Yes"
 		},
 		{
@@ -494,6 +494,60 @@
 			"Filter": "",
 			"Result": "(IR.Move## x)",
 			"Variations": "No"
+		},
+		{
+			"Type": "Simplification",
+			"Name": "AddCarryOut##",
+			"SubName": "CarryNotUsed",
+			"Expression": "IR.AddCarryOut## a b",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Add## a b)",
+			"Variations": "No"
+		},
+		{
+			"Type": "Simplification",
+			"Name": "AddOverflowOut##",
+			"SubName": "OverflowNotUsed",
+			"Expression": "IR.AddOverflowOut## a b",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Add## a b)",
+			"Variations": "No"
+		},
+		{
+			"Type": "Simplification",
+			"Name": "SubCarryOut##",
+			"SubName": "CarryNotUsed",
+			"Expression": "IR.SubCarryOut## a b",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Sub## a b)",
+			"Variations": "No"
+		},
+		{
+			"Type": "Simplification",
+			"Name": "SubOverflowOut##",
+			"SubName": "CarryNotUsed",
+			"Expression": "IR.SubOverflowOut## a b",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Sub## a b)",
+			"Variations": "No"
+		},
+		{
+			"Type": "Simplification",
+			"Name": "MulCarryOut##",
+			"SubName": "CarryNotUsed",
+			"Expression": "IR.MulCarryOut## a b",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.MulSigned## a b)",
+			"Variations": "No"
+		},
+		{
+			"Type": "Simplification",
+			"Name": "MulOverflowOut##",
+			"SubName": "CarryNotUsed",
+			"Expression": "IR.MulOverflowOut## a b",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.MulSigned## a b)",
+			"Variations": "No"
 		}
 	]
 }

Source/Data/IR-Optimizations-StrengthReduction-Complex.json

@@ -38,7 +38,7 @@
 			"SubName": "RemUnsigned",
 			"Expression": "IR.Compare32x## {==} (IR.RemUnsigned## a 2) 0",
 			"Filter": "",
-			"Result": "(IR.And## a 1)",
+			"Result": "(IR.And## a [To##(1)])",
 			"Variations": "Yes"
 		},
 		{
@@ -47,7 +47,7 @@
 			"SubName": "RemUnsigned",
 			"Expression": "IR.Compare64x## {==} (IR.RemUnsigned## a 2) 0",
 			"Filter": "",
-			"Result": "(IR.And## a 1)",
+			"Result": "(IR.And## a [To##(1)])",
 			"Variations": "Yes"
 		},
 		{
@@ -139,16 +139,6 @@
 			"Filter": "",
 			"Result": "(IR.Or## a b)",
 			"Variations": "Yes"
-		},
-		{
-			"Type": "StrengthReduction",
-			"Name": "ArithShiftRight64",
-			"SubName": "By32",
-			"Expression": "IR.GetLow32 (IR.ArithShiftRight64 (IR.To64 a b) 32)",
-			"Filter": "",
-			"Result": "(IR.Move32 b)",
-			"Variations": "Yes",
-			"Log": "Yes"
 		}
 	]
 }

Source/Data/IR-Optimizations-StrengthReduction.json

@@ -98,7 +98,7 @@
 			"SubName": "Max",
 			"Expression": "IR.Or64 a 0xFFFFFFFFFFFFFFFF",
 			"Filter": "",
-			"Result": "(IR.Move64 0xFFFFFFFFFFFFFFFF)",
+			"Result": "(IR.Move64 [To64(0xFFFFFFFFFFFFFFFF)])",
 			"Priority": "80",
 			"Variations": "Yes"
 		},
@@ -220,7 +220,7 @@
 			"SubName": "Same",
 			"Expression": "IR.SubManagedPointer a a",
 			"Filter": "",
-			"Result": "(IR.MoveManagedPointer [To32(0)])",
+			"Result": "(IR.MoveManagedPointer 0)",
 			"Priority": "80"
 		},
 		{
@@ -369,7 +369,7 @@
 			"SubName": "By32",
 			"Expression": "IR.ShiftLeft32 x 32",
 			"Filter": "",
-			"Result": "(IR.Move32 0)",
+			"Result": "(IR.Move32 [To32(0)])",
 			"Priority": "80"
 		},
 		{
@@ -378,16 +378,7 @@
 			"SubName": "By32",
 			"Expression": "IR.ShiftRight32 a 32",
 			"Filter": "",
-			"Result": "(IR.Move32 0)",
-			"Priority": "80"
-		},
-		{
-			"Type": "StrengthReduction",
-			"Name": "ArithShiftRight32",
-			"SubName": "By32",
-			"Expression": "IR.ArithShiftRight32 a 32",
-			"Filter": "",
-			"Result": "(IR.Move32 0)",
+			"Result": "(IR.Move32 [To32(0)])",
 			"Priority": "80"
 		},
 		{
@@ -396,26 +387,16 @@
 			"SubName": "By64",
 			"Expression": "IR.ShiftLeft64 x 64",
 			"Filter": "",
-			"Result": "(IR.Move64 0)",
+			"Result": "(IR.Move64 [To64(0)])",
 			"Priority": "80"
 		},
-
 		{
 			"Type": "StrengthReduction",
 			"Name": "ShiftRight64",
 			"SubName": "By64",
 			"Expression": "IR.ShiftRight64 a 64",
 			"Filter": "",
-			"Result": "(IR.Move64 0)",
-			"Priority": "80"
-		},
-		{
-			"Type": "StrengthReduction",
-			"Name": "ArithShiftRight64",
-			"SubName": "By64",
-			"Expression": "IR.ArithShiftRight64 a 64",
-			"Filter": "",
-			"Result": "(IR.Move64 0)",
+			"Result": "(IR.Move64 [To64(0)])",
 			"Priority": "80"
 		},
 		{
@@ -427,6 +408,97 @@
 			"Result": "(IR.Move32 [To32(0)])",
 			"Priority": "80",
 			"Variations": "Yes"
+		},
+
+		{
+			"Type": "StrengthReduction",
+			"Name": "AddCarryOut##",
+			"SubName": "ByZero",
+			"Expression": "IR.AddCarryOut## a 0",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## a)",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "Yes"
+		},
+		{
+			"Type": "StrengthReduction",
+			"Name": "AddOverflowOut##",
+			"SubName": "ByZero",
+			"Expression": "IR.AddOverflowOut## a 0",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## a)",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "Yes"
+		},
+
+		{
+			"Type": "StrengthReduction",
+			"Name": "SubCarryOut##",
+			"SubName": "ByZero",
+			"Expression": "IR.SubCarryOut## a 0",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## a)",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "No"
+		},
+		{
+			"Type": "StrengthReduction",
+			"Name": "SubOverflowOut##",
+			"SubName": "ByZero",
+			"Expression": "IR.SubOverflowOut## a 0",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## a)",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "No"
+		},
+		{
+			"Type": "StrengthReduction",
+			"Name": "MulCarryOut##",
+			"SubName": "ByOne",
+			"Expression": "IR.MulCarryOut## a 1",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## a)",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "Yes"
+		},
+		{
+			"Type": "StrengthReduction",
+			"Name": "MulOverflowOut##",
+			"SubName": "ByOne",
+			"Expression": "IR.MulOverflowOut## a 1",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## a)",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "Yes"
+		},
+
+		{
+			"Type": "StrengthReduction",
+			"Name": "MulCarryOut##",
+			"SubName": "ByZero",
+			"Expression": "IR.MulCarryOut## a 0",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## [To##(0)]))",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "Yes"
+		},
+		{
+			"Type": "StrengthReduction",
+			"Name": "MulOverflowOut##",
+			"SubName": "ByZero",
+			"Expression": "IR.MulOverflowOut## a 0",
+			"Filter": "!IsResult2Used(@)",
+			"Result": "(IR.Move## [To##(0)]))",
+			"Result2": "(IR.Move## [To##(0)])",
+			"Priority": "80",
+			"Variations": "Yes"
 		}
 	]
 }