 
 // REQUIRES: CPU=armv7k
 // REQUIRES: OS=watchos
-// REQUIRES: rdar_31993124
 
 // CHECK-LABEL: define hidden swiftcc float @_T08test_v7k9addFloats{{.*}}(float, float)
 // CHECK: fadd float %0, %1

// Passing struct: Int8, MyPoint x 10, MySize * 10
// CHECK-LABEL: define hidden swiftcc double @_T08test_v7k0A4Ret5{{.*}}(%T8test_v7k7MyRect3V* noalias nocapture dereferenceable(328))
// V7K-LABEL: __T08test_v7k0A4Ret5
// V7K: ldrb [[TMP1:r[0-9]+]], [r0]
// V7K: vldr [[REG1:d[0-9]+]], [r0, #8]
// V7K: vldr [[REG2:d[0-9]+]], [r0]
// V7K: sxtb r0, [[TMP1]]
// V7K: vmov [[TMP2:s[0-9]+]], r0
// V7K: vcvt.f64.s32 [[INTPART:d[0-9]+]], [[TMP2]]
// V7K: vadd.f64 [[TMP3:d[0-9]+]], [[INTPART]], [[REG1]]
// V7K: vadd.f64 d0, [[TMP3]], [[REG2]]
struct MyRect3 {
  var t: Int8
  var p: MyPoint

// CHECK: ret float
// V7K-LABEL: __T08test_v7k0A3Opt
// V7K:         tst     r1, #1
// V7K:         str     r0, [r7, #-20]
// V7K:         ldr     r0, [r7, #-20]
// V7K:         vmov    s0, r0
// V7K:         sub     sp, r7, #16
// V7K:         pop     {r11}
// V7K:         pop      {r4, r5, r6, r7, pc}
func testOpt(x: Float?) -> Float {
  return x!
}
