another callsite attribute problem

[regehr]

I get a value mismatch from arm-tv on this input:

declare ptr @f0()

define ptr @f() {
  %1 = tail call noalias ptr @f0()
  ret ptr %1
}

it goes away if I remove the noalias. do you think I can just strip this attribute? again this is from the test suite, not from real code.

[nunoplopes]

what's the source/target?
This is the output I get with latest Alive:

declare ptr @f0()

define ptr @f() {
#0:
  %#1 = tail call ptr @f0() noalias
  ret ptr %#1
}
=>
declare ptr @f0()

define ptr @f() noalias asm {
#0:
  %#1 = tail call ptr @f0() noalias
  ret ptr %#1
}
Transformation seems to be correct!

[regehr]

yeah, the issue is that I can't add these reliably to tgt since it's hard to match up the src and tgt.

but it seems like both you and I need to do some of this matching. currently the place where I'm stuck with the worst problems is indirect function calls. let's talk about this more sometime. meanwhile I'll close.