[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / pr33453.ll
blobdee4c5bf566be2355e2b38c6f80cea59b23d863e
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -instcombine -S %s | FileCheck %s
4 @g1 = external global i16
5 @g2 = external global i16
7 define float @patatino() {
8 ; CHECK-LABEL: @patatino(
9 ; CHECK-NEXT:    ret float fmul (float uitofp (i1 icmp eq (i16* getelementptr inbounds (i16, i16* @g2, i64 1), i16* @g1) to float), float uitofp (i1 icmp eq (i16* getelementptr inbounds (i16, i16* @g2, i64 1), i16* @g1) to float))
11   %call = call float @fabsf(float fmul (float uitofp (i1 icmp eq (i16* getelementptr inbounds (i16, i16* @g2, i64 1), i16* @g1) to float), float uitofp (i1 icmp eq (i16* getelementptr inbounds (i16, i16* @g2, i64 1), i16* @g1) to float)))
12   ret float %call
15 declare float @fabsf(float)