issue with returned arguments in asm memory mode

[regehr]

issue with returned arguments in asm memory mode

[nunoplopes]

Interesting. I'll try to debug it tonight.
But stripping attributes is not ideal. Leaving them is good so get better coverage.

[nunoplopes]

funny. only repros in asm mode with poison input.

[regehr]

but if you add readnone then it triggers without poison/undef. on the other hand, this is on the tgt side, which gives me a workaround-- I can strip off that attribute from lifted code. should I just do that?

; ModuleID = 'reduced.bc'
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
target triple = "arm64-apple-macosx14.0.0"

; Function Attrs: strictfp
define ptr @src(ptr returned %this) #0 {
entry:
  ret ptr %this
}

define ptr @tgt(ptr readnone returned %this) local_unnamed_addr #0 {
entry:
  ret ptr %this
}

attributes #0 = { strictfp }

[regehr]

but note it's only on the tgt side that I have to remove the attribute -- no coverage lost

(sorry I did not notice that before mentioning this issue in the first place, I had not realized the subtlety that with poison inputs disabled it seems to require 2 attributes + asm mode to trigger this)