1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -basicaa -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, i32 (i32, i32)* %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 ], [ [[TMP:%.*]]4, %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