xamarin-macios/tools/linker/CoreOptimizeGeneratedCode.cs

// Copyright 2012-2013, 2016 Xamarin Inc. All rights reserved.

using System;
using System.Collections.Generic;
using System.Linq;

using ObjCRuntime;
using Mono.Cecil;
using Mono.Cecil.Cil;
using Mono.Linker;
using Mono.Tuner;
using Xamarin.Bundler;

using MonoTouch.Tuner;
#if NET
using Mono.Linker.Steps;
#endif

namespace Xamarin.Linker {

#if NET
	public class OptimizeGeneratedCodeHandler : ExceptionalMarkHandler {
#else
	public class OptimizeGeneratedCodeSubStep : ExceptionalSubStep {
		// If the type currently being processed is a direct binding or not.
		// A null value means it's not a constant value, and can't be inlined.
		bool? isdirectbinding_constant;
#endif

		protected override string Name { get; } = "Binding Optimizer";
		protected override int ErrorCode { get; } = 2020;

#if NET
		Dictionary<AssemblyDefinition, bool?> _hasOptimizableCode;
		Dictionary<AssemblyDefinition, bool?> HasOptimizableCode {
			get {
				if (_hasOptimizableCode == null)
					_hasOptimizableCode = new Dictionary<AssemblyDefinition, bool?> ();
				return _hasOptimizableCode;
			}
		}

		Dictionary<AssemblyDefinition, bool> _inlineIntPtrSize;
		Dictionary<AssemblyDefinition, bool> InlineIntPtrSize {
			get {
				if (_inlineIntPtrSize == null)
					_inlineIntPtrSize = new Dictionary<AssemblyDefinition, bool> ();
				return _inlineIntPtrSize;
			}
		}
#else
		protected bool HasOptimizableCode { get; private set; }
		protected bool IsExtensionType { get; private set; }

		// This is per assembly, so we set it in 'void Process (AssemblyDefinition)'
		bool InlineIntPtrSize { get; set; }
#endif

		public bool IsDualBuild {
			get { return LinkContext.App.IsDualBuild; }
		}

		public bool Device {
			get { return LinkContext.App.IsDeviceBuild; }
		}

		public int Arch {
			get { return LinkContext.Target.Is64Build ? 8 : 4; }
		}

		protected Optimizations Optimizations {
			get {
				return LinkContext.App.Optimizations;
			}
		}

		bool? is_arm64_calling_convention;

#if NET
		public override void Initialize (LinkContext context, MarkContext markContext)
#else
		public override void Initialize (LinkContext context)
#endif
		{
			base.Initialize (context);

			if (Optimizations.InlineIsARM64CallingConvention == true) {
				var target = LinkContext.Target;
				if (target.Abis.Count == 1) {
					// We can usually inline Runtime.InlineIsARM64CallingConvention if the generated code will execute on a single architecture
					switch ((target.Abis [0] & Abi.ArchMask)) {
					case Abi.i386:
					case Abi.ARMv7:
					case Abi.ARMv7s:
					case Abi.x86_64:
						is_arm64_calling_convention = false;
						break;
					case Abi.ARM64:
					case Abi.ARM64e:
					case Abi.ARM64_32:
						is_arm64_calling_convention = true;
						break;
					case Abi.ARMv7k:
						// ARMv7k binaries can run on ARM64_32, so this can't be inlined :/
						break;
					default:
						LinkContext.Exceptions.Add (ErrorHelper.CreateWarning (99, Errors.MX0099, $"unknown abi: {target.Abis [0]}"));
						break;
					}
				} else if (target.Abis.Count == 2 && target.Is32Build && target.Abis.Contains (Abi.ARMv7) && target.Abis.Contains (Abi.ARMv7s)) {
					// We know we won't be running on arm64 if we're building for armv7+armv7s.
					is_arm64_calling_convention = false;
				}
			}
#if NET
			markContext.RegisterMarkMethodAction (ProcessMethod);
#endif
		}


#if !NET
		public override SubStepTargets Targets {
			get { return SubStepTargets.Assembly | SubStepTargets.Type | SubStepTargets.Method; }
		}
#endif

#if NET
		bool IsActiveFor (AssemblyDefinition assembly, out bool hasOptimizableCode)
#else
		public override bool IsActiveFor (AssemblyDefinition assembly)
#endif
		{
#if NET
			hasOptimizableCode = false;
			if (HasOptimizableCode.TryGetValue (assembly, out bool? optimizable)) {
				if (optimizable == true)
					hasOptimizableCode = true;
				return optimizable != null;
			}
#else
			bool hasOptimizableCode = false;
#endif
			// we're sure "pure" SDK assemblies don't use XamMac.dll (i.e. they are the Product assemblies)
			if (Profile.IsSdkAssembly (assembly)) {
#if DEBUG
				Console.WriteLine ("Assembly {0} : skipped (SDK)", assembly);
#endif
#if NET
				HasOptimizableCode.Add (assembly, null);
#endif
				return false;
			}

			// process only assemblies where the linker is enabled (e.g. --linksdk, --linkskip) 
			AssemblyAction action = Annotations.GetAction (assembly);
			if (action != AssemblyAction.Link) {
#if DEBUG
				Console.WriteLine ("Assembly {0} : skipped ({1})", assembly, action);
#endif
#if NET
				HasOptimizableCode.Add (assembly, null);
#endif
				return false;
			}

			// if the assembly does not refer to [CompilerGeneratedAttribute] then there's not much we can do
			foreach (TypeReference tr in assembly.MainModule.GetTypeReferences ()) {
				if (tr.Is (Namespaces.ObjCRuntime, "BindingImplAttribute")) {
					hasOptimizableCode = true;
					break;
				}

				if (tr.Is ("System.Runtime.CompilerServices", "CompilerGeneratedAttribute")) {
#if DEBUG
					Console.WriteLine ("Assembly {0} : processing", assembly);
#endif
					hasOptimizableCode = true;
					break;
				}
			}
#if DEBUG
			if (!hasOptimizableCode)
				Console.WriteLine ("Assembly {0} : no [CompilerGeneratedAttribute] nor [BindingImplAttribute] present (applying basic optimizations)", assembly);
#endif
			// we always apply the step
#if NET
			HasOptimizableCode.Add (assembly, hasOptimizableCode);
#else
			HasOptimizableCode = hasOptimizableCode;
#endif
			return true;
		}

#if !NET
		protected override void Process (TypeDefinition type)
		{
			if (!HasOptimizableCode)
				return;

			isdirectbinding_constant = IsDirectBindingConstant (type);

			IsExtensionType = GetIsExtensionType (type);
		}
#endif

