IRBuilderTest.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Wed, 06 Apr 2011 21:17:27 +0000
changeset 33 9c1e160e9688
parent 30 1b7ff9c8c40b
child 36 1bfd09c6b3d8
permissions -rw-r--r--
IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
23
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
     1
"{ Package: 'cvut:stx/goodies/newcompiler' }"
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     3
TestCase subclass:#IRBuilderTest
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     4
	instanceVariableNames:''
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     5
	classVariableNames:'TestToPush'
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     6
	poolDictionaries:''
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     7
	category:'NewCompiler-IR-Tests'
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     8
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     9
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    10
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    11
!IRBuilderTest class methodsFor:'as yet unclassified'!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    12
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    13
testToPush
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    14
	^TestToPush
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    15
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    16
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    17
testToPush: anObject
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    18
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    19
	TestToPush := anObject
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    20
! !
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    21
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
    22
!IRBuilderTest methodsFor:'mock methods'!
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
    23
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
    24
mock1: arg1 with: arg2
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
    25
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
    26
    ^arg1 + arg2
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
    27
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
    28
    "Created: / 02-12-2008 / 09:11:46 / Jan Vrany <vranyj1@fel.cvut.cz>"
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    29
!
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    30
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    31
mock2
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    32
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    33
    ^[ testSelector ]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    34
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    35
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    36
    decompiling IRBuilderTest>>mock2
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    37
    nA: 0 nV: 0 nT: 2   
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    38
    
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    39
    1: 37 04 00 00             makeBlock 4 (7) nv=0 na=0
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    40
    5: 5A                      pushInstVar1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    41
    6: 00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    42
    7: 08 03                   LINE[3]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    43
    9: 00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    44
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    45
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    46
    "Created: / 28-03-2009 / 18:47:17 / Jan Vrany <vranyj1@fel.cvut.cz>"
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    47
    "Modified: / 28-03-2009 / 20:16:08 / Jan Vrany <vranyj1@fel.cvut.cz>"
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    48
!
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    49
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    50
mock3
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    51
    | b |
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    52
    b := 1.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    53
    ^[ b ]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    54
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    55
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    56
    decompiling IRBuilderTest>>mock3
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    57
    nA: 0 nV: 1 nT: 2
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    58
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    59
    1: 79                      push1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    60
    2: 64                      storeMethodVar1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    61
    3: 37 04 00 00             makeBlock 4 (9) nv=0 na=0
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    62
    7: 50                      pushMethodVar1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    63
    8: 00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    64
    9: 08 04                   LINE[4]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    65
    11:00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    66
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    67
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    68
    "Created: / 28-03-2009 / 20:16:36 / Jan Vrany <vranyj1@fel.cvut.cz>"
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    69
!
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    70
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    71
mock4
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    72
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    73
    ^[:arg| arg ]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    74
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    75
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    76
    decompiling IRBuilderTest>>mock4
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    77
    nA: 0 nV: 0 nT: 2
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    78
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    79
    1: 37 04 00 01             makeBlock 4 (7) nv=0 na=1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    80
    5: 8C                      pushBlockArg1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    81
    6: 00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    82
    7: 08 03                   LINE[3]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    83
    9: 00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    84
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    85
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    86
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    87
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    88
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    89
    "Created: / 28-03-2009 / 20:18:32 / Jan Vrany <vranyj1@fel.cvut.cz>"
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    90
!
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    91
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    92
mock5
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    93
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    94
    ^[|temp| temp ]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    95
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    96
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    97
    decompiling IRBuilderTest>>mock5
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    98
    nA: 0 nV: 0 nT: 2
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
    99
    
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   100
    1: 37 04 01 00             makeBlock 4 (7) nv=1 na=0
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   101
    5: E8                      pushBlockVar1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   102
    6: 00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   103
    7: 08 03                   LINE[3]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   104
    9: 00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   105
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   106
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   107
    "Created: / 28-03-2009 / 20:19:17 / Jan Vrany <vranyj1@fel.cvut.cz>"
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   108
!
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   109
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   110
mock6
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   111
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   112
    ^[|temp| [ temp ] ]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   113
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   114
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   115
    decompiling IRBuilderTest>>mock6
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   116
    nA: 0 nV: 0 nT: 3
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   117
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   118
    1: 37 0B 01 00             makeBlock 11 (14) nv=1 na=0
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   119
    5: 37 06 00 00             makeBlock 6 (13) nv=0 na=0
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   120
    9: 80 01 01                pushOuterBlockVar 1 lvl: 1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   121
    12:00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   122
    13:00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   123
    14:08 03                   LINE[3]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   124
    16:00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   125
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   126
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   127
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   128
    "Created: / 28-03-2009 / 20:20:06 / Jan Vrany <vranyj1@fel.cvut.cz>"
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   129
!
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   130
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   131
mock7
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   132
    | b |
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   133
    b := 1.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   134
    ^[ ^b ]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   135
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   136
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   137
    decompiling IRBuilderTest>>mock7
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   138
    nA: 0 nV: 1 nT: 2
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   139
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   140
    1: 79                      push1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   141
    2: 64                      storeMethodVar1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   142
    3: 37 06 00 00             makeBlock 6 (11) nv=0 na=0
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   143
    7: 50                      pushMethodVar1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   144
    8: 08 04                   LINE[4]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   145
    10:07                      homeRetTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   146
    11:08 04                   LINE[4]
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   147
    13:00                      retTop
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   148
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   149
    "
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   150
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   151
    "Created: / 28-03-2009 / 20:21:51 / Jan Vrany <vranyj1@fel.cvut.cz>"
