1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=newgvn -S | FileCheck %s 3target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 4 5define void @foo(i32 %arg, i32 %arg1, ptr %arg2) { 6; CHECK-LABEL: @foo( 7; CHECK-NEXT: bb: 8; CHECK-NEXT: br label [[BB3:%.*]] 9; CHECK: bb3: 10; CHECK-NEXT: [[TMP:%.*]] = phi i32 [ [[ARG1:%.*]], [[BB:%.*]] ], [ [[TMP4:%.*]], [[BB7:%.*]] ] 11; CHECK-NEXT: [[TMP4]] = phi i32 [ [[ARG:%.*]], [[BB]] ], [ [[TMP]], [[BB7]] ] 12; CHECK-NEXT: [[TMP5:%.*]] = call i32 [[ARG2:%.*]](i32 [[TMP4]], i32 [[TMP]]) 13; CHECK-NEXT: [[TMP6:%.*]] = icmp ne i32 [[TMP5]], 0 14; CHECK-NEXT: br i1 [[TMP6]], label [[BB7]], label [[BB8:%.*]] 15; CHECK: bb7: 16; CHECK-NEXT: br label [[BB3]] 17; CHECK: bb8: 18; CHECK-NEXT: ret void 19; 20bb: 21 br label %bb3 22 23;; While non-standard, llvm allows mutually dependent phi nodes 24;; Ensure we do not infinite loop trying to process them 25bb3: ; preds = %bb7, %bb 26 %tmp = phi i32 [ %arg1, %bb ], [ %tmp4, %bb7 ] 27 %tmp4 = phi i32 [ %arg, %bb ], [ %tmp, %bb7 ] 28 %tmp5 = call i32 %arg2(i32 %tmp4, i32 %tmp) 29 %tmp6 = icmp ne i32 %tmp5, 0 30 br i1 %tmp6, label %bb7, label %bb8 31 32bb7: ; preds = %bb3 33 br label %bb3 34 35bb8: ; preds = %bb3 36 ret void 37} 38