|
// RUN: circt-opt --canonicalize %s | FileCheck %s
|
|
|
|
// CHECK-LABEL: @interleaveSequences
|
|
rtg.test @interleaveSequences(seq0 = %seq0: !rtg.randomized_sequence) {
|
|
// CHECK-NEXT: rtg.embed_sequence %seq0
|
|
%0 = rtg.interleave_sequences %seq0
|
|
rtg.embed_sequence %0
|
|
}
|