From 2913e8c9befabaaffd8f42e2bc3fa769b18aedc9 Mon Sep 17 00:00:00 2001
From: Sanjay Patel <spatel@rotateright.com>
Date: Sat, 16 Jul 2016 16:24:06 +0000
Subject: [PATCH] auto-ggenerate checks

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@275685 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/InstCombine/cast-set.ll | 89 +++++++++++++------------
 1 file changed, 47 insertions(+), 42 deletions(-)

diff --git a/test/Transforms/InstCombine/cast-set.ll b/test/Transforms/InstCombine/cast-set.ll
index 8f19bdcdfde..6da6dc3236c 100644
--- a/test/Transforms/InstCombine/cast-set.ll
+++ b/test/Transforms/InstCombine/cast-set.ll
@@ -1,72 +1,77 @@
-; This tests for various complex cast elimination cases instcombine should
-; handle.
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -instcombine -S | FileCheck %s
 
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
 
-; RUN: opt < %s -instcombine -S | FileCheck %s
-
 define i1 @test1(i32 %X) {
-        %A = bitcast i32 %X to i32              ; <i32> [#uses=1]
-        ; Convert to setne int %X, 12
-        %c = icmp ne i32 %A, 12         ; <i1> [#uses=1]
-        ret i1 %c
 ; CHECK-LABEL: @test1(
-; CHECK: %c = icmp ne i32 %X, 12
-; CHECK: ret i1 %c
+; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 %X, 12
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %A = bitcast i32 %X to i32
+  ; Convert to setne int %X, 12
+  %c = icmp ne i32 %A, 12
+  ret i1 %c
 }
 
 define i1 @test2(i32 %X, i32 %Y) {
-        %A = bitcast i32 %X to i32              ; <i32> [#uses=1]
-        %B = bitcast i32 %Y to i32              ; <i32> [#uses=1]
-        ; Convert to setne int %X, %Y
-        %c = icmp ne i32 %A, %B         ; <i1> [#uses=1]
-        ret i1 %c
 ; CHECK-LABEL: @test2(
-; CHECK: %c = icmp ne i32 %X, %Y
-; CHECK: ret i1 %c
+; CHECK-NEXT:    [[C:%.*]] = icmp ne i32 %X, %Y
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %A = bitcast i32 %X to i32
+  %B = bitcast i32 %Y to i32
+  ; Convert to setne int %X, %Y
+  %c = icmp ne i32 %A, %B
+  ret i1 %c
 }
 
 define i32 @test4(i32 %A) {
-        %B = bitcast i32 %A to i32              ; <i32> [#uses=1]
-        %C = shl i32 %B, 2              ; <i32> [#uses=1]
-        %D = bitcast i32 %C to i32              ; <i32> [#uses=1]
-        ret i32 %D
 ; CHECK-LABEL: @test4(
-; CHECK: %C = shl i32 %A, 2
-; CHECK: ret i32 %C
+; CHECK-NEXT:    [[C:%.*]] = shl i32 %A, 2
+; CHECK-NEXT:    ret i32 [[C]]
+;
+  %B = bitcast i32 %A to i32
+  %C = shl i32 %B, 2
+  %D = bitcast i32 %C to i32
+  ret i32 %D
 }
 
 define i16 @test5(i16 %A) {
-        %B = sext i16 %A to i32         ; <i32> [#uses=1]
-        %C = and i32 %B, 15             ; <i32> [#uses=1]
-        %D = trunc i32 %C to i16                ; <i16> [#uses=1]
-        ret i16 %D
 ; CHECK-LABEL: @test5(
-; CHECK: %C = and i16 %A, 15
-; CHECK: ret i16 %C
+; CHECK-NEXT:    [[C:%.*]] = and i16 %A, 15
+; CHECK-NEXT:    ret i16 [[C]]
+;
+  %B = sext i16 %A to i32
+  %C = and i32 %B, 15
+  %D = trunc i32 %C to i16
+  ret i16 %D
 }
 
 define i1 @test6(i1 %A) {
-        %B = zext i1 %A to i32          ; <i32> [#uses=1]
-        %C = icmp ne i32 %B, 0          ; <i1> [#uses=1]
-        ret i1 %C
 ; CHECK-LABEL: @test6(
-; CHECK: ret i1 %A
+; CHECK-NEXT:    ret i1 %A
+;
+  %B = zext i1 %A to i32
+  %C = icmp ne i32 %B, 0
+  ret i1 %C
 }
 
 define i1 @test6a(i1 %A) {
-        %B = zext i1 %A to i32          ; <i32> [#uses=1]
-        %C = icmp ne i32 %B, -1         ; <i1> [#uses=1]
-        ret i1 %C
 ; CHECK-LABEL: @test6a(
-; CHECK: ret i1 true
+; CHECK-NEXT:    ret i1 true
+;
+  %B = zext i1 %A to i32
+  %C = icmp ne i32 %B, -1
+  ret i1 %C
 }
 
 define i1 @test7(i8* %A) {
-        %B = bitcast i8* %A to i32*             ; <i32*> [#uses=1]
-        %C = icmp eq i32* %B, null              ; <i1> [#uses=1]
-        ret i1 %C
 ; CHECK-LABEL: @test7(
-; CHECK: %C = icmp eq i8* %A, null
-; CHECK: ret i1 %C
+; CHECK-NEXT:    [[C:%.*]] = icmp eq i8* %A, null
+; CHECK-NEXT:    ret i1 [[C]]
+;
+  %B = bitcast i8* %A to i32*
+  %C = icmp eq i32* %B, null
+  ret i1 %C
 }