This is an archive of the discontinued LLVM Phabricator instance.

Differential D12885

[NaryReassociate] Fix incomplete test functions
ClosedPublic

Authored by volkan on Sep 15 2015, 11:45 AM.

Details

Reviewers
mehdi_amini
Commits
rG8e468d6388ad: [NaryReassociate] Improve test CHECK
Summary

Added CHECK directives for the function calls.

Diff Detail

Event Timeline

volkan updated this revision to Diff 34818.Sep 15 2015, 11:45 AM
volkan retitled this revision from to [NaryReassociate] Fix incomplete test functions.
volkan updated this object.
volkan added a reviewer: mehdi_amini.
volkan added a subscriber: llvm-commits.
mehdi_amini accepted this revision.Sep 15 2015, 10:43 PM
mehdi_amini edited edge metadata.

Thanks, r247774.

This revision is now accepted and ready to land.Sep 15 2015, 10:43 PM
mehdi_amini closed this revision.Sep 15 2015, 10:43 PM

Revision Contents

PathSize
test/
Transforms/
NaryReassociate/
6 lines
3 lines

Diff 34818

test/Transforms/NaryReassociate/nary-add.ll

Show All 11 Lines
; foo(t + b); ; foo(t + b);
define void @left_reassociate(i32 %a, i32 %b, i32 %c) { define void @left_reassociate(i32 %a, i32 %b, i32 %c) {
; CHECK-LABEL: @left_reassociate( ; CHECK-LABEL: @left_reassociate(
%1 = add i32 %a, %c %1 = add i32 %a, %c
; CHECK: [[BASE:%[a-zA-Z0-9]+]] = add i32 %a, %c ; CHECK: [[BASE:%[a-zA-Z0-9]+]] = add i32 %a, %c
call void @foo(i32 %1) call void @foo(i32 %1)
%2 = add i32 %b, %c %2 = add i32 %b, %c
%3 = add i32 %a, %2 %3 = add i32 %a, %2
; CHECK: add i32 [[BASE]], %b ; CHECK: [[RESULT:%[a-zA-Z0-9]+]] = add i32 [[BASE]], %b
call void @foo(i32 %3) call void @foo(i32 %3)
; CHECK-NEXT: call void @foo(i32 [[RESULT]])
ret void ret void
} }
; foo(a + c); ; foo(a + c);
; foo((a + b) + c); ; foo((a + b) + c);
; => ; =>
; t = a + c; ; t = a + c;
; foo(t); ; foo(t);
; foo(t + b); ; foo(t + b);
define void @right_reassociate(i32 %a, i32 %b, i32 %c) { define void @right_reassociate(i32 %a, i32 %b, i32 %c) {
; CHECK-LABEL: @right_reassociate( ; CHECK-LABEL: @right_reassociate(
%1 = add i32 %a, %c %1 = add i32 %a, %c
; CHECK: [[BASE:%[a-zA-Z0-9]+]] = add i32 %a, %c ; CHECK: [[BASE:%[a-zA-Z0-9]+]] = add i32 %a, %c
call void @foo(i32 %1) call void @foo(i32 %1)
%2 = add i32 %a, %b %2 = add i32 %a, %b
%3 = add i32 %2, %c %3 = add i32 %2, %c
; CHECK: add i32 [[BASE]], %b ; CHECK: [[RESULT:%[a-zA-Z0-9]+]] = add i32 [[BASE]], %b
call void @foo(i32 %3) call void @foo(i32 %3)
; CHECK-NEXT: call void @foo(i32 [[RESULT]])
ret void ret void
} }
; t1 = a + c; ; t1 = a + c;
; foo(t1); ; foo(t1);
; t2 = a + b; ; t2 = a + b;
; foo(t2); ; foo(t2);
; t3 = t2 + c; ; t3 = t2 + c;
▲ Show 20 Lines • Show All 162 Lines • Show Last 20 Lines

test/Transforms/NaryReassociate/nary-mul.ll

; RUN: opt < %s -nary-reassociate -S | FileCheck %s ; RUN: opt < %s -nary-reassociate -S | FileCheck %s
target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64" target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64"
declare void @foo(i32) declare void @foo(i32)
; CHECK-LABEL: @bar( ; CHECK-LABEL: @bar(
define void @bar(i32 %a, i32 %b, i32 %c) { define void @bar(i32 %a, i32 %b, i32 %c) {
%1 = mul i32 %a, %c %1 = mul i32 %a, %c
; CHECK: [[BASE:%[a-zA-Z0-9]+]] = mul i32 %a, %c ; CHECK: [[BASE:%[a-zA-Z0-9]+]] = mul i32 %a, %c
call void @foo(i32 %1) call void @foo(i32 %1)
%2 = mul i32 %a, %b %2 = mul i32 %a, %b
%3 = mul i32 %2, %c %3 = mul i32 %2, %c
; CHECK: mul i32 [[BASE]], %b ; CHECK: [[RESULT:%[a-zA-Z0-9]+]] = mul i32 [[BASE]], %b
call void @foo(i32 %3) call void @foo(i32 %3)
; CHECK-NEXT: call void @foo(i32 [[RESULT]])
ret void ret void
} }