diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 640c11c..2d5a7fc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -26,9 +26,7 @@ jobs:
     strategy:
       matrix:
         target:
-          # TODO: Currently, valuable cannot build with targets that do not have atomic CAS.
-          #       We should port https://github.com/rust-lang/futures-rs/pull/2400.
-          # - thumbv6m-none-eabi
+          - thumbv6m-none-eabi
           - thumbv7m-none-eabi
     runs-on: ubuntu-latest
     steps:
@@ -55,6 +53,19 @@ jobs:
         run: cargo install cargo-hack
       - run: cargo hack build --workspace --feature-powerset
 
+  # When this job failed, run ci/no_atomic_cas.sh and commit result changes.
+  # TODO(taiki-e): Ideally, this should be automated using a bot that creates
+  #                PR when failed, but there is no bandwidth to implement it
+  #                right now...
+  codegen:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install Rust
+        run: rustup update nightly && rustup default nightly
+      - run: ci/no_atomic_cas.sh
+      - run: git diff --exit-code
+
   fmt:
     runs-on: ubuntu-latest
     steps:
diff --git a/ci/no_atomic_cas.sh b/ci/no_atomic_cas.sh
new file mode 100755
index 0000000..761e1c2
--- /dev/null
+++ b/ci/no_atomic_cas.sh
@@ -0,0 +1,28 @@
+#!/bin/bash
+
+# Update the list of targets that do not support atomic CAS operations.
+#
+# Usage:
+#    ./ci/no_atomic_cas.sh
+
+set -euo pipefail
+IFS=$'\n\t'
+
+cd "$(cd "$(dirname "$0")" && pwd)"/..
+
+file="valuable/no_atomic_cas.rs"
+
+{
+    echo "// This file is @generated by $(basename "$0")."
+    echo "// It is not intended for manual editing."
+    echo ""
+    echo "const NO_ATOMIC_CAS_TARGETS: &[&str] = &["
+} >"$file"
+
+for target in $(rustc --print target-list); do
+    res=$(rustc --print target-spec-json -Z unstable-options --target "$target" \
+        | jq -r "select(.\"atomic-cas\" == false)")
+    [[ -z "$res" ]] || echo "    \"$target\"," >>"$file"
+done
+
+echo "];" >>"$file"
diff --git a/valuable/build.rs b/valuable/build.rs
new file mode 100644
index 0000000..029d644
--- /dev/null
+++ b/valuable/build.rs
@@ -0,0 +1,31 @@
+#![warn(rust_2018_idioms, single_use_lifetimes)]
+
+use std::env;
+
+include!("no_atomic_cas.rs");
+
+// The rustc-cfg strings below are *not* public API. Please let us know by
+// opening a GitHub issue if your build environment requires some way to enable
+// these cfgs other than by executing our build script.
+fn main() {
+    let target = match env::var("TARGET") {
+        Ok(target) => target,
+        Err(e) => {
+            println!(
+                "cargo:warning=valuable: unable to get TARGET environment variable: {}",
+                e
+            );
+            return;
+        }
+    };
+
+    // Note that this is `no_*`, not `has_*`. This allows treating
+    // `cfg(target_has_atomic = "ptr")` as true when the build script doesn't
+    // run. This is needed for compatibility with non-cargo build systems that
+    // don't run the build script.
+    if NO_ATOMIC_CAS_TARGETS.contains(&&*target) {
+        println!("cargo:rustc-cfg=valuable_no_atomic_cas");
+    }
+
+    println!("cargo:rerun-if-changed=no_atomic_cas.rs");
+}
diff --git a/valuable/no_atomic_cas.rs b/valuable/no_atomic_cas.rs
new file mode 100644
index 0000000..0819af1
--- /dev/null
+++ b/valuable/no_atomic_cas.rs
@@ -0,0 +1,11 @@
+// This file is @generated by no_atomic_cas.sh.
+// It is not intended for manual editing.
+
+const NO_ATOMIC_CAS_TARGETS: &[&str] = &[
+    "avr-unknown-gnu-atmega328",
+    "msp430-none-elf",
+    "riscv32i-unknown-none-elf",
+    "riscv32imc-unknown-none-elf",
+    "thumbv4t-none-eabi",
+    "thumbv6m-none-eabi",
+];
diff --git a/valuable/src/enumerable.rs b/valuable/src/enumerable.rs
index 16ee32d..4bef1fd 100644
--- a/valuable/src/enumerable.rs
+++ b/valuable/src/enumerable.rs
@@ -215,6 +215,7 @@ impl<E: ?Sized + Enumerable> Enumerable for alloc::rc::Rc<E> {
     }
 }
 
+#[cfg(not(valuable_no_atomic_cas))]
 #[cfg(feature = "alloc")]
 impl<E: ?Sized + Enumerable> Enumerable for alloc::sync::Arc<E> {
     fn definition(&self) -> EnumDef<'_> {
diff --git a/valuable/src/listable.rs b/valuable/src/listable.rs
index 011340e..b21e43a 100644
--- a/valuable/src/listable.rs
+++ b/valuable/src/listable.rs
@@ -26,6 +26,7 @@ impl<L: ?Sized + Listable> Listable for alloc::rc::Rc<L> {
     }
 }
 
+#[cfg(not(valuable_no_atomic_cas))]
 #[cfg(feature = "alloc")]
 impl<L: ?Sized + Listable> Listable for alloc::sync::Arc<L> {
     fn size_hint(&self) -> (usize, Option<usize>) {
diff --git a/valuable/src/mappable.rs b/valuable/src/mappable.rs
index e7cfe6f..9754bc7 100644
--- a/valuable/src/mappable.rs
+++ b/valuable/src/mappable.rs
@@ -26,6 +26,7 @@ impl<M: ?Sized + Mappable> Mappable for alloc::rc::Rc<M> {
     }
 }
 
+#[cfg(not(valuable_no_atomic_cas))]
 #[cfg(feature = "alloc")]
 impl<M: ?Sized + Mappable> Mappable for alloc::sync::Arc<M> {
     fn size_hint(&self) -> (usize, Option<usize>) {
diff --git a/valuable/src/structable.rs b/valuable/src/structable.rs
index c6ede7f..c4bd204 100644
--- a/valuable/src/structable.rs
+++ b/valuable/src/structable.rs
@@ -108,6 +108,7 @@ impl<S: ?Sized + Structable> Structable for alloc::rc::Rc<S> {
     }
 }
 
+#[cfg(not(valuable_no_atomic_cas))]
 #[cfg(feature = "alloc")]
 impl<S: ?Sized + Structable> Structable for alloc::sync::Arc<S> {
     fn definition(&self) -> StructDef<'_> {
diff --git a/valuable/src/valuable.rs b/valuable/src/valuable.rs
index fb596e1..8fc711d 100644
--- a/valuable/src/valuable.rs
+++ b/valuable/src/valuable.rs
@@ -69,6 +69,7 @@ impl<V: ?Sized + Valuable> Valuable for alloc::rc::Rc<V> {
     }
 }
 
+#[cfg(not(valuable_no_atomic_cas))]
 #[cfg(feature = "alloc")]
 impl<V: ?Sized + Valuable> Valuable for alloc::sync::Arc<V> {
     fn as_value(&self) -> Value<'_> {