OLD | NEW |
1 import 'package:kernel/type_propagation/canonicalizer.dart'; | 1 import 'package:kernel/type_propagation/canonicalizer.dart'; |
2 | 2 |
3 main() { | 3 main() { |
4 Stopwatch watch = new Stopwatch()..start(); | 4 Stopwatch watch = new Stopwatch()..start(); |
5 | 5 |
6 const int lowBiasKeys = 100; | 6 const int lowBiasKeys = 100; |
7 const int highBiasKeys = 10000; | 7 const int highBiasKeys = 10000; |
8 const int noBiasKeys = 1000; | 8 const int noBiasKeys = 1000; |
9 | 9 |
10 Uint31PairMap map; | 10 Uint31PairMap map; |
(...skipping 40 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
51 } | 51 } |
52 int rightBiasTime = watch.elapsedMicroseconds; | 52 int rightBiasTime = watch.elapsedMicroseconds; |
53 | 53 |
54 print(''' | 54 print(''' |
55 bias.none: ${formatTime(noBiasTime)} | 55 bias.none: ${formatTime(noBiasTime)} |
56 bias.left: ${formatTime(leftBiasTime)} | 56 bias.left: ${formatTime(leftBiasTime)} |
57 bias.right: ${formatTime(rightBiasTime)} | 57 bias.right: ${formatTime(rightBiasTime)} |
58 '''); | 58 '''); |
59 } | 59 } |
60 | 60 |
61 | |
62 String formatTime(int microseconds) { | 61 String formatTime(int microseconds) { |
63 double seconds = microseconds / 1000000.0; | 62 double seconds = microseconds / 1000000.0; |
64 return '$seconds s'; | 63 return '$seconds s'; |
65 } | 64 } |
OLD | NEW |