xref: /llvm-project/llvm/test/Transforms/SCCP/float-denormal-simplification.ll (revision e6fa09f445f172bfd0c011adc6bf36e38816b781) 
1*e6fa09f4SThomas Hashem; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2*e6fa09f4SThomas Hashem; RUN: opt -passes=sccp -S %s | FileCheck %s
3*e6fa09f4SThomas Hashem
4*e6fa09f4SThomas Hashemdefine float @test_ieee() #0 {
5*e6fa09f4SThomas Hashem; CHECK-LABEL: @test_ieee(
6*e6fa09f4SThomas Hashem; CHECK-NEXT:    ret float 0x36F4000000000000
7*e6fa09f4SThomas Hashem;
8*e6fa09f4SThomas Hashem  %1 = fmul float 2.802596928649634e-44, 2.000000e+00
9*e6fa09f4SThomas Hashem  ret float %1
10*e6fa09f4SThomas Hashem}
11*e6fa09f4SThomas Hashem
12*e6fa09f4SThomas Hashemdefine float @test_preserve_sign() #1 {
13*e6fa09f4SThomas Hashem; CHECK-LABEL: @test_preserve_sign(
14*e6fa09f4SThomas Hashem; CHECK-NEXT:    ret float 0.000000e+00
15*e6fa09f4SThomas Hashem;
16*e6fa09f4SThomas Hashem  %1 = fmul float 2.802596928649634e-44, 2.000000e+00
17*e6fa09f4SThomas Hashem  ret float %1
18*e6fa09f4SThomas Hashem}
19*e6fa09f4SThomas Hashem
20*e6fa09f4SThomas Hashemattributes #0 = {"denormal-fp-math"="ieee,ieee"}
21*e6fa09f4SThomas Hashemattributes #1 = {"denormal-fp-math"="preserve-sign,preserve-sign"}
22