Goose  Diff

Differences From Artifact [2d0eb679e6]:

• File bs/builtins/types/runtime/pointer.cpp — part of check-in [fbc9052f6a] at 2019-08-06 22:22:48 on branch trunk — Renamed runtime types, because most of them (except pointers) will have to be available during compile time as well, so their names may as well be generic. (user: achavasse size: 1508)

To Artifact [fdca04b650]:

• File bs/builtins/types/runtime/pointer.cpp — part of check-in [27fc719d74] at 2019-08-16 14:48:20 on branch trunk — Added a new type of template expression: TVec, along with a helper function to make it possible for parametric types to be constructed either normally or as a template expression when passed template parameters. Only used by LocalVar for now, parametric runtime types require some refactoring. (user: achavasse size: 1507)

23
24
25
26
27
28
29
30

31
32
33
34
35
36
37

23
24
25
26
27
28
29

30
31
32
33
34
35
36
37

-
+

    }
}

namespace empathy::ir
{
    Value Bridge< PointerType >::ToValue( const PointerType& p )
    {
        return Value( Type(), TVEC( TSID( rt_type ),
        return Value( Type(), VEC( TSID( rt_type ),
            TERM( llvm::PointerType::getUnqual( GetLLVMType( *ValueFromIRExpr( p.m_pointedType ) ) ) ),
            TSID( pointer ), p.m_pointedType ) );
    }

    optional< PointerType > Bridge< PointerType >::FromValue( const Value& v )
    {
        auto result = Decompose( v.val(),