| ; We need this pipeline because to trigger dominator info verification | |
| ; we have to compute the dominator before libcalls-shrinkwrap and | |
| ; have a pass which requires the dominator tree after. | |
| ; RUN: opt -passes=libcalls-shrinkwrap,instcombine -verify-dom-info %s | |
| define void @main() { | |
| %_tmp31 = call float @acosf(float 2.000000e+00) | |
| ret void | |
| } | |
| declare float @acosf(float) |