Lines Matching refs:RM_Size
367 Left_Size := UI_To_Int (RM_Size (Left_Type));
380 Right_Size := UI_To_Int (RM_Size (Right_Type));
437 X_Size : constant Nat := UI_To_Int (RM_Size (Etype (X)));
438 Y_Size : constant Nat := UI_To_Int (RM_Size (Etype (Y)));
439 Z_Size : constant Nat := UI_To_Int (RM_Size (Etype (Z)));
512 X_Size : constant Nat := UI_To_Int (RM_Size (Etype (X)));
513 Y_Size : constant Nat := UI_To_Int (RM_Size (Etype (Y)));
514 Z_Size : constant Nat := UI_To_Int (RM_Size (Etype (Z)));
690 Left_Size := UI_To_Int (RM_Size (Left_Type));
703 Right_Size := UI_To_Int (RM_Size (Right_Type));
805 X_Size : constant Nat := UI_To_Int (RM_Size (Etype (X)));
806 Y_Size : constant Nat := UI_To_Int (RM_Size (Etype (Y)));
807 Z_Size : constant Nat := UI_To_Int (RM_Size (Etype (Z)));
877 X_Size : constant Nat := UI_To_Int (RM_Size (Etype (X)));
878 Y_Size : constant Nat := UI_To_Int (RM_Size (Etype (Y)));
879 Z_Size : constant Nat := UI_To_Int (RM_Size (Etype (Z)));