diff options
author | Jason Gross <jgross@mit.edu> | 2019-04-02 17:51:17 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2019-04-02 17:51:17 -0400 |
commit | ef3ce824f87fd11eed78a13a884579499a8ffc53 (patch) | |
tree | a6af1f34cffc7dedee718e263f6e5d2751eaf28c /src/CStringification.v | |
parent | bacfa270c0c492ef8518d360d87e46cee292474f (diff) |
Add Z.combine_at_bitwidth
Diffstat (limited to 'src/CStringification.v')
-rw-r--r-- | src/CStringification.v | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/CStringification.v b/src/CStringification.v index 0862aec64..8926f3d97 100644 --- a/src/CStringification.v +++ b/src/CStringification.v @@ -339,6 +339,8 @@ Module Compilers. => fun args => (show_application with_casts (fun _ => "Z.rshi") args, ZRange.type.base.option.None) | ident.Z_cc_m => fun args => (show_application with_casts (fun _ => "Z.cc_m") args, ZRange.type.base.option.None) + | ident.Z_combine_at_bitwidth + => fun args => (show_application with_casts (fun _ => "Z.combine_at_bitwidth") args, ZRange.type.base.option.None) | ident.Z_cast range => fun '((x, xr), tt) => (x, Some range) | ident.Z_cast2 (r1, r2) @@ -453,6 +455,7 @@ Module Compilers. | ident.Z_add_modulo => "Z.add_modulo" | ident.Z_rshi => "Z.rshi" | ident.Z_cc_m => "Z.cc_m" + | ident.Z_combine_at_bitwidth => "Z.combine_at_bitwidth" | ident.Z_cast range => "(" ++ show_range_or_ctype range ++ ")" | ident.Z_cast2 (r1, r2) => "(" ++ show_range_or_ctype r1 ++ ", " ++ show_range_or_ctype r2 ++ ")" | ident.Build_zrange => "Build_zrange" @@ -1348,6 +1351,7 @@ Module Compilers. | ident.Z_add_modulo | ident.Z_rshi | ident.Z_cc_m + | ident.Z_combine_at_bitwidth | ident.Z_cast _ | ident.Z_cast2 _ | ident.Build_zrange |