| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 | |
| ; RUN: opt -passes=ipsccp -force-specialization -S < %s | FileCheck %s | |
| define float @test(ptr %this, float %cm, i1 %0) strictfp { | |
| ; CHECK-LABEL: define float @test( | |
| ; CHECK-SAME: ptr [[THIS:%.*]], float [[CM:%.*]], i1 [[TMP0:%.*]]) #[[ATTR0:[0-9]+]] { | |
| ; CHECK-NEXT: [[ENTRY:.*:]] | |
| ; CHECK-NEXT: [[CMP:%.*]] = call i1 @llvm.experimental.constrained.fcmps.f32(float [[CM]], float 0.000000e+00, metadata !"ole", metadata !"fpexcept.strict") | |
| ; CHECK-NEXT: [[CALL295:%.*]] = call float @test.specialized.1(ptr null, float 0.000000e+00, i1 false) | |
| ; CHECK-NEXT: ret float 0.000000e+00 | |
| ; | |
| entry: | |
| %cmp = call i1 @llvm.experimental.constrained.fcmps.f32(float %cm, float 0.000000e+00, metadata !"ole", metadata !"fpexcept.strict") #0 | |
| %call295 = call float @test(ptr null, float 0.000000e+00, i1 false) #0 | |
| ret float 0.000000e+00 | |
| } | |