QIR Profiles Selection via Project Field or EntryPoint argument #2591

ScottCarda-MS · 2025-07-14T16:55:00Z

This removes the workspace setting for the QIR profile and adds a setting for this for Q# project files instead, i.e. "targetProfile": "base". Single-file Q# files are supported by adding an argument to the @entrypoint attribute where a user will specify what profile the file is meant to compile with, i.e. @EntryPoint(Adaptive_RI), or uses Unrestricted as a default.

…jects

…pabilities or throws new error. Added is_single_file to Compilation and as param to prepare_package_store.

… dependencies

source/compiler/qsc/src/interpret/package_tests.rs

source/compiler/qsc/src/packages.rs

source/compiler/qsc_frontend/src/lower.rs

source/compiler/qsc/src/interpret/package_tests.rs

source/compiler/qsc_project/src/project.rs

source/language_service/src/state/tests.rs

source/language_service/src/compilation.rs

source/wasm/src/project_system.rs

source/vscode/test/suites/language-service/notebook.test.ts

source/vscode/src/qirGeneration.ts

minestarks

Looks great overall. The excessive isSingleFile plumbing is the only real issue I see which should just go away if you stick it inside the appropriate struct

source/compiler/qsc/src/interpret.rs

Adds the `#pragma qdk.qir.profile` pragma to our QASM compiler. This pragma is used to specify the profile to compile the QASM file with, i.e. `#pragma qdk.qir.profile Base` to have the file compile with the `Base` profile. QASM files are always compiled with the profile specified by their source with this pragma. If no pragma is provided, the compilation will default to `Unrestricted`. The PR is built on top of and relies on #2591

ScottCarda-MS added 24 commits June 18, 2025 12:23

WIP

07e3a33

Running with project profile instead of workspace profile

e04f825

fixed casing in profile string

92ed7ee

remove workspace setting for profile

d506385

use is_single_file field to infer profile based on target for non-pro…

191752f

…jects

a bit of cleanup

1b75db0

remove obsolete test

c389eb2

fix LS tests

c1e20a1

Merge branch 'main' into sccarda/ProjectProfiles

12b5e4e

try fixing format, not sure this will work

2fd7d0b

fixes formatting

bd5dd19

waitForDiagnosticsToBeEmpty

6118648

Added check for entrypoint profile and error

b95d8c3

prepare_package_store checks for entry point and either overwrites ca…

a9e07cf

…pabilities or throws new error. Added is_single_file to Compilation and as param to prepare_package_store.

Work off of EntryPoint argument, which is a Profile name

f602e50

friendly name for profiles in qsharp.json

d5684ec

isSingleFile used in standard "run" compilation

9bb86c2

fix playground not running

6812a9f

Use the entry profile when we actually run the program, not just with…

8635c4f

… dependencies

Remove profile selection dropdown from profile

2aec7eb

Merge branch 'main' into sccarda/SingleFileProfiles

c88ff11

"adaptive_ri" and "adaptive_rif"

41c5340

unused import

22d4897

fixed test

7de00bc

ScottCarda-MS marked this pull request as ready for review July 14, 2025 22:33

ScottCarda-MS requested review from billti, idavis, swernli, minestarks and DmitryVasilevsky as code owners July 14, 2025 22:33

ScottCarda-MS mentioned this pull request Jul 14, 2025

QIR Profiles Selection via Project Field #2566

Closed

idavis reviewed Jul 14, 2025

View reviewed changes

source/compiler/qsc/src/interpret/package_tests.rs Outdated Show resolved Hide resolved

minor change

2e89e7b

ScottCarda-MS mentioned this pull request Jul 17, 2025

QASM Profile Pragma #2612

Merged

swernli reviewed Jul 20, 2025

View reviewed changes