1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
| ; RUN: opt -instcombine -S < %s | FileCheck %s
|
| ; CHECK: test1
| define double @test1(float %a, double %b) nounwind readnone ssp uwtable {
| ; CHECK-NOT: fsub
| ; CHECK: fpext
| ; CHECK: fadd
| %1 = fsub float -0.000000e+00, %a
| %2 = fpext float %1 to double
| %3 = fsub double %b, %2
| ret double %3
| }
|
| ; CHECK: test2
| define double @test2(float %a, double %b) nounwind readnone ssp uwtable {
| ; CHECK-NOT: fsub
| ; CHECK: fpext
| ; CHECK: fadd fast
| %1 = fsub float -0.000000e+00, %a
| %2 = fpext float %1 to double
| %3 = fsub fast double %b, %2
| ret double %3
| }
|
|
