hl: Fix selected attr type.

trailofbits · Sep 9, 2024 · 2aab276 · 2aab276
1 parent e54fa0a
commit 2aab276
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/include/vast/Dialect/HighLevel/HighLevelOps.td b/include/vast/Dialect/HighLevel/HighLevelOps.td
@@ -1699,7 +1699,7 @@ def HighLevel_GenericAssocExpr
 
 def HighLevel_GenericSelectionExpr
   : HighLevel_Op< "generic_expr", [NoTerminator] >
-  , Arguments< (ins OptionalAttr< TypeAttr >:$controlType, OptionalAttr< TypedAttrInterface >:$selected) >
+  , Arguments< (ins OptionalAttr< TypeAttr >:$controlType, OptionalAttr< IndexAttr >:$selected) >
   , Results< (outs AnyType:$result) >
 {
   let summary = "C11 _Generic expression.";
@@ -1734,7 +1734,7 @@ def HighLevel_GenericSelectionExpr
     }] >
   ];
 
-  let assemblyFormat = [{ attr-dict `match` `:` ($control^)? ($controlType^)? $values `->` type($result)}];
+  let assemblyFormat = [{ attr-dict `match` `:` ($control^)? ($controlType^)? $body `->` type($result)}];
 }
 
 #endif // VAST_DIALECT_HIGHLEVEL_IR_HIGHLEVELOPS