; RUN: llc < %s -march=colossus -mattr=+ipu1 | FileCheck %s
; RUN: llc < %s -march=colossus -mattr=+ipu2 | FileCheck %s

; CHECK-LABEL: fp_to_sint:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f32int [[REG:\$a[0-9]+]], $a0, 3
; CHECK-NEXT:  f32toi32 [[REG]], [[REG]]
; CHECK-NEXT:  mov $m0, [[REG]]
; CHECK:       br $m10
define i32 @fp_to_sint(float %fval) {
  %ival = fptosi float %fval to i32
  ret i32 %ival
}

declare i32 @llvm.experimental.constrained.fptosi(float, metadata)

; CHECK-LABEL: strict_fp_to_sint:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f32int [[REG:\$a[0-9]+]], $a0, 3
; CHECK-NEXT:  f32toi32 [[REG]], [[REG]]
; CHECK-NEXT:  mov $m0, [[REG]]
; CHECK:       br $m10
define i32 @strict_fp_to_sint(float %fval) {
  %ival = call i32 @llvm.experimental.constrained.fptosi(float %fval, metadata !"fpexcept.strict")
  ret i32 %ival
}

; CHECK-LABEL: fp_to_uint:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f32int [[REG:\$a[0-9]+]], $a0, 3
; CHECK-NEXT:  f32toui32 [[REG]], [[REG]]
; CHECK-NEXT:  mov $m0, [[REG]]
; CHECK:       br $m10
define i32 @fp_to_uint(float %fval) {
  %ival = fptoui float %fval to i32
  ret i32 %ival
}

declare i32 @llvm.experimental.constrained.fptoui(float, metadata)

; CHECK-LABEL: strict_fp_to_uint:
; CHECK:       # %bb.0:
; CHECK-NEXT:  f32int [[REG:\$a[0-9]+]], $a0, 3
; CHECK-NEXT:  f32toui32 [[REG]], [[REG]]
; CHECK-NEXT:  mov $m0, [[REG]]
; CHECK:       br $m10
define i32 @strict_fp_to_uint(float %fval) {
  %ival = call i32 @llvm.experimental.constrained.fptoui(float %fval, metadata !"fpexcept.strict")
  ret i32 %ival
}

; CHECK-LABEL: sint_to_fp:
; CHECK:       # %bb.0:
; CHECK:       add $m11, $m11, -8
; CHECK:       st32 $m0
; CHECK-NEXT:  ld32 $a0
; CHECK-NEXT:  {
; CHECK-NEXT:  add $m11, $m11, 8
; CHECK-NEXT:  f32fromi32 $a0, $a0
; CHECK-NEXT:  }
; CHECK:       br $m10
define float @sint_to_fp(i32 %ival) {
  %fval = sitofp i32 %ival to float
  ret float %fval
}

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

; CHECK-LABEL: strict_sint_to_fp:
; CHECK:       # %bb.0:
; CHECK:       add $m11, $m11, -8
; CHECK:       st32 $m0
; CHECK-NEXT:  ld32 $a0
; CHECK-NEXT:  {
; CHECK-NEXT:  add $m11, $m11, 8
; CHECK-NEXT:  f32fromi32 $a0, $a0
; CHECK-NEXT:  }
; CHECK:       br $m10
define float @strict_sint_to_fp(i32 %ival) {
  %fval = call float @llvm.experimental.constrained.sitofp(i32 %ival, metadata !"round.tonearest", metadata !"fpexcept.strict")
  ret float %fval
}

; CHECK-LABEL: uint_to_fp:
; CHECK:       # %bb.0:
; CHECK:       add $m11, $m11, -8
; CHECK:       st32 $m0
; CHECK-NEXT:  ld32 $a0
; CHECK-NEXT:  {
; CHECK-NEXT:  add $m11, $m11, 8
; CHECK-NEXT:  f32fromui32 $a0, $a0
; CHECK-NEXT:  }
; CHECK:       br $m10
define float @uint_to_fp(i32 %ival) {
  %fval = uitofp i32 %ival to float
  ret float %fval
}

declare float @llvm.experimental.constrained.uitofp(i32, metadata, metadata)

; CHECK-LABEL: strict_uint_to_fp:
; CHECK:       # %bb.0:
; CHECK:       add $m11, $m11, -8
; CHECK:       st32 $m0
; CHECK-NEXT:  ld32 $a0
; CHECK-NEXT:  {
; CHECK-NEXT:  add $m11, $m11, 8
; CHECK-NEXT:  f32fromui32 $a0, $a0
; CHECK-NEXT:  }
; CHECK:       br $m10
define float @strict_uint_to_fp(i32 %ival) {
  %fval = call float @llvm.experimental.constrained.uitofp(i32 %ival, metadata !"round.tonearest", metadata !"fpexcept.strict")
  ret float %fval
}