[llvm] r271904 - regenerate checks

Sanjay Patel via llvm-commits llvm-commits at lists.llvm.org
Mon Jun 6 09:03:07 PDT 2016


Author: spatel
Date: Mon Jun  6 11:03:06 2016
New Revision: 271904

URL: http://llvm.org/viewvc/llvm-project?rev=271904&view=rev
Log:
regenerate checks

Modified:
    llvm/trunk/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll

Modified: llvm/trunk/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll?rev=271904&r1=271903&r2=271904&view=diff
==============================================================================
--- llvm/trunk/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll (original)
+++ llvm/trunk/test/Transforms/InstCombine/2004-11-27-SetCCForCastLargerAndConstant.ll Mon Jun  6 11:03:06 2016
@@ -1,6 +1,7 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; This test case tests the InstructionCombining optimization that
 ; reduces things like:
-;   %Y = sext i8 %X to i32 
+;   %Y = sext i8 %X to i32
 ;   %C = icmp ult i32 %Y, 1024
 ; to
 ;   %C = i1 true
@@ -10,183 +11,231 @@
 ; constant value and the range of the casted value.
 ;
 ; RUN: opt < %s -instcombine -S | FileCheck %s
-; END.
+
 define i1 @lt_signed_to_large_unsigned(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp ult i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C1 = icmp sgt i8 %SB, -1
-; CHECK: ret i1 %C1
+; CHECK-LABEL: @lt_signed_to_large_unsigned(
+; CHECK-NEXT:    [[C1:%.*]] = icmp sgt i8 %SB, -1
+; CHECK-NEXT:    ret i1 [[C1]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp ult i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @lt_signed_to_large_signed(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp slt i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 true
+; CHECK-LABEL: @lt_signed_to_large_signed(
+; CHECK-NEXT:    ret i1 true
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp slt i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @lt_signed_to_large_negative(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp slt i32 %Y, -1024             ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 false
+; CHECK-LABEL: @lt_signed_to_large_negative(
+; CHECK-NEXT:    ret i1 false
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp slt i32 %Y, -1024
+  ret i1 %C
 }
 
 define i1 @lt_signed_to_small_unsigned(i8 %SB) {
-        %Y = sext i8 %SB to i32
-        %C = icmp ult i32 %Y, 17
-        ret i1 %C
-; CHECK: %C = icmp ult i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @lt_signed_to_small_unsigned(
+; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp ult i32 %Y, 17
+  ret i1 %C
 }
 
 define i1 @lt_signed_to_small_signed(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp slt i32 %Y, 17                ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C = icmp slt i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @lt_signed_to_small_signed(
+; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp slt i32 %Y, 17
+  ret i1 %C
 }
 define i1 @lt_signed_to_small_negative(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp slt i32 %Y, -17               ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C = icmp slt i8 %SB, -17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @lt_signed_to_small_negative(
+; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 %SB, -17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp slt i32 %Y, -17
+  ret i1 %C
 }
 
 define i1 @lt_unsigned_to_large_unsigned(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp ult i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 true
+; CHECK-LABEL: @lt_unsigned_to_large_unsigned(
+; CHECK-NEXT:    ret i1 true
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp ult i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @lt_unsigned_to_large_signed(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp slt i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 true
+; CHECK-LABEL: @lt_unsigned_to_large_signed(
+; CHECK-NEXT:    ret i1 true
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp slt i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @lt_unsigned_to_large_negative(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp slt i32 %Y, -1024             ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 false
+; CHECK-LABEL: @lt_unsigned_to_large_negative(
+; CHECK-NEXT:    ret i1 false
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp slt i32 %Y, -1024
+  ret i1 %C
 }
 
 define i1 @lt_unsigned_to_small_unsigned(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp ult i32 %Y, 17                ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C = icmp ult i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @lt_unsigned_to_small_unsigned(
+; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp ult i32 %Y, 17
+  ret i1 %C
 }
 
 define i1 @lt_unsigned_to_small_signed(i8 %SB) {
-        %Y = zext i8 %SB to i32
-        %C = icmp slt i32 %Y, 17
-        ret i1 %C
-; CHECK: %C = icmp ult i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @lt_unsigned_to_small_signed(
+; CHECK-NEXT:    [[C:%.*]] = icmp ult i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp slt i32 %Y, 17
+  ret i1 %C
 }
 
 define i1 @lt_unsigned_to_small_negative(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp slt i32 %Y, -17               ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 false
+; CHECK-LABEL: @lt_unsigned_to_small_negative(
+; CHECK-NEXT:    ret i1 false
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp slt i32 %Y, -17
+  ret i1 %C
 }
 
 define i1 @gt_signed_to_large_unsigned(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp ugt i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C = icmp slt i8 %SB, 0
-; CHECK: ret i1 %C
+; CHECK-LABEL: @gt_signed_to_large_unsigned(
+; CHECK-NEXT:    [[C:%.*]] = icmp slt i8 %SB, 0
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp ugt i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @gt_signed_to_large_signed(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp sgt i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 false
+; CHECK-LABEL: @gt_signed_to_large_signed(
+; CHECK-NEXT:    ret i1 false
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp sgt i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @gt_signed_to_large_negative(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp sgt i32 %Y, -1024             ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 true
+; CHECK-LABEL: @gt_signed_to_large_negative(
+; CHECK-NEXT:    ret i1 true
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp sgt i32 %Y, -1024
+  ret i1 %C
 }
 
 define i1 @gt_signed_to_small_unsigned(i8 %SB) {
-        %Y = sext i8 %SB to i32
-        %C = icmp ugt i32 %Y, 17
-        ret i1 %C
-; CHECK: %C = icmp ugt i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @gt_signed_to_small_unsigned(
+; CHECK-NEXT:    [[C:%.*]] = icmp ugt i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp ugt i32 %Y, 17
+  ret i1 %C
 }
 
 define i1 @gt_signed_to_small_signed(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp sgt i32 %Y, 17                ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C = icmp sgt i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @gt_signed_to_small_signed(
+; CHECK-NEXT:    [[C:%.*]] = icmp sgt i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp sgt i32 %Y, 17
+  ret i1 %C
 }
 
 define i1 @gt_signed_to_small_negative(i8 %SB) {
-        %Y = sext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp sgt i32 %Y, -17               ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C = icmp sgt i8 %SB, -17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @gt_signed_to_small_negative(
+; CHECK-NEXT:    [[C:%.*]] = icmp sgt i8 %SB, -17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = sext i8 %SB to i32
+  %C = icmp sgt i32 %Y, -17
+  ret i1 %C
 }
 
 define i1 @gt_unsigned_to_large_unsigned(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp ugt i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 false
+; CHECK-LABEL: @gt_unsigned_to_large_unsigned(
+; CHECK-NEXT:    ret i1 false
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp ugt i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @gt_unsigned_to_large_signed(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp sgt i32 %Y, 1024              ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 false
+; CHECK-LABEL: @gt_unsigned_to_large_signed(
+; CHECK-NEXT:    ret i1 false
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp sgt i32 %Y, 1024
+  ret i1 %C
 }
 
 define i1 @gt_unsigned_to_large_negative(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp sgt i32 %Y, -1024             ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 true
+; CHECK-LABEL: @gt_unsigned_to_large_negative(
+; CHECK-NEXT:    ret i1 true
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp sgt i32 %Y, -1024
+  ret i1 %C
 }
 
 define i1 @gt_unsigned_to_small_unsigned(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp ugt i32 %Y, 17                ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: %C = icmp ugt i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @gt_unsigned_to_small_unsigned(
+; CHECK-NEXT:    [[C:%.*]] = icmp ugt i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp ugt i32 %Y, 17
+  ret i1 %C
 }
 
 define i1 @gt_unsigned_to_small_signed(i8 %SB) {
-        %Y = zext i8 %SB to i32
-        %C = icmp sgt i32 %Y, 17
-        ret i1 %C
-; CHECK: %C = icmp ugt i8 %SB, 17
-; CHECK: ret i1 %C
+; CHECK-LABEL: @gt_unsigned_to_small_signed(
+; CHECK-NEXT:    [[C:%.*]] = icmp ugt i8 %SB, 17
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp sgt i32 %Y, 17
+  ret i1 %C
 }
 
 define i1 @gt_unsigned_to_small_negative(i8 %SB) {
-        %Y = zext i8 %SB to i32         ; <i32> [#uses=1]
-        %C = icmp sgt i32 %Y, -17               ; <i1> [#uses=1]
-        ret i1 %C
-; CHECK: ret i1 true
+; CHECK-LABEL: @gt_unsigned_to_small_negative(
+; CHECK-NEXT:    ret i1 true
+;
+  %Y = zext i8 %SB to i32
+  %C = icmp sgt i32 %Y, -17
+  ret i1 %C
 }
 




More information about the llvm-commits mailing list