aboutsummaryrefslogtreecommitdiff
path: root/lib/compilers
Commit message (Collapse)AuthorAge
...
* Improve RGA register analysis association (#3977)gh-3988Jeremy Ong2022-08-21
| | | | | | | | | | | | | | RGA register analysis provided through shae.exe would mismatch the emitted assembly if labels were present since labels don't correspond to instructions. The modification in the emission here addresses this issue (and may need to be disabled in future versions of RGA). With existing issues though, it resolves issues in correspondence. This commit also fixes an issue where the RGA error output (if present) was stomped over by a different log line. Signed-off-by: Jeremy Ong <jeremycong@gmail.com> Signed-off-by: Jeremy Ong <jeremycong@gmail.com>
* Add RGA compiler support to HLSL (#3961)gh-3951Jeremy Ong2022-08-17
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Add RGA compiler support to HLSL AMD's Radeon GPU Analyzer (RGA) tool is an indispensible tool for graphics programmers to inspect the instructions that will be compiled by the driver for a given shader and GPU. The integration of this compiler into CE is slightly unconventional for reasons to be explained here: When trying to compile HLSL directly to ISA, RGA requires a full pipeline state description (specified for graphics pipelines using a gpso file), and a root signature, since changes to either affect how resources and data within the shader are accessed or written to. Specifying both is difficult to the extent that it would add significant usage friction to the tool. An informal survey among other senior graphics programming practitioners suggested unanimous agreement to infer both pipeline state and root signature where possible, with the expectation that if more accurate ISA code was needed, RGA could be used directly offline. Fortunately, RGA supplies an alternative workflow, wherein SPIR-V code can be compiled directly to the approximate ISA, bypassing both the pipeline and root signature requirement. To use RGA, the following steps are performed: 1. Use the default DXC compiler to emit SPIR-V as text to a temporary file in the selected temp folder. 2. Compile the ISA using RGA, consuming the output of step 1 3. Rename the resulting file to the output file CE expects In addition, a non-standard argument --asic is added to the user options. This argument is filtered for DXC, but for RGA is forwarded as the selected ASIC to emit ISA for. These steps are performed by a single `rga.js` script, which is invoked as an executable. This chaining could have been added within CE library code directly, but being an atypical flow, felt more appropriate as a separate script (which has the benefit of faster iteration, due to being loaded on each compilation request). The paths to DXC and RGA are supplied as arguments through a simple CLI interface. NOTE: This commit also adds `-Zi` and `-Qembed_debug` flags to both DXC and RGA, which provides line association data for DXIL. Signed-off-by: Jeremy Ong <jeremycong@gmail.com> * Incorporate PR feedback (see commit body) This commit introduces several changes: - HLSL compiler is now Typescript - A new RGACompiler Typescript class is used to invoke RGA - The multi-phase compilation that was previously done using a Node script now leverages the existing sandboxed execution facilities - The DXC compiler is configurable as a property on the RGA configuration, and an example is provided in hlsl.defaults.properties As there are several steps needed to compile HLSL to AMD ISA as before, as steps are done asynchronously so the runtime can continue to service other requests during compilation (either DXC or RGA) or file I/O. Signed-off-by: Jeremy Ong <jeremycong@gmail.com> Signed-off-by: Jeremy Ong <jeremycong@gmail.com> Co-authored-by: Rubén Rincón Blanco <ruben@rinconblanco.es>
* JBOF: Just a Bunch of Fixes (#3957)gh-3912Rubén Rincón Blanco2022-08-13
| | | | | | | | | - Renames orphancompiler.py script to propscheck.py, the name fits better - Fixes Go props to make them easier to maintain - Alphabetically sorts some listings in the code - Adds tests to the props checker script (No idea how to integrate those so it's manual for now) - Adds 2 missing limit cases for Motd filtering
* Add preliminary HLSL support (#3932)gh-3870Jeremy Ong2022-08-09
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Add preliminary HLSL support - Adds a new language mode to monaco, extending the base C++ layer with HLSL intrinsics and types - Adds a new `HLSLCompiler` class - Adds a sample pixel shader The compiler used to test this locally is the [DirectX Shader Compiler](https://github.com/microsoft/DirectXShaderCompiler) (aka DXC), which needs to also be added to the [infra](https://github.com/compiler-explorer/infra) project. Some guidance is needed before this PR can be merged: 1. While DXC can run on Linux, there are no binaries available so this compiler must be built. Are there examples that show how we should do this as part of the infra CI/CD? Should we build and host it separately instead? The build process for DXC on Linux is relatively straightforward and documented [here](https://github.com/microsoft/DirectXShaderCompiler/blob/main/docs/DxcOnUnix.rst). 2. The example code doesn't compile unless the user also supplies additional compiler flags `-T ps_6_6 -E PSMain`. Is there a way to load these flags conditionally only if the sample is loaded? 3. Technically, DXC emits DXIL IR (based on LLVM IR) and I am wondering if it's possible to extend an existing LLVM backend. In addition, the `-spirv` compiler flag could be emitted to target the SPIR-V backend instead, so I'm curious if there is a good way to express the target backend. Signed-off-by: Jeremy Ong <jeremycong@gmail.com> * Fix copyright dates, remove unnecessary strict usage, and remove placeholder logo Signed-off-by: Jeremy Ong <jeremycong@gmail.com> * Rebase and remove unneeded HLSL logo Signed-off-by: Jeremy Ong <jeremycong@gmail.com> * Fix lint errors Signed-off-by: Jeremy Ong <jeremycong@gmail.com> * Simply HLSL sample and remove default config Signed-off-by: Jeremy Ong <jeremycong@gmail.com>
* Add basic CIRCT compiler support. (#3917)gh-3810Mike Urbach2022-07-28
| | | | | | | | | | | | * Add basic CIRCT compiler support. This adds basic support for CIRCT as requested in #3825. The addition is based on the similar additions for MLIR in #3733 and #3770. * Update path and rename compiler in circt.amazon.properties. * Update circt.amazon.properties Co-authored-by: Patrick Quist <partouf@gmail.com>
* Adds ability to detect incompatible options & userOptions (#3912)gh-3781Rubén Rincón Blanco2022-07-26
| | | | | Also filters it with rust to remove the color==always flag as the first implementation.
* Give LDC its own LDCParser for cmdline options. (#3907)gh-3767Johan Engelen2022-07-26
| | | LDC does not quite copy Clang cmdline options, so it's best to implement its own parser.
* fix for pre v11 nvcc (#3897)gh-3707Patrick Quist2022-07-21
|
* Ldcsymbolizer (#3891)gh-3687Patrick Quist2022-07-20
|
* Enable LLVM optimisation pipeline viewer for LDC + ASan symbolizer (#3838)Johan Engelen2022-07-20
|
* Add support for Carbon (#3885)gh-3675Matt Godbolt2022-07-19
| | | Add support for the Carbon language prototype.
* Lint fixgh-3670Matt Godbolt2022-07-19
|
* Pony Lang Config (#3855)gh-3615Christopher Smyth2022-07-10
|
* Add the jakt programming language (#3845)gh-3605TrMen2022-07-09
|
* Add -fno-discard-value-names support for the llvm opt viewer (#3836)gh-3549Jeremy Rifkin2022-07-04
| | | | | * Added -fno-discard-value-names support for the llvm opt viewer * Added -Z fewer-names=no for rustc
* Added llvm opt pipeline rust support (#3835)gh-3538Jeremy Rifkin2022-07-04
|
* fix cwdgh-3516partouf2022-07-01
|
* LLVM Optimization Pass Viewer (#3769)gh-3514Jeremy Rifkin2022-07-01
|
* Cpp 6502 as compiler (#3678)gh-3486Patrick Quist2022-06-26
|
* disable toitgh-3463partouf2022-06-24
|
* Toit (#3809)gh-3462Patrick Quist2022-06-24
|
* Toit (#3808)gh-3459Patrick Quist2022-06-24
|
* Rust library support (#3754)gh-3295Patrick Quist2022-06-10
|
* NFC: Rename TypeScript to TypeScript Native on website (#3750)gh-3250Mats Larsen2022-06-06
|
* Create minimal support implementation for MLIR (#3733)gh-3215Mats Larsen2022-06-01
|
* Base-compiler to typescript (#3718)gh-3142Patrick Quist2022-05-27
|
* First try at fixing flang (#3673)gh-3104Rubén Rincón Blanco2022-05-26
|
* fix ada; set apphome to allow subdir customcwdgh-3094partouf2022-05-25
|
* formatfixgh-3093partouf2022-05-25
|
* bugfix ada intel asm optionsPatrick Quist2022-05-25
|
* Ada: fix compile to binary/execute within jail (#3716)gh-3090Marc Poulhiès2022-05-25
| | | | | | Need to jump in the dedicated directory, but then GNAT may write some files that may conflict with ours: create a dedicated temp subdir to run GNAT. Signed-off-by: Marc Poulhiès <dkm@kataplop.net>
* Ada: Fix inputFileName at incorrect loc for binary and execution (#3712)gh-3079Marc Poulhiès2022-05-25
| | | | | | | | | | | | | | | | When compiling to binary or running the executable, extra options are inserted, breaking some weak asumption in Ada/GNAT on where in the list is the inputFilename. Override prepareArguments() for GNAT and (more) cleanly handle the options (split between gnatmake, compiler, binder and linker). Also use 'gnatmake' as main compiler executable instead of 'gnat'. Refresh Copyright. Fixes #3709 Signed-off-by: Marc Poulhiès <dkm@kataplop.net>
* Remove hardcoded pathgh-3067Marc Poulhiès2022-05-25
| | | ... probably slipped through during the review
* Beeb (#3679)gh-3045Patrick Quist2022-05-22
|
* Make Clang parser logic shorter (#3692)gh-3020Juan José2022-05-20
| | | Co-authored-by: Mats Larsen <me@supergrecko.com>
* Dosbox + Turbo C 2.01 support (#3627)gh-2886Patrick Quist2022-05-13
|
* formatfixespartouf2022-05-12
|
* Merge branches 'bbcmicrothings' and 'main' of ↵partouf2022-05-12
|\ | | | | | | https://github.com/compiler-explorer/compiler-explorer into main
| * Add semver check for ast dump in iscp (#3652)gh-2876Rubén Rincón Blanco2022-05-12
| | | | | | | | | | | | | | | | * Add semver check for ast dump in iscp Closes #3648 * Fix ast options * Fix ast options x2
| * Renable license checks (#3619)gh-2865Rubén Rincón Blanco2022-05-12
| | | | | | | | | | | | | | | | | | | | | | | | | | * Renable license checks * Set correct copyright date for unfurl-tests * Fix small typo * Fix license check line spacing * Disable license check * Go to old format for gcc dump view
* | Merge remote-tracking branch 'origin/main' into bbcmicrothingspartouf2022-05-11
|\|
| * The Grand Reformat (#3643)gh-2830Matt Godbolt2022-05-09
| | | | | | | | | | | | | | | | | | | | * The Grand Reformat - everything made prettier...literally - some tweaks to include a few more files, including documentation - minor changes to format style - some tiny `// prettier-ignore` changes to keep a few things the way we like them - a couple of super minor tweaks to embedded document types to ensure they format correctly
| * Fix for #3637 (#3638)gh-2818Jeremy Rifkin2022-05-09
| |
| * Option to load a custom popular arguments json from disk (#3597)gh-2788Patrick Quist2022-05-06
| |
| * Add GHC Core and Cmm views #3571 (#3593)gh-2762A S E2022-05-04
| |
| * Automatically detect Java entry points (#3614)gh-2752Headline2022-05-02
| |
| * lintfixgh-2730Patrick Quist2022-04-30
| |
| * Clang force dwarf4 (#3604)gh-2712Patrick Quist2022-04-29
| | | | | | | | | | * this works, but args are hidden for user * moved to optionsforfilter so user can see the parameter
| * add a view for Haskell STG intermediary output #3571 (#3585)gh-2669A S E2022-04-28
| |
| * Add noImplicitOverride to tsc configRabsRincon2022-04-27
| |