10
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   152
!
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   153
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   154
mock8
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   155
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   156
    ^([:arg| arg ] value: 22)
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   157
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   158
    "Created: / 30-03-2009 / 19:21:48 / Jan Vrany <vranyj1@fel.cvut.cz>"
17
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   159
!
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   160
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   161
mock9
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   162
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   163
    ^[:barg1 | [:barg2 | barg2 ] value: barg1 ]
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   164
        value: 22
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   165
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   166
    "
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   167
    decompiling IRBuilderTest>>mock9
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   168
    nA: 0 nV: 0 nT: 3
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   169
    
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   170
     1: 37 0C 00 01             makeBlock 12 (15) nv=0 na=1
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   171
     5: 37 04 00 01             makeBlock 4 (11) nv=0 na=1
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   172
     9: 8C                      pushBlockArg1
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   173
    10: 00                      retTop
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   174
    11: 8C                      pushBlockArg1
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   175
    12: 98 03                   send1 #value:[3]
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   176
    14: 00                      retTop
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   177
    15: 10 16                   pushNum 22
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   178
    17: 98 04                   send1 #value:[4]
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   179
    19: 08 03                   LINE[3]
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   180
    21: 00 
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   181
    
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   182
    "
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   183
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   184
    "Created: / 11-05-2009 / 23:09:57 / Jan Vrany <vranyj1@fel.cvut.cz>"
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   185
! !
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   186
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   187
!IRBuilderTest methodsFor:'testing'!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   188
28
2eab5fdb9467 - Removed IRDecompiler
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 26
diff changeset
   189
