stack_arrays.ljs

extern print;

let passed = true;
function assert(test, testStr) {
  if (test !== true) {
    print("ASSERTION FAILED: " + testStr);
    passed = false;
  }
}

struct ST {
  int x;
};

(function frame0() {
  let int arr[100];
  arr[0] = 5;
  arr[1] = 10;
  assert(*arr === 5, "dereferencing array");
  assert(arr[0] === 5, "access first element");
  assert(arr[1] === 10, "access second element");

  let ST s;
  assert(&s-arr === 100, "s is 100 offsets after arr");
})();

(function other_types() {
  let u8 arr[100];
  arr[0] = 5;
  arr[1] = 10;
  assert(*arr === 5, "dereferencing array");
  assert(arr[0] === 5, "access first element");
  assert(arr[1] === 10, "access second element");

  let float arr2[100];
  arr2[0] = 5;
  arr2[1] = 10;
  assert(*arr2 === 5, "dereferencing array");
  assert(arr2[0] === 5, "access first element");
  assert(arr2[1] === 10, "access second element");

  let ST s;
  assert(&s-arr === 126, "s is 126 offsets after arr");
})();

struct InlineArrayST {
  int arr[100];
};

(function structInlineTest() {
  let InlineArrayST s;
  s.arr[5] = 10;

  let ST s2;
  assert(&s2-&s === 100, "s2 is 100 offsets after s");
})();

struct InlineStructArrayST {
  InlineArrayST arr[100];
};

(function structInlineTestMeta() {
  let InlineStructArrayST s;
  s.arr[5].arr[5] = 5;

  let ST s2;
  assert(&s2-&s === 100*100, "s2 is 100*100 offsets after s");
})();


if (passed)
  print("SUCCESS");
else
  print("FAILURE");