Singlepath: crashes on break from nested loop

[t-crest]

Singlepath: crashes on break from nested loop

[Emoun]

I tried manually executing all compilation steps. I.e. use patmos-clang to compile to bitcode and patmos-llc to compile to machine code. When llc is given the -O0 flag, the above assertion error is thrown. But if it is given -O1, -O2, or -O3 the compilation will succeed, but the execution will return the wrong result. E.g. when given the input 10 55 it returns 55 instead of 1050.

[Emoun]

The same problem is seen when goto breakLoops is replaced by a return x. (the programs are equivalent)

[Emoun]

Trying to continue an outer loop from an inner nested loop also given error. Take the following program, where we emulate continue using a goto:

#include <stdio.h>

int init_func(int pre, int inner, int post){
  int x = 0, y = 0, z = 0;
  outer_loop:
  #pragma loopbound min 0 max 9
  while(x < pre){
    x++;
    #pragma loopbound min 0 max 9
    for(int i = 0; i < inner; i++){
      y++;
      if(z >= post){
        goto outer_loop; //Continue outer loop
      }
    }
    z++;
  }
  return (x*10000) + (y*10) + z;
}

int main(){
  int pre, inner, post;
  scanf("%d %d %d", &pre, &inner, &post);
  printf("%d\n", init_func(pre, inner, post));
}

It compiles successfully and when run with the input 1 9 1 it correctly outputs 10091. But, given the input 1 10 1 we would expect the output 10101 but get 10000. I.e. only when the second input integer is at the loop bound (10) does it execute incorrectly.