summaryrefslogtreecommitdiff
path: root/slang.h
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2024-05-29 11:14:22 -0700
committerGitHub <noreply@github.com>2024-05-29 11:14:22 -0700
commit83f176ba8a3bae5533470aed6a90663653f894b8 (patch)
tree3e39a674cb4662c946598526f633302f139e14ab /slang.h
parentc1e34c5a29d99d8a70b4e78313bfd3d539d9206e (diff)
Add options to speedup compilation. (#4240)
* Add options to speedup compilation. * Fix. * Plumb options to DCE pass. * Revert debug change. * Fix regressions. * More optimizations. * more cleanup and fixes. * remove comment. * Fixes. * Another fix. * Fix errors. * Fix errors. * Add comments.
Diffstat (limited to 'slang.h')
-rw-r--r--slang.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/slang.h b/slang.h
index 45a6595dd..337ce9bef 100644
--- a/slang.h
+++ b/slang.h
@@ -863,6 +863,7 @@ extern "C"
SourceEmbedLanguage,
DisableShortCircuit, // bool
MinimumSlangOptimization, // bool
+ DisableNonEssentialValidations, // bool
// Target