diff options
Diffstat (limited to 'test/FrontendAda')
24 files changed, 35 insertions, 23 deletions
diff --git a/test/FrontendAda/Support/real_cst.ads b/test/FrontendAda/Support/real_cst.ads new file mode 100644 index 0000000000000..54a34bc4056f6 --- /dev/null +++ b/test/FrontendAda/Support/real_cst.ads @@ -0,0 +1,4 @@ +with Ada.Streams; +package Real_Cst is + procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class); +end; diff --git a/test/FrontendAda/array_constructor.adb b/test/FrontendAda/array_constructor.adb index de64b45a1e3e6..13517c7565a53 100644 --- a/test/FrontendAda/array_constructor.adb +++ b/test/FrontendAda/array_constructor.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s procedure Array_Constructor is A : array (Integer range <>) of Boolean := (True, False); begin diff --git a/test/FrontendAda/array_range_ref.adb b/test/FrontendAda/array_range_ref.adb index ae9bdc6cfcdf6..037c5aa8b6f01 100644 --- a/test/FrontendAda/array_range_ref.adb +++ b/test/FrontendAda/array_range_ref.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s procedure Array_Range_Ref is A : String (1 .. 3); B : String := A (A'RANGE)(1 .. 3); diff --git a/test/FrontendAda/array_ref.adb b/test/FrontendAda/array_ref.adb index 9577e21ad70f7..2bf4b7988d6d1 100644 --- a/test/FrontendAda/array_ref.adb +++ b/test/FrontendAda/array_ref.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s procedure Array_Ref is type A is array (Natural range <>, Natural range <>) of Boolean; type A_Access is access A; diff --git a/test/FrontendAda/array_size.adb b/test/FrontendAda/array_size.adb index 2f07d06390820..c73616c980798 100644 --- a/test/FrontendAda/array_size.adb +++ b/test/FrontendAda/array_size.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s procedure Array_Size is subtype S is String (1 .. 2); type R is record diff --git a/test/FrontendAda/asm.adb b/test/FrontendAda/asm.adb index 575617c087886..844885e67152c 100644 --- a/test/FrontendAda/asm.adb +++ b/test/FrontendAda/asm.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s with System.Machine_Code; procedure Asm is begin diff --git a/test/FrontendAda/debug_var_size.ads b/test/FrontendAda/debug_var_size.ads index ea966fbae0fe8..e8863cbddf94d 100644 --- a/test/FrontendAda/debug_var_size.ads +++ b/test/FrontendAda/debug_var_size.ads @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c -g %s +-- RUN: %llvmgcc -S -g %s package Debug_Var_Size is subtype Length_Type is Positive range 1 .. 64; type T (Length : Length_Type := 1) is record diff --git a/test/FrontendAda/element_copy.adb b/test/FrontendAda/element_copy.adb index bffcb973265b2..29274fa744ae7 100644 --- a/test/FrontendAda/element_copy.adb +++ b/test/FrontendAda/element_copy.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -S -O2 %s -I%p/Support -o - | grep 6899714 +-- RUN: %llvmgcc -S -O2 %s -I%p/Support -o - | grep 105 | count 2 package body Element_Copy is function F return VariableSizedField is X : VariableSizedField; diff --git a/test/FrontendAda/emit_var.ads b/test/FrontendAda/emit_var.ads index 35d45448cb6dd..47e2538691aca 100644 --- a/test/FrontendAda/emit_var.ads +++ b/test/FrontendAda/emit_var.ads @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s with Ada.Finalization; package Emit_Var is type Search_Type is new Ada.Finalization.Controlled with null record; diff --git a/test/FrontendAda/fat_fields.adb b/test/FrontendAda/fat_fields.adb index 510105f6840f3..443a9b679c559 100644 --- a/test/FrontendAda/fat_fields.adb +++ b/test/FrontendAda/fat_fields.adb @@ -1,5 +1,5 @@ --- RUN: %llvmgcc -c %s -I%p/Support --- RUN: %llvmgcc -c %s -I%p/Support -O2 +-- RUN: %llvmgcc -S %s -I%p/Support +-- RUN: %llvmgcc -S %s -I%p/Support -O2 package body Fat_Fields is procedure Proc is begin diff --git a/test/FrontendAda/field_order.ads b/test/FrontendAda/field_order.ads index b49185d6dd807..9b2b37c20db00 100644 --- a/test/FrontendAda/field_order.ads +++ b/test/FrontendAda/field_order.ads @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s package Field_Order is type Tagged_Type is abstract tagged null record; type With_Discriminant (L : Positive) is new Tagged_Type with record diff --git a/test/FrontendAda/global_constant.adb b/test/FrontendAda/global_constant.adb index ce9f406dba58b..330f97b5d0e0d 100644 --- a/test/FrontendAda/global_constant.adb +++ b/test/FrontendAda/global_constant.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s -I%p/Support +-- RUN: %llvmgcc -S %s -I%p/Support package body Global_Constant is begin raise An_Error; diff --git a/test/FrontendAda/init_size.ads b/test/FrontendAda/init_size.ads index 1d76ba24f3414..f423682bec72b 100644 --- a/test/FrontendAda/init_size.ads +++ b/test/FrontendAda/init_size.ads @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s package Init_Size is type T (B : Boolean := False) is record case B is diff --git a/test/FrontendAda/negative_field_offset.adb b/test/FrontendAda/negative_field_offset.adb index f8b85108504db..ec8184dde47b4 100644 --- a/test/FrontendAda/negative_field_offset.adb +++ b/test/FrontendAda/negative_field_offset.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s with System; procedure Negative_Field_Offset (N : Integer) is type String_Pointer is access String; diff --git a/test/FrontendAda/non_bitfield.ads b/test/FrontendAda/non_bitfield.ads index 8f5845adb4316..8a49d46f6b428 100644 --- a/test/FrontendAda/non_bitfield.ads +++ b/test/FrontendAda/non_bitfield.ads @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s package Non_Bitfield is type SP is access String; type E is (A, B, C); diff --git a/test/FrontendAda/non_lvalue.adb b/test/FrontendAda/non_lvalue.adb index 157f3ddd287fb..71e7e102d05b6 100644 --- a/test/FrontendAda/non_lvalue.adb +++ b/test/FrontendAda/non_lvalue.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s -I%p/Support +-- RUN: %llvmgcc -S %s -I%p/Support package body Non_LValue is function A (Y : U) return String is begin diff --git a/test/FrontendAda/placeholder.adb b/test/FrontendAda/placeholder.adb index f33c9a5ab89d5..88908263f871e 100644 --- a/test/FrontendAda/placeholder.adb +++ b/test/FrontendAda/placeholder.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s procedure Placeholder is subtype Bounded is Integer range 1 .. 5; type Vector is array (Bounded range <>) of Integer; diff --git a/test/FrontendAda/real_cst.adb b/test/FrontendAda/real_cst.adb new file mode 100644 index 0000000000000..c9708301d62f7 --- /dev/null +++ b/test/FrontendAda/real_cst.adb @@ -0,0 +1,8 @@ +-- RUN: %llvmgcc -S -O2 -gnatn %s +package body Real_Cst is + Cst : constant Float := 0.0; + procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class) is + begin + Float'Write (Stream, Cst); + end; +end; diff --git a/test/FrontendAda/switch.adb b/test/FrontendAda/switch.adb index f214bca2ec420..0c83a2e6420e1 100644 --- a/test/FrontendAda/switch.adb +++ b/test/FrontendAda/switch.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s function Switch (N : Integer) return Integer is begin case N is diff --git a/test/FrontendAda/unc_constructor.adb b/test/FrontendAda/unc_constructor.adb index bc3002c6a95bd..ee10de6c811d7 100644 --- a/test/FrontendAda/unc_constructor.adb +++ b/test/FrontendAda/unc_constructor.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s -I%p/Support +-- RUN: %llvmgcc -S %s -I%p/Support package body Unc_Constructor is procedure P (X : A) is begin diff --git a/test/FrontendAda/var_offset.adb b/test/FrontendAda/var_offset.adb index 09f1c155a061d..1d3ca98fa49d2 100644 --- a/test/FrontendAda/var_offset.adb +++ b/test/FrontendAda/var_offset.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s -I%p/Support +-- RUN: %llvmgcc -S %s -I%p/Support package body Var_Offset is function F (X : T) return Character is begin diff --git a/test/FrontendAda/var_size.adb b/test/FrontendAda/var_size.adb index b3db9a36fe1b4..291f91d4eebdd 100644 --- a/test/FrontendAda/var_size.adb +++ b/test/FrontendAda/var_size.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s -I%p/Support +-- RUN: %llvmgcc -S %s -I%p/Support package body Var_Size is function A (X : T) return String is begin diff --git a/test/FrontendAda/vce.adb b/test/FrontendAda/vce.adb index f24045cbee3f0..85cdca066a296 100644 --- a/test/FrontendAda/vce.adb +++ b/test/FrontendAda/vce.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s procedure VCE is S : String (1 .. 2); B : Character := 'B'; diff --git a/test/FrontendAda/vce_lv.adb b/test/FrontendAda/vce_lv.adb index 4ca4d5c8b542e..d1b9e0824f17c 100644 --- a/test/FrontendAda/vce_lv.adb +++ b/test/FrontendAda/vce_lv.adb @@ -1,4 +1,4 @@ --- RUN: %llvmgcc -c %s +-- RUN: %llvmgcc -S %s procedure VCE_LV is type P is access String ; type T is new P (5 .. 7); |