diff --git a/testsuite/tests/numeric/should_run/T497.hs b/testsuite/tests/numeric/should_run/T497.hs
new file mode 100644
index 0000000000000000000000000000000000000000..9605b4e121465f7b4f568493918dd4c062c08fd9
--- /dev/null
+++ b/testsuite/tests/numeric/should_run/T497.hs
@@ -0,0 +1,12 @@
+import Data.Word
+
+-- #497: using -O should not make these == 1
+main = do
+  print $ q * 2 + 1
+  print $ q' * 2 + 1
+
+q :: Word32
+q = 0x7FFFFFFF
+
+q' :: Word64
+q' = 0x7FFFFFFFFFFFFFFF
diff --git a/testsuite/tests/numeric/should_run/T497.stdout b/testsuite/tests/numeric/should_run/T497.stdout
new file mode 100644
index 0000000000000000000000000000000000000000..664b67d742248ca1f9d455b8bcd1931fe10b9357
--- /dev/null
+++ b/testsuite/tests/numeric/should_run/T497.stdout
@@ -0,0 +1,2 @@
+4294967295
+18446744073709551615
diff --git a/testsuite/tests/numeric/should_run/all.T b/testsuite/tests/numeric/should_run/all.T
index a966038fa4fa035c9a4628e9c7cb0a56f9acb269..cf2e2ea8d60b2c214bd24a18e600e5ac94ed7633 100644
--- a/testsuite/tests/numeric/should_run/all.T
+++ b/testsuite/tests/numeric/should_run/all.T
@@ -67,3 +67,4 @@ test('T10962', omit_ways(['ghci']), compile_and_run, ['-O2'])
 test('T11702', extra_ways(['optasm']), compile_and_run, [''])
 test('T12136', normal, compile_and_run, [''])
 test('T15301', normal, compile_and_run, ['-O2'])
+test('T497', normal, compile_and_run, ['-O'])