Member predicate RangeSsaDefinition :: isGuardPhi

If this definition is a phi node corresponding to a guard, then return the variable guarded, the variable access and the guard.


                            
                                
                                    predicate
                                
                                 
                            
                            
                                isGuardPhi
                            
                            
                                (
                                
                                    
                                        StackVariable
                                    
                                     
                                    v
                                
                                , 
                                
                                    
                                        VariableAccess
                                    
                                     
                                    va
                                
                                , 
                                
                                    
                                        Expr
                                    
                                     
                                    guard
                                
                                , 
                                
                                    
                                        boolean
                                    
                                     
                                    branch
                                
                                )