aboutsummaryrefslogblamecommitdiffstats
path: root/bootstrap/lib/compiler/ebin/beam_ssa_type.beam
blob: aefca8fbb961c3a9b5943d24ba1fa4c50c8e0b5d (plain) (tree)
1
2
3
4
5
6
7
8
9
10
                                                                                                                                                               








                                                                                                                                                                                                                                                                                                                                                                                                                                       

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              
  


                                                                                                                                                                                                                         

                            


                                                                                                                                                                                                                                                    










                                                                    


                                                                               








































                                                                                                                                  


                                                                                                                                      











                                                                                                                


                                                             

                                                                                                                        

                                                                      






                                       


               
          


                                                                                                                                  



































                                                                       
                                      



                                      





                                                                                   


                                                                            

                                                              




                                                                            


                                           






                                         
                                                                                                                            

























































                                                                                                                     

                                                                                                             







                                                                                                      

                                                                                                      



                                                                                  

                                    


                               



                                     

                          


                          







                                                                                               



                                                                                                                                                
                      
                                       

                          

                 




                                                                       





                                                        






























                                                                                                                     


                               

























                                                                             


                              

                   


                                




























                                                                                              
                                                                                                                                                                                            


                                                                       
                                                                  

           

                          
















                                  



                                                      



                     



                                       
























                                                                                                               

                                                                     




                           



                                    


































                                     

                                                                               











































                                                                                                    


                                                                                       
















                                                                                 
                                                                    
                  


                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        
FOR1@�BEAMAtU8�
beam_ssa_typeoptmaps	from_listdopt_1opt_2b_blkb_setcallb_remote	b_literalerlanglengtherl_bifsis_exit_biffalsetrue
setelementb_retremoveerroropt_3opt_isb_varphilistsreversebadmapsimplifybif==tlsizeelementhdconsget_hdt_tupleat_leastexact-get_tuple_elementget_tl	t_integert_atombinarynonefloatanyfloat_opbeam_ssaadd_annowait_timeout	put_tupleput_listwaitsimplify_argis_float_op/+*opt_terminatorb_switchb_br++searchvalueupdate_successorsfoldlupdate_successorupdate_typestypeband=:=
tuple_sizemaybeyesnonumberbs_matchis_tagged_tuplebs_init
bs_extractis_nonempty_list	succeededget	byte_sizebit_sizemap_sizenotlist
t_bs_matchnewappendprivate_appendmath
arith_op_typeunknownwill_succeedis_floatis_list
is_booleanis_atom	is_binaryis_bitstringis_tuple
is_integer	is_numberis_mapmapremnil	band_typeband_type_1band_type_2bsl
bs_match_typeintegerutf8utf32utf16stringskipunsignedmembersimplify_switch_intsortlastdroplast	eq_rangessimplify_switch_boolsimplify_notget_literals	get_typesget_typeinfer_types
infer_type
is_map_keymap_getbs_start_matchbif_typeceildivroundbnotabstruncfloorborbsrbxorerl_internal
new_type_testbool_opcomp_oparith_opbadarginferred_bif_typeinfer_tuple_sizeinfer_first_elementis_math_bifsintanasinatanpicoshsinhtanhacoshasinhatanhlogpowerfsqrtfmodcosacoserfclog2atan2explog10
join_typeskeysjoin_types_1mergejoinget_literal_from_typet_is_booleanordsetsunionandmingcd
meet_typesmeetmaxintersectionmeet_tuplesor
verified_typemodule_infoget_module_info-get_types/2-lc$^0/1-0-function_clause-get_literals/2-lc$^0/1-0-!-simplify_switch_int/2-lc$^0/1-0--will_succeed/2-anonymous-0--arith_op_type/2-anonymous-0--type/4-lc$^0/1-0-!-update_successors/3-anonymous-0--opt_terminator/3-anonymous-0--simplify/2-lc$^3/1-0--simplify/2-lc$^2/1-2-convert-simplify/2-lc$^1/1-1--simplify/2-lc$^0/1-3--opt_is/5-lc$^0/1-0-is_key-opt_2/5-lc$^0/1-0--opt/2-lc$^1/1-1--opt/2-lc$^0/1-0-Code4h�
@�"    @@@� M� @@@�0M�@�G @ �0R@ E 0�Pb @8eA#395#:5# �50RB �uB#C�U CB##@CS@C@#@3#@3@SP�P@3 E`45p�`J��prP���@�B S8�SAScS��cP�Bc0s+�s�Bc@s8�sAs�s�Ń@�B���œ �B� ��ţ �4�S��|�sS��@C4@3D@c$@#T@s@d@�@tB�B�@S#��0 ;�@
�
��@D@D�� -� E#@$� `@Q��00�B BD#�0
GE�D@�#��0RB �P@D�� @@@#� 0@1��00@@� �� EP� E �@T#@D3@d@4C@tP
��P
�@G��P���J��
P��@���C0R`P@#4@D@C$@TBC#BC B @C@S@3@3@S��P
@9
:
0B @$@#$@!�00B$BD0@3@@$#@@#@3#�0
B@#@$@$�P�0
ZPBB4#�4@�#@@$�0 � EP� E ��H�
P8
ASc�
SP�BS s�
s 
BsBS0s+
s
pp@C4@c$@3D@S@#T@@dBS@@3� -�@@#@Q�00@T#@d@d�0
j�
T�T d  Ed4C@#@@D3@$P
p`p@C$@34@c@#D@@T@S� 
@D#@T@T�0
j�
D�D T  ET$C@#@@43@P
`4
 P@#@@C�`@�0 0� 
