Skip to content

scalehls regression tests unexpected failures #2

Description

@tafk7

I'm getting two unexpected failures when attempting to build scalehls:

[2368/2369] Running the scalehls regression tests
FAIL: SCALEHLS :: Transforms/Dataflow/place-dataflow-buffer.mlir (45 of 58)
******************** TEST 'SCALEHLS :: Transforms/Dataflow/place-dataflow-buffer.mlir' FAILED ********************
Script:
--
: 'RUN: at line 1';   /home/user/ScaleHLS-HIDA/build/bin/scalehls-opt -scalehls-place-dataflow-buffer /home/user/ScaleHLS-HIDA/test/Transforms/Dataflow/place-dataflow-buffer.mlir | /home/user/ScaleHLS-HIDA/build/bin/FileCheck /home/user/ScaleHLS-HIDA/test/Transforms/Dataflow/place-dataflow-buffer.mlir
--
Exit Code: 1

Command Output (stderr):
--
/home/user/ScaleHLS-HIDA/test/Transforms/Dataflow/place-dataflow-buffer.mlir:4:11: error: CHECK: expected string not found in input
// CHECK: func.func @forward(%arg0: memref<1x64x56x56xi8, #hls.mem<dram>>, %arg1: memref<1000x64xi8, #hls.mem<dram>>, %arg2: memref<64x64x1x1xi8, #hls.mem<dram>>, %arg3: memref<64x64x3x3xi8, #hls.mem<dram>>, %arg4: memref<64x64x3x3xi8, #hls.mem<dram>>, %arg5: memref<1x1000xi8, #hls.mem<dram>>) attributes {top_func} {
          ^
