* gcc-interface/utils.c (type_for_vector_element_p): New predicate.
[official-gcc.git] / gcc / testsuite / gnat.dg / vect14.adb
blobadc6ff14b66c8ca20d7383e42710a844aa63a608
1 -- { dg-do compile { target i?86-*-* x86_64-*-* } }
2 -- { dg-options "-fdump-tree-optimized" }
4 with Interfaces;
5 with Unchecked_Conversion;
7 with GNAT.SSE.Vector_Types; use GNAT.SSE.Vector_Types;
9 procedure Vect14 is
11 Msk1 : constant := 16#000FFAFFFFFFFB3F#;
12 Msk2 : constant := 16#000FFDFFFC90FFFD#;
14 type Unsigned_64_Array_Type is array (1 .. 2) of Interfaces.Unsigned_64;
16 function Convert is new Unchecked_Conversion (Unsigned_64_Array_Type, M128i);
18 Sse2_Param_Mask : constant M128i := Convert ((Msk1, Msk2));
20 begin
21 null;
22 end;
24 -- { dg-final { scan-tree-dump-not "VIEW_CONVERT_EXPR" "optimized" } }
25 -- { dg-final { cleanup-tree-dump "optimized" } }