-- This file is generated from CmmSwitchTestGen! @generated {-# LANGUAGE MagicHash, NegativeLiterals #-} import Control.Monad (unless, forM_) import GHC.Exts {-# NOINLINE aa #-} aa :: Int# -> Int# aa 1# = 42# aa 2# = 43# aa 3# = 43# aa 4# = 44# aa 5# = 44# aa 6# = 45# aa 7# = 45# aa 8# = 46# aa 9# = 46# aa 10# = 47# aa _ = 1337# {-# NOINLINE ab #-} ab :: Int# -> Int# ab 0# = 42# ab 1# = 42# ab 2# = 43# ab 3# = 43# ab 4# = 44# ab 5# = 44# ab 6# = 45# ab 7# = 45# ab 8# = 46# ab 9# = 46# ab 10# = 47# ab _ = 1337# {-# NOINLINE ac #-} ac :: Int# -> Int# ac 1# = 42# ac 2# = 43# ac 3# = 43# ac _ = 1337# {-# NOINLINE ad #-} ad :: Int# -> Int# ad 1# = 42# ad 2# = 43# ad 3# = 43# ad 4# = 44# ad _ = 1337# {-# NOINLINE ae #-} ae :: Int# -> Int# ae 1# = 42# ae 2# = 43# ae 3# = 43# ae 4# = 44# ae 5# = 44# ae _ = 1337# {-# NOINLINE af #-} af :: Int# -> Int# af -1# = 41# af 0# = 42# af 1# = 42# af 2# = 43# af 3# = 43# af 4# = 44# af 5# = 44# af 6# = 45# af 7# = 45# af 8# = 46# af 9# = 46# af 10# = 47# af _ = 1337# {-# NOINLINE ag #-} ag :: Int# -> Int# ag -10# = 37# ag -9# = 37# ag -8# = 38# ag -7# = 38# ag -6# = 39# ag -5# = 39# ag -4# = 40# ag -3# = 40# ag -2# = 41# ag -1# = 41# ag 0# = 42# ag 1# = 42# ag 2# = 43# ag 3# = 43# ag 4# = 44# ag 5# = 44# ag 6# = 45# ag 7# = 45# ag 8# = 46# ag 9# = 46# ag 10# = 47# ag _ = 1337# {-# NOINLINE ah #-} ah :: Int# -> Int# ah -20# = 32# ah -19# = 32# ah -18# = 33# ah -17# = 33# ah -16# = 34# ah -15# = 34# ah -14# = 35# ah -13# = 35# ah -12# = 36# ah -11# = 36# ah -10# = 37# ah 0# = 42# ah 1# = 42# ah 2# = 43# ah 3# = 43# ah 4# = 44# ah 5# = 44# ah 6# = 45# ah 7# = 45# ah 8# = 46# ah 9# = 46# ah 10# = 47# ah _ = 1337# {-# NOINLINE ai #-} ai :: Int# -> Int# ai -20# = 32# ai -19# = 32# ai -18# = 33# ai -17# = 33# ai -16# = 34# ai -15# = 34# ai -14# = 35# ai -13# = 35# ai -12# = 36# ai -11# = 36# ai -10# = 37# ai 1# = 42# ai 2# = 43# ai 3# = 43# ai 4# = 44# ai 5# = 44# ai 6# = 45# ai 7# = 45# ai 8# = 46# ai 9# = 46# ai 10# = 47# ai _ = 1337# {-# NOINLINE aj #-} aj :: Int# -> Int# aj -2147483648# = -1073741782# aj 0# = 42# aj 2147483647# = 1073741865# aj _ = 1337# {-# NOINLINE ak #-} ak :: Int# -> Int# ak 2147483637# = 1073741860# ak 2147483638# = 1073741861# ak 2147483639# = 1073741861# ak 2147483640# = 1073741862# ak 2147483641# = 1073741862# ak 2147483642# = 1073741863# ak 2147483643# = 1073741863# ak 2147483644# = 1073741864# ak 2147483645# = 1073741864# ak 2147483646# = 1073741865# ak 2147483647# = 1073741865# ak _ = 1337# {-# NOINLINE al #-} al :: Int# -> Int# al -2147483648# = -1073741782# al -2147483647# = -1073741782# al -2147483646# = -1073741781# al -2147483645# = -1073741781# al -2147483644# = -1073741780# al -2147483643# = -1073741780# al -2147483642# = -1073741779# al -2147483641# = -1073741779# al -2147483640# = -1073741778# al -2147483639# = -1073741778# al -2147483638# = -1073741777# al 2147483637# = 1073741860# al 2147483638# = 1073741861# al 2147483639# = 1073741861# al 2147483640# = 1073741862# al 2147483641# = 1073741862# al 2147483642# = 1073741863# al 2147483643# = 1073741863# al 2147483644# = 1073741864# al 2147483645# = 1073741864# al 2147483646# = 1073741865# al 2147483647# = 1073741865# al _ = 1337# {-# NOINLINE am #-} am :: Word# -> Word# am 0## = 42## am 1## = 42## am 2## = 43## am 3## = 43## am 4## = 44## am 5## = 44## am 6## = 45## am 7## = 45## am 8## = 46## am 9## = 46## am 10## = 47## am _ = 1337## {-# NOINLINE an #-} an :: Word# -> Word# an 1## = 42## an 2## = 43## an 3## = 43## an 4## = 44## an 5## = 44## an 6## = 45## an 7## = 45## an 8## = 46## an 9## = 46## an 10## = 47## an _ = 1337## {-# NOINLINE ao #-} ao :: Word# -> Word# ao 0## = 42## ao _ = 1337## {-# NOINLINE ap #-} ap :: Word# -> Word# ap 0## = 42## ap 1## = 42## ap _ = 1337## {-# NOINLINE aq #-} aq :: Word# -> Word# aq 0## = 42## aq 1## = 42## aq 2## = 43## aq _ = 1337## {-# NOINLINE ar #-} ar :: Word# -> Word# ar 0## = 42## ar 1## = 42## ar 2## = 43## ar 3## = 43## ar _ = 1337## {-# NOINLINE as #-} as :: Word# -> Word# as 0## = 42## as 1## = 42## as 2## = 43## as 3## = 43## as 4## = 44## as _ = 1337## {-# NOINLINE at #-} at :: Word# -> Word# at 1## = 42## at _ = 1337## {-# NOINLINE au #-} au :: Word# -> Word# au 1## = 42## au 2## = 43## au _ = 1337## {-# NOINLINE av #-} av :: Word# -> Word# av 1## = 42## av 2## = 43## av 3## = 43## av _ = 1337## {-# NOINLINE aw #-} aw :: Word# -> Word# aw 1## = 42## aw 2## = 43## aw 3## = 43## aw 4## = 44## aw _ = 1337## {-# NOINLINE ax #-} ax :: Word# -> Word# ax 1## = 42## ax 2## = 43## ax 3## = 43## ax 4## = 44## ax 5## = 44## ax _ = 1337## {-# NOINLINE ay #-} ay :: Word# -> Word# ay 0## = 42## ay 4294967295## = 2147483689## ay _ = 1337## {-# NOINLINE az #-} az :: Word# -> Word# az 4294967285## = 2147483684## az 4294967286## = 2147483685## az 4294967287## = 2147483685## az 4294967288## = 2147483686## az 4294967289## = 2147483686## az 4294967290## = 2147483687## az 4294967291## = 2147483687## az 4294967292## = 2147483688## az 4294967293## = 2147483688## az 4294967294## = 2147483689## az 4294967295## = 2147483689## az _ = 1337## {-# NOINLINE ba #-} ba :: Word# -> Word# ba 0## = 42## ba 1## = 42## ba 2## = 43## ba 3## = 43## ba 4## = 44## ba 5## = 44## ba 6## = 45## ba 7## = 45## ba 8## = 46## ba 9## = 46## ba 10## = 47## ba 4294967285## = 2147483684## ba 4294967286## = 2147483685## ba 4294967287## = 2147483685## ba 4294967288## = 2147483686## ba 4294967289## = 2147483686## ba 4294967290## = 2147483687## ba 4294967291## = 2147483687## ba 4294967292## = 2147483688## ba 4294967293## = 2147483688## ba 4294967294## = 2147483689## ba 4294967295## = 2147483689## ba _ = 1337## aa_check :: IO () aa_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(I# i,o) -> do let r = I# (aa i) unless (r == o) $ putStrLn $ "ERR: aa (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ab_check :: IO () ab_check = forM_ [ (-1,1337) , (0,42) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(I# i,o) -> do let r = I# (ab i) unless (r == o) $ putStrLn $ "ERR: ab (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ac_check :: IO () ac_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,1337)] $ \(I# i,o) -> do let r = I# (ac i) unless (r == o) $ putStrLn $ "ERR: ac (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ad_check :: IO () ad_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,44) , (5,1337)] $ \(I# i,o) -> do let r = I# (ad i) unless (r == o) $ putStrLn $ "ERR: ad (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ae_check :: IO () ae_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,1337)] $ \(I# i,o) -> do let r = I# (ae i) unless (r == o) $ putStrLn $ "ERR: ae (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." af_check :: IO () af_check = forM_ [ (-2,1337) , (-1,41) , (0,42) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(I# i,o) -> do let r = I# (af i) unless (r == o) $ putStrLn $ "ERR: af (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ag_check :: IO () ag_check = forM_ [ (-11,1337) , (-10,37) , (-9,37) , (-8,38) , (-7,38) , (-6,39) , (-5,39) , (-4,40) , (-3,40) , (-2,41) , (-1,41) , (0,42) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(I# i,o) -> do let r = I# (ag i) unless (r == o) $ putStrLn $ "ERR: ag (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ah_check :: IO () ah_check = forM_ [ (-21,1337) , (-20,32) , (-19,32) , (-18,33) , (-17,33) , (-16,34) , (-15,34) , (-14,35) , (-13,35) , (-12,36) , (-11,36) , (-10,37) , (-9,1337) , (-1,1337) , (0,42) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(I# i,o) -> do let r = I# (ah i) unless (r == o) $ putStrLn $ "ERR: ah (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ai_check :: IO () ai_check = forM_ [ (-21,1337) , (-20,32) , (-19,32) , (-18,33) , (-17,33) , (-16,34) , (-15,34) , (-14,35) , (-13,35) , (-12,36) , (-11,36) , (-10,37) , (-9,1337) , (0,1337) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(I# i,o) -> do let r = I# (ai i) unless (r == o) $ putStrLn $ "ERR: ai (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." aj_check :: IO () aj_check = forM_ [ (-2147483648,-1073741782) , (-2147483647,1337) , (-1,1337) , (0,42) , (1,1337) , (2147483646,1337) , (2147483647,1073741865)] $ \(I# i,o) -> do let r = I# (aj i) unless (r == o) $ putStrLn $ "ERR: aj (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ak_check :: IO () ak_check = forM_ [ (2147483636,1337) , (2147483637,1073741860) , (2147483638,1073741861) , (2147483639,1073741861) , (2147483640,1073741862) , (2147483641,1073741862) , (2147483642,1073741863) , (2147483643,1073741863) , (2147483644,1073741864) , (2147483645,1073741864) , (2147483646,1073741865) , (2147483647,1073741865)] $ \(I# i,o) -> do let r = I# (ak i) unless (r == o) $ putStrLn $ "ERR: ak (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." al_check :: IO () al_check = forM_ [ (-2147483648,-1073741782) , (-2147483647,-1073741782) , (-2147483646,-1073741781) , (-2147483645,-1073741781) , (-2147483644,-1073741780) , (-2147483643,-1073741780) , (-2147483642,-1073741779) , (-2147483641,-1073741779) , (-2147483640,-1073741778) , (-2147483639,-1073741778) , (-2147483638,-1073741777) , (-2147483637,1337) , (2147483636,1337) , (2147483637,1073741860) , (2147483638,1073741861) , (2147483639,1073741861) , (2147483640,1073741862) , (2147483641,1073741862) , (2147483642,1073741863) , (2147483643,1073741863) , (2147483644,1073741864) , (2147483645,1073741864) , (2147483646,1073741865) , (2147483647,1073741865)] $ \(I# i,o) -> do let r = I# (al i) unless (r == o) $ putStrLn $ "ERR: al (" ++ show (I# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." am_check :: IO () am_check = forM_ [ (0,42) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(W# i,o) -> do let r = W# (am i) unless (r == o) $ putStrLn $ "ERR: am (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." an_check :: IO () an_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337)] $ \(W# i,o) -> do let r = W# (an i) unless (r == o) $ putStrLn $ "ERR: an (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ao_check :: IO () ao_check = forM_ [ (0,42) , (1,1337)] $ \(W# i,o) -> do let r = W# (ao i) unless (r == o) $ putStrLn $ "ERR: ao (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ap_check :: IO () ap_check = forM_ [ (0,42) , (1,42) , (2,1337)] $ \(W# i,o) -> do let r = W# (ap i) unless (r == o) $ putStrLn $ "ERR: ap (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." aq_check :: IO () aq_check = forM_ [ (0,42) , (1,42) , (2,43) , (3,1337)] $ \(W# i,o) -> do let r = W# (aq i) unless (r == o) $ putStrLn $ "ERR: aq (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ar_check :: IO () ar_check = forM_ [ (0,42) , (1,42) , (2,43) , (3,43) , (4,1337)] $ \(W# i,o) -> do let r = W# (ar i) unless (r == o) $ putStrLn $ "ERR: ar (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." as_check :: IO () as_check = forM_ [ (0,42) , (1,42) , (2,43) , (3,43) , (4,44) , (5,1337)] $ \(W# i,o) -> do let r = W# (as i) unless (r == o) $ putStrLn $ "ERR: as (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." at_check :: IO () at_check = forM_ [ (0,1337) , (1,42) , (2,1337)] $ \(W# i,o) -> do let r = W# (at i) unless (r == o) $ putStrLn $ "ERR: at (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." au_check :: IO () au_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,1337)] $ \(W# i,o) -> do let r = W# (au i) unless (r == o) $ putStrLn $ "ERR: au (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." av_check :: IO () av_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,1337)] $ \(W# i,o) -> do let r = W# (av i) unless (r == o) $ putStrLn $ "ERR: av (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." aw_check :: IO () aw_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,44) , (5,1337)] $ \(W# i,o) -> do let r = W# (aw i) unless (r == o) $ putStrLn $ "ERR: aw (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ax_check :: IO () ax_check = forM_ [ (0,1337) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,1337)] $ \(W# i,o) -> do let r = W# (ax i) unless (r == o) $ putStrLn $ "ERR: ax (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ay_check :: IO () ay_check = forM_ [ (0,42) , (1,1337) , (4294967294,1337) , (4294967295,2147483689)] $ \(W# i,o) -> do let r = W# (ay i) unless (r == o) $ putStrLn $ "ERR: ay (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." az_check :: IO () az_check = forM_ [ (4294967284,1337) , (4294967285,2147483684) , (4294967286,2147483685) , (4294967287,2147483685) , (4294967288,2147483686) , (4294967289,2147483686) , (4294967290,2147483687) , (4294967291,2147483687) , (4294967292,2147483688) , (4294967293,2147483688) , (4294967294,2147483689) , (4294967295,2147483689)] $ \(W# i,o) -> do let r = W# (az i) unless (r == o) $ putStrLn $ "ERR: az (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." ba_check :: IO () ba_check = forM_ [ (0,42) , (1,42) , (2,43) , (3,43) , (4,44) , (5,44) , (6,45) , (7,45) , (8,46) , (9,46) , (10,47) , (11,1337) , (4294967284,1337) , (4294967285,2147483684) , (4294967286,2147483685) , (4294967287,2147483685) , (4294967288,2147483686) , (4294967289,2147483686) , (4294967290,2147483687) , (4294967291,2147483687) , (4294967292,2147483688) , (4294967293,2147483688) , (4294967294,2147483689) , (4294967295,2147483689)] $ \(W# i,o) -> do let r = W# (ba i) unless (r == o) $ putStrLn $ "ERR: ba (" ++ show (W# i)++ ") is " ++ show r ++ " and not " ++ show o ++"." main = do aa_check ab_check ac_check ad_check ae_check af_check ag_check ah_check ai_check aj_check ak_check al_check am_check an_check ao_check ap_check aq_check ar_check as_check at_check au_check av_check aw_check ax_check ay_check az_check ba_check