From ca7f4d8b85b0e1f2f7ab4afab8a31b6aee5964cb Mon Sep 17 00:00:00 2001 From: Roman Lebedev Date: Mon, 21 Oct 2019 18:35:26 +0000 Subject: [PATCH] [NFC][CVP] Add `shl` no-wrap deduction test coverage llvm-svn: 375441 --- .../Transforms/CorrelatedValuePropagation/shl.ll | 378 +++++++++++++++++++++ 1 file changed, 378 insertions(+) create mode 100644 llvm/test/Transforms/CorrelatedValuePropagation/shl.ll diff --git a/llvm/test/Transforms/CorrelatedValuePropagation/shl.ll b/llvm/test/Transforms/CorrelatedValuePropagation/shl.ll new file mode 100644 index 0000000..81d26c9 --- /dev/null +++ b/llvm/test/Transforms/CorrelatedValuePropagation/shl.ll @@ -0,0 +1,378 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -correlated-propagation -cvp-dont-add-nowrap-flags=false -S | FileCheck %s + +define i8 @test0(i8 %a, i8 %b) { +; CHECK-LABEL: @test0( +; CHECK-NEXT: [[SHL:%.*]] = shl i8 [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: ret i8 [[SHL]] +; + %shl = shl i8 %a, %b + ret i8 %shl +} + +define i8 @test1(i8 %a, i8 %b) { +; CHECK-LABEL: @test1( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 8 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 [[A:%.*]], [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 8 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 %a, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test2(i8 %a, i8 %b) { +; CHECK-LABEL: @test2( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 9 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 [[A:%.*]], [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 9 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 %a, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test3(i8 %a, i8 %b) { +; CHECK-LABEL: @test3( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[B:%.*]], 6 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 [[A:%.*]], [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ugt i8 %b, 6 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 %a, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test4(i8 %a, i8 %b) { +; CHECK-LABEL: @test4( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[B:%.*]], 7 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 [[A:%.*]], [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ugt i8 %b, 7 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 %a, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test5(i8 %b) { +; CHECK-LABEL: @test5( +; CHECK-NEXT: [[SHL:%.*]] = shl i8 0, [[B:%.*]] +; CHECK-NEXT: ret i8 [[SHL]] +; + %shl = shl i8 0, %b + ret i8 %shl +} + +define i8 @test6(i8 %b) { +; CHECK-LABEL: @test6( +; CHECK-NEXT: [[SHL:%.*]] = shl i8 1, [[B:%.*]] +; CHECK-NEXT: ret i8 [[SHL]] +; + %shl = shl i8 1, %b + ret i8 %shl +} + +define i8 @test7(i8 %b) { +; CHECK-LABEL: @test7( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 7 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 1, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 7 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 1, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test8(i8 %b) { +; CHECK-LABEL: @test8( +; CHECK-NEXT: [[SHL:%.*]] = shl i8 -1, [[B:%.*]] +; CHECK-NEXT: ret i8 [[SHL]] +; + %shl = shl i8 -1, %b + ret i8 %shl +} + +define i8 @test9(i8 %b) { +; CHECK-LABEL: @test9( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[B:%.*]], 0 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 -1, [[B]] +; CHECK-NEXT: ret i8 -1 +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp eq i8 %b, 0 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 -1, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test10(i8 %b) { +; CHECK-LABEL: @test10( +; CHECK-NEXT: [[SHL:%.*]] = shl i8 42, [[B:%.*]] +; CHECK-NEXT: ret i8 [[SHL]] +; + %shl = shl i8 42, %b + ret i8 %shl +} + +define i8 @test11(i8 %b) { +; CHECK-LABEL: @test11( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 2 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 2 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 42, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test12(i8 %b) { +; CHECK-LABEL: @test12( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 3 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 3 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 42, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test13(i8 %b) { +; CHECK-LABEL: @test13( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 4 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 4 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 42, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test14(i8 %b) { +; CHECK-LABEL: @test14( +; CHECK-NEXT: [[SHL:%.*]] = shl i8 -42, [[B:%.*]] +; CHECK-NEXT: ret i8 [[SHL]] +; + %shl = shl i8 -42, %b + ret i8 %shl +} + +define i8 @test15(i8 %b) { +; CHECK-LABEL: @test15( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 2 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 -42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 2 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 -42, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test16(i8 %b) { +; CHECK-LABEL: @test16( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8 [[B:%.*]], 3 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 -42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp ult i8 %b, 3 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 -42, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test17(i8 %b) { +; CHECK-LABEL: @test17( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[B:%.*]], 2 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp slt i8 %b, 2 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 42, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test18(i8 %b) { +; CHECK-LABEL: @test18( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[B:%.*]], 3 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp slt i8 %b, 3 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 42, %b + ret i8 %shl + +exit: + ret i8 0 +} + +define i8 @test19(i8 %b) { +; CHECK-LABEL: @test19( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[CMP:%.*]] = icmp slt i8 [[B:%.*]], 4 +; CHECK-NEXT: br i1 [[CMP]], label [[BB:%.*]], label [[EXIT:%.*]] +; CHECK: bb: +; CHECK-NEXT: [[SHL:%.*]] = shl i8 42, [[B]] +; CHECK-NEXT: ret i8 [[SHL]] +; CHECK: exit: +; CHECK-NEXT: ret i8 0 +; +entry: + %cmp = icmp slt i8 %b, 4 + br i1 %cmp, label %bb, label %exit + +bb: + %shl = shl i8 42, %b + ret i8 %shl + +exit: + ret i8 0 +} -- 2.7.4