31 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=newgvn -S | FileCheck %s3;; Test that we do not infinite loop on this testcase, and that we do not try4;; to replace the phi node argument with the result of the phi node.5target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"6 7define internal i32 @pr31491() {8; CHECK-LABEL: @pr31491(9; CHECK-NEXT: bb5:10; CHECK-NEXT: br label [[BB7:%.*]]11; CHECK: bb7:12; CHECK-NEXT: [[TMP:%.*]] = phi ptr [ [[TMP11:%.*]], [[BB10:%.*]] ], [ undef, [[BB5:%.*]] ]13; CHECK-NEXT: br label [[BB10]]14; CHECK: bb10:15; CHECK-NEXT: [[TMP11]] = tail call ptr @patatino(ptr [[TMP]])16; CHECK-NEXT: br label [[BB7]]17;18bb5:19 br label %bb720 21bb7: ; preds = %bb10, %bb522 %tmp = phi ptr [ %tmp11, %bb10 ], [ undef, %bb5 ]23 br label %bb1024 25bb10: ; preds = %bb726 %tmp11 = tail call ptr @patatino(ptr %tmp)27 br label %bb728}29 30declare ptr @patatino(ptr)31