From 5f5bb0365d6f370b67eb81351f8cb9551c267a70 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Sat, 25 Jun 2016 17:39:10 +0000 Subject: [PATCH] update tests to use FileCheck git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@273784 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/or-to-xor.ll | 81 ++++++++++++++---------- 1 file changed, 47 insertions(+), 34 deletions(-) diff --git a/test/Transforms/InstCombine/or-to-xor.ll b/test/Transforms/InstCombine/or-to-xor.ll index 8847cb73281..84567906f84 100644 --- a/test/Transforms/InstCombine/or-to-xor.ll +++ b/test/Transforms/InstCombine/or-to-xor.ll @@ -1,42 +1,55 @@ -; RUN: opt < %s -instcombine -S | grep "xor i32 %a, %b" | count 4 -; RUN: opt < %s -instcombine -S | not grep "and" +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -instcombine -S | FileCheck %s -define i32 @func1(i32 %a, i32 %b) nounwind readnone { -entry: - %b_not = xor i32 %b, -1 - %0 = and i32 %a, %b_not - %a_not = xor i32 %a, -1 - %1 = and i32 %a_not, %b - %2 = or i32 %0, %1 - ret i32 %2 +define i32 @func1(i32 %a, i32 %b) { +; CHECK-LABEL: @func1( +; CHECK-NEXT: [[T2:%.*]] = xor i32 %a, %b +; CHECK-NEXT: ret i32 [[T2]] +; + %b_not = xor i32 %b, -1 + %t0 = and i32 %a, %b_not + %a_not = xor i32 %a, -1 + %t1 = and i32 %a_not, %b + %t2 = or i32 %t0, %t1 + ret i32 %t2 } -define i32 @func2(i32 %a, i32 %b) nounwind readnone { -entry: - %b_not = xor i32 %b, -1 - %0 = and i32 %b_not, %a - %a_not = xor i32 %a, -1 - %1 = and i32 %a_not, %b - %2 = or i32 %0, %1 - ret i32 %2 +define i32 @func2(i32 %a, i32 %b) { +; CHECK-LABEL: @func2( +; CHECK-NEXT: [[T2:%.*]] = xor i32 %a, %b +; CHECK-NEXT: ret i32 [[T2]] +; + %b_not = xor i32 %b, -1 + %t0 = and i32 %b_not, %a + %a_not = xor i32 %a, -1 + %t1 = and i32 %a_not, %b + %t2 = or i32 %t0, %t1 + ret i32 %t2 } -define i32 @func3(i32 %a, i32 %b) nounwind readnone { -entry: - %b_not = xor i32 %b, -1 - %0 = and i32 %a, %b_not - %a_not = xor i32 %a, -1 - %1 = and i32 %b, %a_not - %2 = or i32 %0, %1 - ret i32 %2 +define i32 @func3(i32 %a, i32 %b) { +; CHECK-LABEL: @func3( +; CHECK-NEXT: [[T2:%.*]] = xor i32 %a, %b +; CHECK-NEXT: ret i32 [[T2]] +; + %b_not = xor i32 %b, -1 + %t0 = and i32 %a, %b_not + %a_not = xor i32 %a, -1 + %t1 = and i32 %b, %a_not + %t2 = or i32 %t0, %t1 + ret i32 %t2 } -define i32 @func4(i32 %a, i32 %b) nounwind readnone { -entry: - %b_not = xor i32 %b, -1 - %0 = and i32 %b_not, %a - %a_not = xor i32 %a, -1 - %1 = and i32 %b, %a_not - %2 = or i32 %0, %1 - ret i32 %2 +define i32 @func4(i32 %a, i32 %b) { +; CHECK-LABEL: @func4( +; CHECK-NEXT: [[T2:%.*]] = xor i32 %a, %b +; CHECK-NEXT: ret i32 [[T2]] +; + %b_not = xor i32 %b, -1 + %t0 = and i32 %b_not, %a + %a_not = xor i32 %a, -1 + %t1 = and i32 %b, %a_not + %t2 = or i32 %t0, %t1 + ret i32 %t2 } +