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@xxxxxxxxx>
---
validation/loop-linearization.c | 136 ----------------------------------------
1 file changed, 136 deletions(-)
delete mode 100644 validation/loop-linearization.c
diff --git a/validation/loop-linearization.c b/validation/loop-linearization.c
deleted file mode 100644
index 25c6dfb87..000000000
--- 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
- */
--
2.16.2
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
