main.aug

Floating-point benchmark · Source and specification

Files in this project

• main.aug

Code

Indentation

// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2Explanation 3
int iterations = 1000000
float sum = 0.0
int index = 0
while index < iterations:
    int remainder = index - index / 8 * 8
    sum = sum + remainder * 0.125 + 0.5
    index = index + 1
Explanation 1Explanation 2
print(value=sum == 937500.0)
print(value=iterations)

Braces

// aug-spec: "main.aug.md" explains this file. Read it before changes; refresh with aug spec.
Explanation 1Explanation 2Explanation 3
int iterations = 1000000
float sum = 0.0
int index = 0
while index < iterations {
    int remainder = index - index / 8 * 8
    sum = sum + remainder * 0.125 + 0.5
    index = index + 1
}
Explanation 1Explanation 2
print(value=sum == 937500.0)
print(value=iterations)

Compiled specification

Interactions and sequences

Startup

It sets iterations to 1000000. It sets sum to 0.0. It sets index to 0. While index is less than iterations, it sets remainder to index minus ((index divided by 8) times 8); then it sets sum to (sum plus (remainder times 0.125)) plus 0.5; then it increases index by 1. source

After the loop, it prints sum equals 937500.0. It prints iterations. source

Built-in operations follow the language reference.