From 83f176ba8a3bae5533470aed6a90663653f894b8 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Wed, 29 May 2024 11:14:22 -0700
Subject: 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.
---
 slang.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'slang.h')

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
 
-- 
cgit v1.2.3