annotate test/Verifier/AmbiguousPhi.ll @ 68:a37375f10d66
remove unnecessary comments
author |
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp> |
date |
Wed, 12 Feb 2014 01:06:33 +0900 |
parents |
95c75e76d11b |
children |
|
rev |
line source |
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 ; CHECK: multiple entries for the same basic block
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 define i32 @test(i32 %i, i32 %j, i1 %c) {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 br i1 %c, label %A, label %A
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 A:
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 %a = phi i32 [%i, %0], [%j, %0] ; Error, different values from same block!
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 ret i32 %a
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 }
|