		// [GeneratedCode] is not enough - e.g. it's used for anonymous delegates even if the 
		// code itself is not tool/compiler generated
		static protected bool IsExport (ICustomAttributeProvider provider)
		{
			return provider.HasCustomAttribute (Namespaces.Foundation, "ExportAttribute");
		}

		// less risky to nop-ify if branches are pointing to this instruction
		static protected void Nop (Instruction ins)
		{
			// Leave 'leave' instructions in place, they might be required for the resulting IL to be correct/verifiable.
			switch (ins.OpCode.Code) {
			case Code.Leave:
			case Code.Leave_S:
				return;
			}
			ins.OpCode = OpCodes.Nop;
			ins.Operand = null;
		}

		internal static bool ValidateInstruction (MethodDefinition caller, Instruction ins, string operation, Code expected)
		{
			if (ins.OpCode.Code != expected) {
				Driver.Log (1, "Could not {0} in {1} at offset {2}, expected {3} got {4}", operation, caller, ins.Offset, expected, ins);
				return false;
			}

			return true;
		}

		internal static bool ValidateInstruction (MethodDefinition caller, Instruction ins, string operation, params Code [] expected)
		{
			foreach (var code in expected) {
				if (ins.OpCode.Code == code)
					return true;
			}

			Driver.Log (1, "Could not {0} in {1} at offset {2}, expected any of [{3}] got {4}", operation, caller, ins.Offset, string.Join (", ", expected), ins);
			return false;
		}

		static int? GetConstantValue (Instruction ins)
		{
			if (ins == null)
				return null;

			switch (ins.OpCode.Code) {
			case Code.Ldc_I4_0:
				return 0;
			case Code.Ldc_I4_1:
				return 1;
			case Code.Ldc_I4_2:
				return 2;
			case Code.Ldc_I4_3:
				return 3;
			case Code.Ldc_I4_4:
				return 4;
			case Code.Ldc_I4_5:
				return 5;
			case Code.Ldc_I4_6:
				return 6;
			case Code.Ldc_I4_7:
				return 7;
			case Code.Ldc_I4_8:
				return 8;
			case Code.Ldc_I4:
			case Code.Ldc_I4_S:
				if (ins.Operand is int)
					return (int) ins.Operand;
				if (ins.Operand is sbyte)
					return (sbyte) ins.Operand;
				return null;
#if DEBUG
			case Code.Isinst: // We might be able to calculate a constant value here in the future
			case Code.Ldloc:
			case Code.Ldloca:
			case Code.Ldloc_0:
			case Code.Ldloc_1:
			case Code.Ldloc_2:
			case Code.Ldloc_3:
			case Code.Ldloc_S:
			case Code.Ldloca_S:
			case Code.Ldarg:
			case Code.Ldarg_0:
			case Code.Ldarg_1:
			case Code.Ldarg_2:
			case Code.Ldarg_3:
			case Code.Ldarg_S:
			case Code.Ldarga:
			case Code.Call:
			case Code.Calli:
			case Code.Callvirt:
			case Code.Box:
			case Code.Ldsfld:
			case Code.Dup: // You might think we could get the constant of the previous instruction, but this instruction might be the target of a branch, in which case the question becomes: which instruction was the previous instruction? And that's not a question easily answered without a much more thorough analysis of the code.
			case Code.Ldlen:
			case Code.Ldind_U1:
			case Code.Ldind_U2:
			case Code.Ldind_U4:
			case Code.Ldind_Ref:
			case Code.Conv_I:
			case Code.Conv_I1:
			case Code.Conv_I2:
			case Code.Conv_I4:
			case Code.Conv_U:
			case Code.Sizeof:
			case Code.Ldfld:
			case Code.Ldflda:
				return null; // just to not hit the CWL below
#endif
			default:
#if DEBUG
				Driver.Log (9, "Unknown conditional instruction: {0}", ins);
#endif
				return null;
			}
		}

