Source file test/phiopt.go

     1  // +build amd64 s390x arm64
     2  // errorcheck -0 -d=ssa/phiopt/debug=3
     3  
     4  // Copyright 2016 The Go Authors. All rights reserved.
     5  // Use of this source code is governed by a BSD-style
     6  // license that can be found in the LICENSE file.
     7  
     8  package main
     9  
    10  //go:noinline
    11  func f0(a bool) bool {
    12  	x := false
    13  	if a {
    14  		x = true
    15  	} else {
    16  		x = false
    17  	}
    18  	return x // ERROR "converted OpPhi to Copy$"
    19  }
    20  
    21  //go:noinline
    22  func f1(a bool) bool {
    23  	x := false
    24  	if a {
    25  		x = false
    26  	} else {
    27  		x = true
    28  	}
    29  	return x // ERROR "converted OpPhi to Not$"
    30  }
    31  
    32  //go:noinline
    33  func f2(a, b int) bool {
    34  	x := true
    35  	if a == b {
    36  		x = false
    37  	}
    38  	return x // ERROR "converted OpPhi to Not$"
    39  }
    40  
    41  //go:noinline
    42  func f3(a, b int) bool {
    43  	x := false
    44  	if a == b {
    45  		x = true
    46  	}
    47  	return x // ERROR "converted OpPhi to Copy$"
    48  }
    49  
    50  //go:noinline
    51  func f4(a, b bool) bool {
    52  	return a || b // ERROR "converted OpPhi to OrB$"
    53  }
    54  
    55  //go:noinline
    56  func f5or(a int, b bool) bool {
    57  	var x bool
    58  	if a == 0 {
    59  		x = true
    60  	} else {
    61  		x = b
    62  	}
    63  	return x // ERROR "converted OpPhi to OrB$"
    64  }
    65  
    66  //go:noinline
    67  func f5and(a int, b bool) bool {
    68  	var x bool
    69  	if a == 0 {
    70  		x = b
    71  	} else {
    72  		x = false
    73  	}
    74  	return x // ERROR "converted OpPhi to AndB$"
    75  }
    76  
    77  //go:noinline
    78  func f6or(a int, b bool) bool {
    79  	x := b
    80  	if a == 0 {
    81  		// f6or has side effects so the OpPhi should not be converted.
    82  		x = f6or(a, b)
    83  	}
    84  	return x
    85  }
    86  
    87  //go:noinline
    88  func f6and(a int, b bool) bool {
    89  	x := b
    90  	if a == 0 {
    91  		// f6and has side effects so the OpPhi should not be converted.
    92  		x = f6and(a, b)
    93  	}
    94  	return x
    95  }
    96  
    97  //go:noinline
    98  func f7or(a bool, b bool) bool {
    99  	return a || b // ERROR "converted OpPhi to OrB$"
   100  }
   101  
   102  //go:noinline
   103  func f7and(a bool, b bool) bool {
   104  	return a && b // ERROR "converted OpPhi to AndB$"
   105  }
   106  
   107  //go:noinline
   108  func f8(s string) (string, bool) {
   109  	neg := false
   110  	if s[0] == '-' {    // ERROR "converted OpPhi to Copy$"
   111  		neg = true
   112  		s = s[1:]
   113  	}
   114  	return s, neg
   115  }
   116  
   117  var d int
   118  
   119  //go:noinline
   120  func f9(a, b int) bool {
   121  	c := false
   122  	if a < 0 {          // ERROR "converted OpPhi to Copy$"
   123  		if b < 0 {
   124  			d = d + 1
   125  		}
   126  		c = true
   127  	}
   128  	return c
   129  }
   130  
   131  func main() {
   132  }
   133  

View as plain text