diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-06-13 16:21:18 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-06-13 16:21:18 -0400 |
| commit | c38f5e361278a391f6462499030396fa25fd23f9 (patch) | |
| tree | 3e2829844fa1506d50d3e6ac2a806def3ee56788 /src/Compilers/Z/Syntax/Util.v | |
| parent | a322632f339e2c0fbd6053547c1bfaa89afb1d2d (diff) | |
Reify Z.mul_with_split_at_bitwidth
Diffstat (limited to 'src/Compilers/Z/Syntax/Util.v')
| -rw-r--r-- | src/Compilers/Z/Syntax/Util.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Compilers/Z/Syntax/Util.v b/src/Compilers/Z/Syntax/Util.v index 06b78ccd8..41b0e33be 100644 --- a/src/Compilers/Z/Syntax/Util.v +++ b/src/Compilers/Z/Syntax/Util.v @@ -80,6 +80,7 @@ Definition genericize_op {var' src dst} (opc : op src dst) {f} | Opp _ _ => fun _ _ => Opp _ _ | IdWithAlt _ _ _ => fun _ _ => IdWithAlt _ _ _ | Zselect _ _ _ _ => fun _ _ => Zselect _ _ _ _ + | MulSplit bitwidth _ _ _ _ => fun _ _ => MulSplit bitwidth _ _ _ _ | AddWithCarry _ _ _ _ => fun _ _ => AddWithCarry _ _ _ _ | AddWithGetCarry bitwidth _ _ _ _ _ => fun _ _ => AddWithGetCarry bitwidth _ _ _ _ _ | SubWithBorrow _ _ _ _ => fun _ _ => SubWithBorrow _ _ _ _ |