FilesExpand file tree

 master

/

loop.c

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

50 lines (39 loc) · 691 Bytes

 master

/

loop.c

Top

File metadata and controls

• Code
• Blame

50 lines (39 loc) · 691 Bytes

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

/*

* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)

*

* SPDX-License-Identifier: BSD-2-Clause

*/

int

g (int i) {

return i * 8 + (i & 15);

}

void

f (int *p, int x) {

int i;

for (i = x; i < 100; i ++) {

p[i] = g (i);

}

}

unsigned int global_x;

__attribute__((noinline, noclone)) int

create_one (unsigned int identifier) {

global_x ++;

return 1;

}

__attribute__((noinline, noclone)) int

check_one (int result) {

global_x ++;

return 1;

}

unsigned int

create_loop (unsigned int start, unsigned int end) {

int f;

int r;

for (f = start; f < end; f += 1024) {

r = create_one (f);

if (! check_one (r)) {

return 21;

}

}

return end;

}