; RUN: llc -mtriple=thumbv8m.main-none-eabi %s -o - | FileCheck %s

; Check that freeze operations on floating types are successfully softened.

; CHECK-LABEL: sitofp_f32_i32:
; CHECK: bl __aeabi_i2f
define float @sitofp_f32_i32(i32 %x) #0 {
  %val = call float @llvm.experimental.constrained.sitofp.f32.i32(i32 %x, metadata !"round.tonearest", metadata !"fpexcept.strict") #0
  %val.fr = freeze float %val
  ret float %val.fr
}

attributes #0 = { strictfp }

declare float @llvm.experimental.constrained.sitofp.f32.i32(i32, metadata, metadata)
declare double @llvm.experimental.constrained.sitofp.f64.i32(i32, metadata, metadata)