38 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=newgvn -S | FileCheck %s3target 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]], 014; 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 void19;20bb:21 br label %bb322 23;; While non-standard, llvm allows mutually dependent phi nodes24;; Ensure we do not infinite loop trying to process them25bb3: ; preds = %bb7, %bb26 %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, 030 br i1 %tmp6, label %bb7, label %bb831 32bb7: ; preds = %bb333 br label %bb334 35bb8: ; preds = %bb336 ret void37}38