| ; 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"} |
