53 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -passes=instcombine -S < %s | FileCheck %s3; RUN: opt -passes=instcombine,simplifycfg,instcombine -S < %s | FileCheck %s --check-prefix=EXTRA-PASSES4 5; Check that code corresponding to the following C function is6; simplified into a single ASR operation:7;8; int test_asr(int a, int b) {9; return a < 0 ? -(-a - 1 >> b) - 1 : a >> b;10; }11;12 13define i32 @test_asr(i32 %a, i32 %b) {14; CHECK-LABEL: define i32 @test_asr(15; CHECK-SAME: i32 [[A:%.*]], i32 [[B:%.*]]) {16; CHECK-NEXT: entry:17; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[A]], 018; CHECK-NEXT: br i1 [[C]], label [[BB2:%.*]], label [[BB3:%.*]]19; CHECK: bb2:20; CHECK-NEXT: [[NOT2:%.*]] = ashr i32 [[A]], [[B]]21; CHECK-NEXT: br label [[BB4:%.*]]22; CHECK: bb3:23; CHECK-NEXT: [[E:%.*]] = lshr i32 [[A]], [[B]]24; CHECK-NEXT: br label [[BB4]]25; CHECK: bb4:26; CHECK-NEXT: [[F:%.*]] = phi i32 [ [[NOT2]], [[BB2]] ], [ [[E]], [[BB3]] ]27; CHECK-NEXT: ret i32 [[F]]28;29; EXTRA-PASSES-LABEL: define i32 @test_asr(30; EXTRA-PASSES-SAME: i32 [[A:%.*]], i32 [[B:%.*]]) {31; EXTRA-PASSES-NEXT: entry:32; EXTRA-PASSES-NEXT: [[C1:%.*]] = ashr i32 [[A]], [[B]]33; EXTRA-PASSES-NEXT: ret i32 [[C1]]34;35entry:36 %c = icmp slt i32 %a, 037 br i1 %c, label %bb2, label %bb338 39bb2:40 %t1 = sub i32 0, %a41 %not = sub i32 %t1, 142 %d = ashr i32 %not, %b43 %t2 = sub i32 0, %d44 %not2 = sub i32 %t2, 145 br label %bb446bb3:47 %e = ashr i32 %a, %b48 br label %bb449bb4:50 %f = phi i32 [ %not2, %bb2 ], [ %e, %bb3 ]51 ret i32 %f52}53