diff options
| author | Gene Novark <gnovark@gmail.com> | 2014-07-04 15:01:11 -0400 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2014-07-15 16:46:11 +0200 |
| commit | 9d1246d799419a8e7d96302c5787ce252e86b68d (patch) | |
| tree | 18b39241612108ebb78abeac00ac98ccd946c428 /src/test/scala/scala/async/run/ifelse1/IfElse1.scala | |
| parent | f77d11962a3bf73c813a42a05e842ce710588c3f (diff) | |
| download | scala-async-9d1246d799419a8e7d96302c5787ce252e86b68d.tar.gz scala-async-9d1246d799419a8e7d96302c5787ce252e86b68d.tar.bz2 scala-async-9d1246d799419a8e7d96302c5787ce252e86b68d.zip | |
Fix asymptotic performance issues in live variables analysis.
Fix possibly-exponential runtime for DFS graph searches.
Improve DFA fixpoint algorithm to correctly compute worklist
of only changed nodes for each iteration.
Added test that takes > 2 minutes to compile without these
improvements.
Diffstat (limited to 'src/test/scala/scala/async/run/ifelse1/IfElse1.scala')
| -rw-r--r-- | src/test/scala/scala/async/run/ifelse1/IfElse1.scala | 77 |
1 files changed, 77 insertions, 0 deletions
diff --git a/src/test/scala/scala/async/run/ifelse1/IfElse1.scala b/src/test/scala/scala/async/run/ifelse1/IfElse1.scala index 587aaac..6cbe910 100644 --- a/src/test/scala/scala/async/run/ifelse1/IfElse1.scala +++ b/src/test/scala/scala/async/run/ifelse1/IfElse1.scala @@ -87,6 +87,75 @@ class TestIfElse1Class { } z } + + def pred: Future[Boolean] = async(true) + + def m5: Future[Boolean] = async { + if(if(if(if(if(if(if(if(if(if(if(if(if(if(if(if(if(if(if(if(if(await(pred)) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false) + await(pred) + else + false + } } class IfElse1Spec { @@ -124,4 +193,12 @@ class IfElse1Spec { val res = Await.result(fut, 2 seconds) res mustBe (14) } + + @Test + def `await in deeply-nested if-else conditions`() { + val o = new TestIfElse1Class + val fut = o.m5 + val res = Await.result(fut, 2 seconds) + res mustBe true + } } |