42 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes=instcombine -S < %s | FileCheck %s3 4declare i32 @llvm.cttz.i32(i32, i1)5 6define i32 @test_cttz_lshr(i32 %x) {7; CHECK-LABEL: define i32 @test_cttz_lshr(8; CHECK-SAME: i32 [[X:%.*]]) {9; CHECK-NEXT: [[CTTZ:%.*]] = call range(i32 0, 33) i32 @llvm.cttz.i32(i32 [[X]], i1 true)10; CHECK-NEXT: [[SH:%.*]] = lshr exact i32 [[X]], [[CTTZ]]11; CHECK-NEXT: ret i32 [[SH]]12;13 %cttz = call i32 @llvm.cttz.i32(i32 %x, i1 false)14 %sh = lshr i32 %x, %cttz15 ret i32 %sh16}17 18define i32 @test_cttz_ashr(i32 %x) {19; CHECK-LABEL: define i32 @test_cttz_ashr(20; CHECK-SAME: i32 [[X:%.*]]) {21; CHECK-NEXT: [[CTTZ:%.*]] = call range(i32 0, 33) i32 @llvm.cttz.i32(i32 [[X]], i1 true)22; CHECK-NEXT: [[SH:%.*]] = ashr exact i32 [[X]], [[CTTZ]]23; CHECK-NEXT: ret i32 [[SH]]24;25 %cttz = call i32 @llvm.cttz.i32(i32 %x, i1 true)26 %sh = ashr i32 %x, %cttz27 ret i32 %sh28}29 30define i32 @test_cttz_diff_operand(i32 %x, i32 %y) {31; CHECK-LABEL: define i32 @test_cttz_diff_operand(32; CHECK-SAME: i32 [[X:%.*]], i32 [[Y:%.*]]) {33; CHECK-NEXT: [[CTTZ:%.*]] = call range(i32 0, 33) i32 @llvm.cttz.i32(i32 [[Y]], i1 true)34; CHECK-NEXT: [[SH:%.*]] = lshr i32 [[X]], [[CTTZ]]35; CHECK-NEXT: ret i32 [[SH]]36;37 %cttz = call i32 @llvm.cttz.i32(i32 %y, i1 true)38 %sh = lshr i32 %x, %cttz39 ret i32 %sh40}41 42