gcc/testsuite/gnat.dg/vect14.adb

   1 -- { dg-do compile { target i?86-*-* x86_64-*-* } }
   2 -- { dg-options "-fdump-tree-optimized" }
   3
   4 with Interfaces;
   5 with Unchecked_Conversion;
   6
   7 with GNAT.SSE.Vector_Types; use GNAT.SSE.Vector_Types;
   8
   9 procedure Vect14 is
  10
  11   Msk1  : constant := 16#000FFAFFFFFFFB3F#;
  12   Msk2  : constant := 16#000FFDFFFC90FFFD#;
  13
  14   type Unsigned_64_Array_Type is array (1 .. 2) of Interfaces.Unsigned_64;
  15
  16   function Convert is new Unchecked_Conversion (Unsigned_64_Array_Type, M128i);
  17
  18   Sse2_Param_Mask : constant M128i := Convert ((Msk1, Msk2));
  19
  20 begin
  21   null;
  22 end;
  23
  24 -- { dg-final { scan-tree-dump-not "VIEW_CONVERT_EXPR" "optimized" } }