1; We need this pipeline because to trigger dominator info verification 2; we have to compute the dominator before libcalls-shrinkwrap and 3; have a pass which requires the dominator tree after. 4; RUN: opt -domtree -libcalls-shrinkwrap -instcombine -verify-dom-info %s 5 6define void @main() { 7 %_tmp31 = call float @acosf(float 2.000000e+00) 8 ret void 9} 10 11declare float @acosf(float) 12