llvm/test/Transforms/InstCombine/2008-07-11-RemAnd.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   3 ; PR2330
   4
   5 define i32 @a(i32 %b) nounwind  {
   6 ; CHECK-LABEL: @a(
   7 ; CHECK-NEXT:  entry:
   8 ; CHECK-NEXT:    [[TMP0:%.*]] = and i32 [[B:%.*]], 1
   9 ; CHECK-NEXT:    ret i32 [[TMP0]]
  10 ;
  11 entry:
  12   srem i32 %b, 8                ; <i32>:0 [#uses=1]
  13   and i32 %0, 1         ; <i32>:1 [#uses=1]
  14   ret i32 %1
  15 }
  16
  17 define <2 x i32> @a_vec(<2 x i32> %b) nounwind  {
  18 ; CHECK-LABEL: @a_vec(
  19 ; CHECK-NEXT:  entry:
  20 ; CHECK-NEXT:    [[TMP0:%.*]] = and <2 x i32> [[B:%.*]], splat (i32 1)
  21 ; CHECK-NEXT:    ret <2 x i32> [[TMP0]]
  22 ;
  23 entry:
  24   srem <2 x i32> %b, <i32 8, i32 8>
  25   and <2 x i32> %0, <i32 1, i32 1>
  26   ret <2 x i32> %1
  27 }