227 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4declare void @use.i8(i8)5declare i8 @llvm.ctpop.i8(i8)6declare i2 @llvm.ctpop.i2(i2)7declare <2 x i8> @llvm.ctpop.v2i8(<2 x i8>)8 9define i8 @fold_sub_c_ctpop(i8 %x) {10; CHECK-LABEL: @fold_sub_c_ctpop(11; CHECK-NEXT: [[TMP1:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[X:%.*]])12; CHECK-NEXT: [[R:%.*]] = add nuw nsw i8 [[TMP1]], 413; CHECK-NEXT: ret i8 [[R]]14;15 %nx = xor i8 %x, -116 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)17 %r = sub i8 12, %cnt18 ret i8 %r19}20 21define i8 @fold_sub_var_ctpop_fail(i8 %x, i8 %y) {22; CHECK-LABEL: @fold_sub_var_ctpop_fail(23; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -124; CHECK-NEXT: [[CNT:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[NX]])25; CHECK-NEXT: [[R:%.*]] = sub i8 [[Y:%.*]], [[CNT]]26; CHECK-NEXT: ret i8 [[R]]27;28 %nx = xor i8 %x, -129 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)30 %r = sub i8 %y, %cnt31 ret i8 %r32}33 34define <2 x i8> @fold_sub_ctpop_c(<2 x i8> %x) {35; CHECK-LABEL: @fold_sub_ctpop_c(36; CHECK-NEXT: [[TMP1:%.*]] = call range(i8 0, 9) <2 x i8> @llvm.ctpop.v2i8(<2 x i8> [[X:%.*]])37; CHECK-NEXT: [[R:%.*]] = sub nuw nsw <2 x i8> <i8 -55, i8 -56>, [[TMP1]]38; CHECK-NEXT: ret <2 x i8> [[R]]39;40 %nx = xor <2 x i8> %x, <i8 -1, i8 -1>41 %cnt = call <2 x i8> @llvm.ctpop.v2i8(<2 x i8> %nx)42 %r = sub <2 x i8> %cnt, <i8 63, i8 64>43 ret <2 x i8> %r44}45 46define i8 @fold_add_ctpop_c(i8 %x) {47; CHECK-LABEL: @fold_add_ctpop_c(48; CHECK-NEXT: [[TMP1:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[X:%.*]])49; CHECK-NEXT: [[R:%.*]] = sub nuw nsw i8 71, [[TMP1]]50; CHECK-NEXT: ret i8 [[R]]51;52 %nx = xor i8 %x, -153 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)54 %r = add i8 %cnt, 6355 ret i8 %r56}57 58define i8 @fold_distjoint_or_ctpop_c(i8 %x) {59; CHECK-LABEL: @fold_distjoint_or_ctpop_c(60; CHECK-NEXT: [[TMP1:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[X:%.*]])61; CHECK-NEXT: [[R:%.*]] = sub nuw nsw i8 72, [[TMP1]]62; CHECK-NEXT: ret i8 [[R]]63;64 %nx = xor i8 %x, -165 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)66 %r = or i8 %cnt, 6467 ret i8 %r68}69 70define i8 @fold_or_ctpop_c_fail(i8 %x) {71; CHECK-LABEL: @fold_or_ctpop_c_fail(72; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -173; CHECK-NEXT: [[CNT:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[NX]])74; CHECK-NEXT: [[R:%.*]] = or i8 [[CNT]], 6575; CHECK-NEXT: ret i8 [[R]]76;77 %nx = xor i8 %x, -178 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)79 %r = or i8 %cnt, 6580 ret i8 %r81}82 83define i8 @fold_add_ctpop_var_fail(i8 %x, i8 %y) {84; CHECK-LABEL: @fold_add_ctpop_var_fail(85; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -186; CHECK-NEXT: [[CNT:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[NX]])87; CHECK-NEXT: [[R:%.*]] = add i8 [[CNT]], [[Y:%.*]]88; CHECK-NEXT: ret i8 [[R]]89;90 %nx = xor i8 %x, -191 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)92 %r = add i8 %cnt, %y93 ret i8 %r94}95 96define i1 @fold_icmp_sgt_ctpop_c_i2_fail(i2 %x, i2 %C) {97; CHECK-LABEL: @fold_icmp_sgt_ctpop_c_i2_fail(98; CHECK-NEXT: ret i1 false99;100 %nx = xor i2 %x, -1101 %cnt = tail call i2 @llvm.ctpop.i2(i2 %nx)102 %r = icmp sgt i2 %cnt, 1103 ret i1 %r104}105 106define i1 @fold_cmp_eq_ctpop_c(i8 %x) {107; CHECK-LABEL: @fold_cmp_eq_ctpop_c(108; CHECK-NEXT: [[TMP1:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[X:%.*]])109; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[TMP1]], 6110; CHECK-NEXT: ret i1 [[R]]111;112 %nx = xor i8 %x, -1113 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)114 %r = icmp eq i8 %cnt, 2115 ret i1 %r116}117 118define i1 @fold_cmp_eq_ctpop_c_multiuse_fail(i8 %x) {119; CHECK-LABEL: @fold_cmp_eq_ctpop_c_multiuse_fail(120; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -1121; CHECK-NEXT: [[CNT:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[NX]])122; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[CNT]], 2123; CHECK-NEXT: call void @use.i8(i8 [[CNT]])124; CHECK-NEXT: ret i1 [[R]]125;126 %nx = xor i8 %x, -1127 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)128 %r = icmp eq i8 %cnt, 2129 call void @use.i8(i8 %cnt)130 ret i1 %r131}132 133define <2 x i1> @fold_cmp_ne_ctpop_c(<2 x i8> %x) {134; CHECK-LABEL: @fold_cmp_ne_ctpop_c(135; CHECK-NEXT: [[TMP1:%.*]] = call range(i8 0, 9) <2 x i8> @llvm.ctpop.v2i8(<2 x i8> [[X:%.*]])136; CHECK-NEXT: [[R:%.*]] = icmp ne <2 x i8> [[TMP1]], <i8 -36, i8 5>137; CHECK-NEXT: ret <2 x i1> [[R]]138;139 %nx = xor <2 x i8> %x, <i8 -1, i8 -1>140 %cnt = call <2 x i8> @llvm.ctpop.v2i8(<2 x i8> %nx)141 %r = icmp ne <2 x i8> %cnt, <i8 44, i8 3>142 ret <2 x i1> %r143}144 145define <2 x i1> @fold_cmp_ne_ctpop_var_fail(<2 x i8> %x, <2 x i8> %y) {146; CHECK-LABEL: @fold_cmp_ne_ctpop_var_fail(147; CHECK-NEXT: [[NX:%.*]] = xor <2 x i8> [[X:%.*]], splat (i8 -1)148; CHECK-NEXT: [[CNT:%.*]] = call range(i8 0, 9) <2 x i8> @llvm.ctpop.v2i8(<2 x i8> [[NX]])149; CHECK-NEXT: [[R:%.*]] = icmp ne <2 x i8> [[CNT]], [[Y:%.*]]150; CHECK-NEXT: ret <2 x i1> [[R]]151;152 %nx = xor <2 x i8> %x, <i8 -1, i8 -1>153 %cnt = call <2 x i8> @llvm.ctpop.v2i8(<2 x i8> %nx)154 %r = icmp ne <2 x i8> %cnt, %y155 ret <2 x i1> %r156}157 158define i1 @fold_cmp_ult_ctpop_c(i8 %x, i8 %y, i1 %cond) {159; CHECK-LABEL: @fold_cmp_ult_ctpop_c(160; CHECK-NEXT: [[TMP1:%.*]] = sub i8 -16, [[Y:%.*]]161; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[COND:%.*]], i8 [[X:%.*]], i8 [[TMP1]]162; CHECK-NEXT: [[TMP3:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[TMP2]])163; CHECK-NEXT: [[R:%.*]] = icmp samesign ugt i8 [[TMP3]], 3164; CHECK-NEXT: ret i1 [[R]]165;166 %nx = xor i8 %x, -1167 %ny = add i8 %y, 15168 %n = select i1 %cond, i8 %nx, i8 %ny169 %cnt = call i8 @llvm.ctpop.i8(i8 %n)170 %r = icmp ult i8 %cnt, 5171 ret i1 %r172}173 174define i1 @fold_cmp_sle_ctpop_c(i8 %x, i8 %y, i1 %cond) {175; CHECK-LABEL: @fold_cmp_sle_ctpop_c(176; CHECK-NEXT: [[TMP1:%.*]] = sub i8 -16, [[Y:%.*]]177; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[COND:%.*]], i8 [[X:%.*]], i8 [[TMP1]]178; CHECK-NEXT: [[TMP3:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[TMP2]])179; CHECK-NEXT: [[R:%.*]] = icmp samesign ugt i8 [[TMP3]], 4180; CHECK-NEXT: ret i1 [[R]]181;182 %nx = xor i8 %x, -1183 %ny = add i8 %y, 15184 %n = select i1 %cond, i8 %nx, i8 %ny185 %cnt = call i8 @llvm.ctpop.i8(i8 %n)186 %r = icmp sle i8 %cnt, 3187 ret i1 %r188}189 190define i1 @fold_cmp_ult_ctpop_c_no_not_inst_save_fail(i8 %x) {191; CHECK-LABEL: @fold_cmp_ult_ctpop_c_no_not_inst_save_fail(192; CHECK-NEXT: [[NX:%.*]] = xor i8 [[X:%.*]], -2193; CHECK-NEXT: [[CNT:%.*]] = call range(i8 0, 9) i8 @llvm.ctpop.i8(i8 [[NX]])194; CHECK-NEXT: [[R:%.*]] = icmp samesign ult i8 [[CNT]], 5195; CHECK-NEXT: ret i1 [[R]]196;197 %nx = xor i8 %x, -2198 %cnt = call i8 @llvm.ctpop.i8(i8 %nx)199 %r = icmp ult i8 %cnt, 5200 ret i1 %r201}202 203define <2 x i1> @fold_cmp_ugt_ctpop_c(<2 x i8> %x) {204; CHECK-LABEL: @fold_cmp_ugt_ctpop_c(205; CHECK-NEXT: [[TMP1:%.*]] = call range(i8 0, 9) <2 x i8> @llvm.ctpop.v2i8(<2 x i8> [[X:%.*]])206; CHECK-NEXT: [[R:%.*]] = icmp samesign ult <2 x i8> [[TMP1]], <i8 0, i8 2>207; CHECK-NEXT: ret <2 x i1> [[R]]208;209 %nx = xor <2 x i8> %x, <i8 -1, i8 -1>210 %cnt = call <2 x i8> @llvm.ctpop.v2i8(<2 x i8> %nx)211 %r = icmp ugt <2 x i8> %cnt, <i8 8, i8 6>212 ret <2 x i1> %r213}214 215define <2 x i1> @fold_cmp_ugt_ctpop_c_out_of_range_fail(<2 x i8> %x) {216; CHECK-LABEL: @fold_cmp_ugt_ctpop_c_out_of_range_fail(217; CHECK-NEXT: [[NX:%.*]] = xor <2 x i8> [[X:%.*]], splat (i8 -1)218; CHECK-NEXT: [[CNT:%.*]] = call range(i8 0, 9) <2 x i8> @llvm.ctpop.v2i8(<2 x i8> [[NX]])219; CHECK-NEXT: [[R:%.*]] = icmp samesign ugt <2 x i8> [[CNT]], <i8 2, i8 10>220; CHECK-NEXT: ret <2 x i1> [[R]]221;222 %nx = xor <2 x i8> %x, <i8 -1, i8 -1>223 %cnt = call <2 x i8> @llvm.ctpop.v2i8(<2 x i8> %nx)224 %r = icmp ugt <2 x i8> %cnt, <i8 2, i8 10>225 ret <2 x i1> %r226}227