| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -passes=instcombine -S | FileCheck %s |
| |
| ; Type is too large and widening it would make it bigger than MAX_INT_BITS |
| define i5754496 @bw_no_widening(i5754496 %arg) { |
| ; CHECK-LABEL: @bw_no_widening( |
| ; CHECK-NEXT: [[SHL1:%.*]] = shl i5754496 [[ARG:%.*]], 8 |
| ; CHECK-NEXT: [[SHL2:%.*]] = ashr exact i5754496 [[SHL1]], 7 |
| ; CHECK-NEXT: ret i5754496 [[SHL2]] |
| ; |
| %shl1 = shl i5754496 %arg, 8 |
| %ashr = ashr exact i5754496 %shl1, 8 |
| %shl2 = shl i5754496 %ashr, 1 |
| ret i5754496 %shl2 |
| } |
