diff options
Diffstat (limited to 'src/Compilers/ZExtended/Syntax/Util.v')
| -rw-r--r-- | src/Compilers/ZExtended/Syntax/Util.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Compilers/ZExtended/Syntax/Util.v b/src/Compilers/ZExtended/Syntax/Util.v index e62915107..6a552e129 100644 --- a/src/Compilers/ZExtended/Syntax/Util.v +++ b/src/Compilers/ZExtended/Syntax/Util.v @@ -20,6 +20,7 @@ Definition invert_Const s d (opc : op s d) : option (interp_flat_type interp_bas | AddWithGetCarryZ _ | SubWithGetBorrowZ _ | MulSplitAtBitwidthZ _ + | IdWithAlt _ | Zselect | Zmul | Zadd @@ -55,6 +56,8 @@ Definition unextend_op {s d} (opc : ZExtended.Syntax.op s d) | MulSplitAtBitwidth => None | MulSplitAtBitwidthZ bitwidth => Some (Z.Syntax.MulSplit bitwidth _ _ _ _) + | IdWithAlt _ + => Some (Z.Syntax.IdWithAlt _ _ _) | Zselect => Some (Z.Syntax.Zselect _ _ _ _) | Zmul => Some (Z.Syntax.Mul _ _ _) | Zadd => Some (Z.Syntax.Add _ _ _) |