7 files changed, 0 insertions, 7 deletions
diff --git a/validation/optim/and-or-shl0.c b/validation/optim/and-or-shl0.c
index c9914f22..4850b326 100644
--- a/validation/optim/and-or-shl0.c
+++ b/validation/optim/and-or-shl0.c
@@ -6,7 +6,6 @@ int foo(int a, int b)
 /*
  * check-name: and-or-shl0
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-excludes: or\\.
diff --git a/validation/optim/and-or-shl1.c b/validation/optim/and-or-shl1.c
index 1c7b104c..bea22245 100644
--- a/validation/optim/and-or-shl1.c
+++ b/validation/optim/and-or-shl1.c
@@ -6,7 +6,6 @@ int foo(int a, int b)
 /*
  * check-name: and-or-shl1
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-pattern(0): and\\.
diff --git a/validation/optim/and-or-shl2.c b/validation/optim/and-or-shl2.c
index a0099325..f5f62758 100644
--- a/validation/optim/and-or-shl2.c
+++ b/validation/optim/and-or-shl2.c
@@ -6,7 +6,6 @@ int foo(int x, int y)
 /*
  * check-name: and-or-shl2
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-contains: and\\..*\\$0xfff0f
diff --git a/validation/optim/and-or-shlx.c b/validation/optim/and-or-shlx.c
index b6862800..ec2a2ced 100644
--- a/validation/optim/and-or-shlx.c
+++ b/validation/optim/and-or-shlx.c
@@ -6,7 +6,6 @@ unsigned int foo(unsigned int x, unsigned int y, unsigned int a)
 /*
  * check-name: and-or-shlx
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-pattern(1): and\\.
diff --git a/validation/optim/sh-or-and0.c b/validation/optim/sh-or-and0.c
index 4a099df2..02f0cb03 100644
--- a/validation/optim/sh-or-and0.c
+++ b/validation/optim/sh-or-and0.c
@@ -11,7 +11,6 @@ unsigned shl_or_and0(unsigned x, unsigned b)
 /*
  * check-name: sh-or-and0
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-pattern(1): lsr\\.
diff --git a/validation/optim/sh-or-and1.c b/validation/optim/sh-or-and1.c
index 44a07ec5..7b79bbf3 100644
--- a/validation/optim/sh-or-and1.c
+++ b/validation/optim/sh-or-and1.c
@@ -11,7 +11,6 @@ unsigned shl_or_and1(unsigned x, unsigned b)
 /*
  * check-name: sh-or-and1
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-pattern(1): lsr\\.
diff --git a/validation/optim/sh-or-and2.c b/validation/optim/sh-or-and2.c
index c292057c..241aeaff 100644
--- a/validation/optim/sh-or-and2.c
+++ b/validation/optim/sh-or-and2.c
@@ -11,7 +11,6 @@ unsigned shl_or_and2(unsigned x, unsigned b)
 /*
  * check-name: sh-or-and2
  * check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
  *
  * check-output-ignore
  * check-output-pattern(1): lsr\\.