1 files changed, 0 insertions, 459 deletions
diff --git a/llvm/test/Transforms/InstCombine/unrecognized_three-way-comparison.ll b/llvm/test/Transforms/InstCombine/unrecognized_three-way-comparison.ll
deleted file mode 100644
index dcd046e6760..00000000000
--- a/llvm/test/Transforms/InstCombine/unrecognized_three-way-comparison.ll
+++ /dev/null
@@ -1,459 +0,0 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instcombine -S | FileCheck %s
-
-target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
-
-declare void @foo(i32 %x)
-
-define i32 @compare_against_arbitrary_value(i32 %x, i32 %c) {
-; CHECK-LABEL: @compare_against_arbitrary_value(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], [[C:%.*]]
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, %c
-  %cmp2 = icmp slt i32 %x, %c
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_zero(i32 %x) {
-; CHECK-LABEL: @compare_against_zero(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 0
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 0
-  %cmp2 = icmp slt i32 %x, 0
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_one(i32 %x) {
-; CHECK-LABEL: @compare_against_one(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 1
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 1
-  %cmp2 = icmp slt i32 %x, 1
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_two(i32 %x) {
-; CHECK-LABEL: @compare_against_two(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 2
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 2
-  %cmp2 = icmp slt i32 %x, 2
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_three(i32 %x) {
-; CHECK-LABEL: @compare_against_three(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 3
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 3
-  %cmp2 = icmp slt i32 %x, 3
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_four(i32 %x) {
-; CHECK-LABEL: @compare_against_four(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 4
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 4
-  %cmp2 = icmp slt i32 %x, 4
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_five(i32 %x) {
-; CHECK-LABEL: @compare_against_five(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 5
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 5
-  %cmp2 = icmp slt i32 %x, 5
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_six(i32 %x) {
-; CHECK-LABEL: @compare_against_six(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 6
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 6
-  %cmp2 = icmp slt i32 %x, 6
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-; Same as @compare_against_arbitrary_value, but now the three-way comparison
-; returns not idiomatic comparator's result (-1, 0, 1) but some other constants.
-define i32 @compare_against_arbitrary_value_non_idiomatic_1(i32 %x, i32 %c) {
-; CHECK-LABEL: @compare_against_arbitrary_value_non_idiomatic_1(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], [[C:%.*]]
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 425)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, %c
-  %cmp2 = icmp slt i32 %x, %c
-  %select1 = select i1 %cmp2, i32 -6, i32 425
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_zero_non_idiomatic_add(i32 %x) {
-; CHECK-LABEL: @compare_against_zero_non_idiomatic_add(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 0
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 425)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 0
-  %cmp2 = icmp slt i32 %x, 0
-  %select1 = select i1 %cmp2, i32 -6, i32 425
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-; Same as @compare_against_arbitrary_value, but now the three-way comparison
-; returns not idiomatic comparator's result (-1, 0, 1) but some other constants.
-define i32 @compare_against_arbitrary_value_non_idiomatic_2(i32 %x, i32 %c) {
-; CHECK-LABEL: @compare_against_arbitrary_value_non_idiomatic_2(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], [[C:%.*]]
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 425)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, %c
-  %cmp2 = icmp slt i32 %x, %c
-  %select1 = select i1 %cmp2, i32 -5, i32 425
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_zero_non_idiomatic_or(i32 %x) {
-; CHECK-LABEL: @compare_against_zero_non_idiomatic_or(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i32 [[X:%.*]], 0
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 425)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i32 %x, 0
-  %cmp2 = icmp slt i32 %x, 0
-  %select1 = select i1 %cmp2, i32 -5, i32 425
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_arbitrary_value_type_mismatch(i64 %x, i64 %c) {
-; CHECK-LABEL: @compare_against_arbitrary_value_type_mismatch(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i64 [[X:%.*]], [[C:%.*]]
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i64 %x, %c
-  %cmp2 = icmp slt i64 %x, %c
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_zero_type_mismatch_idiomatic(i64 %x) {
-; CHECK-LABEL: @compare_against_zero_type_mismatch_idiomatic(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i64 [[X:%.*]], 0
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i64 %x, 0
-  %cmp2 = icmp slt i64 %x, 0
-  %select1 = select i1 %cmp2, i32 -1, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_zero_type_mismatch_non_idiomatic_1(i64 %x) {
-; CHECK-LABEL: @compare_against_zero_type_mismatch_non_idiomatic_1(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i64 [[X:%.*]], 0
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i64 %x, 0
-  %cmp2 = icmp slt i64 %x, 0
-  %select1 = select i1 %cmp2, i32 -7, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-
-define i32 @compare_against_zero_type_mismatch_non_idiomatic_2(i64 %x) {
-; CHECK-LABEL: @compare_against_zero_type_mismatch_non_idiomatic_2(
-; CHECK-NEXT:  entry:
-; CHECK-NEXT:    [[TMP0:%.*]] = icmp sgt i64 [[X:%.*]], 0
-; CHECK-NEXT:    br i1 [[TMP0]], label [[CALLFOO:%.*]], label [[EXIT:%.*]]
-; CHECK:       callfoo:
-; CHECK-NEXT:    call void @foo(i32 1)
-; CHECK-NEXT:    br label [[EXIT]]
-; CHECK:       exit:
-; CHECK-NEXT:    ret i32 42
-;
-
-entry:
-  %cmp1 = icmp eq i64 %x, 0
-  %cmp2 = icmp slt i64 %x, 0
-  %select1 = select i1 %cmp2, i32 -6, i32 1
-  %select2 = select i1 %cmp1, i32 0, i32 %select1
-  %cond = icmp sgt i32 %select2, 0
-  br i1 %cond, label %callfoo, label %exit
-
-callfoo:
-  call void @foo(i32 %select2)
-  br label %exit
-
-exit:
-  ret i32 42
-}
-