From 17b56ec77ba621d692411f5310335237f47fa765 Mon Sep 17 00:00:00 2001 From: ncave <777696+ncave@users.noreply.github.com> Date: Fri, 2 Oct 2020 11:36:45 -0700 Subject: [PATCH] Export metadata --- fcs/fcs-export/Program.fs | 88 +++++++++++++++++++ fcs/fcs-export/fcs-export.fsproj | 24 +++++ global.json | 4 +- src/absil/ilwrite.fs | 6 ++ src/fsharp/CompilerImports.fs | 32 +++++++ .../FSharp.Compiler.Service.fsproj | 1 + 6 files changed, 153 insertions(+), 2 deletions(-) create mode 100644 fcs/fcs-export/Program.fs create mode 100644 fcs/fcs-export/fcs-export.fsproj diff --git a/fcs/fcs-export/Program.fs b/fcs/fcs-export/Program.fs new file mode 100644 index 000000000000..9e27d304b677 --- /dev/null +++ b/fcs/fcs-export/Program.fs @@ -0,0 +1,88 @@ +open System.IO +open System.Collections.Generic +open FSharp.Compiler +open FSharp.Compiler.SourceCodeServices + +let readRefs (folder : string) (projectFile: string) = + let runProcess (workingDir: string) (exePath: string) (args: string) = + let psi = System.Diagnostics.ProcessStartInfo() + psi.FileName <- exePath + psi.WorkingDirectory <- workingDir + psi.RedirectStandardOutput <- false + psi.RedirectStandardError <- false + psi.Arguments <- args + psi.CreateNoWindow <- true + psi.UseShellExecute <- false + + use p = new System.Diagnostics.Process() + p.StartInfo <- psi + p.Start() |> ignore + p.WaitForExit() + + let exitCode = p.ExitCode + exitCode, () + + let runCmd exePath args = runProcess folder exePath (args |> String.concat " ") + let msbuildExec = Dotnet.ProjInfo.Inspect.dotnetMsbuild runCmd + let result = Dotnet.ProjInfo.Inspect.getProjectInfo ignore msbuildExec Dotnet.ProjInfo.Inspect.getFscArgs projectFile + match result with + | Ok(Dotnet.ProjInfo.Inspect.GetResult.FscArgs x) -> + x + |> List.filter (fun s -> s.StartsWith("-r:")) + |> List.map (fun s -> s.Replace("-r:", "")) + | _ -> [] + +let mkStandardProjectReferences () = + let file = "fcs-export.fsproj" + let projDir = __SOURCE_DIRECTORY__ + readRefs projDir file + +let mkProjectCommandLineArgsForScript (dllName, fileNames) = + [| yield "--simpleresolution" + yield "--noframework" + yield "--debug:full" + yield "--define:DEBUG" + yield "--optimize-" + yield "--out:" + dllName + yield "--doc:test.xml" + yield "--warn:3" + yield "--fullpaths" + yield "--flaterrors" + yield "--target:library" + for x in fileNames do + yield x + let references = mkStandardProjectReferences () + for r in references do + yield "-r:" + r + |] + +let checker = FSharpChecker.Create() + +let parseAndCheckScript (file, input) = + let dllName = Path.ChangeExtension(file, ".dll") + let projName = Path.ChangeExtension(file, ".fsproj") + let args = mkProjectCommandLineArgsForScript (dllName, [file]) + // printfn "file: %s" file + // args |> Array.iter (printfn "args: %s") + let projectOptions = checker.GetProjectOptionsFromCommandLineArgs (projName, args) + let parseRes, typedRes = checker.ParseAndCheckFileInProject(file, 0, input, projectOptions) |> Async.RunSynchronously + + if parseRes.Errors.Length > 0 then + printfn "---> Parse Input = %A" input + printfn "---> Parse Error = %A" parseRes.Errors + + match typedRes with + | FSharpCheckFileAnswer.Succeeded(res) -> parseRes, res + | res -> failwithf "Parsing did not finish... (%A)" res + +[] +let main argv = + ignore argv + printfn "Exporting metadata..." + let file = "/temp/test.fsx" + let input = "let a = 42" + let sourceText = FSharp.Compiler.Text.SourceText.ofString input + // parse script just to export metadata + let parseRes, typedRes = parseAndCheckScript(file, sourceText) + printfn "Exporting is done." + 0 diff --git a/fcs/fcs-export/fcs-export.fsproj b/fcs/fcs-export/fcs-export.fsproj new file mode 100644 index 000000000000..8cd88f4fb11a --- /dev/null +++ b/fcs/fcs-export/fcs-export.fsproj @@ -0,0 +1,24 @@ + + + + Exe + netcoreapp3.1 + true + + + + + + + + + + + + + + + + + + diff --git a/global.json b/global.json index 1ab536c1bc61..61f7be0ea41c 100644 --- a/global.json +++ b/global.json @@ -1,9 +1,9 @@ { "sdk": { - "version": "3.1.302" + "version": "3.1.402" }, "tools": { - "dotnet": "3.1.302", + "dotnet": "3.1.402", "vs": { "version": "16.4", "components": [ diff --git a/src/absil/ilwrite.fs b/src/absil/ilwrite.fs index 7c158eb03817..919cd60e4f0c 100644 --- a/src/absil/ilwrite.fs +++ b/src/absil/ilwrite.fs @@ -2439,6 +2439,9 @@ let GenMethodDefAsRow cenv env midx (md: ILMethodDef) = if cenv.entrypoint <> None then failwith "duplicate entrypoint" else cenv.entrypoint <- Some (true, midx) let codeAddr = +#if EXPORT_METADATA + 0x0000 +#else (match md.Body.Contents with | MethodBody.IL ilmbody -> let addr = cenv.nextCodeAddr @@ -2484,6 +2487,7 @@ let GenMethodDefAsRow cenv env midx (md: ILMethodDef) = | MethodBody.Native -> failwith "cannot write body of native method - Abstract IL cannot roundtrip mixed native/managed binaries" | _ -> 0x0000) +#endif UnsharedRow [| ULong codeAddr @@ -3460,6 +3464,7 @@ let writeBinaryAndReportMappings (outfile, match signer, modul.Manifest with | Some _, _ -> signer | _, None -> signer +#if !EXPORT_METADATA | None, Some {PublicKey=Some pubkey} -> (dprintn "Note: The output assembly will be delay-signed using the original public" dprintn "Note: key. In order to load it you will need to either sign it with" @@ -3469,6 +3474,7 @@ let writeBinaryAndReportMappings (outfile, dprintn "Note: private key when converting the assembly, assuming you have access to" dprintn "Note: it." Some (ILStrongNameSigner.OpenPublicKey pubkey)) +#endif | _ -> signer let modul = diff --git a/src/fsharp/CompilerImports.fs b/src/fsharp/CompilerImports.fs index b54914696deb..bad7c9aa7ae0 100644 --- a/src/fsharp/CompilerImports.fs +++ b/src/fsharp/CompilerImports.fs @@ -1782,6 +1782,38 @@ and [] TcImports(tcConfigP: TcConfigProvider, initialResolutions: TcAsse global_g <- Some tcGlobals #endif frameworkTcImports.SetTcGlobals tcGlobals + +#if EXPORT_METADATA + let metadataPath = __SOURCE_DIRECTORY__ + "/../../temp/metadata/" + let writeMetadata (dllInfo: ImportedBinary) = + let outfile = Path.GetFullPath(metadataPath + Path.GetFileName(dllInfo.FileName)) + let ilModule = dllInfo.RawMetadata.TryGetILModuleDef().Value + try + let args: ILBinaryWriter.options = { + ilg = ilGlobals + pdbfile = None + emitTailcalls = false + deterministic = false + showTimes = false + portablePDB = false + embeddedPDB = false + embedAllSource = false + embedSourceList = [] + sourceLink = "" + checksumAlgorithm = tcConfig.checksumAlgorithm + signer = None + dumpDebugInfo = false + pathMap = tcConfig.pathMap } + ILBinaryWriter.WriteILBinary (outfile, args, ilModule, id) + with Failure msg -> + printfn "Export error: %s" msg + + let! dllinfos, _ccuinfos = frameworkTcImports.RegisterAndImportReferencedAssemblies (ctok, tcResolutions.GetAssemblyResolutions()) + dllinfos |> List.iter writeMetadata + let! dllinfos, _ccuinfos = frameworkTcImports.RegisterAndImportReferencedAssemblies (ctok, tcAltResolutions.GetAssemblyResolutions()) + dllinfos |> List.iter writeMetadata +#endif + return tcGlobals, frameworkTcImports } diff --git a/src/fsharp/FSharp.Compiler.Service/FSharp.Compiler.Service.fsproj b/src/fsharp/FSharp.Compiler.Service/FSharp.Compiler.Service.fsproj index 9c8695b63560..12e5600fcf41 100644 --- a/src/fsharp/FSharp.Compiler.Service/FSharp.Compiler.Service.fsproj +++ b/src/fsharp/FSharp.Compiler.Service/FSharp.Compiler.Service.fsproj @@ -5,6 +5,7 @@ netstandard2.0 $(NoWarn);44;62;69;65;54;61;75;62;9;2003;NU5125 true + $(DefineConstants);EXPORT_METADATA $(DefineConstants);COMPILER_SERVICE_AS_DLL $(DefineConstants);COMPILER $(DefineConstants);ENABLE_MONO_SUPPORT