5 commits

Author	SHA1	Message	Date
Quentin Carbonneaux	19801b9253	simplify slot logic in alias analysis ... The previous code was buggy. It would put a stack pointer on the heap when handling "add $foo, 42". The new code is more straightforward and hopefully more correct. Only temporaries with a "stack" alias class will have a slot pointer.	2017-04-10 09:19:40 -04:00
Quentin Carbonneaux	a35dc8c495	fix pretty bad bug in alias analysis ... When a temporary marked local is escaping, the whole slot must be marked as such. To solve this, Alias now holds a pointer to the alias information of the slot. For simplicity of the code, this pointer is always valid and fetching ->type out of it is meaningful.	2017-02-24 12:00:38 -05:00
Quentin Carbonneaux	0689986187	propagate aliasing information through copies	2017-02-23 11:19:11 -05:00
Quentin Carbonneaux	7e1c1f9f77	use uint for block ids	2017-02-06 14:36:27 -05:00
Quentin Carbonneaux	8fdea1dd52	implement a simple alias analysis	2016-12-12 22:17:03 -05:00