diff options
Diffstat (limited to 'src/Compiler.v')
| -rw-r--r-- | src/Compiler.v | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/Compiler.v b/src/Compiler.v index 636346c..504246e 100644 --- a/src/Compiler.v +++ b/src/Compiler.v @@ -198,6 +198,12 @@ Definition transf_hls (p : Csyntax.program) : res Verilog.program := @@ print (print_RTL 0) @@@ transf_backend. +Definition transf_superblock p := + OK p + @@@ (time "RTLpath generation" RTLpathLivegen.transf_program) + @@@ (time "Prepass scheduling" RTLpathScheduler.transf_program) + @@ (time "Projection to RTL" RTLpath.transf_program). + (* This is an unverified version of transf_hls with some experimental additions such as scheduling that aren't completed yet. *) Definition transf_hls_temp (p : Csyntax.program) : res Verilog.program := @@ -221,7 +227,9 @@ Definition transf_hls_temp (p : Csyntax.program) : res Verilog.program := @@@ partial_if Compopts.optim_redundancy (time "Redundancy elimination" Deadcode.transf_program) @@ print (print_RTL 6) @@@ time "Unused globals" Unusedglob.transf_program - @@ print (print_RTL 7) + @@ print (print_RTL 7) + @@@ partial_if HLSOpts.optim_superblock transf_superblock + @@ print (print_RTL 8) @@@ RTLBlockgen.transl_program @@ print (print_RTLBlock 0) @@ total_if HLSOpts.optim_if_conversion IfConversion.transf_program |