error
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   190
        "Redefinition for testing the #send:toSuperOf:"
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   191
28
2eab5fdb9467 - Removed IRDecompiler
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 26
diff changeset
   192
    "Created: / 15-02-2010 / 16:20:57 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   193
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   194
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   195
isThisEverCalled
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   196
	"Redefinition for testing the #send:toSuperOf:"
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   197
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   198
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   199
testDup
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   200
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   201
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   202
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   203
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   204
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   205
                pushLiteral:3;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   206
                pushDup;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   207
                send:#'=';
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   208
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   209
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   210
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   211
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   212
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   213
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = true).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   214
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   215
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   216
testInstVar
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   217
    |aCompiledMethod irBuilder|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   218
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   219
    irBuilder := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   220
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   221
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   222
                pushInstVar:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   223
                pushInstVar:2;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   224
                send:#'+';
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   225
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   226
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   227
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   228
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   229
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   230
        assert:((aCompiledMethod valueWithReceiver:(3 @ 4) arguments:#()) = 7).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   231
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   232
    "Modified: / 11-06-2008 / 13:16:41 / Jan Vrany <vranyj1@fel.cvut.cz>"
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   233
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   234
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   235
testJumpAheadTo
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   236
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   237
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   238
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   239
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   240
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   241
                pushTemp:#self;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   242
                jumpAheadTo:#end;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   243
                pushLiteral:3;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   244
                jumpAheadTarget:#end;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   245
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   246
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   247
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   248
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   249
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = nil).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   250
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   251
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   252
testJumpAheadToIf
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   253
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   254
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   255
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   256
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   257
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   258
                pushTemp:#self;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   259
                pushLiteral:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   260
                jumpAheadTo:#end if:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   261
                pushLiteral:3;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   262
                jumpAheadTarget:#end;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   263
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   264
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   265
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   266
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   267
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = nil).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   268
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   269
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   270
testJumpBackTo
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   271
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   272
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   273
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   274
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   275
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   276
                pushTemp:#self;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   277
                pushLiteral:false;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   278
                jumpBackTarget:#begin;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   279
                jumpAheadTo:#end if:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   280
                pushLiteral:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   281
                jumpBackTo:#begin;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   282
                jumpAheadTarget:#end;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   283
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   284
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   285
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   286
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   287
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = nil).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   288
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   289
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   290
testLine1
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   291
    |iRMethod aCompiledMethod|
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   292
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   293
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   294
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   295
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   296
                line:5;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   297
                pushLiteral:true;
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   298
                returnTop;
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   299
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   300
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   301
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   302
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   303
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = true).
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   304
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   305
    "Created: / 02-12-2008 / 09:11:06 / Jan Vrany <vranyj1@fel.cvut.cz>"
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   306
!
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   307
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   308
testLine2
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   309
    |iRMethod aCompiledMethod|
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   310
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   311
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   312
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   313
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   314
                line:5;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   315
                pushLiteral:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   316
                pushLiteral:false;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   317
                send:#'&';
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   318
                returnTop;
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   319
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   320
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   321
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   322
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   323
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = false).
6
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   324
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   325
    "Created: / 02-12-2008 / 09:11:42 / Jan Vrany <vranyj1@fel.cvut.cz>"
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   326
!
49a61123c743 A new IRLine pseudoinstruction added to include debugging info into the bytecode.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 5
diff changeset
   327
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   328
testLiteralArray
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   329
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   330
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   331
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   332
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   333
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   334
                pushLiteral:#( #test 4 #you );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   335
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   336
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   337
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   338
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   339
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   340
                = #( #test 4 #you )).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   341
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   342
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   343
testLiteralBoolean
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   344
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   345
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   346
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   347
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   348
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   349
                pushLiteral:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   350
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   351
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   352
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   353
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   354
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   355
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = true).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   356
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   357
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   358
testLiteralCharacter
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   359
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   360
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   361
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   362
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   363
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   364
                pushLiteral:$e;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   365
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   366
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   367
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   368
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   369
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = $e).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   370
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   371
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   372
testLiteralFloat
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   373
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   374
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   375
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   376
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   377
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   378
                pushLiteral:2.0;
