| # RUN: llc -march=aarch64 -run-pass=legalizer %s -o - -enable-cse-in-legalizer=1 -debug-only=cseinfo 2>&1 | FileCheck %s |
| # Test the -debug-only=cseinfo option here to make sure we're recording new instructions and printing the hit count |
| # at the end. |
| # REQUIRES: asserts |
| --- |
| name: test_cse_in_legalizer |
| body: | |
| bb.0.entry: |
| ; CHECK: CSEInfo::Add MI: %{{[0-9]+}}:_(s8) = G_TRUNC |
| ; CHECK: CSEInfo::Add MI: %{{[0-9]+}}:_(s32) = G_ZEXT |
| ; CHECK: CSEInfo::Add MI: %{{[0-9]+}}:_(s8) = G_TRUNC |
| ; CHECK: CSEInfo::Add MI: %{{[0-9]+}}:_(s32) = G_ZEXT |
| ; CHECK: CSEInfo::Recording new MI G_CONSTANT |
| ; CHECK: CSEInfo::Recording new MI G_CONSTANT |
| ; CHECK: CSEInfo::Recording new MI G_TRUNC |
| ; CHECK: CSEInfo::Recording new MI G_TRUNC |
| ; CHECK: CSEInfo::Recording new MI G_AND |
| ; CHECK: CSEInfo::Recording new MI G_AND |
| ; CHECK: CSEInfo::Found Instr %{{[0-9]+}}:_(s32) = G_CONSTANT |
| ; CHECK: CSEInfo::Found Instr %{{[0-9]+}}:_(s32) = G_TRUNC |
| ; CHECK: CSEInfo::Found Instr %{{[0-9]+}}:_(s32) = G_AND |
| ; Note - these will be sensitive the opcode numbers. If |
| ; frequently modifying generic opcodes, we could just regex |
| ; the opcodes in the following lines instead of checking for |
| ; specific opcode numbers. |
| ; CHECK: CSEInfo::CSE Hit for Opc 82 : 1 |
| ; CHECK: CSEInfo::CSE Hit for Opc 41 : 1 |
| ; CHECK: CSEInfo::CSE Hit for Opc 83 : 1 |
| %0:_(s64) = COPY $x0 |
| %1:_(s8) = G_TRUNC %0(s64) |
| %19:_(s32) = G_ZEXT %1(s8) |
| $w0 = COPY %19(s32) |
| %2:_(s8) = G_TRUNC %0(s64) |
| %20:_(s32) = G_ZEXT %2(s8) |
| $w0 = COPY %20(s32) |
