diff options
Diffstat (limited to 'llvm/test/Transforms/NewGVN/cyclic-phi-handling.ll')
| -rw-r--r-- | llvm/test/Transforms/NewGVN/cyclic-phi-handling.ll | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/llvm/test/Transforms/NewGVN/cyclic-phi-handling.ll b/llvm/test/Transforms/NewGVN/cyclic-phi-handling.ll deleted file mode 100644 index 283c7854899..00000000000 --- a/llvm/test/Transforms/NewGVN/cyclic-phi-handling.ll +++ /dev/null @@ -1,37 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s -target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" - -define void @foo(i32 %arg, i32 %arg1, i32 (i32, i32)* %arg2) { -; CHECK-LABEL: @foo( -; CHECK-NEXT: bb: -; CHECK-NEXT: br label %bb3 -; CHECK: bb3: -; CHECK-NEXT: [[TMP:%.*]] = phi i32 [ %arg1, %bb ], [ [[TMP:%.*]]4, %bb7 ] -; CHECK-NEXT: [[TMP4:%.*]] = phi i32 [ %arg, %bb ], [ [[TMP]], %bb7 ] -; CHECK-NEXT: [[TMP5:%.*]] = call i32 %arg2(i32 [[TMP4]], i32 [[TMP]]) -; CHECK-NEXT: [[TMP6:%.*]] = icmp ne i32 [[TMP5]], 0 -; CHECK-NEXT: br i1 [[TMP6]], label %bb7, label %bb8 -; CHECK: bb7: -; CHECK-NEXT: br label %bb3 -; CHECK: bb8: -; CHECK-NEXT: ret void -; -bb: - br label %bb3 - -;; While non-standard, llvm allows mutually dependent phi nodes -;; Ensure we do not infinite loop trying to process them -bb3: ; preds = %bb7, %bb - %tmp = phi i32 [ %arg1, %bb ], [ %tmp4, %bb7 ] - %tmp4 = phi i32 [ %arg, %bb ], [ %tmp, %bb7 ] - %tmp5 = call i32 %arg2(i32 %tmp4, i32 %tmp) - %tmp6 = icmp ne i32 %tmp5, 0 - br i1 %tmp6, label %bb7, label %bb8 - -bb7: ; preds = %bb3 - br label %bb3 - -bb8: ; preds = %bb3 - ret void -} |
