static-tensor-0.1.0.0: tests/CoreDump/Tensor/GenerateKnownNats.dump-simpl.ghc821.golden
==================== Tidy Core ====================
2017-09-12 23:15:38.4003859 UTC
Result size of Tidy Core
= {terms: 1,457, types: 862, coercions: 4, joins: 38/38}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.GenerateKnownNats.$trModule4 :: GHC.Prim.Addr#
CoreDump.Tensor.GenerateKnownNats.$trModule4 = "main"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.GenerateKnownNats.$trModule3 :: GHC.Types.TrName
CoreDump.Tensor.GenerateKnownNats.$trModule3
= GHC.Types.TrNameS CoreDump.Tensor.GenerateKnownNats.$trModule4
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.GenerateKnownNats.$trModule2 :: GHC.Prim.Addr#
CoreDump.Tensor.GenerateKnownNats.$trModule2
= "CoreDump.Tensor.GenerateKnownNats"#
-- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.GenerateKnownNats.$trModule1 :: GHC.Types.TrName
CoreDump.Tensor.GenerateKnownNats.$trModule1
= GHC.Types.TrNameS CoreDump.Tensor.GenerateKnownNats.$trModule2
-- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.GenerateKnownNats.$trModule :: GHC.Types.Module
CoreDump.Tensor.GenerateKnownNats.$trModule
= GHC.Types.Module
CoreDump.Tensor.GenerateKnownNats.$trModule3
CoreDump.Tensor.GenerateKnownNats.$trModule1
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_3 :: Integer
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_3 = 0
-- RHS size: {terms: 39, types: 12, coercions: 0, joins: 0/0}
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
:: GHC.Natural.Natural
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
= case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_3 of {
integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# i# 0#) of {
False -> GHC.Natural.underflowError @ GHC.Natural.Natural;
True -> GHC.Natural.NatS# (GHC.Prim.int2Word# i#)
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt ->
case GHC.Prim.uncheckedIShiftRL# (GHC.Prim.sizeofByteArray# dt) 3#
of {
__DEFAULT ->
case GHC.Prim.sizeofByteArray# dt of {
__DEFAULT -> GHC.Natural.NatJ# dt;
0# -> GHC.Natural.underflowError @ GHC.Natural.Natural
};
1# ->
case GHC.Prim.indexWordArray# dt 0# of wild2 { __DEFAULT ->
GHC.Natural.NatS# wild2
}
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv ->
GHC.Natural.underflowError @ GHC.Natural.Natural
}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
lvl :: Integer
lvl = 2
-- RHS size: {terms: 39, types: 12, coercions: 0, joins: 0/0}
$dKnownNat :: GHC.Natural.Natural
$dKnownNat
= case lvl of {
integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# i# 0#) of {
False -> GHC.Natural.underflowError @ GHC.Natural.Natural;
True -> GHC.Natural.NatS# (GHC.Prim.int2Word# i#)
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt ->
case GHC.Prim.uncheckedIShiftRL# (GHC.Prim.sizeofByteArray# dt) 3#
of {
__DEFAULT ->
case GHC.Prim.sizeofByteArray# dt of {
__DEFAULT -> GHC.Natural.NatJ# dt;
0# -> GHC.Natural.underflowError @ GHC.Natural.Natural
};
1# ->
case GHC.Prim.indexWordArray# dt 0# of wild2 { __DEFAULT ->
GHC.Natural.NatS# wild2
}
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv ->
GHC.Natural.underflowError @ GHC.Natural.Natural
}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
lvl1 :: Integer
lvl1 = 1
-- RHS size: {terms: 39, types: 12, coercions: 0, joins: 0/0}
$dKnownNat1 :: GHC.Natural.Natural
$dKnownNat1
= case lvl1 of {
integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# ->
case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.>=# i# 0#) of {
False -> GHC.Natural.underflowError @ GHC.Natural.Natural;
True -> GHC.Natural.NatS# (GHC.Prim.int2Word# i#)
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt ->
case GHC.Prim.uncheckedIShiftRL# (GHC.Prim.sizeofByteArray# dt) 3#
of {
__DEFAULT ->
case GHC.Prim.sizeofByteArray# dt of {
__DEFAULT -> GHC.Natural.NatJ# dt;
0# -> GHC.Natural.underflowError @ GHC.Natural.Natural
};
1# ->
case GHC.Prim.indexWordArray# dt 0# of wild2 { __DEFAULT ->
GHC.Natural.NatS# wild2
}
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv ->
GHC.Natural.underflowError @ GHC.Natural.Natural
}
-- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0}
lvl2 :: Integer
lvl2 = 3
-- RHS size: {terms: 1,295, types: 782, coercions: 4, joins: 38/38}
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1
:: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1
= \ (x :: GHC.Prim.Int#) ->
join {
$j :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j (x1 :: GHC.Prim.Int#)
= join {
$j1 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j1 (y :: GHC.Prim.Int#)
= join {
$j2 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j2 (x2 :: GHC.Prim.Int#)
= join {
$j3 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j3 (x3 :: GHC.Prim.Int#)
= join {
$j4 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j4 (y1 :: GHC.Prim.Int#)
= join {
$j5 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j5 (x4 :: GHC.Prim.Int#)
= join {
$j6 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j6 (x5 :: GHC.Prim.Int#)
= join {
$j7 :: GHC.Prim.Int# -> Tensor '[2, 3, 4] Float
$j7 (y2 :: GHC.Prim.Int#)
= join {
$j8
:: GHC.Prim.Int#
-> Tensor '[2, 3, 4] Float
$j8 (x6 :: GHC.Prim.Int#)
= join {
$j9
:: GHC.Prim.Int#
-> Tensor '[2, 3, 4] Float
$j9 (x7 :: GHC.Prim.Int#)
= join {
$j10
:: GHC.Prim.Int#
-> Tensor '[2, 3, 4] Float
$j10 (y3 :: GHC.Prim.Int#)
= join {
$j11
:: GHC.Prim.Int#
-> Tensor
'[2, 3, 4] Float
$j11 (x8 :: GHC.Prim.Int#)
= join {
$j12
:: GHC.Prim.Int#
-> Tensor
'[2, 3, 4]
Float
$j12 (x9
:: GHC.Prim.Int#)
= join {
$j13
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j13 (x10
:: GHC.Prim.Int#)
= join {
$j14
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j14 (x11
:: GHC.Prim.Int#)
= join {
$j15
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j15 (x12
:: GHC.Prim.Int#)
= join {
$j16
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j16 (x13
:: GHC.Prim.Int#)
= join {
$j17
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j17 (x14
:: GHC.Prim.Int#)
= join {
$j18
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j18 (x15
:: GHC.Prim.Int#)
= join {
$j19
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j19 (x16
:: GHC.Prim.Int#)
= join {
$j20
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j20 (x17
:: GHC.Prim.Int#)
= join {
$j21
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j21 (x18
:: GHC.Prim.Int#)
= join {
$j22
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j22 (x19
:: GHC.Prim.Int#)
= join {
$j23
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j23 (x20
:: GHC.Prim.Int#)
= join {
$j24
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j24 (x21
:: GHC.Prim.Int#)
= join {
$j25
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j25 (x22
:: GHC.Prim.Int#)
= join {
$j26
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j26 (x23
:: GHC.Prim.Int#)
= join {
$j27
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j27 (x24
:: GHC.Prim.Int#)
= join {
$j28
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j28 (x25
:: GHC.Prim.Int#)
= join {
$j29
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j29 (x26
:: GHC.Prim.Int#)
= join {
$j30
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j30 (x27
:: GHC.Prim.Int#)
= join {
$j31
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j31 (x28
:: GHC.Prim.Int#)
= join {
$j32
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j32 (x29
:: GHC.Prim.Int#)
= join {
$j33
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j33 (x30
:: GHC.Prim.Int#)
= join {
$j34
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j34 (x31
:: GHC.Prim.Int#)
= join {
$j35
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j35 (x32
:: GHC.Prim.Int#)
= join {
$j36
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j36 (x33
:: GHC.Prim.Int#)
= join {
$j37
:: GHC.Prim.Int#
-> Tensor
'[2,
3,
4]
Float
$j37 (x34
:: GHC.Prim.Int#)
= case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
(TensorInstances.Tensor'2'3'4'Float
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x
12#)
(GHC.Prim.*#
x1
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x2
12#)
(GHC.Prim.*#
x3
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x4
12#)
(GHC.Prim.*#
x5
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x6
12#)
(GHC.Prim.*#
x7
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x8
12#)
(GHC.Prim.*#
x9
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x10
12#)
(GHC.Prim.*#
x11
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x12
12#)
(GHC.Prim.*#
x13
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x14
12#)
(GHC.Prim.*#
x15
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x16
12#)
(GHC.Prim.*#
x17
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x18
12#)
(GHC.Prim.*#
x19
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x20
12#)
(GHC.Prim.*#
x21
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x22
12#)
(GHC.Prim.*#
x23
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x24
12#)
(GHC.Prim.*#
x1
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x25
12#)
(GHC.Prim.*#
x3
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x26
12#)
(GHC.Prim.*#
x5
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x27
12#)
(GHC.Prim.*#
x7
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x28
12#)
(GHC.Prim.*#
x9
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x29
12#)
(GHC.Prim.*#
x11
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x30
12#)
(GHC.Prim.*#
x13
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x31
12#)
(GHC.Prim.*#
x15
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x32
12#)
(GHC.Prim.*#
x17
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x33
12#)
(GHC.Prim.*#
x19
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x34
12#)
(GHC.Prim.*#
x21
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
wild1
12#)
(GHC.Prim.*#
x23
4#))
y3)))
`cast` <Co:2>
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
(TensorInstances.Tensor'2'3'4'Float
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x
12#)
(GHC.Prim.*#
x1
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x2
12#)
(GHC.Prim.*#
x3
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x4
12#)
(GHC.Prim.*#
x5
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x6
12#)
(GHC.Prim.*#
x7
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x8
12#)
(GHC.Prim.*#
x9
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x10
12#)
(GHC.Prim.*#
x11
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x12
12#)
(GHC.Prim.*#
x13
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x14
12#)
(GHC.Prim.*#
x15
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x16
12#)
(GHC.Prim.*#
x17
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x18
12#)
(GHC.Prim.*#
x19
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x20
12#)
(GHC.Prim.*#
x21
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x22
12#)
(GHC.Prim.*#
x23
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x24
12#)
(GHC.Prim.*#
x1
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x25
12#)
(GHC.Prim.*#
x3
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x26
12#)
(GHC.Prim.*#
x5
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x27
12#)
(GHC.Prim.*#
x7
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x28
12#)
(GHC.Prim.*#
x9
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x29
12#)
(GHC.Prim.*#
x11
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x30
12#)
(GHC.Prim.*#
x13
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x31
12#)
(GHC.Prim.*#
x15
4#))
y3))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x32
12#)
(GHC.Prim.*#
x17
4#))
y))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x33
12#)
(GHC.Prim.*#
x19
4#))
y1))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
x34
12#)
(GHC.Prim.*#
x21
4#))
y2))
(GHC.Prim.int2Float#
(GHC.Prim.+#
(GHC.Prim.+#
(GHC.Prim.*#
wild1
12#)
(GHC.Prim.*#
x23
4#))
y3)))
`cast` <Co:2>
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j37
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j37
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j36
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j36
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j35
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j35
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j34
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j34
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j33
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j33
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j32
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j32
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j31
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j31
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j30
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j30
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j29
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j29
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j28
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j28
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j27
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j27
wild1
}
} } in
case $dKnownNat
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j26
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j26
wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j25
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j25
wild1
}
} } in
case $dKnownNat
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j24
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j24
wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j23
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j23
wild1
}
} } in
case $dKnownNat
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j22
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j22
wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j21
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j21
wild1
}
} } in
case $dKnownNat
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j20
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j20
wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j19
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j19
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j18
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j18
wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j17
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j17
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j16
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j16
wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j15
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j15
wild1
}
} } in
case $dKnownNat1
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j14
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j14
wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j13
wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j13
wild1
}
} } in
case $dKnownNat1 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j12 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j12 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j11 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j11 wild1
}
} } in
case lvl2 of wild {
integer-gmp-1.0.1.0:GHC.Integer.Type.S# i# ->
case GHC.Prim.tagToEnum#
@ Bool
(GHC.Prim.>=# i# 0#)
of {
False ->
case GHC.Natural.underflowError
of wild2 {
};
True ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
(GHC.Prim.int2Word#
i#))
of wild2
{ __DEFAULT ->
jump $j10 wild2
}
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt ->
case GHC.Prim.uncheckedIShiftRL#
(GHC.Prim.sizeofByteArray#
dt)
3#
of {
__DEFAULT ->
case GHC.Prim.sizeofByteArray#
dt
of {
__DEFAULT ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
wild
of wild4
{ __DEFAULT ->
jump $j10 wild4
};
0# ->
case GHC.Natural.underflowError
of wild4 {
}
};
1# ->
case GHC.Prim.indexWordArray#
dt 0#
of wild2
{ __DEFAULT ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
wild2)
of wild4
{ __DEFAULT ->
jump $j10 wild4
}
}
};
integer-gmp-1.0.1.0:GHC.Integer.Type.Jn# ipv ->
case GHC.Natural.underflowError
of wild1 {
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j9 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j9 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j8 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j8 wild1
}
} } in
case $dKnownNat of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j7 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp#
dt)
of wild1
{ __DEFAULT ->
jump $j7 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2
of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j6 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
jump $j6 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger
w)
of wild1
{ __DEFAULT ->
jump $j5 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
jump $j5 wild1
}
} } in
case $dKnownNat1 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w)
of wild1
{ __DEFAULT ->
jump $j4 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
jump $j4 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w)
of wild1
{ __DEFAULT ->
jump $j3 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
jump $j3 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w)
of wild1
{ __DEFAULT ->
jump $j2 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
jump $j2 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w)
of wild1
{ __DEFAULT ->
jump $j1 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
jump $j1 wild1
}
} } in
case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w)
of wild1
{ __DEFAULT ->
jump $j wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
jump $j wild1
}
}
-- RHS size: {terms: 18, types: 5, coercions: 0, joins: 0/0}
generateKnownNats_ :: Tensor '[2, 3, 4] Float
generateKnownNats_
= case CoreDump.Tensor.GenerateKnownNats.generateKnownNats_2 of {
GHC.Natural.NatS# w ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.wordToInteger w)
of wild1
{ __DEFAULT ->
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1 wild1
};
GHC.Natural.NatJ# dt ->
case integer-gmp-1.0.1.0:GHC.Integer.Type.integerToInt
(integer-gmp-1.0.1.0:GHC.Integer.Type.Jp# dt)
of wild1
{ __DEFAULT ->
CoreDump.Tensor.GenerateKnownNats.generateKnownNats_1 wild1
}
}