79 lines · plain
1; RUN: opt < %s -passes='print<phi-values>' -disable-output 2>&1 | FileCheck %s2 3; This test has a phi with a large number of incoming values that are all the4; same phi, and that phi depends on this phi. This is to check that phi values5; analysis doesn't repeatedly add a phis values to itself until it segfaults.6 7; CHECK-LABEL: PHI Values for function: fn8define void @fn(ptr %arg) {9entry:10 br label %for.body11 12for.body:13; CHECK: PHI %phi1 has values:14; CHECK-DAG: ptr %arg15; CHECK-DAG: ptr undef16 %phi1 = phi ptr [ %arg, %entry ], [ %phi2, %end ]17 switch i32 undef, label %end [18 i32 1, label %bb119 i32 2, label %bb220 i32 3, label %bb321 i32 4, label %bb422 i32 5, label %bb523 i32 6, label %bb624 i32 7, label %bb725 i32 8, label %bb826 i32 9, label %bb927 i32 10, label %bb1028 i32 11, label %bb1129 i32 12, label %bb1230 i32 13, label %bb1331 ]32 33bb1:34 br label %end35 36bb2:37 br label %end38 39bb3:40 br label %end41 42bb4:43 br label %end44 45bb5:46 br label %end47 48bb6:49 br label %end50 51bb7:52 br label %end53 54bb8:55 br label %end56 57bb9:58 br label %end59 60bb10:61 br label %end62 63bb11:64 br label %end65 66bb12:67 br label %end68 69bb13:70 br label %end71 72end:73; CHECK: PHI %phi2 has values:74; CHECK-DAG: ptr %arg75; CHECK-DAG: ptr undef76 %phi2 = phi ptr [ %phi1, %for.body ], [ %phi1, %bb1 ], [ %phi1, %bb2 ], [ %phi1, %bb3 ], [ %phi1, %bb4 ], [ %phi1, %bb5 ], [ %phi1, %bb6 ], [ %phi1, %bb7 ], [ undef, %bb8 ], [ %phi1, %bb9 ], [ %phi1, %bb10 ], [ %phi1, %bb11 ], [ %phi1, %bb12 ], [ %phi1, %bb13 ]77 br label %for.body78}79