2 files changed, 16 insertions, 2 deletions
diff --git a/validation/optim/bool-simplify2.c b/validation/optim/bool-simplify2.c
index a089fe62..cf322725 100644
--- a/validation/optim/bool-simplify2.c
+++ b/validation/optim/bool-simplify2.c
@@ -28,10 +28,11 @@ static bool babbb(bool a, bool b, bool c) { return a && b && c; }
  * check-command: test-linearize $file
  *
  * check-output-pattern(20): setne\\.
- * check-output-pattern(4):  seteq\\.
+ * check-output-pattern(3):  seteq\\.
  * check-output-pattern(8): zext\\.
  * check-output-pattern(12): and
  * check-output-pattern(12): or
+ * check-output-pattern(1): not
  * check-output-end
  *
  * check-output-start
@@ -143,7 +144,7 @@ inb:
 bnb:
 .L22:
 	<entry-point>
-	seteq.1     %r93 <- %arg1, $0
+	not.1       %r93 <- %arg1
 	ret.1       %r93
 
 
diff --git a/validation/reassoc/bug-zephyr-63417.c b/validation/reassoc/bug-zephyr-63417.c
new file mode 100644
index 00000000..5db821d3
--- /dev/null
+++ b/validation/reassoc/bug-zephyr-63417.c
@@ -0,0 +1,13 @@
+extern char __tdata_size[];
+extern char __tdata_align[];
+
+unsigned long z_tls_data_size(void);
+unsigned long z_tls_data_size(void)
+{
+	return ((unsigned long)__tdata_size) + ((unsigned long)__tdata_align - 1);
+}
+
+/*
+ * check-name: bug-zephyr-63417
+ * check-timeout:
+ */