[DRAFT] Infer variable type using type information from SBL
x87 opened this issue · 0 comments
x87 commented
$var = 1.0 // $var is now Float
$var2 = 2.0 // $var2 is now Float
$var += $var2 // does not require explicit opcode or type declaration
Note: only use this within one basic block, i.e. a series of commands between branch instructions.