diff options
author | David Terei <davidterei@gmail.com> | 2011-07-20 11:09:03 -0700 |
---|---|---|
committer | David Terei <davidterei@gmail.com> | 2011-07-20 11:26:35 -0700 |
commit | 16514f272fb42af6e9c7674a9bd6c9dce369231f (patch) | |
tree | e4f332b45fe65e2a7a2451be5674f887b42bf199 /testsuite/tests/simplCore/should_compile/T4908.stderr | |
parent | ebd422aed41048476aa61dd4c520d43becd78682 (diff) | |
download | haskell-16514f272fb42af6e9c7674a9bd6c9dce369231f.tar.gz |
Move tests from tests/ghc-regress/* to just tests/*
Diffstat (limited to 'testsuite/tests/simplCore/should_compile/T4908.stderr')
-rw-r--r-- | testsuite/tests/simplCore/should_compile/T4908.stderr | 73 |
1 files changed, 73 insertions, 0 deletions
diff --git a/testsuite/tests/simplCore/should_compile/T4908.stderr b/testsuite/tests/simplCore/should_compile/T4908.stderr new file mode 100644 index 0000000000..9e24e6fca8 --- /dev/null +++ b/testsuite/tests/simplCore/should_compile/T4908.stderr @@ -0,0 +1,73 @@ + +==================== Tidy Core ==================== +Rec { +T4908.f_$s$wf [Occ=LoopBreaker] + :: GHC.Types.Int + -> GHC.Prim.Int# -> GHC.Prim.Int# -> GHC.Types.Bool +[GblId, Arity=3, Caf=NoCafRefs, Str=DmdType LLL] +T4908.f_$s$wf = + \ (sc :: GHC.Types.Int) + (sc1 :: GHC.Prim.Int#) + (sc2 :: GHC.Prim.Int#) -> + case sc2 of ds { + __DEFAULT -> + case sc1 of ds1 { + __DEFAULT -> T4908.f_$s$wf sc ds1 (GHC.Prim.-# ds 1); + 0 -> GHC.Types.True + }; + 0 -> GHC.Types.True + } +end Rec } + +T4908.$wf + :: GHC.Prim.Int# + -> (GHC.Types.Int, GHC.Types.Int) -> GHC.Types.Bool +[GblId, + Arity=2, + Caf=NoCafRefs, + Str=DmdType LL, + Unf=Unf{Src=<vanilla>, TopLvl=True, Arity=2, Value=True, + ConLike=True, Cheap=True, Expandable=True, + Guidance=IF_ARGS [30 20] 101 20}] +T4908.$wf = + \ (ww :: GHC.Prim.Int#) (w :: (GHC.Types.Int, GHC.Types.Int)) -> + case ww of ds { + __DEFAULT -> + case w of _ { (a, b) -> + case b of _ { GHC.Types.I# ds1 -> + case ds1 of ds2 { + __DEFAULT -> T4908.f_$s$wf a ds2 (GHC.Prim.-# ds 1); + 0 -> GHC.Types.True + } + } + }; + 0 -> GHC.Types.True + } + +T4908.f [InlPrag=INLINE[0]] + :: GHC.Types.Int + -> (GHC.Types.Int, GHC.Types.Int) -> GHC.Types.Bool +[GblId, + Arity=2, + Caf=NoCafRefs, + Str=DmdType U(L)L, + Unf=Unf{Src=Worker=T4908.$wf, TopLvl=True, Arity=2, Value=True, + ConLike=True, Cheap=True, Expandable=True, + Guidance=ALWAYS_IF(unsat_ok=True,boring_ok=False) + Tmpl= \ (w [Occ=Once!] :: GHC.Types.Int) + (w1 [Occ=Once] :: (GHC.Types.Int, GHC.Types.Int)) -> + case w of _ { GHC.Types.I# ww [Occ=Once] -> T4908.$wf ww w1 }}] +T4908.f = + \ (w :: GHC.Types.Int) (w1 :: (GHC.Types.Int, GHC.Types.Int)) -> + case w of _ { GHC.Types.I# ww -> T4908.$wf ww w1 } + + +------ Local rules for imported ids -------- +"SC:$wf0" [ALWAYS] + forall (sc :: GHC.Types.Int) + (sc1 :: GHC.Prim.Int#) + (sc2 :: GHC.Prim.Int#). + T4908.$wf sc2 (sc, GHC.Types.I# sc1) + = T4908.f_$s$wf sc sc1 sc2 + + |