Type Checking Examples

• {eax:B4,ebx:B4} add eax,ebx {eax:B4,ebx:B4}

• {eax:B4,ebx:B4} imul ebx {eax:B4,ebx:B4,edx:B4}

• {eax:S(4),ebx:S(5)} add eax,ebx {eax:S(9),ebx:S(5)}

Previous slide

Next slide

Back to first slide

View graphic version