1bdbbd838SJohn Brawn; RUN: opt < %s -passes='print<phi-values>' -disable-output 2>&1 | FileCheck %s 2bdbbd838SJohn Brawn 3bdbbd838SJohn Brawn; This test has a phi with a large number of incoming values that are all the 4bdbbd838SJohn Brawn; same phi, and that phi depends on this phi. This is to check that phi values 5bdbbd838SJohn Brawn; analysis doesn't repeatedly add a phis values to itself until it segfaults. 6bdbbd838SJohn Brawn 7bdbbd838SJohn Brawn; CHECK-LABEL: PHI Values for function: fn 8*7cf55817SMatt Arsenaultdefine void @fn(ptr %arg) { 9bdbbd838SJohn Brawnentry: 10bdbbd838SJohn Brawn br label %for.body 11bdbbd838SJohn Brawn 12bdbbd838SJohn Brawnfor.body: 13bdbbd838SJohn Brawn; CHECK: PHI %phi1 has values: 14*7cf55817SMatt Arsenault; CHECK-DAG: ptr %arg 15*7cf55817SMatt Arsenault; CHECK-DAG: ptr undef 16*7cf55817SMatt Arsenault %phi1 = phi ptr [ %arg, %entry ], [ %phi2, %end ] 17bdbbd838SJohn Brawn switch i32 undef, label %end [ 18bdbbd838SJohn Brawn i32 1, label %bb1 19bdbbd838SJohn Brawn i32 2, label %bb2 20bdbbd838SJohn Brawn i32 3, label %bb3 21bdbbd838SJohn Brawn i32 4, label %bb4 22bdbbd838SJohn Brawn i32 5, label %bb5 23bdbbd838SJohn Brawn i32 6, label %bb6 24bdbbd838SJohn Brawn i32 7, label %bb7 25bdbbd838SJohn Brawn i32 8, label %bb8 26bdbbd838SJohn Brawn i32 9, label %bb9 27bdbbd838SJohn Brawn i32 10, label %bb10 28bdbbd838SJohn Brawn i32 11, label %bb11 29bdbbd838SJohn Brawn i32 12, label %bb12 30bdbbd838SJohn Brawn i32 13, label %bb13 31bdbbd838SJohn Brawn ] 32bdbbd838SJohn Brawn 33bdbbd838SJohn Brawnbb1: 34bdbbd838SJohn Brawn br label %end 35bdbbd838SJohn Brawn 36bdbbd838SJohn Brawnbb2: 37bdbbd838SJohn Brawn br label %end 38bdbbd838SJohn Brawn 39bdbbd838SJohn Brawnbb3: 40bdbbd838SJohn Brawn br label %end 41bdbbd838SJohn Brawn 42bdbbd838SJohn Brawnbb4: 43bdbbd838SJohn Brawn br label %end 44bdbbd838SJohn Brawn 45bdbbd838SJohn Brawnbb5: 46bdbbd838SJohn Brawn br label %end 47bdbbd838SJohn Brawn 48bdbbd838SJohn Brawnbb6: 49bdbbd838SJohn Brawn br label %end 50bdbbd838SJohn Brawn 51bdbbd838SJohn Brawnbb7: 52bdbbd838SJohn Brawn br label %end 53bdbbd838SJohn Brawn 54bdbbd838SJohn Brawnbb8: 55bdbbd838SJohn Brawn br label %end 56bdbbd838SJohn Brawn 57bdbbd838SJohn Brawnbb9: 58bdbbd838SJohn Brawn br label %end 59bdbbd838SJohn Brawn 60bdbbd838SJohn Brawnbb10: 61bdbbd838SJohn Brawn br label %end 62bdbbd838SJohn Brawn 63bdbbd838SJohn Brawnbb11: 64bdbbd838SJohn Brawn br label %end 65bdbbd838SJohn Brawn 66bdbbd838SJohn Brawnbb12: 67bdbbd838SJohn Brawn br label %end 68bdbbd838SJohn Brawn 69bdbbd838SJohn Brawnbb13: 70bdbbd838SJohn Brawn br label %end 71bdbbd838SJohn Brawn 72bdbbd838SJohn Brawnend: 73bdbbd838SJohn Brawn; CHECK: PHI %phi2 has values: 74*7cf55817SMatt Arsenault; CHECK-DAG: ptr %arg 75*7cf55817SMatt Arsenault; CHECK-DAG: ptr undef 76*7cf55817SMatt Arsenault %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 ] 77bdbbd838SJohn Brawn br label %for.body 78bdbbd838SJohn Brawn} 79