12 lines · plain
1; We need this pipeline because to trigger dominator info verification2; we have to compute the dominator before libcalls-shrinkwrap and3; have a pass which requires the dominator tree after.4; RUN: opt -passes=libcalls-shrinkwrap,instcombine -verify-dom-info %s5 6define void @main() {7 %_tmp31 = call float @acosf(float 2.000000e+00)8 ret void9}10 11declare float @acosf(float)12