[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / pr30929.ll
blob2d19775f31216f95ffc29f4be0b047c6ebfe024c
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
6 define void @main() {
7   %_tmp31 = call float @acosf(float 2.000000e+00)
8   ret void
11 declare float @acosf(float)