Error compiling emptiness

[Zhan Shi]

Hi there,

As I tried to run ResNet with simulation, I did 

bin/spatial resnet50opt --sim

but I got an error saying

[bug] An exception was encountered while compiling resnet50opt:
[bug]   Error compiling emptiness [bug]   java.lang.Exception: Error compiling emptiness
[bug] This is due to a compiler bug. A log file has been created at:
[bug]   .../spatial-multiverse/spatial/logs/resnet50opt/resnet50opt_exception.log

I'm attaching the error log below as I don't know the solution, or even the problem to start with.

Thanks!

opt_exception.log Error compiling emptinesspoly.ISL.liftedTree5$1(ISL.scala:105)poly.ISL.poly$ISL$$proc(ISL.scala:74)poly.ISL.poly$ISL$$proc$(ISL.scala:14)spatial.Spatial$SpatialISL.poly$ISL$$proc$lzycompute(Spatial.scala:37)spatial.Spatial$SpatialISL.poly$ISL$$proc(Spatial.scala:37)poly.ISL.init(ISL.scala:116)poly.ISL.startup(ISL.scala:120)poly.ISL.startup$(ISL.scala:120)spatial.Spatial$SpatialISL.startup(Spatial.scala:37)spatial.Spatial.runPasses(Spatial.scala:58)spatial.Spatial.runPasses$(Spatial.scala:56)spatial.tests.apps.resnet50opt.runPasses(resnet50opt.scala:6)argon.Compiler.$anonfun$compileProgram$1(Compiler.scala:129)scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)utils.Instrument.apply(Instrument.scala:29)argon.Compiler.compileProgram(Compiler.scala:119)argon.Compiler.compileProgram$(Compiler.scala:119)spatial.tests.apps.resnet50opt.compileProgram(resnet50opt.scala:6)argon.Compiler.$anonfun$execute$1(Compiler.scala:198)scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)utils.Instrument.apply(Instrument.scala:29)argon.Compiler.execute(Compiler.scala:196)argon.Compiler.execute$(Compiler.scala:196)spatial.tests.apps.resnet50opt.execute(resnet50opt.scala:6)argon.Compiler.compile(Compiler.scala:294)argon.Compiler.compile$(Compiler.scala:290)spatial.tests.apps.resnet50opt.compile(resnet50opt.scala:6)argon.DSLTest.$anonfun$$init$$3(DSLTest.scala:307)org.scalatest.OutcomeOf.outcomeOf(OutcomeOf.scala:85)org.scalatest.OutcomeOf.outcomeOf$(OutcomeOf.scala:83)org.scalatest.OutcomeOf$.outcomeOf(OutcomeOf.scala:104)org.scalatest.Transformer.apply(Transformer.scala:22)org.scalatest.Transformer.apply(Transformer.scala:20)org.scalatest.FlatSpecLike$$anon$1.apply(FlatSpecLike.scala:1682)org.scalatest.TestSuite.withFixture(TestSuite.scala:196)org.scalatest.TestSuite.withFixture$(TestSuite.scala:195)spatial.tests.apps.resnet50opt.withFixture(resnet50opt.scala:6)org.scalatest.FlatSpecLike.invokeWithFixture$1(FlatSpecLike.scala:1680)org.scalatest.FlatSpecLike.$anonfun$runTest$1(FlatSpecLike.scala:1692)org.scalatest.SuperEngine.runTestImpl(Engine.scala:289)org.scalatest.FlatSpecLike.runTest(FlatSpecLike.scala:1692)org.scalatest.FlatSpecLike.runTest$(FlatSpecLike.scala:1674)spatial.tests.apps.resnet50opt.runTest(resnet50opt.scala:6)org.scalatest.FlatSpecLike.$anonfun$runTests$1(FlatSpecLike.scala:1750)org.scalatest.SuperEngine.$anonfun$runTestsInBranch$1(Engine.scala:396)scala.collection.immutable.List.foreach(List.scala:388)org.scalatest.SuperEngine.traverseSubNodes$1(Engine.scala:384)org.scalatest.SuperEngine.runTestsInBranch(Engine.scala:373)org.scalatest.SuperEngine.$anonfun$runTestsInBranch$1(Engine.scala:410)scala.collection.immutable.List.foreach(List.scala:388)org.scalatest.SuperEngine.traverseSubNodes$1(Engine.scala:384)org.scalatest.SuperEngine.runTestsInBranch(Engine.scala:379)org.scalatest.SuperEngine.runTestsImpl(Engine.scala:461)org.scalatest.FlatSpecLike.runTests(FlatSpecLike.scala:1750)org.scalatest.FlatSpecLike.runTests$(FlatSpecLike.scala:1749)spatial.tests.apps.resnet50opt.runTests(resnet50opt.scala:6)org.scalatest.Suite.run(Suite.scala:1147)org.scalatest.Suite.run$(Suite.scala:1129)spatial.tests.apps.resnet50opt.org$scalatest$FlatSpecLike$$super$run(resnet50opt.scala:6)org.scalatest.FlatSpecLike.$anonfun$run$1(FlatSpecLike.scala:1795)org.scalatest.SuperEngine.runImpl(Engine.scala:521)org.scalatest.FlatSpecLike.run(FlatSpecLike.scala:1795)org.scalatest.FlatSpecLike.run$(FlatSpecLike.scala:1793)spatial.tests.apps.resnet50opt.run(resnet50opt.scala:6)org.scalatest.tools.Framework.org$scalatest$tools$Framework$$runSuite(Framework.scala:314)org.scalatest.tools.Framework$ScalaTestTask.execute(Framework.scala:507)sbt.TestRunner.runTest$1(TestFramework.scala:106)sbt.TestRunner.run(TestFramework.scala:117)sbt.TestFramework$$anon$2$$anonfun$$lessinit$greater$1.$anonfun$apply$1(TestFramework.scala:262)sbt.TestFramework$.sbt$TestFramework$$withContextLoader(TestFramework.scala:233)sbt.TestFramework$$anon$2$$anonfun$$lessinit$greater$1.apply(TestFramework.scala:262)sbt.TestFramework$$anon$2$$anonfun$$lessinit$greater$1.apply(TestFramework.scala:262)sbt.TestFunction.apply(TestFramework.scala:271)sbt.Tests$.$anonfun$toTask$1(Tests.scala:281)sbt.std.Transform$$anon$3.$anonfun$apply$2(System.scala:46)sbt.std.Transform$$anon$4.work(System.scala:66)sbt.Execute.$anonfun$submit$2(Execute.scala:262)sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:16)sbt.Execute.work(Execute.scala:271)sbt.Execute.$anonfun$submit$1(Execute.scala:262)sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:174)sbt.CompletionService$$anon$2.call(CompletionService.scala:36)java.util.concurrent.FutureTask.run(FutureTask.java:266)java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)java.util.concurrent.FutureTask.run(FutureTask.java:266)java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)java.lang.Thread.run(Thread.java:748)

[Matt F]

Hi.  Can you check if you can compile emptiness manually?  

Go to spatial-multiverse/spatial/poly/resources and run:

g++ emptiness.c -lisl -o emptiness

if this works, the shortcut is to just mv the emptiness binary to somewhere on your path (or ~/bin works too, the compiler should automatically add this to your path internally).

The most likely issue here is that libisl isn't installed correctly.

[Zhan Shi]

Hi Matt,

Thanks for the quick reply. I tried to compile got this

emptiness.c:6:21: fatal error: isl/vec.h: No such file or directory
    #include <isl/vec.h>
compilation terminated.

Any idea why that happened? Thanks in advance.

[Matt F]

Based on your other post, it seems like you already fixed this.  The solution is to install libisl.