[llvm] b27b5dc - [NewGVN] Precommit test for folding freeze

[Jay Foad via llvm-commits]

Author: Jay Foad
Date: 2023-06-09T20:57:36+01:00
New Revision: b27b5dcc00dbbfe3f56e015ac8c38889522ec9c8

URL: https://github.com/llvm/llvm-project/commit/b27b5dcc00dbbfe3f56e015ac8c38889522ec9c8
DIFF: https://github.com/llvm/llvm-project/commit/b27b5dcc00dbbfe3f56e015ac8c38889522ec9c8.diff

LOG: [NewGVN] Precommit test for folding freeze

Differential Revision: https://reviews.llvm.org/D152528

Added: 
    llvm/test/Transforms/NewGVN/freeze.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/NewGVN/freeze.ll b/llvm/test/Transforms/NewGVN/freeze.ll
new file mode 100644
index 0000000000000..d96580f49d9fc
--- /dev/null
+++ b/llvm/test/Transforms/NewGVN/freeze.ll
@@ -0,0 +1,58 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=newgvn -S | FileCheck %s
+
+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]]
+;
+  %b = freeze i1 %a
+  %c = freeze i1 %a
+  %d = and i1 %b, %c
+  ret i1 %d
+}
+
+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:    ret void
+;
+  %b = freeze i1 %a
+  %c = freeze i1 %a
+  call void @use1(i1 %b)
+  call void @use1(i1 %c)
+  call void @use1(i1 %c)
+  ret void
+}
+
+define void @f_dom(i1 %cond, i1 %a) {
+; CHECK-LABEL: @f_dom(
+; CHECK-NEXT:    br i1 [[COND:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
+; CHECK:       BB1:
+; CHECK-NEXT:    [[X:%.*]] = freeze i1 [[A:%.*]]
+; CHECK-NEXT:    call void @use1(i1 [[X]])
+; CHECK-NEXT:    ret void
+; CHECK:       BB2:
+; CHECK-NEXT:    [[Y:%.*]] = freeze i1 [[A]]
+; CHECK-NEXT:    call void @use2(i1 [[Y]])
+; CHECK-NEXT:    ret void
+;
+  br i1 %cond, label %BB1, label %BB2
+BB1:
+  %x = freeze i1 %a
+  call void @use1(i1 %x)
+  ret void
+BB2:
+  %y = freeze i1 %a
+  call void @use2(i1 %y) ; cannot use %x
+  ret void
+}
+declare void @use1(i1)
+declare void @use2(i1)
+