2 -- { dg-options "-fdump-tree-gimple" }
4 with VFA1_Pkg
; use VFA1_Pkg
;
10 function F
(I
: Short_Integer) return Short_Integer is
15 function F2
return Short_Integer is
17 return Short_Integer(Buffer1
.A
);
20 procedure P3
(I
: out Short_Integer) is
33 Temp
:= Buffer1
.A
+ Buffer2
.B
;
35 if Buffer1
.A
/= Buffer2
.B
then
50 -- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&vfa1_pkg__buffer1" 7 "gimple"} }
51 -- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&vfa1_pkg__buffer2" 7 "gimple"} }
52 -- { dg-final { scan-tree-dump-times "atomic_load\[^\n\r\]*&temp" 0 "gimple"} }
54 -- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&vfa1_pkg__buffer1" 2 "gimple"} }
55 -- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&vfa1_pkg__buffer2" 3 "gimple"} }
56 -- { dg-final { scan-tree-dump-times "atomic_store\[^\n\r\]*&temp" 0 "gimple"} }