/extra/llvm/types/types-tests.factor

http://github.com/abeaumont/factor · Factor · 40 lines · 32 code · 6 blank · 2 comment · 0 complexity · 989f99bc700c5f9ac3aa5f01b73ccdb0 MD5 · raw file 

    

  1. ! Copyright (C) 2009 Matthew Willis.
    2. 

  2. ! See http://factorcode.org/license.txt for BSD license.
    3. 

  3. USING: kernel llvm.types sequences tools.test ;
    4. 

  4. 

  5. [ T{ integer f 32 }  ] [ " i32 " parse-type ] unit-test
    6. 

  6. [ float ] [ " float " parse-type ] unit-test
    7. 

  7. [ T{ pointer f f x86_fp80 } ] [ " x86_fp80 * " parse-type ] unit-test
    8. 

  8. [ T{ vector f f 4 T{ integer f 32 } } ] [ " < 4 x i32 > " parse-type ] unit-test
    9. 

  9. [ T{ struct f f { float double } f } ] [ TYPE: { float , double } ; ] unit-test
    10. 

  10. [ T{ array f f 0 float } ] [ TYPE: [ 0 x float ] ; ] unit-test
    11. 

  11. 

  12. [ label void metadata ]
    13. 

  13. [ [ " label " " void " " metadata " ] [ parse-type ] each ] unit-test
    14. 

  14. 

  15. [ T{ function f f float { float float } t } ]
    16. 

  16. [ TYPE: float ( float , float , ... ) ; ] unit-test
    17. 

  17. 

  18. [ T{ struct f f { float TYPE: i32 (i32)* ; } t } ]
    19. 

  19. [ TYPE: < { float, i32 (i32)* } > ; ] unit-test
    20. 

  20. 

  21. [ t ] [ TYPE: i32 ; TYPE: i32 ; [ >tref ] same? ] unit-test
    22. 

  22. [ t ] [ TYPE: i32 * ; TYPE: i32 * ; [ >tref ] same? ] unit-test
    23. 

  23. 

  24. [ TYPE: i32 ; ] [ TYPE: i32 ; >tref tref> ] unit-test
    25. 

  25. [ TYPE: float ; ] [ TYPE: float ; >tref tref> ] unit-test
    26. 

  26. [ TYPE: double ; ] [ TYPE: double ; >tref tref> ] unit-test
    27. 

  27. [ TYPE: x86_fp80 ; ] [ TYPE: x86_fp80 ; >tref tref> ] unit-test
    28. 

  28. [ TYPE: fp128 ; ] [ TYPE: fp128 ; >tref tref> ] unit-test
    29. 

  29. [ TYPE: ppc_fp128 ; ] [ TYPE: ppc_fp128 ; >tref tref> ] unit-test
    30. 

  30. [ TYPE: opaque ; ] [ TYPE: opaque ; >tref tref> ] unit-test
    31. 

  31. [ TYPE: label ; ] [ TYPE: label ; >tref tref> ] unit-test
    32. 

  32. [ TYPE: void ; ] [ TYPE: void ; >tref tref> ] unit-test
    33. 

  33. [ TYPE: i32* ; ] [ TYPE: i32* ; >tref tref> ] unit-test
    34. 

  34. [ TYPE: < 2 x i32 > ; ] [ TYPE: < 2 x i32 > ; >tref tref> ] unit-test
    35. 

  35. [ TYPE: [ 0 x i32 ] ; ] [ TYPE: [ 0 x i32 ] ; >tref tref> ] unit-test
    36. 

  36. [ TYPE: { i32, i32 } ; ] [ TYPE: { i32, i32 } ; >tref tref> ] unit-test
    37. 

  37. [ TYPE: < { i32, i32 } > ; ] [ TYPE: < { i32, i32 } > ; >tref tref> ] unit-test
    38. 

  38. [ TYPE: i32 ( i32 ) ; ] [ TYPE: i32 ( i32 ) ; >tref tref> ] unit-test
    39. 

  39. [ TYPE: \1* ; ] [ TYPE: \1* ; >tref tref> ] unit-test
    40. 

  40. [ TYPE: { i32, \2* } ; ] [ TYPE: { i32, \2* } ; >tref tref> ] unit-test
    41.