test/Transforms/InstCombine/add4.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   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   ;;  select C, 0, B + select C, A, 0 -> select C, A, B
  10   %cf = uitofp i1 %C to float
  11   %s1 = select i1 %C, float 0.000000e+00, float %B
  12   %s2 = select i1 %C, float %A, float 0.000000e+00
  13   %sum = fadd fast float %s1, %s2
  14   ret float %sum
  15 ; CHECK: @test1
  16 ; CHECK: select i1 %C, float %A, float %B
  17 }
  18
  19 define float @test2(float %A, float %B, i1 %C) {
  20 EntryBlock:
  21   ;;  B*(uitofp i1 C) + A*(1 - uitofp i1 C) -> select C, A, B
  22   %cf = uitofp i1 %C to float
  23   %mc = fsub fast float 1.000000e+00, %cf
  24   %p1 = fmul fast float %A, %mc
  25   %p2 = fmul fast float %B, %cf
  26   %s1 = fadd fast float %p2, %p1
  27   ret float %s1
  28 ; CHECK: @test2
  29 ; CHECK: select i1 %C, float %B, float %A
  30 }
  31
  32 define float @test3(float %A, float %B, i1 %C) {
  33 EntryBlock:
  34   ;; A*(1 - uitofp i1 C) + B*(uitofp i1 C) -> select C, A, B
  35   %cf = uitofp i1 %C to float
  36   %mc = fsub fast float 1.000000e+00, %cf
  37   %p1 = fmul fast float %A, %mc
  38   %p2 = fmul fast float %B, %cf
  39   %s1 = fadd fast float %p1, %p2
  40   ret float %s1
  41 ; CHECK: @test3
  42 ; CHECK: select i1 %C, float %B, float %A
  43 }
  44