From 933f9da43dbc38c55d8bb18e9fc3f8766fa29a0b Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Mon, 2 May 2016 15:18:13 +0000 Subject: [PATCH] [InstCombine] regenerate checks llvm-svn: 268241 --- llvm/test/Transforms/InstCombine/div.ll | 314 +++++++++++++++++++------------- 1 file changed, 183 insertions(+), 131 deletions(-) diff --git a/llvm/test/Transforms/InstCombine/div.ll b/llvm/test/Transforms/InstCombine/div.ll index 27a3161..a3befb0 100644 --- a/llvm/test/Transforms/InstCombine/div.ll +++ b/llvm/test/Transforms/InstCombine/div.ll @@ -1,330 +1,384 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; This test makes sure that div instructions are properly eliminated. ; RUN: opt < %s -instcombine -S | FileCheck %s define i32 @test1(i32 %A) { - %B = sdiv i32 %A, 1 ; [#uses=1] - ret i32 %B ; CHECK-LABEL: @test1( -; CHECK-NEXT: ret i32 %A +; CHECK-NEXT: ret i32 %A +; + %B = sdiv i32 %A, 1 ; [#uses=1] + ret i32 %B } define i32 @test2(i32 %A) { ; => Shift - %B = udiv i32 %A, 8 ; [#uses=1] - ret i32 %B ; CHECK-LABEL: @test2( -; CHECK-NEXT: lshr i32 %A, 3 +; CHECK-NEXT: [[B:%.*]] = lshr i32 %A, 3 +; CHECK-NEXT: ret i32 [[B]] +; + %B = udiv i32 %A, 8 ; [#uses=1] + ret i32 %B } define i32 @test3(i32 %A) { ; => 0, don't need to keep traps - %B = sdiv i32 0, %A ; [#uses=1] - ret i32 %B ; CHECK-LABEL: @test3( -; CHECK-NEXT: ret i32 0 +; CHECK-NEXT: ret i32 0 +; + %B = sdiv i32 0, %A ; [#uses=1] + ret i32 %B } define i32 @test4(i32 %A) { ; 0-A - %B = sdiv i32 %A, -1 ; [#uses=1] - ret i32 %B ; CHECK-LABEL: @test4( -; CHECK-NEXT: sub i32 0, %A +; CHECK-NEXT: [[B:%.*]] = sub i32 0, %A +; CHECK-NEXT: ret i32 [[B]] +; + %B = sdiv i32 %A, -1 ; [#uses=1] + ret i32 %B } define i32 @test5(i32 %A) { - %B = udiv i32 %A, -16 ; [#uses=1] - %C = udiv i32 %B, -4 ; [#uses=1] - ret i32 %C ; CHECK-LABEL: @test5( -; CHECK-NEXT: ret i32 0 +; CHECK-NEXT: ret i32 0 +; + %B = udiv i32 %A, -16 ; [#uses=1] + %C = udiv i32 %B, -4 ; [#uses=1] + ret i32 %C } define i1 @test6(i32 %A) { - %B = udiv i32 %A, 123 ; [#uses=1] - ; A < 123 - %C = icmp eq i32 %B, 0 ; [#uses=1] - ret i1 %C ; CHECK-LABEL: @test6( -; CHECK-NEXT: icmp ult i32 %A, 123 +; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 %A, 123 +; CHECK-NEXT: ret i1 [[TMP1]] +; + %B = udiv i32 %A, 123 ; [#uses=1] + ; A < 123 + %C = icmp eq i32 %B, 0 ; [#uses=1] + ret i1 %C } define i1 @test7(i32 %A) { - %B = udiv i32 %A, 10 ; [#uses=1] - ; A >= 20 && A < 30 - %C = icmp eq i32 %B, 2 ; [#uses=1] - ret i1 %C ; CHECK-LABEL: @test7( -; CHECK-NEXT: add i32 %A, -20 -; CHECK-NEXT: icmp ult i32 +; CHECK-NEXT: [[A_OFF:%.*]] = add i32 %A, -20 +; CHECK-NEXT: [[TMP1:%.*]] = icmp ult i32 [[A_OFF]], 10 +; CHECK-NEXT: ret i1 [[TMP1]] +; + %B = udiv i32 %A, 10 ; [#uses=1] + ; A >= 20 && A < 30 + %C = icmp eq i32 %B, 2 ; [#uses=1] + ret i1 %C } define i1 @test8(i8 %A) { - %B = udiv i8 %A, 123 ; [#uses=1] - ; A >= 246 - %C = icmp eq i8 %B, 2 ; [#uses=1] - ret i1 %C ; CHECK-LABEL: @test8( -; CHECK-NEXT: icmp ugt i8 %A, -11 +; CHECK-NEXT: [[C:%.*]] = icmp ugt i8 %A, -11 +; CHECK-NEXT: ret i1 [[C]] +; + %B = udiv i8 %A, 123 ; [#uses=1] + ; A >= 246 + %C = icmp eq i8 %B, 2 ; [#uses=1] + ret i1 %C } define i1 @test9(i8 %A) { - %B = udiv i8 %A, 123 ; [#uses=1] - ; A < 246 - %C = icmp ne i8 %B, 2 ; [#uses=1] - ret i1 %C ; CHECK-LABEL: @test9( -; CHECK-NEXT: icmp ult i8 %A, -10 +; CHECK-NEXT: [[C:%.*]] = icmp ult i8 %A, -10 +; CHECK-NEXT: ret i1 [[C]] +; + %B = udiv i8 %A, 123 ; [#uses=1] + ; A < 246 + %C = icmp ne i8 %B, 2 ; [#uses=1] + ret i1 %C } define i32 @test10(i32 %X, i1 %C) { - %V = select i1 %C, i32 64, i32 8 ; [#uses=1] - %R = udiv i32 %X, %V ; [#uses=1] - ret i32 %R ; CHECK-LABEL: @test10( -; CHECK-NEXT: select i1 %C, i32 6, i32 3 -; CHECK-NEXT: lshr i32 %X +; CHECK-NEXT: [[R_V:%.*]] = select i1 %C, i32 6, i32 3 +; CHECK-NEXT: [[R:%.*]] = lshr i32 %X, [[R:%.*]].v +; CHECK-NEXT: ret i32 [[R]] +; + %V = select i1 %C, i32 64, i32 8 ; [#uses=1] + %R = udiv i32 %X, %V ; [#uses=1] + ret i32 %R } define i32 @test11(i32 %X, i1 %C) { - %A = select i1 %C, i32 1024, i32 32 ; [#uses=1] - %B = udiv i32 %X, %A ; [#uses=1] - ret i32 %B ; CHECK-LABEL: @test11( -; CHECK-NEXT: select i1 %C, i32 10, i32 5 -; CHECK-NEXT: lshr i32 %X +; CHECK-NEXT: [[B_V:%.*]] = select i1 %C, i32 10, i32 5 +; CHECK-NEXT: [[B:%.*]] = lshr i32 %X, [[B:%.*]].v +; CHECK-NEXT: ret i32 [[B]] +; + %A = select i1 %C, i32 1024, i32 32 ; [#uses=1] + %B = udiv i32 %X, %A ; [#uses=1] + ret i32 %B } ; PR2328 define i32 @test12(i32 %x) nounwind { - %tmp3 = udiv i32 %x, %x ; 1 - ret i32 %tmp3 ; CHECK-LABEL: @test12( -; CHECK-NEXT: ret i32 1 +; CHECK-NEXT: ret i32 1 +; + %tmp3 = udiv i32 %x, %x ; 1 + ret i32 %tmp3 } define i32 @test13(i32 %x) nounwind { - %tmp3 = sdiv i32 %x, %x ; 1 - ret i32 %tmp3 ; CHECK-LABEL: @test13( -; CHECK-NEXT: ret i32 1 +; CHECK-NEXT: ret i32 1 +; + %tmp3 = sdiv i32 %x, %x ; 1 + ret i32 %tmp3 } define i32 @test14(i8 %x) nounwind { - %zext = zext i8 %x to i32 - %div = udiv i32 %zext, 257 ; 0 - ret i32 %div ; CHECK-LABEL: @test14( -; CHECK-NEXT: ret i32 0 +; CHECK-NEXT: ret i32 0 +; + %zext = zext i8 %x to i32 + %div = udiv i32 %zext, 257 ; 0 + ret i32 %div } ; PR9814 define i32 @test15(i32 %a, i32 %b) nounwind { +; CHECK-LABEL: @test15( +; CHECK-NEXT: [[TMP1:%.*]] = add i32 %b, -2 +; CHECK-NEXT: [[DIV2:%.*]] = lshr i32 %a, [[TMP1]] +; CHECK-NEXT: ret i32 [[DIV2]] +; %shl = shl i32 1, %b %div = lshr i32 %shl, 2 %div2 = udiv i32 %a, %div ret i32 %div2 -; CHECK-LABEL: @test15( -; CHECK-NEXT: add i32 %b, -2 -; CHECK-NEXT: lshr i32 %a, -; CHECK-NEXT: ret i32 } define <2 x i64> @test16(<2 x i64> %x) nounwind { +; CHECK-LABEL: @test16( +; CHECK-NEXT: [[DIV:%.*]] = udiv <2 x i64> %x, +; CHECK-NEXT: ret <2 x i64> [[DIV]] +; %shr = lshr <2 x i64> %x, %div = udiv <2 x i64> %shr, ret <2 x i64> %div -; CHECK-LABEL: @test16( -; CHECK-NEXT: udiv <2 x i64> %x, -; CHECK-NEXT: ret <2 x i64> } define <2 x i64> @test17(<2 x i64> %x) nounwind { +; CHECK-LABEL: @test17( +; CHECK-NEXT: [[DIV:%.*]] = sdiv <2 x i64> %x, +; CHECK-NEXT: ret <2 x i64> [[DIV]] +; %neg = sub nsw <2 x i64> zeroinitializer, %x %div = sdiv <2 x i64> %neg, ret <2 x i64> %div -; CHECK-LABEL: @test17( -; CHECK-NEXT: sdiv <2 x i64> %x, -; CHECK-NEXT: ret <2 x i64> } define <2 x i64> @test18(<2 x i64> %x) nounwind { +; CHECK-LABEL: @test18( +; CHECK-NEXT: [[DIV:%.*]] = sub <2 x i64> zeroinitializer, %x +; CHECK-NEXT: ret <2 x i64> [[DIV]] +; %div = sdiv <2 x i64> %x, ret <2 x i64> %div -; CHECK-LABEL: @test18( -; CHECK-NEXT: sub <2 x i64> zeroinitializer, %x -; CHECK-NEXT: ret <2 x i64> } define i32 @test19(i32 %x) { +; CHECK-LABEL: @test19( +; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i32 %x, 1 +; CHECK-NEXT: [[A:%.*]] = zext i1 [[TMP1]] to i32 +; CHECK-NEXT: ret i32 [[A]] +; %A = udiv i32 1, %x ret i32 %A -; CHECK-LABEL: @test19( -; CHECK-NEXT: icmp eq i32 %x, 1 -; CHECK-NEXT: zext i1 %{{.*}} to i32 -; CHECK-NEXT: ret i32 } define i32 @test20(i32 %x) { +; CHECK-LABEL: @test20( +; CHECK-NEXT: [[TMP1:%.*]] = add i32 %x, 1 +; CHECK-NEXT: [[TMP2:%.*]] = icmp ult i32 [[TMP1]], 3 +; CHECK-NEXT: [[A:%.*]] = select i1 [[TMP2]], i32 %x, i32 0 +; CHECK-NEXT: ret i32 [[A]] +; %A = sdiv i32 1, %x ret i32 %A -; CHECK-LABEL: @test20( -; CHECK-NEXT: add i32 %x, 1 -; CHECK-NEXT: icmp ult i32 %{{.*}}, 3 -; CHECK-NEXT: select i1 %{{.*}}, i32 %x, i32 {{.*}} -; CHECK-NEXT: ret i32 } define i32 @test21(i32 %a) { +; CHECK-LABEL: @test21( +; CHECK-NEXT: [[DIV:%.*]] = sdiv i32 %a, 3 +; CHECK-NEXT: ret i32 [[DIV]] +; %shl = shl nsw i32 %a, 2 %div = sdiv i32 %shl, 12 ret i32 %div -; CHECK-LABEL: @test21( -; CHECK-NEXT: %div = sdiv i32 %a, 3 -; CHECK-NEXT: ret i32 %div } define i32 @test22(i32 %a) { +; CHECK-LABEL: @test22( +; CHECK-NEXT: [[DIV:%.*]] = sdiv i32 %a, 4 +; CHECK-NEXT: ret i32 [[DIV]] +; %mul = mul nsw i32 %a, 3 %div = sdiv i32 %mul, 12 ret i32 %div -; CHECK-LABEL: @test22( -; CHECK-NEXT: %div = sdiv i32 %a, 4 -; CHECK-NEXT: ret i32 %div } define i32 @test23(i32 %a) { +; CHECK-LABEL: @test23( +; CHECK-NEXT: [[DIV:%.*]] = udiv i32 %a, 3 +; CHECK-NEXT: ret i32 [[DIV]] +; %shl = shl nuw i32 %a, 2 %div = udiv i32 %shl, 12 ret i32 %div -; CHECK-LABEL: @test23( -; CHECK-NEXT: %div = udiv i32 %a, 3 -; CHECK-NEXT: ret i32 %div } define i32 @test24(i32 %a) { +; CHECK-LABEL: @test24( +; CHECK-NEXT: [[DIV:%.*]] = lshr i32 %a, 2 +; CHECK-NEXT: ret i32 [[DIV]] +; %mul = mul nuw i32 %a, 3 %div = udiv i32 %mul, 12 ret i32 %div -; CHECK-LABEL: @test24( -; CHECK-NEXT: %div = lshr i32 %a, 2 -; CHECK-NEXT: ret i32 %div } define i32 @test25(i32 %a) { +; CHECK-LABEL: @test25( +; CHECK-NEXT: [[DIV:%.*]] = shl nsw i32 %a, 1 +; CHECK-NEXT: ret i32 [[DIV]] +; %shl = shl nsw i32 %a, 2 %div = sdiv i32 %shl, 2 ret i32 %div -; CHECK-LABEL: @test25( -; CHECK-NEXT: %div = shl nsw i32 %a, 1 -; CHECK-NEXT: ret i32 %div } define i32 @test26(i32 %a) { +; CHECK-LABEL: @test26( +; CHECK-NEXT: [[DIV:%.*]] = shl nsw i32 %a, 2 +; CHECK-NEXT: ret i32 [[DIV]] +; %mul = mul nsw i32 %a, 12 %div = sdiv i32 %mul, 3 ret i32 %div -; CHECK-LABEL: @test26( -; CHECK-NEXT: %div = shl nsw i32 %a, 2 -; CHECK-NEXT: ret i32 %div } define i32 @test27(i32 %a) { +; CHECK-LABEL: @test27( +; CHECK-NEXT: [[DIV:%.*]] = shl nuw i32 %a, 1 +; CHECK-NEXT: ret i32 [[DIV]] +; %shl = shl nuw i32 %a, 2 %div = udiv i32 %shl, 2 ret i32 %div -; CHECK-LABEL: @test27( -; CHECK-NEXT: %div = shl nuw i32 %a, 1 -; CHECK-NEXT: ret i32 %div } define i32 @test28(i32 %a) { +; CHECK-LABEL: @test28( +; CHECK-NEXT: [[DIV:%.*]] = mul nuw i32 %a, 12 +; CHECK-NEXT: ret i32 [[DIV]] +; %mul = mul nuw i32 %a, 36 %div = udiv i32 %mul, 3 ret i32 %div -; CHECK-LABEL: @test28( -; CHECK-NEXT: %div = mul nuw i32 %a, 12 -; CHECK-NEXT: ret i32 %div } define i32 @test29(i32 %a) { +; CHECK-LABEL: @test29( +; CHECK-NEXT: [[MUL_LOBIT:%.*]] = and i32 %a, 1 +; CHECK-NEXT: ret i32 [[MUL_LOBIT]] +; %mul = shl nsw i32 %a, 31 %div = sdiv i32 %mul, -2147483648 ret i32 %div -; CHECK-LABEL: @test29( -; CHECK-NEXT: %[[and:.*]] = and i32 %a, 1 -; CHECK-NEXT: ret i32 %[[and]] } define i32 @test30(i32 %a) { +; CHECK-LABEL: @test30( +; CHECK-NEXT: ret i32 %a +; %mul = shl nuw i32 %a, 31 %div = udiv i32 %mul, -2147483648 ret i32 %div -; CHECK-LABEL: @test30( -; CHECK-NEXT: ret i32 %a } define <2 x i32> @test31(<2 x i32> %x) { +; CHECK-LABEL: @test31( +; CHECK-NEXT: ret <2 x i32> zeroinitializer +; %shr = lshr <2 x i32> %x, %div = udiv <2 x i32> %shr, ret <2 x i32> %div -; CHECK-LABEL: @test31( -; CHECK-NEXT: ret <2 x i32> zeroinitializer } define i32 @test32(i32 %a, i32 %b) { +; CHECK-LABEL: @test32( +; CHECK-NEXT: [[SHL:%.*]] = shl i32 2, %b +; CHECK-NEXT: [[DIV:%.*]] = lshr i32 [[SHL]], 2 +; CHECK-NEXT: [[DIV2:%.*]] = udiv i32 %a, [[DIV]] +; CHECK-NEXT: ret i32 [[DIV2]] +; %shl = shl i32 2, %b %div = lshr i32 %shl, 2 %div2 = udiv i32 %a, %div ret i32 %div2 -; CHECK-LABEL: @test32( -; CHECK-NEXT: %[[shl:.*]] = shl i32 2, %b -; CHECK-NEXT: %[[shr:.*]] = lshr i32 %[[shl]], 2 -; CHECK-NEXT: %[[div:.*]] = udiv i32 %a, %[[shr]] -; CHECK-NEXT: ret i32 } define <2 x i64> @test33(<2 x i64> %x) nounwind { +; CHECK-LABEL: @test33( +; CHECK-NEXT: [[DIV:%.*]] = udiv exact <2 x i64> %x, +; CHECK-NEXT: ret <2 x i64> [[DIV]] +; %shr = lshr exact <2 x i64> %x, %div = udiv exact <2 x i64> %shr, ret <2 x i64> %div -; CHECK-LABEL: @test33( -; CHECK-NEXT: udiv exact <2 x i64> %x, -; CHECK-NEXT: ret <2 x i64> } define <2 x i64> @test34(<2 x i64> %x) nounwind { +; CHECK-LABEL: @test34( +; CHECK-NEXT: [[DIV:%.*]] = sdiv exact <2 x i64> %x, +; CHECK-NEXT: ret <2 x i64> [[DIV]] +; %neg = sub nsw <2 x i64> zeroinitializer, %x %div = sdiv exact <2 x i64> %neg, ret <2 x i64> %div -; CHECK-LABEL: @test34( -; CHECK-NEXT: sdiv exact <2 x i64> %x, -; CHECK-NEXT: ret <2 x i64> } define i32 @test35(i32 %A) { +; CHECK-LABEL: @test35( +; CHECK-NEXT: [[AND:%.*]] = and i32 %A, 2147483647 +; CHECK-NEXT: [[MUL:%.*]] = udiv exact i32 [[AND]], 2147483647 +; CHECK-NEXT: ret i32 [[MUL]] +; %and = and i32 %A, 2147483647 %mul = sdiv exact i32 %and, 2147483647 ret i32 %mul -; CHECK-LABEL: @test35( -; CHECK-NEXT: %[[and:.*]] = and i32 %A, 2147483647 -; CHECK-NEXT: %[[udiv:.*]] = udiv exact i32 %[[and]], 2147483647 -; CHECK-NEXT: ret i32 %[[udiv]] } define i32 @test36(i32 %A) { +; CHECK-LABEL: @test36( +; CHECK-NEXT: [[AND:%.*]] = and i32 %A, 2147483647 +; CHECK-NEXT: [[MUL:%.*]] = lshr exact i32 [[AND]], %A +; CHECK-NEXT: ret i32 [[MUL]] +; %and = and i32 %A, 2147483647 %shl = shl nsw i32 1, %A %mul = sdiv exact i32 %and, %shl ret i32 %mul -; CHECK-LABEL: @test36( -; CHECK-NEXT: %[[and:.*]] = and i32 %A, 2147483647 -; CHECK-NEXT: %[[shr:.*]] = lshr exact i32 %[[and]], %A -; CHECK-NEXT: ret i32 %[[shr]] } define i32 @test37(i32* %b) { +; CHECK-LABEL: @test37( +; CHECK-NEXT: entry: +; CHECK-NEXT: store i32 0, i32* %b, align 4 +; CHECK-NEXT: br i1 undef, label %lor.rhs, label %lor.end +; CHECK: lor.rhs: +; CHECK-NEXT: br label %lor.end +; CHECK: lor.end: +; CHECK-NEXT: ret i32 0 +; entry: store i32 0, i32* %b, align 4 %0 = load i32, i32* %b, align 4 @@ -338,6 +392,4 @@ lor.end: ; preds = %lor.rhs, %entry %t.0 = phi i32 [ %0, %entry ], [ %mul, %lor.rhs ] %div = sdiv i32 %t.0, 2 ret i32 %div -; CHECK-LABEL: @test37( -; CHECK: ret i32 0 } -- 2.7.4