From cefb67466a444900ce3489956eff01d8b426edcd Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Mon, 20 Jun 2016 18:23:40 +0000 Subject: [PATCH] [InstCombine] update to use FileCheck with autogenerated exact checking git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@273180 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../InstCombine/2007-11-22-IcmpCrash.ll | 31 +++++++++++++------ 1 file changed, 22 insertions(+), 9 deletions(-) diff --git a/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll b/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll index f71b99ce1a4..c476bef70e5 100644 --- a/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll +++ b/test/Transforms/InstCombine/2007-11-22-IcmpCrash.ll @@ -1,16 +1,29 @@ -; RUN: opt < %s -instcombine -disable-output +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s ; PR1817 define i1 @test1(i32 %X) { - %A = icmp slt i32 %X, 10 - %B = icmp ult i32 %X, 10 - %C = and i1 %A, %B - ret i1 %C +; CHECK-LABEL: @test1( +; CHECK-NEXT: [[A:%.*]] = icmp slt i32 %X, 10 +; CHECK-NEXT: [[B:%.*]] = icmp ult i32 %X, 10 +; CHECK-NEXT: [[C:%.*]] = and i1 [[A]], [[B]] +; CHECK-NEXT: ret i1 [[C]] +; + %A = icmp slt i32 %X, 10 + %B = icmp ult i32 %X, 10 + %C = and i1 %A, %B + ret i1 %C } define i1 @test2(i32 %X) { - %A = icmp slt i32 %X, 10 - %B = icmp ult i32 %X, 10 - %C = or i1 %A, %B - ret i1 %C +; CHECK-LABEL: @test2( +; CHECK-NEXT: [[A:%.*]] = icmp slt i32 %X, 10 +; CHECK-NEXT: [[B:%.*]] = icmp ult i32 %X, 10 +; CHECK-NEXT: [[C:%.*]] = or i1 [[A]], [[B]] +; CHECK-NEXT: ret i1 [[C]] +; + %A = icmp slt i32 %X, 10 + %B = icmp ult i32 %X, 10 + %C = or i1 %A, %B + ret i1 %C } -- 2.50.1