Skip to content

Instantly share code, notes, and snippets.

@aergus

aergus/lambda-sophisticated.gcc

Created July 28, 2014 11:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save aergus/7595709e6edcdc58209b to your computer and use it in GitHub Desktop.
Save aergus/7595709e6edcdc58209b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
lambda-sophisticated.gcc
DUM 34
LDF 38
LDF 1082
LDF 1084
LDF 1086
LDF 1088
LDF 1090
LDF 1092
LDF 1094
LDF 1096
LDF 1098
LDF 1100
LDF 1102
LDF 1104
LDF 1106
LDF 1108
LDF 1110
LDF 1112
LDF 1114
LDF 1116
LDF 1118
LDF 1120
LDF 1122
LDF 1124
LDF 1126
LDF 1128
LDF 1130
LDF 40
LDF 42
LDF 44
LDF 46
LDF 48
LDF 50
LDF 52
LDF 54
LDF 56
RAP 34
RTN
LDF 81
RTN
LDF 210
RTN
LDF 214
RTN
LDF 228
RTN
LDF 246
RTN
LDF 251
RTN
LDF 259
RTN
LDF 264
RTN
LDF 269
RTN
LD 1 0
LD 0 7
AP 0
AP 1
LDC 3
LD 1 0
CAR
LDC 0
LD 0 20
AP 0
AP 3
LD 1 0
CAR
LD 0 1
AP 0
AP 3
LDC 3
LDC 0
LDC 0
CONS
CONS
CONS
LDF 274
CONS
RTN
LD 0 1
LD 2 8
AP 0
AP 1
LDC 3
LD 0 1
CAR
LDC 0
LD 2 20
AP 0
AP 3
LDF 314
AP 2
RTN
LD 0 0
CDR
CDR
CAR
RTN
LD 0 0
ATOM
SEL 332 485
RTN
LD 0 0
ATOM
SEL 334 490
RTN
LD 0 1
CDR
LDC 0
CEQ
SEL 336 495
RTN
LD 0 1
LDC 0
CEQ
SEL 347 511
RTN
LD 0 1
LDC 0
CEQ
SEL 364 523
RTN
LD 0 0
LD 0 1
CDR
LD 2 14
AP 0
AP 2
LD 0 1
CAR
LD 2 14
AP 0
AP 2
RTN
DUM 1
LDF 367
LDF 532
RAP 1
RTN
LD 0 1
LDC 0
CEQ
SEL 372 537
RTN
LD 0 1
CDR
LDC 0
CEQ
SEL 380 549
RTN
LD 0 1
LD 0 1
LD 0 0
LDC 0
CONS
LD 0 2
LD 0 0
LDC 8
LD 2 12
AP 0
AP 3
CDR
LD 2 3
AP 0
AP 3
LDC 0
LD 2 2
AP 0
AP 3
RTN
LD 0 1
ATOM
SEL 391 565
RTN
LD 0 1
ATOM
SEL 393 571
RTN
LD 0 2
ATOM
SEL 397 581
RTN
LD 0 1
ATOM
SEL 399 593
RTN
LD 0 1
ATOM
SEL 401 605
RTN
LD 0 0
CAR
LD 0 1
CAR
CEQ
LD 0 0
CDR
LD 0 1
CDR
CEQ
LD 2 31
AP 0
AP 2
RTN
LD 0 1
ATOM
SEL 403 611
RTN
LD 0 1
ATOM
SEL 405 618
RTN
LD 0 0
LD 0 2
LD 2 28
AP 0
AP 2
LD 0 1
LD 0 3
LD 2 28
AP 0
AP 2
LD 2 29
AP 0
AP 2
RTN
LD 0 0
LD 0 1
SUB
LD 0 1
LD 0 0
SUB
LD 2 29
AP 0
AP 2
RTN
LD 0 1
LD 0 0
LD 2 15
AP 0
AP 2
LDF 407
AP 1
RTN
LD 0 0
LD 0 1
CGT
SEL 423 632
RTN
LD 0 0
LD 0 1
LD 0 0
LD 0 1
DIV
MUL
SUB
RTN
LD 0 0
LDC 0
CEQ
SEL 425 634
RTN
LD 0 0
LDC 0
CEQ
SEL 427 639
RTN
LD 0 0
LDC 0
CEQ
SEL 432 641
RTN
LD 0 0
CAR
ATOM
SEL 816 904
SEL 434 643
RTN
LD 0 1
ATOM
SEL 440 654
RTN
LDC -1
LD 0 2
CEQ
SEL 442 662
RTN
LD 0 1
LDC 0
CEQ
SEL 446 677
RTN
LD 0 0
CDR
CDR
CDR
CAR
RTN
LD 0 0
CDR
CAR
CDR
CAR
RTN
LD 0 0
CDR
CAR
CDR
CDR
CDR
CAR
RTN
LD 0 1
CAR
LDC -1
CEQ
SEL 467 694
LDF 475
LD 1 1
CAR
LD 1 1
LD 3 9
AP 0
AP 1
LD 3 21
AP 0
AP 3
LDF 454
AP 2
RTN
LDC 1
JOIN
LDC 0
JOIN
LD 0 0
CAR
LD 0 1
CAR
LD 0 2
LD 2 13
AP 0
AP 3
LDF 727
AP 1
JOIN
LD 0 0
CAR
LD 0 0
CAR
LDC 6
LD 0 0
CAR
CGTE
LD 2 31
AP 0
AP 2
SEL 745 847
LD 0 0
CDR
CONS
CONS
JOIN
LD 0 0
CAR
JOIN
LDC 2
LD 0 1
CGT
SEL 756 850
RTN
LD 0 0
CAR
LD 0 2
LD 0 0
CDR
CONS
CONS
JOIN
LD 0 0
CAR
LD 0 1
CAR
LD 0 2
LD 2 17
AP 0
AP 3
LDF 768
AP 1
JOIN
LDC -1
JOIN
LDC -1
LDC -1
CONS
JOIN
LD 0 1
JOIN
LDC 0
JOIN
LDC 0
JOIN
LDC 0
JOIN
LDC 0
JOIN
LD 1 0
LD 0 0
LDC 9
SUB
LDC 2
ADD
LDC 4
LD 3 30
AP 0
AP 2
LD 3 5
AP 0
AP 2
LDF 624
AP 1
RTN
LD 0 0
JOIN
LDC 0
JOIN
LD 0 1
LDC 0
CEQ
SEL 814 902
JOIN
LDC 1
JOIN
LD 0 0
LD 0 1
LD 1 0
AP 0
AP 2
JOIN
LD 0 2
JOIN
LDC -1
LD 0 0
CONS
JOIN
LD 0 0
CAR
LD 0 0
CDR
LDC 1
SUB
CONS
JOIN
LD 2 1
LD 4 7
AP 0
AP 1
LD 0 0
LD 2 1
CAR
LD 4 1
AP 0
AP 3
LDF 682
AP 1
RTN
LDC 2
LD 1 1
CAR
LDC 0
LD 3 20
AP 0
AP 3
JOIN
LD 0 1
LD 0 0
CDR
CAR
LDC 7
LD 4 12
AP 0
AP 3
CDR
RTN
LD 0 0
CAR
LDF 696
AP 1
JOIN
LD 0 0
CAR
LDF 713
AP 1
JOIN
LD 0 0
CDR
LD 0 1
CAR
LD 0 1
CDR
LDC 1
SUB
CONS
LD 0 2
LD 2 12
AP 0
AP 3
LDF 736
AP 1
JOIN
LD 0 0
CDR
LD 0 1
LDC 1
SUB
LD 0 2
LD 2 13
AP 0
AP 3
LDF 747
AP 1
JOIN
LD 0 0
CDR
LD 0 1
LDC 1
SUB
LD 2 14
AP 0
AP 2
JOIN
LD 1 0
LD 1 1
LD 0 0
AP 2
RTN
LD 0 0
CDR
LD 0 1
LDC 1
SUB
LD 0 2
LD 2 17
AP 0
AP 3
LDF 759
AP 1
JOIN
LD 0 0
CDR
LD 0 1
CAR
LD 0 1
CDR
LDC 1
SUB
CONS
LD 0 2
LD 2 18
AP 0
AP 3
LDF 777
AP 1
JOIN
LD 0 1
CAR
LD 0 0
CEQ
SEL 786 858
JOIN
LD 0 0
LD 0 1
CAR
LDC 0
LD 2 19
AP 0
AP 3
LDF 788
AP 1
JOIN
LD 0 2
CAR
LD 0 0
LD 0 1
LD 0 2
CDR
LD 2 21
AP 0
AP 3
LD 0 0
AP 2
JOIN
LD 0 1
CAR
LD 0 0
AP 1
LD 0 0
LD 0 1
CDR
LD 2 22
AP 0
AP 2
CONS
JOIN
LD 0 1
CAR
LD 0 0
AP 1
SEL 793 872
JOIN
LD 0 0
LD 0 1
CAR
LD 0 2
AP 2
SEL 803 879
JOIN
LD 0 0
LD 0 1
CAR
CEQ
SEL 805 887
JOIN
LD 2 1
LD 0 0
LD 4 15
AP 0
AP 2
LDF 807
AP 1
RTN
LD 0 1
JOIN
LD 0 1
LDC 0
CEQ
SEL 812 900
JOIN
LDC 1
JOIN
LDC 0
JOIN
LD 0 0
CAR
CDR
LD 0 0
CDR
CONS
LD 0 0
CAR
CAR
CONS
JOIN
LD 0 0
LD 0 1
CAR
LD 2 24
AP 0
AP 2
SEL 818 917
JOIN
LD 0 0
LD 0 1
LD 0 2
LD 2 5
AP 0
AP 2
LD 0 2
LDC 9
ADD
LD 2 12
AP 0
AP 3
LDF 820
AP 1
JOIN
LD 0 1
LDC 1
CEQ
SEL 831 927
JOIN
LD 0 0
CDR
LD 2 0
LD 3 0
CDR
CDR
CONS
CONS
LD 0 0
CAR
CONS
RTN
LD 0 1
JOIN
LDC 2
LD 1 1
LD 1 2
LD 0 0
CDR
CAR
CAR
LD 0 0
CDR
CAR
CDR
LD 3 27
AP 0
AP 4
CGTE
SEL 839 932
RTN
LD 0 0
CDR
CAR
LD 1 1
LD 1 2
CAR
LD 3 5
AP 0
AP 2
LD 3 24
AP 0
AP 2
SEL 845 940
RTN
LD 0 0
CAR
LD 0 0
CDR
LD 1 0
CDR
CONS
CONS
RTN
LD 0 0
CAR
LD 1 0
CAR
LD 0 0
CDR
CONS
CONS
RTN
LD 0 2
JOIN
LD 0 0
CAR
LD 1 0
CAR
LD 0 0
CDR
CONS
CONS
RTN
LD 0 0
CDR
JOIN
LD 0 0
CAR
LD 1 0
CAR
LD 0 0
CDR
CONS
CONS
RTN
LD 0 0
CAR
LD 0 0
CDR
LD 1 0
CDR
CONS
CONS
RTN
LD 0 0
CAR
LD 1 0
CAR
LD 0 0
CDR
CONS
CONS
RTN
LD 0 2
JOIN
LD 0 0
LDC 0
CGTE
SEL 868 945
RTN
LD 0 1
CAR
LD 0 0
LD 0 1
CDR
LD 2 23
AP 0
AP 2
CONS
JOIN
LDC 1
JOIN
LDC 1
JOIN
LD 0 0
LDC 8
CEQ
SEL 894 955
RTN
LDC 0
JOIN
LDC 0
JOIN
LDC 1
JOIN
LD 0 2
JOIN
LD 0 0
CAR
LDC 6
LD 0 0
CAR
CGTE
LD 3 31
AP 0
AP 2
SEL 922 977
RTN
LD 0 0
CAR
LDC 1
ADD
LD 0 0
CDR
CONS
JOIN
LD 0 0
CAR
LDC 1
CEQ
SEL 995 1035
JOIN
LDC 1
JOIN
LD 0 0
CAR
JOIN
LD 0 0
CDR
LD 0 1
LDC 1
SUB
LD 1 0
AP 2
JOIN
LD 0 0
LD 0 1
CDR
LD 0 2
LDC 1
ADD
LD 2 19
AP 0
AP 3
JOIN
LD 0 0
LD 1 2
CONS
JOIN
LD 0 0
LD 0 1
CDR
LD 2 23
AP 0
AP 2
JOIN
LD 0 0
LD 0 1
CDR
LD 0 2
LD 2 25
AP 0
AP 3
JOIN
LD 0 0
LD 0 1
CDR
LD 2 26
AP 0
AP 2
JOIN
LD 2 0
LDC 9
SUB
LD 3 2
CONS
JOIN
LDC 1
JOIN
LDC 1
JOIN
LD 0 0
CDR
CAR
LD 0 1
LD 1 8
AP 0
AP 1
CEQ
LD 1 33
AP 0
AP 1
SEL 966 1005
JOIN
LD 0 1
CAR
LDF 968
AP 1
JOIN
LD 1 2
LD 0 0
CDR
CONS
JOIN
LD 0 1
LDC 2
CEQ
SEL 987 1027
JOIN
LD 1 0
CDR
LD 1 1
LD 1 2
LD 3 10
AP 0
AP 3
JOIN
LD 1 2
CDR
LDF 997
AP 1
JOIN
LD 1 0
LD 1 1
CDR
LD 1 2
LDC 1
ADD
LD 3 20
AP 0
AP 3
JOIN
LD 1 0
LD 3 1
LD 2 0
LDC 9
SUB
LD 3 2
CONS
LD 5 2
AP 0
AP 3
JOIN
LDC 1
JOIN
LD 1 2
LD 0 0
LDC 3
LD 3 4
AP 0
AP 3
LDF 1019
AP 1
RTN
LD 0 0
CDR
LD 1 1
LD 1 2
LDC 1
SUB
LD 3 4
AP 0
AP 3
JOIN
LD 0 0
CAR
LD 0 0
CDR
LDC 1
ADD
CONS
JOIN
LDC 1
JOIN
LD 0 0
ATOM
LD 4 33
AP 0
AP 1
SEL 1067 1080
SEL 1037 1050
RTN
LD 0 1
LD 1 9
AP 0
AP 1
LD 0 1
LD 1 7
AP 0
AP 1
LD 0 0
CAR
LD 1 11
AP 0
AP 3
JOIN
LDC -1
LD 0 0
CAR
CEQ
SEL 1047 1058
LDF 1039
AP 1
RTN
LD 0 0
CAR
LDC 1
SUB
LD 0 0
CDR
CONS
JOIN
LDC 0
JOIN
LDC 1
JOIN
LD 3 0
LD 0 0
LD 1 0
CDR
LD 5 3
AP 0
AP 3
RTN
LD 2 1
CDR
JOIN
LD 2 0
CDR
LD 2 1
LD 2 2
LD 4 11
AP 0
AP 3
JOIN
LD 1 0
LD 0 0
CAR
LD 4 5
AP 0
AP 2
LD 2 1
CONS
JOIN
LD 1 0
CDR
CAR
LD 2 1
LD 0 0
CAR
LD 4 5
AP 0
AP 2
LD 4 24
AP 0
AP 2
JOIN
LDC 0
JOIN
LDF 152
RTN
LDF 238
RTN
LDF 280
RTN
LDF 284
RTN
LDF 289
RTN
LDF 294
RTN
LDF 300
RTN
LDF 306
RTN
LDF 95
RTN
LDF 100
RTN
LDF 104
RTN
LDF 108
RTN
LDF 114
RTN
LDF 119
RTN
LDF 124
RTN
LDF 136
RTN
LDF 141
RTN
LDF 146
RTN
LDF 172
RTN
LDF 176
RTN
LDF 180
RTN
LDF 184
RTN
LDF 188
RTN
LDF 192
RTN
LDF 206
RTN
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment