llvm/test/Transforms/SCCP/float-denormal-simplification.ll

; 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 5.605190e-44
;
  %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_fpenv(ieee|ieee)}
attributes #1 = {denormal_fpenv(preservesign)}