[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / 2008-12-02-LegalizeTypeAssert.ll
blob6355795e79e702e89b61bb10abcd75d9714fac42
1 ; RUN: llc -verify-machineinstrs < %s -mtriple=powerpc64-unknown-linux-gnu.5
3 define void @__multc3({ ppc_fp128, ppc_fp128 }* noalias sret %agg.result, ppc_fp128 %a, ppc_fp128 %b, ppc_fp128 %c, ppc_fp128 %d) nounwind {
4 entry:
5         %.pre139 = and i1 false, false          ; <i1> [#uses=1]
6         br i1 false, label %bb6, label %bb21
8 bb6:            ; preds = %entry
9         %0 = tail call ppc_fp128 @copysignl(ppc_fp128 0xM00000000000000000000000000000000, ppc_fp128 %a) nounwind readnone              ; <ppc_fp128> [#uses=0]
10         %iftmp.1.0 = select i1 %.pre139, ppc_fp128 0xM3FF00000000000000000000000000000, ppc_fp128 0xM00000000000000000000000000000000           ; <ppc_fp128> [#uses=1]
11         %1 = tail call ppc_fp128 @copysignl(ppc_fp128 %iftmp.1.0, ppc_fp128 %b) nounwind readnone               ; <ppc_fp128> [#uses=0]
12         unreachable
14 bb21:           ; preds = %entry
15         unreachable
18 declare ppc_fp128 @copysignl(ppc_fp128, ppc_fp128) nounwind readnone