3
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   379
                returnTop;
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   380
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   381
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   382
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   383
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = 2.0).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   384
3
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   385
    "Modified: / 03-11-2008 / 08:39:52 / Jan Vrany <vranyj1@fel.cvut.cz>"
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   386
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   387
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   388
testLiteralInteger
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   389
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   390
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   391
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   392
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   393
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   394
                pushLiteral:2;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   395
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   396
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   397
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   398
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   399
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = 2).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   400
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   401
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   402
testLiteralNil
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   403
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   404
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   405
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   406
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   407
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   408
                pushLiteral:nil;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   409
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   410
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   411
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   412
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   413
    self assert:((aCompiledMethod valueWithReceiver:4 arguments:#()) = nil).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   414
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   415
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   416
testLiteralString
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   417
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   418
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   419
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   420
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   421
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   422
                pushLiteral:'hello';
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   423
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   424
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   425
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   426
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   427
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   428
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = 'hello').
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   429
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   430
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   431
testLiteralSymbole
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   432
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   433
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   434
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   435
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   436
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   437
                pushLiteral:#you;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   438
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   439
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   440
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   441
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   442
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   443
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = #you).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   444
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   445
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   446
testLiteralVariableClass
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   447
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   448
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   449
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   450
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   451
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   452
                pushLiteralVariable:Object binding;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   453
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   454
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   455
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   456
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   457
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   458
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = Object).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   459
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   460
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   461
testLiteralVariableClassVariable
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   462
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   463
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   464
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   465
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   466
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   467
                pushLiteralVariable:(ArithmeticValue bindingOf:#ArithmeticSignal);
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   468
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   469
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   470
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   471
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   472
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   473
                = ArithmeticValue arithmeticSignal).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   474
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   475
    "Modified: / 11-06-2008 / 11:31:32 / Jan Vrany <vranyj1@fel.cvut.cz>"
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   476
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   477
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   478
testLiteralVariableGlobale
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   479
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   480
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   481
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   482
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   483
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   484
                pushLiteralVariable:Smalltalk binding;
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   485
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   486
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   487
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   488
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   489
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   490
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = Smalltalk).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   491
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   492
    "Modified: / 11-06-2008 / 11:32:07 / Jan Vrany <vranyj1@fel.cvut.cz>"
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   493
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   494
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   495
testPopTop
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   496
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   497
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   498
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   499
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   500
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   501
                pushLiteral:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   502
                pushLiteral:false;
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   503
                popTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   504
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   505
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   506
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   507
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   508
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   509
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = true).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   510
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   511
    "Modified: / 11-06-2008 / 13:22:11 / Jan Vrany <vranyj1@fel.cvut.cz>"
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   512
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   513
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   514
testPushReceiver
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   515
    |iRMethod aCompiledMethod receiver|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   516
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   517
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   518
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   519
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   520
                pushReceiver;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   521
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   522
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   523
    aCompiledMethod := iRMethod compiledCode.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   524
    receiver := (5 @ 8).
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   525
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   526
    self assert:((aCompiledMethod valueWithReceiver:receiver arguments:#()) 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   527
                == receiver).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   528
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   529
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   530
testPushTempArgument
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   531
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   532
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   533
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   534
                numRargs:3;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   535
                addTemps:#( #self #a #b );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   536
                pushTemp:#a;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   537
                pushTemp:#b;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   538
                send:#'+';
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   539
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   540
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   541
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   542
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   543
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   544
        assert:((aCompiledMethod valueWithReceiver:nil arguments:#( 2 8 )) = 10).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   545
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   546
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   547
testPushTempSelf
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   548
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   549
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   550
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   551
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   552
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   553
                pushTemp:#self;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   554
                send:#class;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   555
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   556
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   557
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   558
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   559
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   560
                == UndefinedObject).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   561
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   562
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   563
testPushTempTemp
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   564
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   565
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   566
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   567
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   568
                addTemps:#( #self #a );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   569
                pushTemp:#a;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   570
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   571
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   572
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   573
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   574
    self assert:((aCompiledMethod valueWithReceiver:5 arguments:#()) = nil).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   575
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   576
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   577
testPushThisContext
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   578
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   579
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   580
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   581
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   582
                addTemps:#( #self #a );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   583
                pushThisContext;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   584
                send:#receiver;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   585
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   586
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   587
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   588
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   589
    self assert:((aCompiledMethod valueWithReceiver:5 arguments:#()) = 5).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   590
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   591
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   592
testPushThisEnv
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   593
    |iRMethod aCompiledMethod receiver|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   594
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   595
    ^ self.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   596
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   597
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   598
                addTemps:#( #self );
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   599
                pushThisContext;
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   600
                pushLiteral:5;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   601
                pushLiteral:ClosureEnvironment;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   602
                pushLiteral:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   603
                send:#new:;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   604
                send:#privSetInstVar:put:;
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   605
                pushThisEnv;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   606
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   607
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   608
    aCompiledMethod := iRMethod compiledCode.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   609
    receiver := Object new.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   610
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   611
    self assert:((aCompiledMethod valueWithReceiver:receiver arguments:#()) 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   612
                isKindOf:ClosureEnvironment)
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   613
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   614
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   615
testSendNumArgs1
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   616
    |iRMethod aCompiledMethod|
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   617
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   618
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   619
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   620
                addTemps:#( #self );
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   621
                pushReceiver;
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   622
                pushLiteral:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   623
                pushLiteral:2;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   624
                send:#mock1 numArgs:2;
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   625
                returnTop;
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   626
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   627
    aCompiledMethod := iRMethod compiledCode.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   628
    self class basicAddSelector:#mock1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   629
        withMethod:(self class >> #mock1:with:).
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   630
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   631
    self 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   632
        assert:(aCompiledMethod valueWithReceiver:(IRBuilderTest new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   633
                arguments:#()) = 3.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   634
    self class basicRemoveSelector:#mock1.
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   635
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   636
    "Created: / 01-12-2008 / 19:58:18 / Jan Vrany <vranyj1@fel.cvut.cz>"
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   637
!
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   638
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   639
testSendNumArgs2
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   640
    |iRMethod aCompiledMethod|
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   641
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   642
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   643
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   644
                addTemps:#( #self );
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   645
                pushReceiver;
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   646
                pushLiteral:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   647
                send:#mock1 numArgs:1;
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   648
                returnTop;
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   649
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   650
    aCompiledMethod := iRMethod compiledCode.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   651
    self class basicAddSelector:#mock1
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   652
        withMethod:(self class >> #mock1:with:).
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   653
    self assert:(aCompiledMethod isKindOf:Method).
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   654
    self should:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   655
            [ (aCompiledMethod valueWithReceiver:(IRBuilderTest new) arguments:#()) ]
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   656
        raise:Error.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   657
    self class basicRemoveSelector:#mock1.
5
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   658
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   659
    "Created: / 01-12-2008 / 19:59:02 / Jan Vrany <vranyj1@fel.cvut.cz>"
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   660
!
b94aea1d3710 Added method IRBuilder>>#send:numArgs and IRBuilder>>#send:numArgs:toSuperOf:.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 3
diff changeset
   661
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   662
testSendSuper
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   663
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   664
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   665
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   666
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   667
                addTemps:#( #self );
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   668
                pushReceiver;
28
2eab5fdb9467 - Removed IRDecompiler
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 26
diff changeset
   669
                send:#error toSuperOf:IRBuilderTest;
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   670
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   671
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   672
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   673
    self assert:(aCompiledMethod isKindOf:Method).
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   674
    self should:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   675
            [ (aCompiledMethod valueWithReceiver:(IRBuilderTest new) arguments:#()) ]
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   676
        raise:Error.
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   677
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   678
    "Modified: / 11-06-2008 / 16:09:12 / Jan Vrany <vranyj1@fel.cvut.cz>"
28
2eab5fdb9467 - Removed IRDecompiler
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 26
diff changeset
   679
    "Modified: / 15-02-2010 / 16:20:44 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   680
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   681
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   682
testStorIntoVariable
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   683
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   684
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   685
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   686
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   687
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   688
                pushLiteral:4;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   689
                storeIntoLiteralVariable:(IRBuilderTest bindingOf:#TestToPush);
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   690
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   691
                ir.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   692
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   693
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   694
    aCompiledMethod valueWithReceiver:nil arguments:#().
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   695
    self assert:(IRBuilderTest testToPush = 4).
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   696
    IRBuilderTest testToPush:nil.
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   697
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   698
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   699
testStoreTemp
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   700
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   701
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   702
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   703
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   704
                addTemps:#( #self #a );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   705
                pushLiteral:34;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   706
                storeTemp:#a;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   707
                pushTemp:#a;
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   708
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   709
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   710
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   711
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   712
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = 34).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   713
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   714
    "Modified: / 11-06-2008 / 16:24:43 / Jan Vrany <vranyj1@fel.cvut.cz>"
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   715
!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   716
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   717
testStoreThisEnv
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   718
    |iRMethod aCompiledMethod|
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   719
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   720
    ^ self.
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   721
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   722
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   723
                addTemps:#( #self #a );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   724
                pushLiteral:ClosureEnvironment;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   725
                pushLiteral:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   726
                send:#new:;
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   727
                storeThisEnv;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   728
                pushThisContext;
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   729
                pushLiteral:5;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   730
                send:#privGetInstVar:;
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   731
                returnTop;
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   732
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   733
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   734
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   735
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) 
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   736
                isKindOf:ClosureEnvironment).
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   737
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   738
    "Modified: / 11-06-2008 / 14:47:51 / Jan Vrany <vranyj1@fel.cvut.cz>"
3
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   739
!
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   740
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   741
testTwoJumpAheadToIfsToSameTarget
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   742
    |iRMethod aCompiledMethod|
3
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   743
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   744
    iRMethod := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   745
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   746
                addTemps:#( #self );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   747
                pushTemp:#self;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   748
                pushLiteral:false;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   749
                jumpAheadTo:#end if:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   750
                pushLiteral:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   751
                jumpAheadTo:#end if:true;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   752
                pushLiteral:3;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   753
                jumpAheadTarget:#end;
3
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   754
                returnTop;
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   755
                ir.
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   756
    aCompiledMethod := iRMethod compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   757
    self assert:(aCompiledMethod isKindOf:Method).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   758
    self assert:((aCompiledMethod valueWithReceiver:nil arguments:#()) = nil).
3
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   759
c9845c180bd4 Fixes IRBytecodeGenerator >> #pushLiteral and IRBuilder >> #jumpAheadTo:
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 1
diff changeset
   760
    "Created: / 03-11-2008 / 13:34:50 / Jan Vrany <vranyj1@fel.cvut.cz>"
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   761
! !
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   762
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   763
!IRBuilderTest methodsFor:'testing - blocks'!
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   764
17
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   765
testBlock_blockNesting_1
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   766
    |aCompiledMethod irBuilder|
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   767
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   768
    irBuilder := (IRBuilder new)
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   769
                numRargs:1;
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   770
                addTemps:#( #self );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   771
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   772
                        [:builder | 
17
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   773
                        builder
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   774
                            numRargs:1;
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   775
                            addTemps:#( #barg1 );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   776
                            pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   777
                                    [:builder | 
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   778
                                    builder
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   779
                                        numRargs:1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   780
                                        addTemps:#( #barg2 );
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   781
                                        pushTemp:#barg2;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   782
                                        returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   783
                            pushTemp:#barg1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   784
                            send:#value:;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   785
                            returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   786
                pushLiteral:22;
30
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   787
                send:#value:;
17
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   788
                returnTop;
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   789
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   790
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   791
     irBuilder ir
17
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   792
    "
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   793
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   794
    self assert:(aCompiledMethod isKindOf:Method).
17
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   795
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = 22).
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   796
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   797
    "Created: / 11-05-2009 / 23:04:13 / Jan Vrany <vranyj1@fel.cvut.cz>"
30
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   798
    "Modified: / 23-03-2010 / 21:47:41 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   799
!
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   800
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   801
testBlock_blockNesting_2
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   802
    |aCompiledMethod irBuilder|
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   803
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   804
    irBuilder := (IRBuilder new)
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   805
                numRargs:1;
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   806
                addTemps:#( #self );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   807
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   808
                        [:builder | 
30
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   809
                        builder
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   810
                            numRargs:1;
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   811
                            addTemps:#( #barg1 );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   812
                            pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   813
                                    [:builder | 
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   814
                                    builder
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   815
                                        numRargs:1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   816
                                        addTemps:#( #barg2 );
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   817
                                        pushTemp:#barg2;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   818
                                        returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   819
                            pushTemp:#barg1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   820
                            send:#value:;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   821
                            pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   822
                                    [:builder | 
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   823
                                    builder
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   824
                                        numRargs:1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   825
                                        addTemps:#( #barg2 );
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   826
                                        pushLiteral:-1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   827
                                        returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   828
                            pushTemp:#barg1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   829
                            send:#value:;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   830
                            returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   831
                pushLiteral:22;
30
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   832
                send:#value:;
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   833
                returnTop;
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   834
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   835
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   836
     irBuilder ir
30
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   837
    "
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   838
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   839
    self assert:(aCompiledMethod isKindOf:Method).
30
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   840
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = -1).
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   841
1b7ff9c8c40b Fixed bug that caused bad code generation for closures with more than one basic blocks.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 28
diff changeset
   842
    "Created: / 23-03-2010 / 21:43:49 / Jan Vrany <jan.vrany@fit.cvut.cz>"
17
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   843
!
df6f26442169 Nested blocks works
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 16
diff changeset
   844
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   845
testBlock_blockTempArg
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   846
    |aCompiledMethod irBuilder|
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   847
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   848
    irBuilder := (IRBuilder new)
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   849
                numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   850
                addTemps:#( #self );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   851
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   852
                        [:builder | 
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   853
                        builder
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   854
                            numRargs:1;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   855
                            addTemps:#( #barg1 );
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   856
                            pushTemp:#barg1;
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   857
                            returnTop ];
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   858
                pushLiteral:22;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   859
                send:#value:;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   860
                returnTop;
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   861
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   862
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   863
     irBuilder ir
10
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   864
    "
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   865
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   866
    self assert:(aCompiledMethod isKindOf:Method).
10
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   867
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = 22).
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   868
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
   869
    "Created: / 30-03-2009 / 14:26:18 / Jan Vrany <vranyj1@fel.cvut.cz>"
10
0fd549e0c784 First simple block works. See IRBuilderTest>>testBlock_blockTempArg.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 9
diff changeset
   870
    "Modified: / 30-03-2009 / 19:16:25 / Jan Vrany <vranyj1@fel.cvut.cz>"
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   871
!
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   872
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   873
testBlock_blockTempVar
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   874
    |aCompiledMethod irBuilder|
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   875
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   876
    irBuilder := (IRBuilder new)
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   877
                numRargs:1;
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   878
                addTemps:#( #self );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   879
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   880
                        [:builder | 
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   881
                        builder
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   882
                            numRargs:0;
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   883
                            addTemps:#( #bvar1 );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   884
                            pushLiteral:22;
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   885
                            storeTemp:#bvar1;
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   886
                            pushTemp:#bvar1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   887
                            returnTop ];
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   888
                send:#value;
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   889
                returnTop;
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   890
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   891
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   892
     irBuilder ir
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   893
    "
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   894
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   895
    self assert:(aCompiledMethod isKindOf:Method).
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   896
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = 22).
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   897
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   898
    "Created: / 30-03-2009 / 23:03:48 / Jan Vrany <vranyj1@fel.cvut.cz>"
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   899
!
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
   900
19
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   901
testBlock_block_in_another_basic_block
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   902
    |aCompiledMethod irBuilder|
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   903
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   904
    irBuilder := (IRBuilder new)
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   905
                numRargs:1;
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   906
                addTemps:#( #self );
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   907
                pushLiteral:false;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   908
                pushLiteral:true;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   909
                jumpAheadTo:#end if:false;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   910
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   911
                        [:builder | 
19
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   912
                        builder
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   913
                            numRargs:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   914
                            pushLiteral:true;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   915
                            returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   916
                send:#value;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   917
                jumpAheadTarget:#end;
19
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   918
                returnTop;
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   919
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   920
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   921
     irBuilder ir
19
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   922
    "
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   923
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   924
    self assert:(aCompiledMethod isKindOf:Method).
19
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   925
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = true).
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   926
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   927
    "Created: / 13-05-2009 / 11:24:48 / Jan Vrany <vranyj1@fel.cvut.cz>"
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   928
!
3bb7360f9dff - method stackSize is now correctly initialized
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 17
diff changeset
   929
16
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
   930
testBlock_exceptionHandler
14
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   931
    |aCompiledMethod irBuilder|
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   932
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   933
    irBuilder := (IRBuilder new)
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   934
                numRargs:1;
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   935
                addTemps:#( #self );
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   936
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   937
                        [:builder | 
14
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   938
                        builder
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   939
                            numRargs:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   940
                            pushLiteral:1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   941
                            pushLiteral:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   942
                            send:#'/';
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   943
                            pushLiteral:false;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   944
                            remoteReturn ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   945
                pushLiteralVariable:#Error;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   946
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   947
                        [:builder | 
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   948
                        builder
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   949
                            numRargs:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   950
                            pushLiteral:true;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   951
                            remoteReturn ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   952
                send:#on:do:;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   953
                pushLiteral:false;
14
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   954
                returnTop;
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   955
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   956
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   957
     irBuilder ir
14
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   958
    "
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   959
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   960
    self assert:(aCompiledMethod isKindOf:Method).
14
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   961
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = true).
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   962
16
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
   963
    "Created: / 11-05-2009 / 21:53:19 / Jan Vrany <vranyj1@fel.cvut.cz>"
14
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   964
!
9369d251b3ed testcase demonstrating invalid push order when working with blocks
karpij1
parents: 11
diff changeset
   965
16
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
   966
testBlock_exceptionHandler_noRemoteReturn
15
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   967
    |aCompiledMethod irBuilder|
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   968
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   969
    irBuilder := (IRBuilder new)
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   970
                numRargs:1;
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   971
                addTemps:#( #self );
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   972
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   973
                        [:builder | 
15
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   974
                        builder
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   975
                            numRargs:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   976
                            pushLiteral:1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   977
                            pushLiteral:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   978
                            send:#'/';
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   979
                            pushLiteral:false;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   980
                            returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   981
                pushLiteralVariable:#Error;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   982
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   983
                        [:builder | 
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   984
                        builder
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   985
                            numRargs:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   986
                            pushLiteral:true;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   987
                            returnTop ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   988
                send:#on:do:;
15
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   989
                returnTop;
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   990
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   991
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   992
     irBuilder ir
15
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   993
    "
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   994
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
   995
    self assert:(aCompiledMethod isKindOf:Method).
15
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   996
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = true).
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
   997
16
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
   998
    "Created: / 11-05-2009 / 21:53:25 / Jan Vrany <vranyj1@fel.cvut.cz>"
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
   999
!
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1000
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1001
testBlock_invalid_instruction_ordering_bug_1
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1002
    |aCompiledMethod irBuilder|
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1003
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1004
    irBuilder := (IRBuilder new)
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1005
                numRargs:1;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1006
                addTemps:#( #self #i );
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1007
                pushTemp:#i;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1008
                pushLiteral:3;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1009
                pushReceiver;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1010
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1011
                        [:builder | 
16
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1012
                        builder
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1013
                            numRargs:0;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1014
                            addTemps:#();
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1015
                            pushTemp:#i;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1016
                            returnTop. ];
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1017
                returnTop;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1018
                ir.
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1019
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1020
     irBuilder ir
16
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1021
    "
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1022
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1023
    self assert:(aCompiledMethod isKindOf:Method).
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1024
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) 
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1025
                isKindOf:Block).
16
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1026
f325defc9c7e Invalid intruction ordering bug fixed.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 15
diff changeset
  1027
    "Created: / 11-05-2009 / 21:55:30 / Jan Vrany <vranyj1@fel.cvut.cz>"
15
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
  1028
!
4daeb5471d43 added test for exception handling (only returnTop)
karpij1
parents: 14
diff changeset
  1029
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1030
testBlock_methodTempVar
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1031
    |aCompiledMethod irBuilder|
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1032
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1033
    irBuilder := (IRBuilder new)
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1034
                numRargs:1;
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1035
                addTemps:#( #self #a );
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1036
                pushLiteral:22;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1037
                storeTemp:#a;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1038
                pushBlockUsingBuilder:
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1039
                        [:builder | 
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1040
                        builder
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1041
                            numRargs:0;
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1042
                            pushTemp:#a;
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1043
                            returnTop ];
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1044
                send:#value;
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1045
                returnTop;
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1046
                ir.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1047
     "
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1048
     irBuilder ir
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1049
    "
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1050
    aCompiledMethod := irBuilder compiledCode.
33
9c1e160e9688 IRBuilderTest: CompiledMethod -> Method (CompiledMethod is Squeak class)
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 30
diff changeset
  1051
    self assert:(aCompiledMethod isKindOf:Method).
11
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1052
    self assert:((aCompiledMethod valueWithReceiver:1 arguments:#()) = 22).
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1053
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1054
    "Created: / 30-03-2009 / 23:05:00 / Jan Vrany <vranyj1@fel.cvut.cz>"
0a50d475c1ff Blocks seems to work. No support for nested block. No support for
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 10
diff changeset
  1055
    "Modified: / 01-04-2009 / 19:43:52 / Jan Vrany <vranyj1@fel.cvut.cz>"
9
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
  1056
! !
04518c7fb91c Initial support for closures.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 6
diff changeset
  1057
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1058
!IRBuilderTest class methodsFor:'documentation'!
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1059
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1060
version
23
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1061
    ^ '$Header: /cvs/stx/cvut/stx/goodies/newcompiler/IRBuilderTest.st,v 1.3 2009/10/08 12:03:51 fm Exp $'
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1062
!
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1063
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1064
version_CVS
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1065
    ^ '$Header: /cvs/stx/cvut/stx/goodies/newcompiler/IRBuilderTest.st,v 1.3 2009/10/08 12:03:51 fm Exp $'
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1066
!
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1067
377bc46cad12 Moved to package cvut:stx/goodies/newcompiler to be in sync with eXept
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 19
diff changeset
  1068
version_SVN
26
db19d89eef60 Added version_SVN to all classes
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 23
diff changeset
  1069
    ^ '$Id$'
1
0dd36941955f Initial revision. All tests pass.
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
  1070
! !