Code Generation and Tac to Bytecode translation

.gitignore

@@ -3,4 +3,7 @@
 bin
 obj
 .vs
-/packages
+/packages
+.DS_Store
+.idea
+TestResult.xml

Backend/Analyses/TypeInferenceAnalysis.cs

@@ -10,6 +10,7 @@
 using Backend.Model;
 using Model.ThreeAddressCode.Values;
 using Backend.Utils;
+using Model;
 
 namespace Backend.Analyses
 {
@@ -56,6 +57,27 @@ public override void Visit(MethodCallInstruction instruction)
 				if (instruction.HasResult)
 				{
 					instruction.Result.Type = instruction.Method.ReturnType;
+
+					// if returnType is a genericParameter that is instantiated, then use its instantiated type
+					if (instruction.Method.ReturnType is IGenericParameterReference genericParameterReference)
+					{
+						IList<IType> genericArguments;
+						switch (genericParameterReference.Kind)
+						{
+							case GenericParameterKind.Type:
+								genericArguments = ((IBasicType) genericParameterReference.GenericContainer).GenericArguments;
+								break;
+							case GenericParameterKind.Method:
+								genericArguments = ((IMethodReference) genericParameterReference.GenericContainer).GenericArguments;
+								break;
+							default:
+								throw genericParameterReference.Kind.ToUnknownValueException();
+						}
+						if (genericArguments.Count > 0)
+						{
+							instruction.Result.Type = genericArguments[genericParameterReference.Index];
+						}
+					}
 				}
 
 				// Skip implicit "this" parameter.
@@ -325,6 +347,10 @@ instruction.RightOperand is Constant &&
 					}
 				}
 			}
+			public override void Visit(FilterInstruction instruction)
+			{
+				instruction.Result.Type = instruction.ExceptionType;
+			}
 		}
 
 		#endregion

Backend/Backend.csproj

@@ -62,6 +62,8 @@
     <Compile Include="Analyses\PointsToAnalysis.cs" />
     <Compile Include="Analyses\ReachingDefinitionsAnalysis.cs" />
     <Compile Include="Model\PointsToGraph.cs" />
+    <Compile Include="Transformations\Assembly\Assembler.cs" />
+    <Compile Include="Transformations\Assembly\ExceptionInformationBuilder.cs" />
     <Compile Include="Transformations\Disassembler.cs" />
     <Compile Include="Transformations\StaticSingleAssignment.cs" />
     <Compile Include="Analyses\SymbolicAnalysis.cs" />