		static bool MarkInstructions (MethodDefinition method, Mono.Collections.Generic.Collection<Instruction> instructions, bool [] reachable, int start, int end)
		{
			if (reachable [start])
				return true; // We've already marked this section of code

			for (int i = start; i < end; i++) {
				reachable [i] = true;

				var ins = instructions [i];
				switch (ins.OpCode.FlowControl) {
				case FlowControl.Branch:
					// Unconditional branch, we continue marking from the instruction that we branch to.
					var br_target = (Instruction) ins.Operand;
					return MarkInstructions (method, instructions, reachable, instructions.IndexOf (br_target), end);
				case FlowControl.Cond_Branch:
					// Conditional instruction, we need to check if we can calculate a constant value for the condition
					var cond_target = ins.Operand as Instruction;
					bool? branch = null; // did we get a constant value for the condition, and if so, did we branch or not?
					var cond_instruction_count = 0; // The number of instructions that compose the condition

					if (ins.OpCode.Code == Code.Switch) {
						// Treat all branches of the switch statement as reachable.
						// FIXME: calculate the potential constant branch (currently there are no optimizable methods where the switch condition is constant, so this is not needed for now)
						var targets = ins.Operand as Instruction [];
						if (targets == null) {
							Driver.Log (4, $"Can't optimize {0} because of unknown target of branch instruction {1} {2}", method, ins, ins.Operand);
							return false;
						}
						foreach (var target in targets) {
							// not constant, continue marking both this code sequence and the branched sequence
							if (!MarkInstructions (method, instructions, reachable, instructions.IndexOf (target), end))
								return false;
						}
						return MarkInstructions (method, instructions, reachable, instructions.IndexOf (ins.Next), end);
					}

					if (cond_target == null) {
						Driver.Log (4, $"Can't optimize {0} because of unknown target of branch instruction {1} {2}", method, ins, ins.Operand);
						return false;
					}

					switch (ins.OpCode.Code) {
					case Code.Brtrue:
					case Code.Brtrue_S: {
						var v = GetConstantValue (ins?.Previous);
						if (v.HasValue)
							branch = v.Value != 0;
						cond_instruction_count = 2;
						break;
					}
					case Code.Brfalse:
					case Code.Brfalse_S: {
						var v = GetConstantValue (ins?.Previous);
						if (v.HasValue)
							branch = v.Value == 0;
						cond_instruction_count = 2;
						break;
					}
					case Code.Beq:
					case Code.Beq_S: {
						var x1 = GetConstantValue (ins?.Previous?.Previous);
						var x2 = GetConstantValue (ins?.Previous);
						if (x1.HasValue && x2.HasValue)
							branch = x1.Value == x2.Value;
						cond_instruction_count = 3;
						break;
					}
					case Code.Bne_Un:
					case Code.Bne_Un_S: {
						var x1 = GetConstantValue (ins?.Previous?.Previous);
						var x2 = GetConstantValue (ins?.Previous);
						if (x1.HasValue && x2.HasValue)
							branch = x1.Value != x2.Value;
						cond_instruction_count = 3;
						break;
					}
					case Code.Ble:
					case Code.Ble_S:
					case Code.Ble_Un:
					case Code.Ble_Un_S: {
						var x1 = GetConstantValue (ins?.Previous?.Previous);
						var x2 = GetConstantValue (ins?.Previous);
						if (x1.HasValue && x2.HasValue)
							branch = x1.Value <= x2.Value;
						cond_instruction_count = 3;
						break;
					}
					case Code.Blt:
					case Code.Blt_S:
					case Code.Blt_Un:
					case Code.Blt_Un_S: {
						var x1 = GetConstantValue (ins?.Previous?.Previous);
						var x2 = GetConstantValue (ins?.Previous);
						if (x1.HasValue && x2.HasValue)
							branch = x1.Value < x2.Value;
						cond_instruction_count = 3;
						break;
					}
					case Code.Bge:
					case Code.Bge_S:
					case Code.Bge_Un:
					case Code.Bge_Un_S: {
						var x1 = GetConstantValue (ins?.Previous?.Previous);
						var x2 = GetConstantValue (ins?.Previous);
						if (x1.HasValue && x2.HasValue)
							branch = x1.Value >= x2.Value;
						cond_instruction_count = 3;
						break;
					}
					case Code.Bgt:
					case Code.Bgt_S:
					case Code.Bgt_Un:
					case Code.Bgt_Un_S: {
						var x1 = GetConstantValue (ins?.Previous?.Previous);
						var x2 = GetConstantValue (ins?.Previous);
						if (x1.HasValue && x2.HasValue)
							branch = x1.Value > x2.Value;
						cond_instruction_count = 3;
						break;
					}
					default:
						Driver.Log ($"Can't optimize {0} because of unknown branch instruction: {1}", method, ins);
						break;
					}

					if (branch.HasValue) {
						// Make sure nothing else in the method branches into the middle of our supposedly constant condition,
						// bypassing our constant calculation. Note that it's not a bad to branch to the _first_ instruction in
						// the sequence (thus the +2 here), just into the middle of it.
						if (AnyBranchTo (instructions, instructions [i - cond_instruction_count + 2], ins))
							branch = null;
					}

					if (!branch.HasValue) {
						// not constant, continue marking both this code sequence and the branched sequence
						if (!MarkInstructions (method, instructions, reachable, instructions.IndexOf (cond_target), end))
							return false;
					} else {
						// we can remove the branch (and the code that loads the condition), so we mark those instructions as dead.
						for (int a = 0; a < cond_instruction_count; a++)
							reachable [i - a] = false;

						// Now continue marking according to whether we branched or not
						if (branch.Value) {
							// branch always taken
							return MarkInstructions (method, instructions, reachable, instructions.IndexOf (cond_target), end);
						} else {
							// branch never taken
							// continue looping
						}
					}
					break;
				case FlowControl.Call:
				case FlowControl.Next:
					// Nothing special, continue marking
					break;
				case FlowControl.Return:
				case FlowControl.Throw:
					// Control flow returns here, so stop marking
					return true;
				case FlowControl.Break:
				case FlowControl.Meta:
				case FlowControl.Phi:
				default:
					Driver.Log (4, "Can't optimize {0} because of unknown flow control for: {1}", method, ins);
					return false;
				}
			}

			return true;
		}

		// Check if there are any branches in the instructions that branch to anywhere between 'first' and 'last' instructions (both inclusive).
		static bool AnyBranchTo (Mono.Collections.Generic.Collection<Instruction> instructions, Instruction first, Instruction last)
		{
			if (first.Offset > last.Offset) {
				Driver.Log ($"Broken assumption: {first} is after {last}");
				return true; // This is the safe thing to do, since it will prevent inlining
			}

			for (int i = 0; i < instructions.Count; i++) {
				var ins = instructions [i];
				switch (ins.OpCode.FlowControl) {
				case FlowControl.Branch:
				case FlowControl.Cond_Branch:
					var target = ins.Operand as Instruction;
					if (target != null && target.Offset >= first.Offset && target.Offset <= last.Offset)
						return true;
					break;
				}
			}

			return false;
		}

