| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt -passes=instcombine -S %s | FileCheck %s |
| |
| @g1 = external global i16 |
| @g2 = external global i16 |
| |
| define float @patatino() { |
| ; CHECK-LABEL: @patatino( |
| ; CHECK-NEXT: [[FMUL:%.*]] = uitofp i1 mul (i1 icmp eq (ptr getelementptr inbounds (i16, ptr @g2, i64 1), ptr @g1), i1 icmp eq (ptr getelementptr inbounds (i16, ptr @g2, i64 1), ptr @g1)) to float |
| ; CHECK-NEXT: ret float [[FMUL]] |
| ; |
| %uitofp1 = uitofp i1 icmp eq (ptr getelementptr inbounds (i16, ptr @g2, i64 1), ptr @g1) to float |
| %uitofp2 = uitofp i1 icmp eq (ptr getelementptr inbounds (i16, ptr @g2, i64 1), ptr @g1) to float |
| %fmul = fmul float %uitofp1, %uitofp2 |
| %call = call float @fabsf(float %fmul) |
| ret float %call |
| } |
| |
| declare float @fabsf(float) |
