mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-04-27 18:26:06 +00:00
Code Issues Projects Releases Wiki Activity

[NewGVN] Fold equivalent freeze instructions

Browse Source 
Differential Revision: https://reviews.llvm.org/D152529
This commit is contained in:
Jay Foad 2023-06-09 13:44:06 +01:00
parent b27b5dcc00
commit c0ad1b4597
2 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
llvm/lib/Transforms/Scalar/NewGVN.cpp
View File

@ -1994,6 +1994,7 @@ NewGVN::performSymbolicEvaluation(Value *V,
break;
case Instruction::BitCast:
case Instruction::AddrSpaceCast:
case Instruction::Freeze:
return createExpression(I);
break;
case Instruction::ICmp:

9
llvm/test/Transforms/NewGVN/freeze.ll
View File

@ -4,9 +4,7 @@
define i1 @f(i1 %a) {
; CHECK-LABEL: @f(
; CHECK-NEXT: [[B:%.*]] = freeze i1 [[A:%.*]]
; CHECK-NEXT: [[C:%.*]] = freeze i1 [[A]]
; CHECK-NEXT: [[D:%.*]] = and i1 [[B]], [[C]]
; CHECK-NEXT: ret i1 [[D]]
; CHECK-NEXT: ret i1 [[B]]
;
%b = freeze i1 %a
%c = freeze i1 %a
@ -17,10 +15,9 @@ define i1 @f(i1 %a) {
define void @f_multipleuses(i1 %a) {
; CHECK-LABEL: @f_multipleuses(
; CHECK-NEXT: [[B:%.*]] = freeze i1 [[A:%.*]]
; CHECK-NEXT: [[C:%.*]] = freeze i1 [[A]]
; CHECK-NEXT: call void @use1(i1 [[B]])
; CHECK-NEXT: call void @use1(i1 [[C]])
; CHECK-NEXT: call void @use1(i1 [[C]])
; CHECK-NEXT: call void @use1(i1 [[B]])
; CHECK-NEXT: call void @use1(i1 [[B]])
; CHECK-NEXT: ret void
;
%b = freeze i1 %a