diff options
| -rw-r--r-- | src/synth/synth-stmts.adb | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb index 1fd331e85..c0b810b54 100644 --- a/src/synth/synth-stmts.adb +++ b/src/synth/synth-stmts.adb @@ -1587,6 +1587,43 @@ package body Synth.Stmts is C.Cur_Loop := Lc.Prev_Loop; end Synth_For_Loop_Statement; + procedure Synth_While_Loop_Statement (C : in out Seq_Context; Stmt : Node) + is + Stmts : constant Node := Get_Sequential_Statement_Chain (Stmt); + Cond : constant Node := Get_Condition (Stmt); + Val : Value_Acc; + Lc : aliased Loop_Context; + begin + Lc := (Prev_Loop => C.Cur_Loop, + Loop_Stmt => Stmt, + Need_Quit => False, + Saved_En => No_Net, + W_Exit => No_Wire_Id, + W_Quit => No_Wire_Id, + Wire_Mark => No_Wire_Id); + C.Cur_Loop := Lc'Unrestricted_Access; + + Loop_Control_Init (C, Stmt); + + loop + if Cond /= Null_Node then + Val := Synth_Expression_With_Type (C.Inst, Cond, Boolean_Type); + if not Is_Const (Val) then + Error_Msg_Synth (+Cond, "loop condition must be static"); + exit; + end if; + exit when Val.Scal = 0; + end if; + + Synth_Sequential_Statements (C, Stmts); + + Loop_Control_Update (C); + end loop; + Loop_Control_Finish (C); + + C.Cur_Loop := Lc.Prev_Loop; + end Synth_While_Loop_Statement; + procedure Synth_Return_Statement (C : in out Seq_Context; Stmt : Node) is Val : Value_Acc; @@ -1653,6 +1690,8 @@ package body Synth.Stmts is Synth_Case_Statement (C, Stmt); when Iir_Kind_For_Loop_Statement => Synth_For_Loop_Statement (C, Stmt); + when Iir_Kind_While_Loop_Statement => + Synth_While_Loop_Statement (C, Stmt); when Iir_Kind_Null_Statement => -- Easy null; |