T�P0� 
D�P�
 �
P�B0#B@39
,#:
/# B#C+
/C
B##;#
)�
 
"
!
 
"

#

$
8
)3A3CS4
)SP@@C� 
�+
!
%@@
&#@A�008
)3A3CS�
)C �8
)SAScS4
)S0p@C@c@$@c�  
��
*@
'BB ;
*@



0 � 
(=
0 � 
)9
*:
* B-
*(
*B(
*�!} pp� �EE#@$�0@Q�!00C
+08
)3A3CS4
)SP@@C�" 
��
!@
'@@G #@A�#00 8
)3A3CS4
)SP@@C�$ 
�+
!
%@@
,#@A�%00!@" @@@@3�& -�@@@#@Q�'00@#@@@@#�( 
�@�)-�@@@�)-S9
$:
( B;
(`
-
#
.
'
/
'#�
( 
-=
'$;
(@
0
&
1
%%+
(
1=
'&+
(
2'@@G0#@A�*00 (@ )0@@@#@$@3�+ -�@$@$@#@Q�,00@#@$@$@@#�- 
�@@@�. 
9;
2@

+

**@$0+@� �/-�@@#@
3�00�,;#
1�
6
-�
0
7
0
8
0-8
/3A3CS4
/SP@@C�1 
4+
.G@@@#�@Q�200C
90. E#@@Q�300/;#
1`�
0
7
0
8
00@
#@@@3�4 -�@@#@Q�50012�.J3�6
: 4�
6 
 @�7 
��8-V9
5:
7 B+
7�5+
7
0@67�8J8�9
; 9;
<@
<
;
*
::+
<GP=
?;8
@�#8
<#�##,
?#<8
@A#+
=#
18
=�#,
>#=+
@GP>;
@`
*
?
=
?
>
??@
@@
A�:
?0B9
A<
A@P
D0
CCB3+
A3
=
FDB3B C;3
A@
@
K
A
EE9
AC:
AC BC3;3
A@

G�
FFG@P@#@$@C@4@C�; 
��<-V9
H:
U B+
U�@4@#@1�=00@H+
U
0�
TB�
T �
SP�B0+
JG0B@8
JA+
JG`@$@�> 
��>-_;
R@

I

OI@4@#4�0@1�?00@#@0
�0J@$@#@40
�@K�
LC �0P@C@$BCB$0gP� EB$@#@$� @#�@ �@@��A ��
V 
DB9
V:
V ` B�P
AGGpL@P@#@$@C@4@�B-V9
M:
X B+
X�@4@#4�0@1�C00@#@0
B0M+
X
0@$@�D 
��
N 
-B9
N:
N @4 
�@N�E-_;
W@

P

OO@4@P@$@#@44�F0
�
QP
A@#@$0
B@Q@R�>JS�GJT�HHU�<JV�AHW�EJX�BJY�I
E0Z9
Y<
Y@P
\0
[[B3+
Y3
@#\B3B CB0SB@c;3
Y@
@
b
A
]]9
YC:
YC BC3BCC;3
Y@�
_

^^�
d�p CG�@p@S@#$@C@4@@c�J0
f@$3@4#@4@@#@3#$�K0-�
c� G�@@4#@0
f@_;C
Y@

a

``@c0
fa@S0
fb�
YC 
0p@c@C@$@S�L0
fB@$#@$@#g@#@$�M0�0c0� 
�NPd0 � 
�JPe�O
G0f�
e#0RB# 3�
h3�
g3 C0P@#@3@$@@C�P -I� $@@#@1�Q000g�3@ @#@#@1�RN00h�SJ3i�T
H0j�
iP�B 3�
i3 
 @@3@B0B@@#3@#@C@@C�U@
m�
kB�   k0� 
�VPl�W
I@m9
{:
� B3+
�3
B;
x`
J
w
K
t
L
nn8
zA3C4
xC@@#@3�X 
��
q@
'BB ;
q@

p

oo0 � 
(=
rp0 � 
)=
rq@
0r�
s 
)B-
�`� � 
-s@G�t8
zA3C8
xCACSC4
xC+
uS3@G�u 0@#@@@#�Y 
�8
�A#�
v �8
�#A#3C�
v3 �4
vCP@B3B�E� 
. v8
�#�#4
�@@�Z 
��Z-�+
�
0=
�w@@# 
�x8
zA3C4
zC @@@@#@3�[ 
�,
y
2@@�\ 
�;
�`
M
y
N
�
O
�y@@ - z 0@#@�] -+
�
P@@ 
� {;
�

��
�
Q
�
R
�
7
�
S
�
T
�
+
�
U
�
V
}
8
||@
%}8
�A�
� 
4
� @@#B@3�^ П
�P�B09
�:
� B#+
�#
BB@@�_ 
�;
��
X
�
Y
�
Z
�
"
�
L

