Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 14 Oct 2016 16:50:28 +0000 (17:50 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 17 Oct 2016 07:55:16 +0000 (08:55 +0100)
testsuite/tests/perf/compiler/T5030.hs

index 6bb7478..4983ee6 100644 (file)
@@ -169,6 +169,19 @@ instance CPU DummyCPU where
 -------------------------------------------------------------------------------
 -- Long compiling program.
 
+{-  cnst has very simple code, and should be fast to typecheck
+    But if you insist on normalising (Immediate DummyCPU) you get
+
+      Immediate DummyCPU =  Const (ImmSize DummyCPU)
+                         -> Const SIZE12
+                         =  Const (DPlus SIX SIX)
+                         ...etc...
+
+similarly for (RegVar DummyCPU).
+
+So you get a lot of work and big coercions, for no gain.
+-}
+
 cnst :: Integer -> Either (Immediate DummyCPU) (RegVar DummyCPU)
 cnst x = Left (Const x)