test/Transforms/InstCombine/cast-mul-select.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32"
   4
   5 define i32 @mul(i32 %x, i32 %y) {
   6   %A = trunc i32 %x to i8
   7   %B = trunc i32 %y to i8
   8   %C = mul i8 %A, %B
   9   %D = zext i8 %C to i32
  10   ret i32 %D
  11 ; CHECK: %C = mul i32 %x, %y
  12 ; CHECK: %D = and i32 %C, 255
  13 ; CHECK: ret i32 %D
  14 }
  15
  16 define i32 @select1(i1 %cond, i32 %x, i32 %y, i32 %z) {
  17   %A = trunc i32 %x to i8
  18   %B = trunc i32 %y to i8
  19   %C = trunc i32 %z to i8
  20   %D = add i8 %A, %B
  21   %E = select i1 %cond, i8 %C, i8 %D
  22   %F = zext i8 %E to i32
  23   ret i32 %F
  24 ; CHECK: %D = add i32 %x, %y
  25 ; CHECK: %E = select i1 %cond, i32 %z, i32 %D
  26 ; CHECK: %F = and i32 %E, 255
  27 ; CHECK: ret i32 %F
  28 }
  29
  30 define i8 @select2(i1 %cond, i8 %x, i8 %y, i8 %z) {
  31   %A = zext i8 %x to i32
  32   %B = zext i8 %y to i32
  33   %C = zext i8 %z to i32
  34   %D = add i32 %A, %B
  35   %E = select i1 %cond, i32 %C, i32 %D
  36   %F = trunc i32 %E to i8
  37   ret i8 %F
  38 ; CHECK: %D = add i8 %x, %y
  39 ; CHECK: %E = select i1 %cond, i8 %z, i8 %D
  40 ; CHECK: ret i8 %E
  41 }