Ticket #562: test2.pir

.sub '' :main
    say 'START'

    .local pmc types, ops
    types = split ' ', 'Integer Float Complex'
    ops = split ' ', 'add sub mul div'
    
    .local pmc i1
    .local string base_type, derived_type
    i1 = iter types
    next_i1:
        unless i1, end_i1 
        base_type = shift i1
        derived_type = concat 'Foo', base_type

        $P0 = subclass base_type, derived_type
        
        .local pmc i2, cs
        .local string op  
        i2 = iter ops
        next_i2:
            unless i2, end_i2
            op = shift i2
            
            cs = new 'CodeString'
            cs.'emit'("print '%0: 10 %1 2 = '", base_type, op)
            cs.'emit'("$P0 = new '%0'", base_type)
            cs.'emit'("$P0 = 10")
            cs.'emit'("%0 $P1, $P0, 2", op)
            cs.'emit'("say $P1")
            eval(cs)

            cs = new 'CodeString'
            cs.'emit'("print '%0: 10 %1 2 = '", derived_type, op)
            cs.'emit'("$P0 = new '%0'", derived_type)
            cs.'emit'("$P0 = 10")
            cs.'emit'("%0 $P1, $P0, 2", op)
            cs.'emit'("say $P1")
            eval(cs)
               
            goto next_i2
        end_i2:
        
        goto next_i1
    end_i1:
    
    say 'FINISH'
.end

.sub eval   
    .param string code
    
    .local pmc PIR
    PIR = compreg 'PIR'
    
    .local pmc eh
    eh = new 'ExceptionHandler'
    set_addr eh, handler
    push_eh eh
    
    .local pmc cs
    cs = new ['CodeString']
    cs.'emit'(".sub '' :anon")
    cs.'emit'(code)
    cs.'emit'(".end")
    $P0 = PIR(cs)
    $P0()  
    pop_eh
    goto end
    
    handler:
        .local pmc ex
        .local string msg
        .get_results(ex)
        msg = ex
        say ex
    
    end:
.end

=begin output

START
Integer: 10 add 2 = 12
FooInteger: 10 add 2 = Multiple Dispatch: No suitable candidate found for 'add_int', with signature 'PIP->P'
Integer: 10 sub 2 = 8
FooInteger: 10 sub 2 = Multiple Dispatch: No suitable candidate found for 'subtract_int', with signature 'PIP->P'
Integer: 10 mul 2 = 20
FooInteger: 10 mul 2 = Multiple Dispatch: No suitable candidate found for 'multiply_int', with signature 'PIP->P'
Integer: 10 div 2 = 5
FooInteger: 10 div 2 = Multiple Dispatch: No suitable candidate found for 'divide_int', with signature 'PIP->P'
Float: 10 add 2 = 12
FooFloat: 10 add 2 = Multiple Dispatch: No suitable candidate found for 'add_int', with signature 'PIP->P'
Float: 10 sub 2 = 8
FooFloat: 10 sub 2 = Multiple Dispatch: No suitable candidate found for 'subtract_int', with signature 'PIP->P'
Float: 10 mul 2 = 20
FooFloat: 10 mul 2 = Multiple Dispatch: No suitable candidate found for 'multiply_int', with signature 'PIP->P'
Float: 10 div 2 = 5
FooFloat: 10 div 2 = Multiple Dispatch: No suitable candidate found for 'divide_int', with signature 'PIP->P'
Complex: 10 add 2 = 12+0i
FooComplex: 10 add 2 = Multiple Dispatch: No suitable candidate found for 'add_int', with signature 'PIP->P'
Complex: 10 sub 2 = 8+0i
FooComplex: 10 sub 2 = Multiple Dispatch: No suitable candidate found for 'subtract_int', with signature 'PIP->P'
Complex: 10 mul 2 = 20+0i
FooComplex: 10 mul 2 = Multiple Dispatch: No suitable candidate found for 'multiply_int', with signature 'PIP->P'
Complex: 10 div 2 = 5+0i
FooComplex: 10 div 2 = Multiple Dispatch: No suitable candidate found for 'divide_int', with signature 'PIP->P'
FINISH

=end output