[
~~8
�A4
�@�`-_;
�@

�

�8
�A�
�@
'4
�=
��+
�G�=
��8
�A�
� 
/4
�=
��;
��
,
�
&
�
+
�
9
��8
�A4
�0@#�a 
�;
�`
%
�
2
�
\
��@G��@G��@G��8
�A+
�G�0@#@#�b 
��
�@
'B08
�A4
�0 � �@ 
��@
2�8
�A4
�0@#�c 
��
� 
]B�8
�A�
� �B;
�`
^
�
_
�
`
��8
��#8
�#�##8
�#A#3#�
�3 �4
�#=
��8
��#8
�#A#3#�
�3 �4
�#�0@B3� 
/�8
���
� ™d| p BE�@
'
��e| P�@
'
�8
�A8
�A3�
�3 �8
�AC�
�C �4
� P@C@3@#�f 
�9
�:
�@B+
�
'B ;
�@

�

��BB0B#8
�A34
�+
�#B+
�3�@G� �4
�+
�#=
��+
�
2�@G� �@G� �8
�A#�
� �0B@#�g 
�0� 
]�8
�A�
�@�B3�
�3 �B �
� �BB33;3
�@
a
��
��+
�
8
�ACS8
�SAScS8
�S�SS4
�S p@c@#@#@C�h 
�@#@@@#�h 
��
� 
-B9
�:
� �
�@
'B'
�� ��
�@
'@@#@A�i00 ��
� 
-B9
�:
� PB�@
'
 �@G� ��j|  �j -B;
�@

�

��@
1��k|@@@#@@3�k0 ;
�@

�

