llvm/test/CodeGen/AArch64/GlobalISel/knownbits-maxdepth.mir

# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 6
# RUN: llc -mtriple aarch64 -passes="print<gisel-value-tracking>" %s -filetype=null 2>&1 | FileCheck %s --check-prefix=CHECK-DEFAULT
# RUN: llc -mtriple aarch64 -O0 -passes="print<gisel-value-tracking>" %s -filetype=null 2>&1 | FileCheck %s --check-prefix=CHECK-O0

---
name: test_depth_within_limit
body: |
  bb.0:
  ; CHECK-DEFAULT-LABEL: name: @test_depth_within_limit
  ; CHECK-DEFAULT-NEXT: %0:_ KnownBits:00000011 SignBits:6
  ; CHECK-DEFAULT-NEXT: %1:_ KnownBits:00000001 SignBits:7
  ; CHECK-DEFAULT-NEXT: %2:_ KnownBits:00000110 SignBits:5
  ; CHECK-DEFAULT-NEXT: %3:_ KnownBits:00000000 SignBits:8
  ; CHECK-DEFAULT-NEXT: %4:_ KnownBits:00000000 SignBits:7
  ; CHECK-DEFAULT-NEXT: %5:_ KnownBits:00000000 SignBits:8
  ; CHECK-O0-LABEL: name: @test_depth_within_limit
  ; CHECK-O0-NEXT: %0:_ KnownBits:00000011 SignBits:6
  ; CHECK-O0-NEXT: %1:_ KnownBits:00000001 SignBits:7
  ; CHECK-O0-NEXT: %2:_ KnownBits:00000110 SignBits:5
  ; CHECK-O0-NEXT: %3:_ KnownBits:0000000? SignBits:7
  ; CHECK-O0-NEXT: %4:_ KnownBits:???????0 SignBits:1
  ; CHECK-O0-NEXT: %5:_ KnownBits:0000000? SignBits:7
    %0:_(i8) = G_CONSTANT i8 3
    %1:_(i8) = G_CONSTANT i8 1
    %2:_(i8) = G_SHL %0, %1
    %3:_(i8) = G_AND %2, %1
    %4:_(i8) = G_SHL %3, %1
    %5:_(i8) = G_AND %4, %1
...
---
name: test_depth_exceeded
body: |
  bb.0:
  ; CHECK-DEFAULT-LABEL: name: @test_depth_exceeded
  ; CHECK-DEFAULT-NEXT: %0:_ KnownBits:00000011 SignBits:6
  ; CHECK-DEFAULT-NEXT: %1:_ KnownBits:00000001 SignBits:7
  ; CHECK-DEFAULT-NEXT: %2:_ KnownBits:00000110 SignBits:5
  ; CHECK-DEFAULT-NEXT: %3:_ KnownBits:00001100 SignBits:4
  ; CHECK-DEFAULT-NEXT: %4:_ KnownBits:00011000 SignBits:3
  ; CHECK-DEFAULT-NEXT: %5:_ KnownBits:00110000 SignBits:2
  ; CHECK-DEFAULT-NEXT: %6:_ KnownBits:01100000 SignBits:1
  ; CHECK-DEFAULT-NEXT: %7:_ KnownBits:???00000 SignBits:1
  ; CHECK-O0-LABEL: name: @test_depth_exceeded
  ; CHECK-O0-NEXT: %0:_ KnownBits:00000011 SignBits:6
  ; CHECK-O0-NEXT: %1:_ KnownBits:00000001 SignBits:7
  ; CHECK-O0-NEXT: %2:_ KnownBits:00000110 SignBits:5
  ; CHECK-O0-NEXT: %3:_ KnownBits:???????0 SignBits:4
  ; CHECK-O0-NEXT: %4:_ KnownBits:???????0 SignBits:1
  ; CHECK-O0-NEXT: %5:_ KnownBits:???????0 SignBits:1
  ; CHECK-O0-NEXT: %6:_ KnownBits:???????0 SignBits:1
  ; CHECK-O0-NEXT: %7:_ KnownBits:???????0 SignBits:1
    %0:_(i8) = G_CONSTANT i8 3
    %1:_(i8) = G_CONSTANT i8 1
    %2:_(i8) = G_SHL %0, %1
    %3:_(i8) = G_SHL %2, %1
    %4:_(i8) = G_SHL %3, %1
    %5:_(i8) = G_SHL %4, %1
    %6:_(i8) = G_SHL %5, %1
    %7:_(i8) = G_SHL %6, %1
...