Accept redundant alias definitions.

In the text format, allow aliases to be defined multiple times, as long
as they're always aliasing the same value.

write.rs is already emitting redundant aliases, because it emits them at
their uses, so this change allows the parser to be able to parse such
code.
This commit is contained in:
Dan Gohman
2018-06-07 15:56:23 -07:00
parent 00d7d3a774
commit 0daa560368
3 changed files with 70 additions and 5 deletions

View File

@@ -0,0 +1,32 @@
test cat
test verifier
function %basic(i32, i32) -> i32 {
ebb0(v0: i32, v1: i32):
v2 -> v0
v3 -> v1
v4 = iadd.i32 v2, v3
return v4
}
function %transitive() -> i32 {
ebb0:
v0 = iconst.i32 0
v1 -> v0
v2 -> v1
v3 -> v2
v4 -> v3
return v4
}
function %duplicate(i32, i32) -> i32 {
ebb0(v0: i32, v1: i32):
v2 -> v0
v2 -> v0
v2 -> v0
v3 -> v1
v3 -> v1
v3 -> v1
v4 = iadd.i32 v2, v3
return v4
}