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

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; PR2330

define i32 @a(i32 %b) nounwind  {
; CHECK-LABEL: @a(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[TMP0:%.*]] = and i32 [[B:%.*]], 1
; CHECK-NEXT:    ret i32 [[TMP0]]
;
entry:
  srem i32 %b, 8		; <i32>:0 [#uses=1]
  and i32 %0, 1		; <i32>:1 [#uses=1]
  ret i32 %1
}

define <2 x i32> @a_vec(<2 x i32> %b) nounwind  {
; CHECK-LABEL: @a_vec(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    [[TMP0:%.*]] = and <2 x i32> [[B:%.*]], <i32 1, i32 1>
; CHECK-NEXT:    ret <2 x i32> [[TMP0]]
;
entry:
  srem <2 x i32> %b, <i32 8, i32 8>
  and <2 x i32> %0, <i32 1, i32 1>
  ret <2 x i32> %1
}