<stdin>:1:57: note: scanning from here
module attributes {torch.debug_module_name = "ResNet"} {
                                                        ^
<stdin>:2:2: note: possible intended match here
 func.func @forward(%arg0: memref<1x64x56x56xi8, #hls.mem<dram>>, %arg1: memref<1000x64xi8, #hls.mem<dram>>, %arg2: memref<64x64x1x1xi8, #hls.mem<dram>>, %arg3: memref<64x64x3x3xi8, #hls.mem<dram>>, %arg4: memref<64x64x3x3xi8, #hls.mem<dram>>, %arg5: memref<1x1000xi8, #hls.mem<bram_t2p>>) attributes {top_func} {
 ^

Input file: <stdin>
Check file: /home/user/ScaleHLS-HIDA/test/Transforms/Dataflow/place-dataflow-buffer.mlir

-dump-input=help explains the following input dump.

Input was:
<<<<<<
           1: module attributes {torch.debug_module_name = "ResNet"} {
check:4'0                                                             X error: no match found
           2:  func.func @forward(%arg0: memref<1x64x56x56xi8, #hls.mem<dram>>, %arg1: memref<1000x64xi8, #hls.mem<dram>>, %arg2: memref<64x64x1x1xi8, #hls.mem<dram>>, %arg3: memref<64x64x3x3xi8, #hls.mem<dram>>, %arg4: memref<64x64x3x3xi8, #hls.mem<dram>>, %arg5: memref<1x1000xi8, #hls.mem<bram_t2p>>) attributes {top_func} {
check:4'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~check:4'1      ? possible intended match
           3:  %c-24_i8 = arith.constant -24 : i8
check:4'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           4:  hls.dataflow.dispatch {
check:4'0     ~~~~~~~~~~~~~~~~~~~~~~~~~
           5:  hls.dataflow.task {
check:4'0     ~~~~~~~~~~~~~~~~~~~~~
           6:  affine.for %arg6 = 0 to 64 {
check:4'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           7:  affine.for %arg7 = 0 to 56 {
check:4'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           .
           .
           .
>>>>>>

--

********************
FAIL: SCALEHLS :: Transforms/Directive/array-partition.mlir (57 of 58)
******************** TEST 'SCALEHLS :: Transforms/Directive/array-partition.mlir' FAILED ********************
Script:
--
: 'RUN: at line 1';   /home/user/ScaleHLS-HIDA/build/bin/scalehls-opt -scalehls-array-partition /home/user/ScaleHLS-HIDA/test/Transforms/Directive/array-partition.mlir | /home/user/ScaleHLS-HIDA/build/bin/FileCheck /home/user/ScaleHLS-HIDA/test/Transforms/Directive/array-partition.mlir
--
Exit Code: 1

Command Output (stderr):
--
/home/user/ScaleHLS-HIDA/test/Transforms/Directive/array-partition.mlir:233:11: error: CHECK: expected string not found in input
// CHECK: func.func @forward_node17(%arg0: memref<16x14x14xi8, #hls.partition<[none, cyclic, cyclic], [1, 2, 2]>, #hls.mem<bram_t2p>>, %arg1: memref<64x28x28xi8, #hls.mem<dram>>, %arg2: index, %arg3: index, %arg4: index) attributes {inline} {
          ^
<stdin>:230:3: note: scanning from here
 }
  ^
<stdin>:231:2: note: possible intended match here
 func.func @forward_node17(%arg0: memref<16x14x14xi8, #hls.partition<[none, cyclic, cyclic], [1, 2, 2]>, #hls.mem<lutram_2p>>, %arg1: memref<64x28x28xi8, #hls.mem<dram>>, %arg2: index, %arg3: index, %arg4: index) attributes {inline} {
 ^

Input file: <stdin>
Check file: /home/user/ScaleHLS-HIDA/test/Transforms/Directive/array-partition.mlir

-dump-input=help explains the following input dump.

Input was:
<<<<<<
             .
             .
             .
           225:  func.call @forward_node10(%9, %arg8, %2, %1, %0) : (memref<16x14x14xi8, #hls.mem<bram_t2p>>, memref<64x28x28xi8, #hls.mem<dram>>, index, index, index) -> ()
           226:  func.call @forward_node9(%4, %arg7, %2, %1, %0) : (memref<16x14x14xi8, #hls.mem<bram_t2p>>, memref<64x28x28xi8, #hls.mem<dram>>, index, index, index) -> ()
           227:  } {loop_directive = #hls.loop<pipeline = false, target_ii = 1, dataflow = true, flatten = false>}
           228:  hls.dataflow.stream_write %arg6, %true : <i1, 1>, i1
           229:  return
           230:  }
check:233'0       X error: no match found
           231:  func.func @forward_node17(%arg0: memref<16x14x14xi8, #hls.partition<[none, cyclic, cyclic], [1, 2, 2]>, #hls.mem<lutram_2p>>, %arg1: memref<64x28x28xi8, #hls.mem<dram>>, %arg2: index, %arg3: index, %arg4: index) attributes {inline} {
check:233'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
check:233'1      ?  possible intended match
           232:  affine.for %arg5 = 0 to 16 {
check:233'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           233:  affine.for %arg6 = 0 to 14 step 2 {
check:233'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           234:  affine.for %arg7 = 0 to 14 step 2 {
check:233'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           235:  %0 = affine.load %arg0[%arg5, %arg6, %arg7] : memref<16x14x14xi8, #hls.partition<[none, cyclic, cyclic], [1, 2, 2]>, #hls.mem<lutram_2p>>
check:233'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
           236:  affine.store %0, %arg1[%arg5 + symbol(%arg2) * 16, %arg6 + symbol(%arg3) * 14, %arg7 + symbol(%arg4) * 14] : memref<64x28x28xi8, #hls.mem<dram>>
check:233'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
             .
             .
             .
>>>>>>

--

********************
********************
Failed Tests (2):
  SCALEHLS :: Transforms/Dataflow/place-dataflow-buffer.mlir
  SCALEHLS :: Transforms/Directive/array-partition.mlir


Testing Time: 3.18s
  Unsupported      :  2
  Passed           : 41
  Expectedly Failed: 13
  Failed           :  2
FAILED: tools/scalehls/test/CMakeFiles/check-scalehls /home/user/ScaleHLS-HIDA/build/tools/scalehls/test/CMakeFiles/check-scalehls
cd /home/user/ScaleHLS-HIDA/build/tools/scalehls/test && /usr/bin/python3.10 /home/user/ScaleHLS-HIDA/build/bin/llvm-lit -sv /home/user/ScaleHLS-HIDA/build/tools/scalehls/test
ninja: build stopped: subcommand failed.

Are these expected? Any guidance would be greatly appreciated.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions