Skip to content

Conversation

@fmayer
Copy link
Contributor

@fmayer fmayer commented Oct 15, 2025

e.g.

export ALIVECC_SRC_UNROLL=10
export ALIVECC_TGT_UNROLL=10

That allows alivecc to verify -O2 for

int main() {
  for (int i = 0; i < 2; ++i) {
    if (i == 3) return 1;
  }
  return 2;
}

e.g.

```bash
export ALIVECC_SRC_UNROLL=10
export ALIVECC_TGT_UNROLL=10
```

That allows alivecc to verify `-O2` for

```cpp
int main() {
  for (int i = 0; i < 2; ++i) {
    if (i == 3) return 1;
  }
  return 2;
}
```
@nunoplopes nunoplopes merged commit eb9d609 into AliveToolkit:master Oct 16, 2025
16 checks passed
@fmayer fmayer deleted the unrollalivecc branch October 16, 2025 01:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants