; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=sccp -S %s | FileCheck %s

define float @test_ieee() #0 {
; CHECK-LABEL: @test_ieee(
; CHECK-NEXT:    ret float 0x36F4000000000000
;
  %1 = fmul float 2.802596928649634e-44, 2.000000e+00
  ret float %1
}

define float @test_preserve_sign() #1 {
; CHECK-LABEL: @test_preserve_sign(
; CHECK-NEXT:    ret float 0.000000e+00
;
  %1 = fmul float 2.802596928649634e-44, 2.000000e+00
  ret float %1
}

attributes #0 = {"denormal-fp-math"="ieee,ieee"}
attributes #1 = {"denormal-fp-math"="preserve-sign,preserve-sign"}