Follow changes in comparison primops (see #6135)
[ghc.git] / testsuite / tests / simplCore / should_compile / spec-inline.stderr
index eba8a4d..2b6f796 100644 (file)
@@ -1,21 +1,21 @@
 
 ==================== Tidy Core ====================
-Result size = 155
+Result size of Tidy Core = {terms: 162, types: 61, coercions: 0}
 
 Roman.foo3 :: GHC.Types.Int
 [GblId, Str=DmdType b]
 Roman.foo3 =
   Control.Exception.Base.patError
-    @ GHC.Types.Int "spec-inline.hs:(19,5)-(29,25)|function go"
+    @ GHC.Types.Int "spec-inline.hs:(19,5)-(29,25)|function go"#
 
 Rec {
 Roman.foo_$s$wgo [Occ=LoopBreaker]
   :: GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Prim.Int#
-[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType LL]
+[GblId, Arity=2, Caf=NoCafRefs, Str=DmdType <L,U><L,U>]
 Roman.foo_$s$wgo =
   \ (sc :: GHC.Prim.Int#) (sc1 :: GHC.Prim.Int#) ->
     let {
-      a [Dmd=Just L] :: GHC.Prim.Int#
+      a :: GHC.Prim.Int#
       [LclId, Str=DmdType]
       a =
         GHC.Prim.+#
@@ -24,11 +24,14 @@ Roman.foo_$s$wgo =
                 (GHC.Prim.+# (GHC.Prim.+# (GHC.Prim.+# sc1 sc1) sc1) sc1) sc1)
              sc1)
           sc1 } in
-    case GHC.Prim.<=# sc 0 of _ {
+    case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# sc 0)
+    of _ {
       GHC.Types.False ->
-        case GHC.Prim.<# sc 100 of _ {
+        case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# sc 100)
+        of _ {
           GHC.Types.False ->
-            case GHC.Prim.<# sc 500 of _ {
+            case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# sc 500)
+            of _ {
               GHC.Types.False ->
                 Roman.foo_$s$wgo (GHC.Prim.-# sc 1) (GHC.Prim.+# a a);
               GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# sc 3) a
@@ -44,22 +47,19 @@ Roman.$wgo
      -> Data.Maybe.Maybe GHC.Types.Int -> GHC.Prim.Int#
 [GblId,
  Arity=2,
- Str=DmdType SS,
+ Str=DmdType <S,1*U><S,1*U>,
  Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [60 30] 253 0}]
+         ConLike=True, WorkFree=True, Expandable=True,
+         Guidance=IF_ARGS [60 30] 256 0}]
 Roman.$wgo =
   \ (w :: Data.Maybe.Maybe GHC.Types.Int)
     (w1 :: Data.Maybe.Maybe GHC.Types.Int) ->
     case w1 of _ {
-      Data.Maybe.Nothing ->
-        Roman.foo3
-        `cast` (UnsafeCo GHC.Types.Int GHC.Prim.Int#
-                :: GHC.Types.Int ~ GHC.Prim.Int#);
+      Data.Maybe.Nothing -> case Roman.foo3 of wild1 { };
       Data.Maybe.Just x ->
         case x of _ { GHC.Types.I# ipv ->
         let {
-          a [Dmd=Just L] :: GHC.Prim.Int#
+          a :: GHC.Prim.Int#
           [LclId, Str=DmdType]
           a =
             GHC.Prim.+#
@@ -72,11 +72,14 @@ Roman.$wgo =
           Data.Maybe.Nothing -> Roman.foo_$s$wgo 10 a;
           Data.Maybe.Just n ->
             case n of _ { GHC.Types.I# x2 ->
-            case GHC.Prim.<=# x2 0 of _ {
+            case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<=# x2 0)
+            of _ {
               GHC.Types.False ->
-                case GHC.Prim.<# x2 100 of _ {
+                case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x2 100)
+                 of _ {
                   GHC.Types.False ->
-                    case GHC.Prim.<# x2 500 of _ {
+                    case GHC.Prim.tagToEnum# @ GHC.Types.Bool (GHC.Prim.<# x2 500)
+                    of _ {
                       GHC.Types.False ->
                         Roman.foo_$s$wgo (GHC.Prim.-# x2 1) (GHC.Prim.+# a a);
                       GHC.Types.True -> Roman.foo_$s$wgo (GHC.Prim.-# x2 3) a
@@ -95,9 +98,9 @@ Roman.foo_go [InlPrag=INLINE[0]]
      -> Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
 [GblId,
  Arity=2,
- Str=DmdType SSm,
- Unf=Unf{Src=Worker=Roman.$wgo, TopLvl=True, Arity=2, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
+ Str=DmdType <S,1*U><S,1*U>m,
+ Unf=Unf{Src=InlineStable, TopLvl=True, Arity=2, Value=True,
+         ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (w [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int)
                  (w1 [Occ=Once] :: Data.Maybe.Maybe GHC.Types.Int) ->
@@ -112,26 +115,26 @@ Roman.foo2 :: GHC.Types.Int
  Caf=NoCafRefs,
  Str=DmdType m,
  Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [] 10 110}]
+         ConLike=True, WorkFree=True, Expandable=True,
+         Guidance=IF_ARGS [] 10 20}]
 Roman.foo2 = GHC.Types.I# 6
 
 Roman.foo1 :: Data.Maybe.Maybe GHC.Types.Int
 [GblId,
  Caf=NoCafRefs,
- Str=DmdType,
+ Str=DmdType m2,
  Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=0, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
-         Guidance=IF_ARGS [] 10 110}]
+         ConLike=True, WorkFree=True, Expandable=True,
+         Guidance=IF_ARGS [] 10 20}]
 Roman.foo1 = Data.Maybe.Just @ GHC.Types.Int Roman.foo2
 
 Roman.foo :: GHC.Types.Int -> GHC.Types.Int
 [GblId,
  Arity=1,
  Caf=NoCafRefs,
- Str=DmdType S(A)m,
+ Str=DmdType <S,1*U>m,
  Unf=Unf{Src=InlineStable, TopLvl=True, Arity=1, Value=True,
-         ConLike=True, Cheap=True, Expandable=True,
+         ConLike=True, WorkFree=True, Expandable=True,
          Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False)
          Tmpl= \ (n [Occ=Once!] :: GHC.Types.Int) ->
                  case n of n1 { GHC.Types.I# _ ->