70 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=gvn < %s | FileCheck %s3 4; Make sure attributes in function calls are intersected correctly.5 6define i1 @bucket(i32 noundef %x) {7; CHECK-LABEL: define i1 @bucket(8; CHECK-SAME: i32 noundef [[X:%.*]]) {9; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i32 [[X]], 010; CHECK-NEXT: [[CTPOP1:%.*]] = tail call range(i32 0, 33) i32 @llvm.ctpop.i32(i32 [[X]])11; CHECK-NEXT: [[CMP2:%.*]] = icmp samesign ult i32 [[CTPOP1]], 212; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP1]], i1 [[CMP2]], i1 false13; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]14; CHECK: [[IF_ELSE]]:15; CHECK-NEXT: [[RES:%.*]] = icmp eq i32 [[CTPOP1]], 116; CHECK-NEXT: ret i1 [[RES]]17; CHECK: [[IF_THEN]]:18; CHECK-NEXT: ret i1 false19;20 %cmp1 = icmp sgt i32 %x, 021 %ctpop1 = tail call range(i32 1, 32) i32 @llvm.ctpop.i32(i32 %x)22 %cmp2 = icmp samesign ult i32 %ctpop1, 223 %cond = select i1 %cmp1, i1 %cmp2, i1 false24 br i1 %cond, label %if.then, label %if.else25 26if.else:27 %ctpop2 = tail call range(i32 0, 33) i32 @llvm.ctpop.i32(i32 %x)28 %res = icmp eq i32 %ctpop2, 129 ret i1 %res30 31if.then:32 ret i1 false33}34 35; Make sure we don't merge these two users of the incompatible call pair.36 37define i1 @bucket2(i32 noundef %x) {38; CHECK-LABEL: define i1 @bucket2(39; CHECK-SAME: i32 noundef [[X:%.*]]) {40; CHECK-NEXT: [[CMP1:%.*]] = icmp sgt i32 [[X]], 041; CHECK-NEXT: [[CTPOP1:%.*]] = tail call range(i32 1, 32) i32 @llvm.ctpop.i32(i32 zeroext [[X]])42; CHECK-NEXT: [[CTPOP1INC:%.*]] = add i32 [[CTPOP1]], 143; CHECK-NEXT: [[CMP2:%.*]] = icmp samesign ult i32 [[CTPOP1INC]], 344; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP1]], i1 [[CMP2]], i1 false45; CHECK-NEXT: br i1 [[COND]], label %[[IF_THEN:.*]], label %[[IF_ELSE:.*]]46; CHECK: [[IF_ELSE]]:47; CHECK-NEXT: [[CTPOP2:%.*]] = tail call range(i32 0, 33) i32 @llvm.ctpop.i32(i32 [[X]])48; CHECK-NEXT: [[CTPOP2INC:%.*]] = add i32 [[CTPOP2]], 149; CHECK-NEXT: [[RES:%.*]] = icmp eq i32 [[CTPOP2INC]], 250; CHECK-NEXT: ret i1 [[RES]]51; CHECK: [[IF_THEN]]:52; CHECK-NEXT: ret i1 false53;54 %cmp1 = icmp sgt i32 %x, 055 %ctpop1 = tail call range(i32 1, 32) i32 @llvm.ctpop.i32(i32 zeroext %x)56 %ctpop1inc = add i32 %ctpop1, 157 %cmp2 = icmp samesign ult i32 %ctpop1inc, 358 %cond = select i1 %cmp1, i1 %cmp2, i1 false59 br i1 %cond, label %if.then, label %if.else60 61if.else:62 %ctpop2 = tail call range(i32 0, 33) i32 @llvm.ctpop.i32(i32 %x)63 %ctpop2inc = add i32 %ctpop2, 164 %res = icmp eq i32 %ctpop2inc, 265 ret i1 %res66 67if.then:68 ret i1 false69}70