Please use GitHub pull requests for new patches. Phabricator shutdown timeline
Changeset View
Changeset View
Standalone View
Standalone View
test/Transforms/SimplifyCFG/speculate-math.ll
| ; RUN: opt -S -simplifycfg -phi-node-folding-threshold=2 < %s | FileCheck %s | ; RUN: opt -S -simplifycfg < %s | FileCheck %s | ||||
| declare float @llvm.sqrt.f32(float) nounwind readonly | declare float @llvm.sqrt.f32(float) nounwind readonly | ||||
| declare float @llvm.fma.f32(float, float, float) nounwind readonly | declare float @llvm.fma.f32(float, float, float) nounwind readonly | ||||
| declare float @llvm.fmuladd.f32(float, float, float) nounwind readonly | declare float @llvm.fmuladd.f32(float, float, float) nounwind readonly | ||||
| declare float @llvm.fabs.f32(float) nounwind readonly | declare float @llvm.fabs.f32(float) nounwind readonly | ||||
| declare float @llvm.minnum.f32(float, float) nounwind readonly | declare float @llvm.minnum.f32(float, float) nounwind readonly | ||||
| declare float @llvm.maxnum.f32(float, float) nounwind readonly | declare float @llvm.maxnum.f32(float, float) nounwind readonly | ||||
| ; FIXME: This is intended to be a temporary test. As discussed in | |||||
| ; D12882, we actually do want to speculate even expensive operations | |||||
| ; in SimplifyCFG because it can expose more optimizations for other | |||||
| ; passes. Therefore, we either need to adjust SimplifyCFG's | |||||
| ; calculations that use the TTI cost model or use a different cost | |||||
| ; model for deciding which ops should be speculated in SimplifyCFG. | |||||
| ; We should also be using the TTI cost model later - for example in | |||||
| ; CodeGenPrepare - to potentially undo this speculation. | |||||
| ; Do not speculate fdiv by default because it is generally expensive. | |||||
| ; CHECK-LABEL: @fdiv_test( | ; CHECK-LABEL: @fdiv_test( | ||||
| ; CHECK-NOT: select | ; CHECK: select i1 %cmp, double %div, double 0.0 | ||||
| define double @fdiv_test(double %a, double %b) { | define double @fdiv_test(double %a, double %b) { | ||||
| entry: | entry: | ||||
| %cmp = fcmp ogt double %a, 0.0 | %cmp = fcmp ogt double %a, 0.0 | ||||
| br i1 %cmp, label %cond.true, label %cond.end | br i1 %cmp, label %cond.true, label %cond.end | ||||
| cond.true: | cond.true: | ||||
| %div = fdiv double %b, %a | %div = fdiv double %b, %a | ||||
| br label %cond.end | br label %cond.end | ||||
| ▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines | |||||