| // RUN: cir-opt %s --verify-roundtrip | FileCheck %s |
| |
| !s32i = !cir.int<s, 32> |
| !rec = !cir.struct<"S" {!s32i, !cir.int<s, 8>}> |
| module { |
| cir.func @shouldParseCopyOp(%arg0 : !cir.ptr<!s32i>, %arg1 : !cir.ptr<!s32i>) { |
| cir.copy %arg0 to %arg1 : !cir.ptr<!s32i> |
| // CHECK: cir.copy %arg0 to %arg1 : !cir.ptr<!s32i> |
| cir.return |
| } |
| cir.func @shouldParseCopyOpSkipTailPadding(%arg0 : !cir.ptr<!rec>, %arg1 : !cir.ptr<!rec>) { |
| cir.copy %arg0 to %arg1 skip_tail_padding : !cir.ptr<!rec> |
| // CHECK: cir.copy %arg0 to %arg1 skip_tail_padding : !cir.ptr<!rec_S> |
| cir.return |
| } |
| } |