mlir/test/IR/print-unique-ssa-ids.mlir

   1 // RUN: mlir-opt -mlir-print-unique-ssa-ids %s | FileCheck %s
   2 // RUN: mlir-opt -mlir-print-op-generic %s | FileCheck %s
   3 // RUN: mlir-opt %s | FileCheck %s --check-prefix=LOCAL_SCOPE
   4
   5 // CHECK: %arg3
   6 // CHECK: %7
   7 // LOCAL_SCOPE-NOT: %arg3
   8 // LOCAL_SCOPE-NOT: %7
   9 module {
  10   func.func @uniqueSSAIDs(%arg0 : memref<i32>, %arg1 : memref<i32>) {
  11     %c0 = arith.constant 0 : index
  12     %c1 = arith.constant 1 : index
  13     %c8 = arith.constant 8 : index
  14     scf.for %arg2 = %c0 to %c8 step %c1 {
  15       %a = memref.load %arg0[] : memref<i32>
  16       %b = memref.load %arg1[] : memref<i32>
  17       %0 = arith.addi %a, %b : i32
  18       %1 = arith.subi %a, %b : i32
  19       scf.yield
  20     }
  21     scf.for %arg2 = %c0 to %c8 step %c1 {
  22       %a = memref.load %arg0[] : memref<i32>
  23       %b = memref.load %arg1[] : memref<i32>
  24       %0 = arith.addi %a, %b : i32
  25       %1 = arith.subi %a, %b : i32
  26       scf.yield
  27     }
  28     return
  29   }
  30 }