��@
2�@
0�0@@#�l -�-S�@
2� ��mJ��YJ��\J��`J��^J��bJ��cH�0 � �nJ�  ��oJ��jJ��kJ��p
b � �q 
�@g @#@
c�r0���s
d �;
�
e
�
f
�
g
�
h
�
i
�
j
�
k
�
l
�
m
�
n
��+
�
o=
��9
�:
� B+
�
-=
��;
�@
1
�
P
��9
�:
� B+
�
-=
��+
�
P=
���
�@
'@
N��
� 
/@
N��
� 
/B}
���+
�=
���
� 
.@
N��
� 
.B,
�
2 @@�t-_;
�@

�

��@
N�g0@�u �;
�@

�

��@
M�@
O�;
�`
q
�
\
�
%
��;
�@
1
�
P
��@
N�@
O�@
MǙuJștJəv
r �8
�A#3�
�# �8
�3A3CS4
�SB#S-
�S@#@C@S0
��8
�3A3C3�
�C �4
�3BCC-
�C@S@#@S#@C0
��4
�3@G�͙w
s0� 0@#@@�x 
�@#@@@@#��y 
�@@ -�ϙz
t �'
�	@�{} #}
�03+
�#3@@ -]�}
�03(
�3#ҙ|}  
��@G�ԙ}
v �;
�
/
�
w
�
x
�
y
�
z
�
1
�
{
�
|
��@
2��@G��8
��8
�A�
� �8
�A#�
�# �8
�A3�
�3 �4
�B3B##}
�0#'
�	@ @B@
}�~ ;
�@

�

��@G�ۙ}�}p@@ -]�@G��8
��8
��8
��8
�A#�
�# �4
�00B#� 
/ޙ~Jߙ�J���H��
 �
�P
@9
�:
� 0 @@$B@��@��-�BB#��0
�;
�@

�

��@$0�@��@9
�:
� @� ��@@#@Q��00BC0 ��H��J��
�0�8
�A34
�+
�3+
�#3@
�+
�3��}@30
��@
��
�0�
�P
@00@@#@$B@��8
�A9
�:
� B#+
�#G8
�A#9
�#:
�# B#3+
�3Gp4
�`0B#BB$ #�P
AG#@#@0
�0�@$0��J��
�0�
�P
AB 3�
�3 
�
�#B33�
�# 3#�
�#P�B#03+
�3GB#@#8
�#A#3#4
�# @@3@@3�� 
���-_;
�@

�

��@ �`BB0B@#�P
A# ����J���J#���
� � -����
� � -����
� �9
�:
� B#B3;#
�@�
�

