1 /*
2  * Copyright (C) 2014 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 public class Main {
18   static volatile long long_volatile;
19   static volatile double double_volatile;
20 
main(String[] args)21   public static void main(String[] args) {
22     checkVolatileUpdate(0L);
23     checkVolatileUpdate(Long.MAX_VALUE);
24     checkVolatileUpdate(Long.MIN_VALUE);
25 
26     checkVolatileUpdate(0.0);
27     checkVolatileUpdate(Double.MAX_VALUE);
28     checkVolatileUpdate(-Double.MAX_VALUE);
29   }
30 
$opt$update(long a)31   public static long $opt$update(long a) {
32      long_volatile = a;
33      return long_volatile;
34   }
35 
$opt$update(double a)36   public static double $opt$update(double a) {
37      double_volatile = a;
38      return double_volatile;
39   }
40 
checkVolatileUpdate(long value)41   public static void checkVolatileUpdate(long value) {
42     if (value != $opt$update(value)) {
43       throw new RuntimeException("Volatile update failed for long:" + value);
44     }
45   }
46 
checkVolatileUpdate(double value)47   public static void checkVolatileUpdate(double value) {
48     if (value != $opt$update(value)) {
49       throw new RuntimeException("Volatile update failed for double:" + value);
50     }
51   }
52 
53 }
54