mirror of https://github.com/llvm/circt.git
12 lines
537 B
MLIR
12 lines
537 B
MLIR
// RUN: circt-opt %s --aig-lower-variadic | FileCheck %s
|
|
// CHECK: hw.module @Basic
|
|
hw.module @Basic(in %a: i2, in %b: i2, in %c: i2, in %d: i2, in %e: i2, out f: i2) {
|
|
// CHECK: %[[RES0:.+]] = aig.and_inv not %a, %b : i2
|
|
// CHECK-NEXT: %[[RES1:.+]] = aig.and_inv not %d, %e : i2
|
|
// CHECK-NEXT: %[[RES2:.+]] = aig.and_inv %c, %[[RES1]] : i2
|
|
// CHECK-NEXT: %[[RES3:.+]] = aig.and_inv %[[RES0]], %[[RES2]] : i2
|
|
// CHECK-NEXT: hw.output %[[RES3]] : i2
|
|
%0 = aig.and_inv not %a, %b, %c, not %d, %e : i2
|
|
hw.output %0 : i2
|
|
}
|