annotate gcc/testsuite/gnat.dg/opt18.adb @ 138:fc828634a951

merge
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 08 Nov 2018 14:17:14 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 -- { dg-do compile }
kono
parents:
diff changeset
2 -- { dg-options "-O3" }
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 with Opt18_Pkg; use Opt18_Pkg;
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 package body Opt18 is
kono
parents:
diff changeset
7
kono
parents:
diff changeset
8 function Mag (Item : in Cart_Vector_Type) return Float is
kono
parents:
diff changeset
9 begin
kono
parents:
diff changeset
10 return Sqrt (Item (X) * Item (X) + Item (Y) * Item (Y)
kono
parents:
diff changeset
11 + Item (Z) * Item (Z));
kono
parents:
diff changeset
12 end;
kono
parents:
diff changeset
13
kono
parents:
diff changeset
14 function Unit_Quaternion_To_Mag_Axis (Quaternion : in Unit_Quaternion_Type)
kono
parents:
diff changeset
15 return Mag_Axis_Type is
kono
parents:
diff changeset
16 Sin_Half : Float
kono
parents:
diff changeset
17 := Mag (Cart_Vector_Type'(Quaternion.X, Quaternion.Y, Quaternion.Z));
kono
parents:
diff changeset
18 begin
kono
parents:
diff changeset
19 if Sin_Half > 3.0 * First_Order_Trig then
kono
parents:
diff changeset
20 return
kono
parents:
diff changeset
21 (Mag => Atan2 (Double_Trig (Unchecked_Trig_Pair (Sin_Half,
kono
parents:
diff changeset
22 Quaternion.S))),
kono
parents:
diff changeset
23 Axis => Unit_Vector_Type'(Quaternion.X / Sin_Half,
kono
parents:
diff changeset
24 Quaternion.Y / Sin_Half,
kono
parents:
diff changeset
25 Quaternion.Z / Sin_Half));
kono
parents:
diff changeset
26 else
kono
parents:
diff changeset
27 return (0.0, X_Unit);
kono
parents:
diff changeset
28 end if;
kono
parents:
diff changeset
29 end;
kono
parents:
diff changeset
30
kono
parents:
diff changeset
31 end Opt18;