llvm-mirror/test/Analysis/BasicAA/phi-aa.ll

; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
; rdar://7282591

@X = common global i32 0
@Y = common global i32 0
@Z = common global i32 0

; CHECK:  NoAlias: i32* %P, i32* @Z

define void @foo(i32 %cond) nounwind {
entry:
  %"alloca point" = bitcast i32 0 to i32
  %tmp = icmp ne i32 %cond, 0
  br i1 %tmp, label %bb, label %bb1

bb:
  br label %bb2

bb1:
  br label %bb2

bb2:
  %P = phi i32* [ @X, %bb ], [ @Y, %bb1 ]
  %tmp1 = load i32* @Z, align 4
  store i32 123, i32* %P, align 4
  %tmp2 = load i32* @Z, align 4
  br label %return

return:
  ret void
}
Convert the uses of '\|&' to use '2>&1 \|' instead, which works on old versions of Bash. In addition, I can back out the change to the lit built-in shell test runner to support this. This should fix the majority of fallout on Darwin, but I suspect there will be a few straggling issues. llvm-svn: 159544 2012-07-02 20:37:59 +02:00			`; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 \| FileCheck %s`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00			`; rdar://7282591`

Replace test with a simpler hand crafted one. llvm-svn: 84069 2009-10-14 03:45:10 +02:00			`@X = common global i32 0`
			`@Y = common global i32 0`
			`@Z = common global i32 0`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00
FileCheck-ize these tests. Harden some of them. llvm-svn: 155432 2012-04-24 11:15:38 +02:00			`; CHECK: NoAlias: i32* %P, i32* @Z`

Delete unneeded ssp attributes. llvm-svn: 118836 2010-11-11 22:08:46 +01:00			`define void @foo(i32 %cond) nounwind {`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00			`entry:`
Replace test with a simpler hand crafted one. llvm-svn: 84069 2009-10-14 03:45:10 +02:00			`%"alloca point" = bitcast i32 0 to i32`
			`%tmp = icmp ne i32 %cond, 0`
			`br i1 %tmp, label %bb, label %bb1`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00
Replace test with a simpler hand crafted one. llvm-svn: 84069 2009-10-14 03:45:10 +02:00			`bb:`
			`br label %bb2`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00
Replace test with a simpler hand crafted one. llvm-svn: 84069 2009-10-14 03:45:10 +02:00			`bb1:`
			`br label %bb2`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00
Replace test with a simpler hand crafted one. llvm-svn: 84069 2009-10-14 03:45:10 +02:00			`bb2:`
			`%P = phi i32* [ @X, %bb ], [ @Y, %bb1 ]`
			`%tmp1 = load i32* @Z, align 4`
			`store i32 123, i32* %P, align 4`
			`%tmp2 = load i32* @Z, align 4`
			`br label %return`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00
Replace test with a simpler hand crafted one. llvm-svn: 84069 2009-10-14 03:45:10 +02:00			`return:`
Teach basic AA about PHI nodes. If all operands of a phi NoAlias another value than it's safe to declare the PHI NoAlias the value. Ditto for MustAlias. llvm-svn: 84038 2009-10-14 00:02:20 +02:00			`ret void`
			`}`