terapines
/
circt
mirror of https://github.com/llvm/circt.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

LLVM bump to include upstream verifier performance fix. (#7496) 

Bump LLVM [1] to include an upstream verifier performance fix [2].

This required two minor fixes to CIRCT:

  * [HW] Qualify types for safer use in other dialects.
  * [ImportVerilog] Fix ternary with diff types, both become Value.

[1]: 5689cccead...c69b8c445a
[2]: 7a98071da2
This commit is contained in:
Will Dietz 2024-08-09 18:56:27 -05:00 committed by GitHub
parent bfed5353fd
commit b3a54e3557
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
3 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
include/circt/Dialect/HW/HWTypes.td
View File

@ -39,7 +39,7 @@ def HWNonInOutType : DialectType<HWDialect,
def InOutType : DialectType<HWDialect,
CPred<"::circt::hw::type_isa<circt::hw::InOutType>($_self)">,
"InOutType", "InOutType">;
"InOutType", "::circt::hw::InOutType">;
class InOutTypeOf<list<Type> allowedTypes>
: ContainerType<AnyTypeOf<allowedTypes>, CPred<"::circt::hw::type_isa<::circt::hw::InOutType>($_self)">,
@ -62,7 +62,7 @@ def StructType : DialectType<HWDialect,
// A handle to refer to circt::hw::UnionType in ODS.
def UnionType : DialectType<HWDialect,
CPred<"::circt::hw::type_isa<circt::hw::UnionType>($_self)">,
"a UnionType", "::circt::hw::TypeAliasOr<hw::UnionType>">;
"a UnionType", "::circt::hw::TypeAliasOr<::circt::hw::UnionType>">;
// A handle to refer to circt::hw::EnumType in ODS.
def EnumType : DialectType<HWDialect,

4
lib/Conversion/ImportVerilog/Expressions.cpp
View File

@ -178,7 +178,9 @@ struct RvalueExprVisitor {
isInc ? builder.create<moore::AddOp>(loc, preValue, one).getResult()
: builder.create<moore::SubOp>(loc, preValue, one).getResult();
builder.create<moore::BlockingAssignOp>(loc, arg, postValue);
return isPost ? preValue : postValue;
if (isPost)
return preValue;
return postValue;
}
// Handle unary operators.

2
llvm

@ -1 +1 @@
Subproject commit 5689cccead7b70d8eeae4c641e8078e6d3c50b9a
Subproject commit c69b8c445a6b7efd29e67b665adaf04575f3ed92