[InstCombine] use FileCheck for better checking

(testing script for autogeneration of check lines)

llvm-svn: 264437
This commit is contained in:
Sanjay Patel 2016-03-25 18:03:17 +00:00
parent d5af95efdf
commit d3d1179463
1 changed files with 42 additions and 23 deletions
llvm/test/Transforms/InstCombine

View File

@ -1,39 +1,58 @@
; RUN: opt < %s -instcombine -S | grep "and i32 %a, 1" | count 4
; RUN: opt < %s -instcombine -S | grep "or i32 %0, %b" | count 4
; NOTE: Assertions have been autogenerated by update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s
define i32 @func1(i32 %a, i32 %b) nounwind readnone {
define i32 @func1(i32 %a, i32 %b) {
; CHECK-LABEL: @func1(
; CHECK: [[TMP0:%.*]] = and i32 %a, 1
; CHECK-NEXT: [[TMP1:%.*]] = or i32 [[TMP0]], %b
; CHECK-NEXT: ret i32 [[TMP1]]
;
entry:
%0 = or i32 %b, %a ; <i32> [#uses=1]
%1 = and i32 %0, 1 ; <i32> [#uses=1]
%2 = and i32 %b, -2 ; <i32> [#uses=1]
%3 = or i32 %1, %2 ; <i32> [#uses=1]
%0 = or i32 %b, %a
%1 = and i32 %0, 1
%2 = and i32 %b, -2
%3 = or i32 %1, %2
ret i32 %3
}
define i32 @func2(i32 %a, i32 %b) nounwind readnone {
define i32 @func2(i32 %a, i32 %b) {
; CHECK-LABEL: @func2(
; CHECK: [[TMP0:%.*]] = and i32 %a, 1
; CHECK-NEXT: [[TMP1:%.*]] = or i32 [[TMP0]], %b
; CHECK-NEXT: ret i32 [[TMP1]]
;
entry:
%0 = or i32 %a, %b ; <i32> [#uses=1]
%1 = and i32 1, %0 ; <i32> [#uses=1]
%2 = and i32 -2, %b ; <i32> [#uses=1]
%3 = or i32 %1, %2 ; <i32> [#uses=1]
%0 = or i32 %a, %b
%1 = and i32 1, %0
%2 = and i32 -2, %b
%3 = or i32 %1, %2
ret i32 %3
}
define i32 @func3(i32 %a, i32 %b) nounwind readnone {
define i32 @func3(i32 %a, i32 %b) {
; CHECK-LABEL: @func3(
; CHECK: [[TMP0:%.*]] = and i32 %a, 1
; CHECK-NEXT: [[TMP1:%.*]] = or i32 [[TMP0]], %b
; CHECK-NEXT: ret i32 [[TMP1]]
;
entry:
%0 = or i32 %b, %a ; <i32> [#uses=1]
%1 = and i32 %0, 1 ; <i32> [#uses=1]
%2 = and i32 %b, -2 ; <i32> [#uses=1]
%3 = or i32 %2, %1 ; <i32> [#uses=1]
%0 = or i32 %b, %a
%1 = and i32 %0, 1
%2 = and i32 %b, -2
%3 = or i32 %2, %1
ret i32 %3
}
define i32 @func4(i32 %a, i32 %b) nounwind readnone {
define i32 @func4(i32 %a, i32 %b) {
; CHECK-LABEL: @func4(
; CHECK: [[TMP0:%.*]] = and i32 %a, 1
; CHECK-NEXT: [[TMP1:%.*]] = or i32 [[TMP0]], %b
; CHECK-NEXT: ret i32 [[TMP1]]
;
entry:
%0 = or i32 %a, %b ; <i32> [#uses=1]
%1 = and i32 1, %0 ; <i32> [#uses=1]
%2 = and i32 -2, %b ; <i32> [#uses=1]
%3 = or i32 %2, %1 ; <i32> [#uses=1]
%0 = or i32 %a, %b
%1 = and i32 1, %0
%2 = and i32 -2, %b
%3 = or i32 %2, %1
ret i32 %3
}