		protected void EliminateDeadCode (MethodDefinition caller)
		{
			if (Optimizations.DeadCodeElimination != true)
				return;

			var instructions = caller.Body.Instructions;
			var reachable = new bool [instructions.Count];

			// We walk the instructions in the method, starting with the first instruction,
			// marking all reachable instructions. Any non-reachable instructions at the end
			// can be removed.

			if (!MarkInstructions (caller, instructions, reachable, 0, instructions.Count))
				return;

			// Handle exception handlers specially, they do not follow normal code flow.
			bool [] reachableExceptionHandlers = null;
			if (caller.Body.HasExceptionHandlers) {
				reachableExceptionHandlers = new bool [caller.Body.ExceptionHandlers.Count];
				for (var e = 0; e < reachableExceptionHandlers.Length; e++) {
					var eh = caller.Body.ExceptionHandlers [e];

					// First check if the protected region is reachable
					var startI = instructions.IndexOf (eh.TryStart);
					var endI = instructions.IndexOf (eh.TryEnd);
					for (int i = startI; i < endI; i++) {
						if (reachable [i]) {
							reachableExceptionHandlers [e] = true;
							break;
						}
					}
					// The protected code isn't reachable, none of the handlers will be executed
					if (!reachableExceptionHandlers [e])
						continue;

					switch (eh.HandlerType) {
					case ExceptionHandlerType.Catch:
						// We don't need catch handlers the reachable instructions are all nops
						var allNops = true;
						for (int i = startI; i < endI; i++) {
							if (instructions [i].OpCode.Code != Code.Nop) {
								allNops = false;
								break;
							}
						}
						if (!allNops) {
							if (!MarkInstructions (caller, instructions, reachable, instructions.IndexOf (eh.HandlerStart), instructions.IndexOf (eh.HandlerEnd)))
								return;
						}
						break;
					case ExceptionHandlerType.Finally:
						// finally clauses are always executed, even if the protected region is empty
						if (!MarkInstructions (caller, instructions, reachable, instructions.IndexOf (eh.HandlerStart), instructions.IndexOf (eh.HandlerEnd)))
							return;
						break;
					case ExceptionHandlerType.Fault:
					case ExceptionHandlerType.Filter:
						// FIXME: and until fixed, exit gracefully without doing anything
						Driver.Log (4, "Unhandled exception handler: {0}, skipping dead code elimination for {1}", eh.HandlerType, caller);
						return;
					}
				}
			}

			if (Array.IndexOf (reachable, false) == -1)
				return; // entire method is reachable

			// Kill branch instructions when there are only dead instructions between the branch instruction and the target of the branch
			for (int i = 0; i < instructions.Count; i++) {
				if (!reachable [i])
					continue;

				var ins = instructions [i];
				if (ins.OpCode.Code != Code.Br && ins.OpCode.Code != Code.Br_S)
					continue;
				var target = ins.Operand as Instruction;
				if (target == null)
					continue;
				if (target.Offset < ins.Offset)
					continue; // backwards branch, keep those

				var start = i + 1;
				var end = instructions.IndexOf (target);
				var any_reachable = false;
				for (int k = start; k < end; k++) {
					if (reachable [k]) {
						any_reachable = true;
						break;
					}
				}
				if (any_reachable)
					continue;

				// The branch instruction just branches over unreachable instructions, so it can be considered unreachable too.
				reachable [i] = false;
			}

			// Check if there are unreachable instructions at the end.
			var last_reachable = Array.LastIndexOf (reachable, true);
			if (last_reachable < reachable.Length - 1) {
				// There are unreachable instructions at the end.
				// We must verify that there are no branches into these instructions.
				// In theory there shouldn't be any (if there are branches into these instructions,
				// they're reachable), but let's still verify just in case.
				var last_reachable_offset = instructions [last_reachable].Offset;
				for (int i = 0; i < last_reachable; i++) {
					if (!reachable [i])
						continue; // Unreachable instructions don't branch anywhere, because they'll be removed.
					var ins = instructions [i];
					switch (ins.OpCode.FlowControl) {
					case FlowControl.Break:
					case FlowControl.Cond_Branch:
						var target = (Instruction) ins.Operand;
						if (target.Offset > last_reachable_offset) {
							Driver.Log (4, "Can't optimize {0} because of branching beyond last instruction alive: {1}", caller, ins);
							return;
						}
						break;
					}
				}
			}
#if false
			Console.WriteLine ($"{caller.FullName}:");
			for (int i = 0; i < reachable.Length; i++) {
				Console.WriteLine ($"{(reachable [i] ? "   " : "-  ")} {instructions [i]}");
				if (!reachable [i])
					Nop (instructions [i]);
			}
			Console.WriteLine ();
#endif

			// Exterminate, exterminate, exterminate
			for (int i = 0; i < reachable.Length; i++) {
				if (!reachable [i])
					Nop (instructions [i]);
			}

			// Remove exception handlers
			if (reachableExceptionHandlers != null) {
				for (int i = reachableExceptionHandlers.Length - 1; i >= 0; i--) {
					if (reachableExceptionHandlers [i])
						continue;
					caller.Body.ExceptionHandlers.RemoveAt (i);
				}
			}

			// Remove unreachable instructions (nops) at the end, because the last instruction can only be ret/throw/backwards branch.
			for (int i = last_reachable + 1; i < reachable.Length; i++)
				instructions.RemoveAt (last_reachable + 1);
		}

		bool GetInlineIntPtrSize (AssemblyDefinition assembly)
		{
#if NET
			if (InlineIntPtrSize.TryGetValue (assembly, out bool inlineIntPtrSize))
				return inlineIntPtrSize;
#else
			bool inlineIntPtrSize;
#endif
			// The "get_Size" is a performance (over size) optimization.
			// It always makes sense for platform assemblies because:
			// * Xamarin.TVOS.dll only ship the 64 bits code paths (all 32 bits code is extra weight better removed)
			// * Xamarin.WatchOS.dll only ship the 32 bits code paths (all 64 bits code is extra weight better removed)
			// * Xamarin.iOS.dll  ship different 32/64 bits versions of the assembly anyway (nint... support)
			//   Each is better to be optimized (it will be smaller anyway)
			//
			// However for fat (32/64) apps (i.e. iOS only right now) the optimization can duplicate the assembly
			// (metadata) for 3rd parties binding projects, increasing app size for very minimal performance gains.
			// For non-fat apps (the AppStore allows 64bits only iOS apps) then it's better to be applied
			//
			// TODO: we could make this an option "optimize for size vs optimize for speed" in the future
			if (Optimizations.InlineIntPtrSize.HasValue) {
				inlineIntPtrSize = Optimizations.InlineIntPtrSize.Value;
			} else if (!IsDualBuild) {
				inlineIntPtrSize = true;
			} else {
				inlineIntPtrSize = (Profile.Current as BaseProfile).ProductAssembly == assembly.Name.Name;
			}
			if (inlineIntPtrSize)
				Driver.Log (4, "Optimization 'inline-intptr-size' enabled for assembly '{0}'.", assembly.Name);

#if NET
			InlineIntPtrSize.Add (assembly, inlineIntPtrSize);
#else
			InlineIntPtrSize = inlineIntPtrSize;
#endif
			return inlineIntPtrSize;
		}

#if !NET
		protected override void Process (AssemblyDefinition assembly)
		{
			GetInlineIntPtrSize (assembly);

			base.Process (assembly);
		}
#endif

		bool GetIsExtensionType (TypeDefinition type)
		{
			// if 'type' inherits from NSObject inside an assembly that has [GeneratedCode]
			// or for static types used for optional members (using extensions methods), they can be optimized too
			return type.IsSealed && type.IsAbstract && type.Name.EndsWith ("_Extensions", StringComparison.Ordinal);
		}

		protected override void Process (MethodDefinition method)
		{
#if NET
			if (!IsActiveFor (method.DeclaringType.Module.Assembly, out bool hasOptimizableCode))
				return;
#endif

			if (!method.HasBody)
				return;

			if (method.IsBindingImplOptimizableCode (LinkContext)) {
				// We optimize all methods that have the [BindingImpl (BindingImplAttributes.Optimizable)] attribute.
			} else if ((method.IsGeneratedCode (LinkContext) && (
#if NET
				GetIsExtensionType (method.DeclaringType)
#else
				IsExtensionType
#endif
				|| IsExport (method)))) {
				// We optimize methods that have the [GeneratedCodeAttribute] and is either an extension type or an exported method
			} else {
				// but it would be too risky to apply on user-generated code
				return;
			}

			if (Optimizations.InlineIsARM64CallingConvention == true && is_arm64_calling_convention.HasValue && method.Name == "GetIsARM64CallingConvention" && method.DeclaringType.Is (Namespaces.ObjCRuntime, "Runtime")) {
				// Rewrite to return the constant value
				var instr = method.Body.Instructions;
				instr.Clear ();
				instr.Add (Instruction.Create (is_arm64_calling_convention.Value ? OpCodes.Ldc_I4_1 : OpCodes.Ldc_I4_0));
				instr.Add (Instruction.Create (OpCodes.Ret));
				return; // nothing else to do here.
			}

			var instructions = method.Body.Instructions;
			for (int i = 0; i < instructions.Count; i++) {
				var ins = instructions [i];
				switch (ins.OpCode.Code) {
				case Code.Newobj:
				case Code.Call:
					i += ProcessCalls (method, ins);
					break;
				case Code.Ldsfld:
					ProcessLoadStaticField (method, ins);
					break;
				}
			}

			EliminateDeadCode (method);
		}

