diff options
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T4908.stderr')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T4908.stderr | 73 |
1 files changed, 39 insertions, 34 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T4908.stderr b/testsuite/tests/simplCore/should_compile/T4908.stderr index afea396826..c74c5ce2ff 100644 --- a/testsuite/tests/simplCore/should_compile/T4908.stderr +++ b/testsuite/tests/simplCore/should_compile/T4908.stderr @@ -1,7 +1,7 @@ ==================== Tidy Core ==================== Result size of Tidy Core - = {terms: 68, types: 43, coercions: 0, joins: 0/0} + = {terms: 65, types: 35, coercions: 0, joins: 0/0} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} T4908.$trModule4 :: Addr# @@ -41,7 +41,7 @@ T4908.$trModule Rec { -- RHS size: {terms: 19, types: 5, coercions: 0, joins: 0/0} -T4908.f_$s$wf [Occ=LoopBreaker] :: Int -> Int# -> Int# -> Bool +T4908.f_$s$wf [Occ=LoopBreaker] :: Int -> Int# -> Int# -> (# #) [GblId, Arity=3, Str=<A><ML><1L>, Unf=OtherCon []] T4908.f_$s$wf = \ (sc :: Int) (sc1 :: Int#) (sc2 :: Int#) -> @@ -49,52 +49,57 @@ T4908.f_$s$wf __DEFAULT -> case sc1 of ds1 { __DEFAULT -> T4908.f_$s$wf sc ds1 (-# ds 1#); - 0# -> GHC.Types.True + 0# -> GHC.Prim.(##) }; - 0# -> GHC.Types.True + 0# -> GHC.Prim.(##) } end Rec } --- RHS size: {terms: 24, types: 13, coercions: 0, joins: 0/0} -T4908.$wf [InlPrag=[2]] :: Int# -> (Int, Int) -> Bool +-- RHS size: {terms: 30, types: 16, coercions: 0, joins: 0/0} +f [InlPrag=[2]] :: Int -> (Int, Int) -> Bool [GblId, Arity=2, - Str=<1L><MP(A,MP(ML))>, - Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, - WorkFree=True, Expandable=True, Guidance=IF_ARGS [30 20] 101 20}] -T4908.$wf - = \ (ww :: Int#) (x :: (Int, Int)) -> - case ww of ds { + Str=<1P(1L)><MP(A,MP(ML))>, + Cpr=2, + Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, + WorkFree=True, Expandable=True, + Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False) + Tmpl= \ (ds [Occ=Once1!] :: Int) (x [Occ=Once1!] :: (Int, Int)) -> + case ds of { I# ww [Occ=Once1!] -> + case ww of ds1 [Occ=Once1] { + __DEFAULT -> + case x of { (a [Occ=Once1], b [Occ=Once1!]) -> + case b of { I# ds2 [Occ=Once1!] -> + case ds2 of ds3 [Occ=Once1] { + __DEFAULT -> + case T4908.f_$s$wf a ds3 (-# ds1 1#) of { (# #) -> + GHC.Types.True + }; + 0# -> GHC.Types.True + } + } + }; + 0# -> GHC.Types.True + } + }}] +f = \ (ds :: Int) (x :: (Int, Int)) -> + case ds of { I# ww -> + case ww of ds1 { __DEFAULT -> case x of { (a, b) -> - case b of { I# ds1 -> - case ds1 of ds2 { - __DEFAULT -> T4908.f_$s$wf a ds2 (-# ds 1#); + case b of { I# ds2 -> + case ds2 of ds3 { + __DEFAULT -> + case T4908.f_$s$wf a ds3 (-# ds1 1#) of { (# #) -> + GHC.Types.True + }; 0# -> GHC.Types.True } } }; 0# -> GHC.Types.True } + } --- RHS size: {terms: 8, types: 6, coercions: 0, joins: 0/0} -f [InlPrag=[2]] :: Int -> (Int, Int) -> Bool -[GblId, - Arity=2, - Str=<1P(1L)><MP(A,MP(ML))>, - Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, - WorkFree=True, Expandable=True, - Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False) - Tmpl= \ (ds [Occ=Once1!] :: Int) (x [Occ=Once1] :: (Int, Int)) -> - case ds of { I# ww [Occ=Once1] -> T4908.$wf ww x }}] -f = \ (ds :: Int) (x :: (Int, Int)) -> - case ds of { I# ww -> T4908.$wf ww x } - - ------- Local rules for imported ids -------- -"SC:$wf0" [2] - forall (sc :: Int) (sc1 :: Int#) (sc2 :: Int#). - T4908.$wf sc2 (sc, GHC.Types.I# sc1) - = T4908.f_$s$wf sc sc1 sc2 |