op=ARGU4 at foo.c:5 is corrupt. getrule: Assertion `0' failed.

[chlordk]

Hi

I have tried the test examples in /tst/ and most of them gives all the getrule: Assertion '0' failed error. Only tst/incr.c and tst/init.c will compile.

I then made a simple example to pin point one kind of error:

 $ cat -n foo.c
 1  void main(void) {
 2    unsigned int i = 3;
 3    unsigned int a = sizeof(i);
 4    while (i++ < 5) {
 5      a = a + bar(a);
 6    }
 7  }
 8  bar(x)
 9  unsigned int x;
10  {
11    return 7+x;
12  }

The full command line output:

ff@ubuntu22lts:~/lcc$ ulpcc foo.c
<command-line>: warning: "__STDC__" redefined
<built-in>: note: this is the location of the previous definition
(414b4c0->op=ARGU4 at foo.c:5 is corrupt.)
rcc: src/gen.c:181: getrule: Assertion `0' failed.

/home/ff/lcc/build/lcc: fatal error in /home/ff/lcc/build/rcc

Another strange thing is that when it does compile, the function bar() without argument a it does not get called in the foo.S file. In line 12 move r2,r0 it is supposed to load the output from bar() into i but register r0 never gets loaded with a value (or I missed it).

 1  void main(void) {
 2    unsigned int i = 3;
 3    unsigned int a = sizeof(i);
 4    while (i++ < 5) {
 5      a = a + bar(); // arg from bar() removed should give error
 6    }
 7  }
 8  bar(x)
 9  unsigned int x;
10  {
11    return 7 /*+x*/;
12  }

The foo.S:

 1      .global main
 2  .text
 3  .bss
 4  main.a:
 5      .space 4
 6  .text
 7  .bss
 8  main.i:
 9      .space 4
10  .text
11  main:
12  move r2,3
13  move r3,main.i
14  st r2,r3,0
15  move r2,4
16  move r3,main.a
17  st r2,r3,0
18  jump L.3
19  L.2:
20  move r1,main.a
21  ld r1,r1,0
22  move r2,r0
23  add r2,r1,r2
24  move r3,main.a
25  st r2,r3,0
26  L.3:
27  move r2,main.i
28  ld r2,r2,0
29  add r1,r2,1
30  move r3,main.i
31  st r1,r3,0
32  move r1,5
33  sub r2,r2,r1 #{ if r2 < r1 goto L.2
34  add r2,r2,r1
35  jump L.2, ov #}
36  L.1:
37  
38      .global bar
39  bar:
40  move r0,7
41  L.5:
42  
43  halt

I'm running on Ubuntu VERSION="22.04.2 LTS (Jammy Jellyfish)".

After reading all the assembler output I kind of learned it but I would prefer to use ulpcc instead. It is a great and promising tool.

[jasonful]

As stated in https://github.com/jasonful/lcc/blob/master/ulpcc/doc/README.md , function calls are not supported, because the chip has no stack pointer.

[jasonful]

(The examples in ulpcc/examples will compile, but the examples in lcc/tst (the ones for the original C compiler) probably will not.)

[hanschou]

function calls are not supported, because the chip has no stack pointer.

Ohh sorry, I missed that one.

I guess one could use a while loop with a switch/case to simulate a function call.

while (not_exit) {
  switch (state) {
    case main:
      if (0 == --count) 
         state = subf;
         ... and so on