		// Returns the number of instructions added (or removed).
		protected virtual int ProcessCalls (MethodDefinition caller, Instruction ins)
		{
			var mr = ins.Operand as MethodReference;
			switch (mr?.Name) {
			case "EnsureUIThread":
				ProcessEnsureUIThread (caller, ins);
				break;
			case "get_Size":
				ProcessIntPtrSize (caller, ins);
				break;
			case "get_IsDirectBinding":
				ProcessIsDirectBinding (caller, ins);
				break;
#if !NET
			// ILLink does this optimization since the property returns a constant `true` (built time)
			// or `false` - if `RegistrarRemovalTrackingStep` decide it's possible to do without
			case "get_DynamicRegistrationSupported":
				ProcessIsDynamicSupported (caller, ins);
				break;
#endif
			case "SetupBlock":
			case "SetupBlockUnsafe":
				return ProcessSetupBlock (caller, ins);
			case ".ctor":
				if (!mr.DeclaringType.Is (Namespaces.ObjCRuntime, "BlockLiteral"))
					break;
				return ProcessBlockLiteralConstructor (caller, ins);
			}

			return 0;
		}

		protected virtual void ProcessLoadStaticField (MethodDefinition caller, Instruction ins)
		{
			FieldReference fr = ins.Operand as FieldReference;
			switch (fr?.Name) {
			case "IsARM64CallingConvention":
				ProcessIsARM64CallingConvention (caller, ins);
				break;
			case "Arch":
				// https://app.asana.com/0/77259014252/77812690163
				ProcessRuntimeArch (caller, ins);
				break;
			}
		}

		void ProcessEnsureUIThread (MethodDefinition caller, Instruction ins)
		{
			if (Optimizations.RemoveUIThreadChecks != true)
				return;

			// Verify we're checking the right get_EnsureUIThread call
			var declaringTypeNamespace = LinkContext.App.Platform == Utils.ApplePlatform.MacOSX ? Namespaces.AppKit : Namespaces.UIKit;
			var declaringTypeName = LinkContext.App.Platform == Utils.ApplePlatform.MacOSX ? "NSApplication" : "UIApplication";
			var mr = ins.Operand as MethodReference;
			if (!mr.DeclaringType.Is (declaringTypeNamespace, declaringTypeName))
				return;

			// Verify a few assumptions before doing anything
			const string operation = "remove calls to [NS|UI]Application::EnsureUIThread";
			if (!ValidateInstruction (caller, ins, operation, Code.Call))
				return;

			// This is simple: just remove the call
			Nop (ins); // call void UIKit.UIApplication::EnsureUIThread()
		}

		void ProcessIntPtrSize (MethodDefinition caller, Instruction ins)
		{
#if NET
			if (!GetInlineIntPtrSize (caller.Module.Assembly))
				return;
#else
			if (!InlineIntPtrSize)
				return;
#endif

			// This will inline IntPtr.Size to load the corresponding constant value instead

			// Verify we're checking the right get_Size call
			var mr = ins.Operand as MethodReference;
			if (!mr.DeclaringType.Is ("System", "IntPtr"))
				return;

			// We're fine, inline the get_Size call
			ins.OpCode = Arch == 8 ? OpCodes.Ldc_I4_8 : OpCodes.Ldc_I4_4;
			ins.Operand = null;
		}

		bool? IsDirectBindingConstant (TypeDefinition type)
		{
			return type.IsNSObject (LinkContext) ? type.GetIsDirectBindingConstant (LinkContext) : null;
		}

		void ProcessIsDirectBinding (MethodDefinition caller, Instruction ins)
		{
			const string operation = "inline IsDirectBinding";

			if (Optimizations.InlineIsDirectBinding != true)
				return;

#if NET
			bool? isdirectbinding_constant = IsDirectBindingConstant (caller.DeclaringType);
#endif
			// If we don't know the constant isdirectbinding value, then we can't inline anything
			if (!isdirectbinding_constant.HasValue)
				return;

			// Verify we're checking the right get_IsDirectBinding call
			var mr = ins.Operand as MethodReference;
			if (!mr.DeclaringType.Is (Namespaces.Foundation, "NSObject"))
				return;

			// Verify a few assumptions before doing anything
			if (!ValidateInstruction (caller, ins.Previous, operation, Code.Ldarg_0))
				return;

			if (!ValidateInstruction (caller, ins, operation, Code.Call))
				return;

			// Clearing the branch succeeded, so clear the condition too
			// ldarg.0
			Nop (ins.Previous);
			// call System.Boolean Foundation.NSObject::get_IsDirectBinding()
			ins.OpCode = isdirectbinding_constant.Value ? OpCodes.Ldc_I4_1 : OpCodes.Ldc_I4_0;
			ins.Operand = null;
		}

#if !NET
		void ProcessIsDynamicSupported (MethodDefinition caller, Instruction ins)
		{
			const string operation = "inline Runtime.DynamicRegistrationSupported";

			if (Optimizations.InlineDynamicRegistrationSupported != true)
				return;

			// Verify we're checking the right Runtime.IsDynamicSupported call
			var mr = ins.Operand as MethodReference;
			if (!mr.DeclaringType.Is (Namespaces.ObjCRuntime, "Runtime"))
				return;

			if (!ValidateInstruction (caller, ins, operation, Code.Call))
				return;

			// We're fine, inline the Runtime.IsDynamicSupported condition
			ins.OpCode = LinkContext.App.DynamicRegistrationSupported ? OpCodes.Ldc_I4_1 : OpCodes.Ldc_I4_0;
			ins.Operand = null;
		}
#endif

		int ProcessSetupBlock (MethodDefinition caller, Instruction ins)
		{
			if (Optimizations.OptimizeBlockLiteralSetupBlock != true)
				return 0;

			// This will optimize calls to SetupBlock and SetupBlockUnsafe by calculating the signature for the block
			// (which both SetupBlock and SetupBlockUnsafe do), and then rewrite the code to call SetupBlockImpl instead
			// (which takes the block signature as an argument instead of calculating it). This is required to
			// remove the dynamic registrar, because calculating the block signature is done in the dynamic registrar.
			//
			// This code is a mirror of the code in BlockLiteral.SetupBlock (to calculate the block signature).
			var mr = ins.Operand as MethodReference;
			if (!mr.DeclaringType.Is (Namespaces.ObjCRuntime, "BlockLiteral"))
				return 0;

			if (caller.Name == "GetBlockForDelegate" && caller.DeclaringType.Is ("ObjCRuntime", "BlockLiteral"))
				return 0; // BlockLiteral.GetBlockForDelegate contains a non-optimizable call to SetupBlock, and this way we don't show any warnings to users about things they can't do anything about.

			string signature = null;
			try {
				// We need to figure out the type of the first argument to the call to SetupBlock[Impl].
				// 
				// Example sequence:
				//
				// ldsfld ObjCRuntime.Trampolines/DJSContextExceptionHandler ObjCRuntime.Trampolines/SDJSContextExceptionHandler::Handler
				// ldarg.1
				// call System.Void ObjCRuntime.BlockLiteral::SetupBlockUnsafe(System.Delegate, System.Delegate)
				// 

				// Locating the instruction that loads the first argument can be complicated, so we simplify by making a few assumptions:
				// 1. The instruction immediately before the call instruction (which would load the last argument) is a Push1/Pop0 instruction. 
				//    This avoids running into trouble when the instruction does something else (it could be a any other instruction, which would throw off the next calculations)
				// 2. We have a whitelist of instructions we know how to calculate the type for, and which we use on the second to last instruction before the call instruction

				// First verify the Push1/Pop0 behavior in point 1.
				var prev = ins.Previous;
				while (prev.OpCode.Code == Code.Nop)
					prev = prev.Previous; // Skip any nops.
				if (prev.OpCode.StackBehaviourPush != StackBehaviour.Push1) {
					//todo: localize mmp error 2106
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106, caller, ins.Offset, mr.Name, prev));
					return 0;
				} else if (prev.OpCode.StackBehaviourPop != StackBehaviour.Pop0) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106, caller, ins.Offset, mr.Name, prev));
					return 0;
				}

				var loadTrampolineInstruction = prev.Previous;
				while (loadTrampolineInstruction.OpCode.Code == Code.Nop)
					loadTrampolineInstruction = loadTrampolineInstruction.Previous; // Skip any nops.

				// Then find the type of the previous instruction (the first argument to SetupBlock[Unsafe])
				var trampolineDelegateType = GetPushedType (caller, loadTrampolineInstruction);
				if (trampolineDelegateType == null) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106_A, caller, ins.Offset, mr.Name, loadTrampolineInstruction));
					return 0;
				}

				if (trampolineDelegateType.Is ("System", "Delegate") || trampolineDelegateType.Is ("System", "MulticastDelegate")) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106_B, caller, trampolineDelegateType.FullName, mr.Name));
					return 0;
				}

				// Calculate the block signature.
				var blockSignature = false;
				MethodReference userMethod = null;

				// First look for any [UserDelegateType] attributes on the trampoline delegate type.
				var userDelegateType = GetUserDelegateType (trampolineDelegateType);
				if (userDelegateType != null) {
					var userMethodDefinition = GetDelegateInvoke (userDelegateType);
					userMethod = InflateMethod (userDelegateType, userMethodDefinition);
					blockSignature = true;
				} else {
					// Couldn't find a [UserDelegateType] attribute, use the type of the actual trampoline instead.
					var userMethodDefinition = GetDelegateInvoke (trampolineDelegateType);
					userMethod = InflateMethod (trampolineDelegateType, userMethodDefinition);
					blockSignature = false;
				}

				// No luck finding the signature, so give up.
				if (userMethod == null) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106_C, caller, ins.Offset, trampolineDelegateType.FullName));
					return 0;
				}

				var parameters = new TypeReference [userMethod.Parameters.Count];
				for (int p = 0; p < parameters.Length; p++)
					parameters [p] = userMethod.Parameters [p].ParameterType;
				signature = LinkContext.Target.StaticRegistrar.ComputeSignature (userMethod.DeclaringType, false, userMethod.ReturnType, parameters, userMethod.Resolve (), isBlockSignature: blockSignature);
			} catch (Exception e) {
				ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, e, caller, ins, Errors.MM2106_D, caller, ins.Offset, e.Message));
				return 0;
			}

			// We got the information we need: rewrite the IL.
			var instructions = caller.Body.Instructions;
			var index = instructions.IndexOf (ins);
			// Inject the extra arguments
			instructions.Insert (index, Instruction.Create (OpCodes.Ldstr, signature));
			instructions.Insert (index, Instruction.Create (mr.Name == "SetupBlockUnsafe" ? OpCodes.Ldc_I4_0 : OpCodes.Ldc_I4_1));
			// Change the call to call SetupBlockImpl instead
			ins.Operand = GetBlockSetupImpl (caller, ins);

			//Driver.Log (4, "Optimized call to BlockLiteral.SetupBlock in {0} at offset {1} with delegate type {2} and signature {3}", caller, ins.Offset, delegateType.FullName, signature);
			return 2;
		}

		internal static bool IsBlockLiteralCtor_Type_String (MethodDefinition md)
		{
			if (!md.HasParameters)
				return false;

			if (md.Parameters.Count != 4)
				return false;

			if (!(md.Parameters [0].ParameterType is PointerType pt) || !pt.ElementType.Is ("System", "Void"))
				return false;

			if (!md.Parameters [1].ParameterType.Is ("System", "Object"))
				return false;

			if (!md.Parameters [2].ParameterType.Is ("System", "Type"))
				return false;

			if (!md.Parameters [3].ParameterType.Is ("System", "String"))
				return false;

			return true;
		}

		int ProcessBlockLiteralConstructor (MethodDefinition caller, Instruction ins)
		{
			if (Optimizations.OptimizeBlockLiteralSetupBlock != true)
				return 0;

			// This will optimize calls to this BlockLiteral constructor:
			//     (void* ptr, object context, Type trampolineType, string trampolineMethod)
			// by calculating the signature for the block using the last two arguments,
			// and then rewrite the code to call this constructor overload instead:
			//     (void* ptr, object context, string signature)
			// This is required to  remove the dynamic registrar, because calculating the block signature
			// is done in the dynamic registrar.
			//
			// This code is a mirror of the code in BlockLiteral.SetupBlock (to calculate the block signature).
			var mr = ins.Operand as MethodReference;
			if (!mr.DeclaringType.Is (Namespaces.ObjCRuntime, "BlockLiteral"))
				return 0;

			var md = mr.Resolve ();
			if (!IsBlockLiteralCtor_Type_String (md))
				return 0;

			string signature = null;
			Instruction sequenceStart;
			try {
				// We need to figure out the last argument to the call to the ctor
				// 
				// Example sequence:
				//
				// ldarg.0
				// ldarg.1
				// ldtoken ...
				// call System.Type System.Type::GetTypeFromHandle(System.RuntimeTypeHandle)
				// ldstr ...
				// newobj BlockLiteral (void*, System.Object, System.Type, System.String)
				// 

				// Verify 'ldstr ...'
				var loadString = GetPreviousSkippingNops (ins);
				if (loadString.OpCode != OpCodes.Ldstr) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106 /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the previous instruction was unexpected ({3}) */, caller, ins.Offset, mr.Name, loadString));
					return 0;
				}

				// Verify 'call System.Type System.Type::GetTypeFromHandle(System.RuntimeTypeHandle)' 
				var callGetTypeFromHandle = GetPreviousSkippingNops (loadString);
				if (callGetTypeFromHandle.OpCode != OpCodes.Call || !(callGetTypeFromHandle.Operand is MethodReference methodOperand) || methodOperand.Name != "GetTypeFromHandle" || !methodOperand.DeclaringType.Is ("System", "Type")) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106 /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the previous instruction was unexpected ({3}) */, caller, ins.Offset, mr.Name, callGetTypeFromHandle));
					return 0;
				}

				// Verify 'ldtoken ...'
				var loadType = GetPreviousSkippingNops (callGetTypeFromHandle);
				if (loadType.OpCode != OpCodes.Ldtoken) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106 /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the previous instruction was unexpected ({3}) */, caller, ins.Offset, mr.Name, loadType));
					return 0;
				}

				// Then find the type of the previous instruction
				var trampolineContainerTypeReference = loadType.Operand as TypeReference;
				if (trampolineContainerTypeReference is null) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106 /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the previous instruction was unexpected ({3}) */, caller, ins.Offset, mr.Name, loadType.Operand));
					return 0;
				}

				var trampolineContainerType = trampolineContainerTypeReference.Resolve ();
				if (trampolineContainerType is null) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MM2106 /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the previous instruction was unexpected ({3}) */, caller, ins.Offset, mr.Name, trampolineContainerTypeReference));
					return 0;
				}

				// Find the trampoline method
				var trampolineMethodName = (string) loadString.Operand;
				var trampolineMethods = trampolineContainerType.Methods.Where (v => v.Name == trampolineMethodName).ToArray ();
				if (trampolineMethods.Count () != 1) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MX2106_E /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the more than one method named '{3}' was found in the type '{4}. /* Errors.MM2106 */, caller, ins.Offset, mr.Name, trampolineMethodName, trampolineContainerType.FullName));
					return 0;
				}
				var trampolineMethod = trampolineMethods [0];
				if (!trampolineMethod.HasParameters || trampolineMethod.Parameters.Count < 1) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MX2106_F /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the method '{3}' must have at least one parameter. */, caller, ins.Offset, mr.Name, trampolineContainerType.FullName + "::" + trampolineMethodName));
					return 0;
				}

				// Check that the method's first parameter is either IntPtr, void* or BlockLiteral*
				var firstParameterType = trampolineMethod.Parameters [0].ParameterType;
				if (firstParameterType.Is ("System", "IntPtr")) {
					// ok
				} else if (firstParameterType is PointerType ptrType) {
					var ptrTargetType = ptrType.ElementType;
					if (!(ptrTargetType.Is ("System", "Void") || ptrTargetType.Is ("ObjCRuntime", "BlockLiteral"))) {
						ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MX2106_G /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the first parameter in the method '{3}' isn't 'System.IntPtr', 'void*' or 'ObjCRuntime.BlockLiteral*' (it's '{4}') */, caller, ins.Offset, mr.Name, trampolineContainerType.FullName + "::" + trampolineMethodName, firstParameterType.FullName));
						return 0;
					}
					// ok
				} else {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MX2106_G /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the first parameter in the method '{3}' isn't 'System.IntPtr', 'void*' or 'ObjCRuntime.BlockLiteral*' (it's '{4}') */, caller, ins.Offset, mr.Name, trampolineContainerType.FullName + "::" + trampolineMethodName, firstParameterType.FullName));
					return 0;
				}

				// Check that the method has [UnmanagedCallersOnly]
				if (!trampolineMethod.HasCustomAttributes || !trampolineMethod.CustomAttributes.Any (v => v.AttributeType.Is ("System.Runtime.InteropServices", "UnmanagedCallersOnlyAttribute"))) {
					ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, caller, ins, Errors.MX2106_H /* Could not optimize the call to BlockLiteral.{2} in {0} at offset {1} because the method '{3}' does not have an [UnmanagedCallersOnly] attribute. */, caller, ins.Offset, mr.Name, trampolineContainerType.FullName + "::" + trampolineMethodName));
					return 0;
				}

				// Calculate the block signature.
				var blockSignature = true;
				var parameters = new TypeReference [trampolineMethod.Parameters.Count];
				for (int p = 0; p < parameters.Length; p++)
					parameters [p] = trampolineMethod.Parameters [p].ParameterType;
				signature = LinkContext.Target.StaticRegistrar.ComputeSignature (trampolineMethod.DeclaringType, false, trampolineMethod.ReturnType, parameters, trampolineMethod.Resolve (), isBlockSignature: blockSignature);

				sequenceStart = loadType;
			} catch (Exception e) {
				ErrorHelper.Show (ErrorHelper.CreateWarning (LinkContext.App, 2106, e, caller, ins, Errors.MM2106_D, caller, ins.Offset, e.Message));
				return 0;
			}

			// We got the information we need: rewrite the IL.
			var instructions = caller.Body.Instructions;
			var index = instructions.IndexOf (sequenceStart);
			int instructionDiff = 0;
			while (instructions [index] != ins) {
				instructions.RemoveAt (index);
				instructionDiff--;
			}
			// Inject the extra arguments
			instructions.Insert (index, Instruction.Create (OpCodes.Ldstr, signature));
			instructionDiff++;
			// Change the call to call the ctor with the string signature parameter instead
			ins.Operand = GetBlockLiteralConstructor (caller, ins);

			Driver.Log (4, "Optimized call to BlockLiteral..ctor in {0} at offset {1} with signature {2}", caller, ins.Offset, signature);
			return instructionDiff;
		}

		static Instruction GetPreviousSkippingNops (Instruction ins)
		{
			do {
				ins = ins.Previous;
			} while (ins.OpCode == OpCodes.Nop);
			return ins;
		}

		int ProcessIsARM64CallingConvention (MethodDefinition caller, Instruction ins)
		{
			const string operation = "inline Runtime.IsARM64CallingConvention";

			if (Optimizations.InlineIsARM64CallingConvention != true)
				return 0;

			if (!is_arm64_calling_convention.HasValue)
				return 0;

			// Verify we're checking the right IsARM64CallingConvention field
			var fr = ins.Operand as FieldReference;
			if (!fr.DeclaringType.Is (Namespaces.ObjCRuntime, "Runtime"))
				return 0;

			if (!ValidateInstruction (caller, ins, operation, Code.Ldsfld))
				return 0;

			// We're fine, inline the Runtime.IsARM64CallingConvention value
			ins.OpCode = is_arm64_calling_convention.Value ? OpCodes.Ldc_I4_1 : OpCodes.Ldc_I4_0;
			ins.Operand = null;

			return 0;
		}

		void ProcessRuntimeArch (MethodDefinition caller, Instruction ins)
		{
			const string operation = "inline Runtime.Arch";

			if (Optimizations.InlineRuntimeArch != true)
				return;

			// Verify we're checking the right Arch field
			var fr = ins.Operand as FieldReference;
			if (!fr.DeclaringType.Is (Namespaces.ObjCRuntime, "Runtime"))
				return;

			// Verify a few assumptions before doing anything
			if (!ValidateInstruction (caller, ins, operation, Code.Ldsfld))
				return;

			// We're fine, inline the Runtime.Arch condition
			// The enum values are Runtime.DEVICE = 0 and Runtime.SIMULATOR = 1,
			ins.OpCode = Device ? OpCodes.Ldc_I4_0 : OpCodes.Ldc_I4_1;
			ins.Operand = null;
		}

		// Returns the type of the value pushed on the stack by the given instruction.
		// Returns null for unknown instructions, or for instructions that don't push anything on the stack.
		TypeReference GetPushedType (MethodDefinition method, Instruction ins)
		{
			var index = 0;
			switch (ins.OpCode.Code) {
			case Code.Ldloc_0:
			case Code.Ldarg_0:
				index = 0;
				break;
			case Code.Ldloc_1:
			case Code.Ldarg_1:
				index = 1;
				break;
			case Code.Ldloc_2:
			case Code.Ldarg_2:
				index = 2;
				break;
			case Code.Ldloc_3:
			case Code.Ldarg_3:
				index = 3;
				break;
			case Code.Ldloc:
			case Code.Ldloc_S:
				return ((VariableDefinition) ins.Operand).VariableType;
			case Code.Ldarg:
			case Code.Ldarg_S:
				return ((ParameterDefinition) ins.Operand).ParameterType;
			case Code.Ldfld:
			case Code.Ldsfld:
				return ((FieldReference) ins.Operand).FieldType;
			case Code.Call:
			case Code.Calli:
			case Code.Callvirt:
				return ((MethodReference) ins.Operand).ReturnType;
			default:
				return null;
			}

			switch (ins.OpCode.Code) {
			case Code.Ldloc:
			case Code.Ldloc_0:
			case Code.Ldloc_1:
			case Code.Ldloc_2:
			case Code.Ldloc_3:
				return method.Body.Variables [index].VariableType;
			case Code.Ldarg:
			case Code.Ldarg_0:
			case Code.Ldarg_1:
			case Code.Ldarg_2:
			case Code.Ldarg_3:
				if (method.IsStatic) {
					return method.Parameters [index].ParameterType;
				} else if (index == 0) {
					return method.DeclaringType;
				} else {
					return method.Parameters [index - 1].ParameterType;
				}
			default:
				return null;
			}
		}

		// Find the value of the [UserDelegateType] attribute on the specified delegate
		TypeReference GetUserDelegateType (TypeReference delegateType)
		{
			var delegateTypeDefinition = delegateType.Resolve ();
			foreach (var attrib in delegateTypeDefinition.CustomAttributes) {
				var attribType = attrib.AttributeType;
				if (!attribType.Is (Namespaces.ObjCRuntime, "UserDelegateTypeAttribute"))
					continue;
				return attrib.ConstructorArguments [0].Value as TypeReference;
			}
			return null;
		}

		MethodDefinition GetDelegateInvoke (TypeReference delegateType)
		{
			var td = delegateType.Resolve ();
			foreach (var method in td.Methods) {
				if (method.Name == "Invoke")
					return method;
			}
			return null;
		}

		MethodDefinition setupblock_def;
		MethodReference GetBlockSetupImpl (MethodDefinition caller, Instruction ins)
		{
			if (setupblock_def == null) {
				var type = LinkContext.GetAssembly (Driver.GetProductAssembly (LinkContext.Target.App)).MainModule.GetType (Namespaces.ObjCRuntime, "BlockLiteral");
				foreach (var method in type.Methods) {
					if (method.Name != "SetupBlockImpl")
						continue;
					setupblock_def = method;
					setupblock_def.IsPublic = true; // Make sure the method is callable from the optimized code.
					break;
				}
				if (setupblock_def == null)
					throw ErrorHelper.CreateError (LinkContext.App, 99, caller, ins, Errors.MX0099, $"could not find the method {Namespaces.ObjCRuntime}.BlockLiteral.SetupBlockImpl");
			}
			return caller.Module.ImportReference (setupblock_def);
		}

		MethodDefinition block_ctor_def;
		MethodReference GetBlockLiteralConstructor (MethodDefinition caller, Instruction ins)
		{
			if (block_ctor_def is null) {
				var type = LinkContext.GetAssembly (Driver.GetProductAssembly (LinkContext.Target.App)).MainModule.GetType (Namespaces.ObjCRuntime, "BlockLiteral");
				foreach (var method in type.Methods) {
					if (!method.IsConstructor)
						continue;
					if (method.IsStatic)
						continue;
					if (!method.HasParameters || method.Parameters.Count != 3)
						continue;
					if (!(method.Parameters [0].ParameterType is PointerType pt) || !pt.ElementType.Is ("System", "Void"))
						continue;
					if (!method.Parameters [1].ParameterType.Is ("System", "Object"))
						continue;
					if (!method.Parameters [2].ParameterType.Is ("System", "String"))
						continue;
					block_ctor_def = method;
					break;
				}
				if (block_ctor_def is null)
					throw ErrorHelper.CreateError (LinkContext.App, 99, caller, ins, Errors.MX0099, $"could not find the constructor ObjCRuntime.BlockLiteral (void*, object, string)");
			}
			return caller.Module.ImportReference (block_ctor_def);
		}

		MethodReference InflateMethod (TypeReference inflatedDeclaringType, MethodDefinition openMethod)
		{
			var git = inflatedDeclaringType as GenericInstanceType;
			if (git == null)
				return openMethod;

			var inflatedReturnType = TypeReferenceExtensions.InflateGenericType (git, openMethod.ReturnType);
			var mr = new MethodReference (openMethod.Name, inflatedReturnType, git);
			if (openMethod.HasParameters) {
				for (int i = 0; i < openMethod.Parameters.Count; i++) {
					var inflatedParameterType = TypeReferenceExtensions.InflateGenericType (git, openMethod.Parameters [i].ParameterType);
					var p = new ParameterDefinition (openMethod.Parameters [i].Name, openMethod.Parameters [i].Attributes, inflatedParameterType);
					mr.Parameters.Add (p);
				}
			}
			return mr;
		}
	}
}