1// REQUIRES: arm-registered-target
2// RUN: %clang_cc1 -triple thumb %s -emit-llvm -o - | FileCheck %s
3int t1() {
4    static float k = 1.0f;
5    // CHECK: flds s15
6    __asm__ volatile ("flds s15, %[k] \n" :: [k] "Uv" (k) : "s15");
7    return 0;
8}
9