Provide InstCombines for the following 3 cases:
[oota-llvm.git] / test / Transforms / InstCombine / add4.ll
1 ; RUN: opt < %s -instcombine -S | grep inttoptr | count 2
2
3 ;; Target triple for gep raising case below.
4 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
5 target triple = "i686-apple-darwin8"
6
7 define float @test1(float %A, float %B, i1 %C) {
8 EntryBlock:
9   ;; A*(1 - uitofp i1 C) -> select C, 0, A
10   %cf = uitofp i1 %C to float
11   %mc = fsub float 1.000000e+00, %cf
12   %p1 = fmul fast float %A, %mc
13   ret float %p1
14 }
15
16 define float @test2(float %A, float %B, i1 %C) {
17 EntryBlock:
18   ;; B*(uitofp i1 C) -> select C, B, 0
19   %cf = uitofp i1 %C to float
20   %p2 = fmul fast float %B, %cf
21   ret float %p2
22 }
23
24 define float @test3(float %A, float %B, i1 %C) {
25 EntryBlock:
26   ;; A*(1 - uitofp i1 C) + B*(uitofp i1 C) -> select C, A, B
27   %cf = uitofp i1 %C to float
28   %mc = fsub float 1.000000e+00, %cf
29   %p1 = fmul fast float %A, %mc
30   %p2 = fmul fast float %B, %cf
31   %s1 = fadd fast float %p1, %p2
32   ret float %s1
33 }
34