diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-10 15:53:19 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-07-01 00:18:44 +0200 |
| commit | d64adff1bac01dbb9c574655540328be434779f6 (patch) | |
| tree | e298eee33f8f572384a2629a233a1e7405c1d844 /validation | |
| parent | b8c17466f25794ff9bf444f058cadf637745a02d (diff) | |
| download | sparse-dev-d64adff1bac01dbb9c574655540328be434779f6.tar.gz | |
testsuite: remove useless test for loop-linearization
This testcase was added a bit too quickly in order to have
minimal testing of loop's linearization.
However, such test just comparing the raw output of test-linearize
is a big PITA because it's so sensible to things like pseudos' name
themselves depending very much on details about the linearization
and simplification. Also, this test didn't really tested anything,
it only allowed to track changes.
Remove it as it has no testing value.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/loop-linearization.c | 136 |
1 files changed, 0 insertions, 136 deletions
diff --git a/validation/loop-linearization.c b/validation/loop-linearization.c deleted file mode 100644 index 25c6dfb8..00000000 --- a/validation/loop-linearization.c +++ /dev/null @@ -1,136 +0,0 @@ -extern int p(int); - -static int ffor(void) -{ - int i; - for (int i = 0; i < 10; i++) { - if (!p(i)) - return 0; - } - return 1; -} - -static int fwhile(void) -{ - int i = 0; - while (i < 10) { - if (!p(i)) - return 0; - i++; - } - return 1; -} - -static int fdo(void) -{ - int i = 0; - do { - if (!p(i)) - return 0; - } while (i++ < 10); - return 1; -} - -/* - * check-name: loop-linearization - * check-command: test-linearize $file - * - * check-output-start -ffor: -.L0: - <entry-point> - phisrc.32 %phi5(i) <- $0 - br .L4 - -.L4: - phi.32 %r1(i) <- %phi5(i), %phi6(i) - setlt.32 %r2 <- %r1(i), $10 - cbr %r2, .L1, .L3 - -.L1: - call.32 %r4 <- p, %r1(i) - cbr %r4, .L2, .L5 - -.L5: - phisrc.32 %phi1(return) <- $0 - br .L7 - -.L2: - add.32 %r7 <- %r1(i), $1 - phisrc.32 %phi6(i) <- %r7 - br .L4 - -.L3: - phisrc.32 %phi2(return) <- $1 - br .L7 - -.L7: - phi.32 %r5 <- %phi1(return), %phi2(return) - ret.32 %r5 - - -fwhile: -.L8: - <entry-point> - phisrc.32 %phi11(i) <- $0 - br .L12 - -.L12: - phi.32 %r8(i) <- %phi11(i), %phi12(i) - setlt.32 %r9 <- %r8(i), $10 - cbr %r9, .L9, .L11 - -.L9: - call.32 %r11 <- p, %r8(i) - cbr %r11, .L14, .L13 - -.L13: - phisrc.32 %phi7(return) <- $0 - br .L15 - -.L14: - add.32 %r14 <- %r8(i), $1 - phisrc.32 %phi12(i) <- %r14 - br .L12 - -.L11: - phisrc.32 %phi8(return) <- $1 - br .L15 - -.L15: - phi.32 %r12 <- %phi7(return), %phi8(return) - ret.32 %r12 - - -fdo: -.L16: - <entry-point> - phisrc.32 %phi16(i) <- $0 - br .L17 - -.L17: - phi.32 %r15(i) <- %phi16(i), %phi17(i) - call.32 %r16 <- p, %r15(i) - cbr %r16, .L18, .L20 - -.L20: - phisrc.32 %phi13(return) <- $0 - br .L22 - -.L18: - add.32 %r19 <- %r15(i), $1 - setlt.32 %r20 <- %r15(i), $10 - phisrc.32 %phi17(i) <- %r19 - cbr %r20, .L17, .L19 - -.L19: - phisrc.32 %phi14(return) <- $1 - br .L22 - -.L22: - phi.32 %r17 <- %phi13(return), %phi14(return) - ret.32 %r17 - - - * check-output-end - */ |