| ; 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 |
| } |
