================ @@ -72,4 +72,23 @@ entry: ret void } +; FIXME: This test violates constant bus restriction. ---------------- arsenm wrote: So this test will fail the verifier? Does it need to start in a separate xfailed test? https://github.com/llvm/llvm-project/pull/72622