���-�- 3�0
�3P@E3� 
.�.
�3@
1�--3`@� 33� 
-(7-3,-3@
%(�-3@
o(+-3G@G(9-3
3��3p E�@
'
(4-3@
q(@
2(��H(��
�0(�-#0RB##�-	#�-	# �-	P�0@B0B@@3@@3��0-@ -�(	��H#(
��
�0(9-:- B3+-3
B;-@
K-
#-(8-A#3�-# �8-3A3C3�-C 
4-3B#--(-�PBC�@
'
� E(
8-A3C�-3 
8-CACSC�-S �4-C@`@S4B3$@#@$�� �@@4@G�� 
�@4#@@@#�� -<@4#@4@@#�� -?@@44�� �P� $E@(8-A#3�-# 
4-30@#�� -/+-
2@(PB� E(;-@
�-
�-(8-�8-A�- 
4-P B� 
oE(;-�
�-
R-
U-
V-(8-A�- 
4-0@#B@#�� П-P�B0B@@#@3@@30-(8-A�- 
4-PB� 
%E(8-A�- 
8-A#�-# �8-A3�-3 �4-�@B3B##BE�@
'#
� E(8-A�- 
4-PB� GE(@(��H(��
� (;-#(
<-!
p-
�-
u-
�-�-
�-
Y-
X-
Z-
"-
1-
�-
�-
�-
�-
�-
�-
�-
�-(8-#�#4-##@
P(8-#�#4-##=-"(8-#�#8-##�##4-##@G�(8-#�#4-##=- (8-#�#8-##�##4-##( @G�(!8-#�#8-##�##4-##("@
1(#��|   @@�� ;--@
-$
-&($@@�� ;-,@
-%
-&(%@@�� ;-+@
-'
-&(&@G� ('@@�� ;-*@
-)
-(((@
2 ()@
P (*��J(+��J(,0� 
���P(-0� 
���P(.��
� (/;-:&
g-9
h-8
�-7
i-6
j-5
k-4
Y-5
X-5
L-4
e-3
f-2
1-7
�-7
�-7
�-7
l-1
m-7
�-7
n-0(08-:�4-:@
o(18-:�4-:@G�(28-:�4-:@
\(38-:�4-:@
1(48-:�4-:@G�(58-:�4-:@G(68-:�4-:@G(78-:�4-:@
P(88-:�4-:@G(98-:�4-:@G�(:@
2(;��
� (<�-=P�B0#+-=#G B@8-=A#�-=# 
4-=�-= �B--=�0B#�@
'
� E(=@(>��
� (?�-@P�B0#+-@#
+B@8-@A#�-@# 
+-@GП-@ ��0BB#E�@
'
� E(@@(A��
� (B;-G2
�-E
�-E
�-E
�-E
�-E
�-D
�-E
�-E
�-E
�-E
�-E
�-E
�-E
�-C
�-E
�-E
�-C
�-E
�-E
�-E
�-E
�-C
�-E
�-E
�-E(C+-G!=-F(D+-G=-F(E+-G(F@
(G@
(H��
� (I|-J #|-J03'-J#3  @@��@#@0-L (J  @@@��@#@0-L (K��
�0(L8-PA3�-Q�-O 3C�-Q#�-O# 3S+-MSC0-L(MP`@$@3@#4@S@D@S@C�� -c+-N@D@4#@$0-LP(N�4 @D@#@$0-LP(O�-Q#�-Q#30-L(P4-K@@#��N (Q00� #��J(R��
�(S8-RA#8-T#0A#@#@@#�� -c E-S(T4-R#@(U��
�(V9-Z:-[ BB;-[@
.-X
--W(W9-[:-[ BB+-[=-Y(X8-[A4-[(Y0 � �(Z+-[
q@G([@
0(\��
- (]--\--\` � � 
-(^��
�(_�-a 
.B8-aA8-`A#4-a+-a
�#
(`4-a
 (a@
(b��
� (c,-e+-d
0@-�(d+-f
0(e-�(f+-g
2(g,-~
29-t<-~@@-r -h(hB#B3;#-~`
.-n
/-k
--i(i9-j:-~ B+-~
-@G�(j;-~@
1-y
P-y(k�-~ 
/B��}@�3 @+-l@=-m(l�� -�(m0� 
/(n8-q3�-~ 
.B8-p@@@3�� !@��"(-oQ0� 
.(o@G(p+-~
2@(q+-~3
2�-~ 
.B8-~(rB#+-~#
'�-~@
'B#B3+-s#3B B ��#P@�@
'3(s@@#@3 $P�@
'
(t;-~�
\-|
%-{
q-z
1-w
P-u(u9-v:-~ B+-~
-=-y(v+-~
1=-y(w9-x:-~ B+-~
-=-y(x+-~
P(y@
P(z;-~@
\-}
%-}({;-~@
q-}
\-}(|;-~@
q-}
%-}(}@
\(~@
2(��
� (���} �+-�@(�@#@@# -�(���
� (�8-�A#39-�#:-�# �-�B#�-� C0P@3@@$B#@C�� -��$ @@ -�0(�4-�@(���H(���
�(�8-�A#8-�#0A#@#@@#�� -� E-�(�4-�#@(���
� (�,-�9-�<-�@@-� -�(�B#B3;#-�`
.-�
/-�
--�(�9-�3:-�3 �-� 
-B#9-�#:-�#  @@#@3B#B3 %BB#@�@# $`� � 
-(�+-�#
2=-�(�+-�3
2�-� 
-B#9-�#:-�# @(�;-�@
P-�
2-�(��-� 
/@B@3 %0� 
/(�8-�3�-� 
.B#8-�#@@#@3�� &8-�0� 
.(�4-�@
0(�+-�#
2(�(�+-�3
2�-� 
.B#8-�#@(�B#+-�#
'�-�@
' -�(�;-��
\-�
2-�
q-�
1-�
%-�
P-�(�9-�:-� B#+-�#
-=-�(�;-�@
1-�
2-�(�@(�;-�@
\-�
2-�(�;-�@
P-�
2-�(�@
1(�;-�@
\-�
2-�(�@-�(�;-�@
q-�
%-�(�@
%(�@
q(�+-�
2(�-�(�@
0(���J(���
� (��-�@
'B0#8-�#A#3C4-�C�-�@
'B0C8-�CACSC4-�C+-�3S(�B3B C+-�C
�-�@
'B S+-�S
BS,-�3S(�@
0(��-�@
'0P@#@C@$B@3 %B$ ��'B$0#8-�=-�(�4-�8-�#=-�(�@#(�P0�@
'#0(���
�(�9-�<-�@@-� -�(�BB#;-�`
.-�
/-�
--�(�9-�#:-�# B#--�B#--�(�--�#(�8-�#(�+-�#
2=-�(�B+-�
'=-�(�;-�
q-�
2-�
0-�
\-�
1-�
%-�
P-�
o-�(�(��
�(�@�N((��
�(�@@�N )(���
� (�8-�  @A�� 
�@#@@@#��� -� E(�4-�(� E@
��� *(���
� (�8-�  @A�� 
���-V@#@@@#��� -� E(�4-�(� E@
��� *(ř�
�(�8-�A9-�:-� B�-� � @��-� BE(�-�(�4-�(əu
�(�
 (˙r
� (�9-�:-� B#+-�#
-9-�:-� B#+-�#
-=-�(�;-�`
c-�
P-�
1-�(�@G�(�;-�`
1-�
P-�
2-�(�9-�:-� B#+-�#
-=-�(�;-�@
c-�
1-�(�9-�:-� B#+-�#
-=-�(�;-�@
c-�
P-�(�@
1(�+-�
2(�@
P(�+-�(�@
0(ٙl
� (�8-�A#9-�#:-�#  0@@B#�l 
�@#@@@#��l -� E(� -�(�4-�(� E@
��l *(ޙM
�@(�9-�:-� @@@@$@3@#4B@#�� 
��-�4�4 B@$#@3@@30
f@(�0� 
4��P(�0 � �MJ(�A
� (�9-�:-� B#�-�# �B#�(� ��AJ(�4
� (�8-�  @A�4 
4@#@@@#��4 -� E(�4-�(� E@
��4 *(�/
�(�8-�A+-�
1@
1=-�(�@
�(�/-� E(�4-�(�+
� (�8-�  @A�+ 
4@#@@@#��+ -� E(�4-�(� E@
��+ *(�&
� (�8-�  @A�& 
4@#@@@#��& -� E(�4-�(� E@
��& *(��
� (�8-�A#9-�#:-�# 00@@#@$B#� +;-�@
-�
-�(�@$@$� -� E0(�@$@ -�0(� -�(�4-�(��J(� E@
�� *(���
� (�8M  @A�� 
4@#@@@#��� -� EH4MH E@
��� *H�0
�H8MA�M 

 ` @�P�G�G�0MPB� E HMH4MH� 
�H8M	A�M 
 @� MPB� 
2EHMH	4MStrTImpT,



*45
BCF
KW
p2
u
=
>~���
L
#��������
Z��
g���"
�
�
���
�
�
�
�ExpT(����FunTd���ќ���ќ���ќ���ќLitT�x�uQ]O�0�l�D%�/�
^��-�\�kI�����p�Vh��{h�sz���`��﹭2���넀���s�Jw��d{�+=�8`����C�'
�I�Z@�L���C?���UoJm�����tjL����~AE�	1$[G]��~nu���� JL�_���h����y����{*��Mr/�: tԲ������!#.�U��av<��i�0�n�����ma(1�B���.��#Oîq%�$I��y*��
Μ�-�4�1�����p��?��JAttr(�lhdvsnln�;	ѫ	>��3k�3��jj