From ef3ce824f87fd11eed78a13a884579499a8ffc53 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Tue, 2 Apr 2019 17:51:17 -0400 Subject: Add Z.combine_at_bitwidth --- src/CStringification.v | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/CStringification.v') 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 -- cgit v1.2.3