1-- { dg-do compile }
2-- { dg-options "-fdump-tree-gimple" }
3
4with Atomic6_Pkg; use Atomic6_Pkg;
5
6procedure Atomic6_7 is
7  My_Atomic  : R;
8  Temp : Integer;
9begin
10
11  My_Atomic.Counter1 := Counter2;
12
13  My_Atomic.Timer1 := Timer2;
14
15  My_Atomic.Counter1 := Int(My_Atomic.Timer1);
16  My_Atomic.Timer1 := Integer(My_Atomic.Counter1);
17
18  Temp := Integer(My_Atomic.Counter1);
19  My_Atomic.Counter1 := Int(Temp);
20
21  Temp := My_Atomic.Timer1;
22  My_Atomic.Timer1 := Temp;
23
24end;
25
26-- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&my_atomic.counter1" 2 "gimple"} }
27-- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&atomic6_pkg__counter2" 1 "gimple"} }
28-- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&my_atomic.timer1" 2 "gimple"} }
29-- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&atomic6_pkg__timer2" 1 "gimple"} }
30-- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&temp" 0 "gimple"} }
31-- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*ptr" 0 "gimple"} }
32
33-- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&my_atomic.counter1" 3 "gimple"} }
34-- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&atomic6_pkg__counter2" 0 "gimple"} }
35-- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&my_atomic.timer1" 3 "gimple"} }
36-- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&atomic6_pkg__timer2" 0 "gimple"} }
37-- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&temp" 0 "gimple"} }
38-- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*ptr" 0 "gimple"} }
39
40