104 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=bdce -S < %s | FileCheck %s3 4; Funnel shift based rotate test cases from PR397715 6declare i32 @llvm.fshr.i32(i32, i32, i32)7declare <2 x i32> @llvm.fshr.v2i32(<2 x i32>, <2 x i32>, <2 x i32>)8 9; First fshr operand is dead.10define i32 @pr39771_fshr_multi_use_instr(i32 %a) {11; CHECK-LABEL: @pr39771_fshr_multi_use_instr(12; CHECK-NEXT: [[X:%.*]] = or i32 [[A:%.*]], 213; CHECK-NEXT: [[B:%.*]] = tail call i32 @llvm.fshr.i32(i32 0, i32 [[X]], i32 1)14; CHECK-NEXT: [[C:%.*]] = lshr i32 [[B]], 2315; CHECK-NEXT: [[D:%.*]] = xor i32 [[C]], [[B]]16; CHECK-NEXT: [[E:%.*]] = and i32 [[D]], 3117; CHECK-NEXT: ret i32 [[E]]18;19 %x = or i32 %a, 220 %b = tail call i32 @llvm.fshr.i32(i32 %x, i32 %x, i32 1)21 %c = lshr i32 %b, 2322 %d = xor i32 %c, %b23 %e = and i32 %d, 3124 ret i32 %e25}26 27; First fshr operand is dead (vector variant).28define <2 x i32> @pr39771_fshr_multi_use_instr_vec(<2 x i32> %a) {29; CHECK-LABEL: @pr39771_fshr_multi_use_instr_vec(30; CHECK-NEXT: [[X:%.*]] = or <2 x i32> [[A:%.*]], splat (i32 2)31; CHECK-NEXT: [[B:%.*]] = tail call <2 x i32> @llvm.fshr.v2i32(<2 x i32> zeroinitializer, <2 x i32> [[X]], <2 x i32> splat (i32 1))32; CHECK-NEXT: [[C:%.*]] = lshr <2 x i32> [[B]], splat (i32 23)33; CHECK-NEXT: [[D:%.*]] = xor <2 x i32> [[C]], [[B]]34; CHECK-NEXT: [[E:%.*]] = and <2 x i32> [[D]], splat (i32 31)35; CHECK-NEXT: ret <2 x i32> [[E]]36;37 %x = or <2 x i32> %a, <i32 2, i32 2>38 %b = tail call <2 x i32> @llvm.fshr.v2i32(<2 x i32> %x, <2 x i32> %x, <2 x i32> <i32 1, i32 1>)39 %c = lshr <2 x i32> %b, <i32 23, i32 23>40 %d = xor <2 x i32> %c, %b41 %e = and <2 x i32> %d, <i32 31, i32 31>42 ret <2 x i32> %e43}44 45; First fshr operand is dead, but it comes from an argument, not instruction.46define i32 @pr39771_fshr_multi_use_arg(i32 %a) {47; CHECK-LABEL: @pr39771_fshr_multi_use_arg(48; CHECK-NEXT: [[B:%.*]] = tail call i32 @llvm.fshr.i32(i32 0, i32 [[A:%.*]], i32 1)49; CHECK-NEXT: [[C:%.*]] = lshr i32 [[B]], 2350; CHECK-NEXT: [[D:%.*]] = xor i32 [[C]], [[B]]51; CHECK-NEXT: [[E:%.*]] = and i32 [[D]], 3152; CHECK-NEXT: ret i32 [[E]]53;54 %b = tail call i32 @llvm.fshr.i32(i32 %a, i32 %a, i32 1)55 %c = lshr i32 %b, 2356 %d = xor i32 %c, %b57 %e = and i32 %d, 3158 ret i32 %e59}60 61define i32 @pr39771_expanded_fshr_multi_use(i32 %a) {62; CHECK-LABEL: @pr39771_expanded_fshr_multi_use(63; CHECK-NEXT: [[TMP:%.*]] = lshr i32 [[A:%.*]], 164; CHECK-NEXT: [[TMP2:%.*]] = shl i32 0, 3165; CHECK-NEXT: [[B:%.*]] = or i32 [[TMP]], [[TMP2]]66; CHECK-NEXT: [[C:%.*]] = lshr i32 [[B]], 2367; CHECK-NEXT: [[D:%.*]] = xor i32 [[C]], [[B]]68; CHECK-NEXT: [[E:%.*]] = and i32 [[D]], 3169; CHECK-NEXT: ret i32 [[E]]70;71 %tmp = lshr i32 %a, 172 %tmp2 = shl i32 %a, 3173 %b = or i32 %tmp, %tmp274 %c = lshr i32 %b, 2375 %d = xor i32 %c, %b76 %e = and i32 %d, 3177 ret i32 %e78}79 80; %b operand of %c will be dead initially, but later found live.81define void @dead_use_invalidation(i32 %a) {82; CHECK-LABEL: @dead_use_invalidation(83; CHECK-NEXT: [[B:%.*]] = or i32 [[A:%.*]], 084; CHECK-NEXT: [[C:%.*]] = shl i32 [[B]], 3185; CHECK-NEXT: [[D:%.*]] = and i32 [[C]], 186; CHECK-NEXT: [[E:%.*]] = or i32 [[C]], 087; CHECK-NEXT: [[F:%.*]] = or i32 [[D]], 088; CHECK-NEXT: call void @dummy(i32 [[E]])89; CHECK-NEXT: call void @dummy(i32 [[F]])90; CHECK-NEXT: call void @dummy(i32 [[B]])91; CHECK-NEXT: ret void92;93 %b = or i32 %a, 094 %c = shl i32 %b, 3195 %d = and i32 %c, 196 %e = or i32 %c, 097 %f = or i32 %d, 098 call void @dummy(i32 %e)99 call void @dummy(i32 %f)100 call void @dummy(i32 %b)101 ret void102}103declare void @dummy(i32)104