llvm/test/CodeGen/ARM/cttz.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple arm-eabi -mattr=+v5t | FileCheck %s --check-prefix=CHECK-5
; RUN: llc < %s -mtriple arm-eabi -mattr=+v6t2 | FileCheck %s
; RUN: llc < %s -mtriple arm-eabi -mattr=+v6t2 -mattr=+neon | FileCheck %s
; RUN: llc < %s -mtriple thumbv6m-none-eabi | FileCheck %s --check-prefix=CHECK-6M
; RUN: llc < %s -mtriple thumbv8m.base-none-eabi | FileCheck %s --check-prefix=CHECK-8MBASE

; This test checks the @llvm.cttz.* intrinsics for integers.

declare i8 @llvm.cttz.i8(i8, i1)
declare i16 @llvm.cttz.i16(i16, i1)
declare i32 @llvm.cttz.i32(i32, i1)
declare i64 @llvm.cttz.i64(i64, i1)

;------------------------------------------------------------------------------

define i8 @test_i8(i8 %a) {
; CHECK-5-LABEL: test_i8:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    orr r0, r0, #256
; CHECK-5-NEXT:    sub r1, r0, #1
; CHECK-5-NEXT:    bic r0, r1, r0
; CHECK-5-NEXT:    clz r0, r0
; CHECK-5-NEXT:    rsb r0, r0, #32
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i8:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    orr r0, r0, #256
; CHECK-NEXT:    rbit r0, r0
; CHECK-NEXT:    clz r0, r0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i8:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    lsls r1, r0, #24
; CHECK-6M-NEXT:    beq .LBB0_3
; CHECK-6M-NEXT:  @ %bb.1: @ %cond.false
; CHECK-6M-NEXT:    cmp r0, #0
; CHECK-6M-NEXT:    beq .LBB0_4
; CHECK-6M-NEXT:  @ %bb.2: @ %cond.false
; CHECK-6M-NEXT:    rsbs r1, r0, #0
; CHECK-6M-NEXT:    ands r1, r0
; CHECK-6M-NEXT:    ldr r0, .LCPI0_0
; CHECK-6M-NEXT:    muls r0, r1, r0
; CHECK-6M-NEXT:    lsrs r0, r0, #27
; CHECK-6M-NEXT:    adr r1, .LCPI0_1
; CHECK-6M-NEXT:    ldrb r0, [r1, r0]
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB0_3:
; CHECK-6M-NEXT:    movs r0, #8
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB0_4:
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.5:
; CHECK-6M-NEXT:  .LCPI0_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI0_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i8:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    lsls r1, r0, #24
; CHECK-8MBASE-NEXT:    beq .LBB0_3
; CHECK-8MBASE-NEXT:  @ %bb.1: @ %cond.false
; CHECK-8MBASE-NEXT:    cbz r0, .LBB0_4
; CHECK-8MBASE-NEXT:  @ %bb.2: @ %cond.false
; CHECK-8MBASE-NEXT:    rsbs r1, r0, #0
; CHECK-8MBASE-NEXT:    ands r1, r0
; CHECK-8MBASE-NEXT:    movw r0, #46385
; CHECK-8MBASE-NEXT:    movt r0, #1916
; CHECK-8MBASE-NEXT:    muls r0, r1, r0
; CHECK-8MBASE-NEXT:    lsrs r0, r0, #27
; CHECK-8MBASE-NEXT:    adr r1, .LCPI0_0
; CHECK-8MBASE-NEXT:    ldrb r0, [r1, r0]
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB0_3:
; CHECK-8MBASE-NEXT:    movs r0, #8
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB0_4:
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.5:
; CHECK-8MBASE-NEXT:  .LCPI0_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i8 @llvm.cttz.i8(i8 %a, i1 false)
  ret i8 %tmp
}

define i16 @test_i16(i16 %a) {
; CHECK-5-LABEL: test_i16:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    orr r0, r0, #65536
; CHECK-5-NEXT:    sub r1, r0, #1
; CHECK-5-NEXT:    bic r0, r1, r0
; CHECK-5-NEXT:    clz r0, r0
; CHECK-5-NEXT:    rsb r0, r0, #32
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i16:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    orr r0, r0, #65536
; CHECK-NEXT:    rbit r0, r0
; CHECK-NEXT:    clz r0, r0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i16:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    lsls r1, r0, #16
; CHECK-6M-NEXT:    beq .LBB1_3
; CHECK-6M-NEXT:  @ %bb.1: @ %cond.false
; CHECK-6M-NEXT:    cmp r0, #0
; CHECK-6M-NEXT:    beq .LBB1_4
; CHECK-6M-NEXT:  @ %bb.2: @ %cond.false
; CHECK-6M-NEXT:    rsbs r1, r0, #0
; CHECK-6M-NEXT:    ands r1, r0
; CHECK-6M-NEXT:    ldr r0, .LCPI1_0
; CHECK-6M-NEXT:    muls r0, r1, r0
; CHECK-6M-NEXT:    lsrs r0, r0, #27
; CHECK-6M-NEXT:    adr r1, .LCPI1_1
; CHECK-6M-NEXT:    ldrb r0, [r1, r0]
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB1_3:
; CHECK-6M-NEXT:    movs r0, #16
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB1_4:
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.5:
; CHECK-6M-NEXT:  .LCPI1_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI1_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i16:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    lsls r1, r0, #16
; CHECK-8MBASE-NEXT:    beq .LBB1_3
; CHECK-8MBASE-NEXT:  @ %bb.1: @ %cond.false
; CHECK-8MBASE-NEXT:    cbz r0, .LBB1_4
; CHECK-8MBASE-NEXT:  @ %bb.2: @ %cond.false
; CHECK-8MBASE-NEXT:    rsbs r1, r0, #0
; CHECK-8MBASE-NEXT:    ands r1, r0
; CHECK-8MBASE-NEXT:    movw r0, #46385
; CHECK-8MBASE-NEXT:    movt r0, #1916
; CHECK-8MBASE-NEXT:    muls r0, r1, r0
; CHECK-8MBASE-NEXT:    lsrs r0, r0, #27
; CHECK-8MBASE-NEXT:    adr r1, .LCPI1_0
; CHECK-8MBASE-NEXT:    ldrb r0, [r1, r0]
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB1_3:
; CHECK-8MBASE-NEXT:    movs r0, #16
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB1_4:
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.5:
; CHECK-8MBASE-NEXT:  .LCPI1_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i16 @llvm.cttz.i16(i16 %a, i1 false)
  ret i16 %tmp
}

define i32 @test_i32(i32 %a) {
; CHECK-5-LABEL: test_i32:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    sub r1, r0, #1
; CHECK-5-NEXT:    bic r0, r1, r0
; CHECK-5-NEXT:    clz r0, r0
; CHECK-5-NEXT:    rsb r0, r0, #32
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i32:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    rbit r0, r0
; CHECK-NEXT:    clz r0, r0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i32:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    cmp r0, #0
; CHECK-6M-NEXT:    beq .LBB2_3
; CHECK-6M-NEXT:  @ %bb.1: @ %cond.false
; CHECK-6M-NEXT:    cmp r0, #0
; CHECK-6M-NEXT:    beq .LBB2_3
; CHECK-6M-NEXT:  @ %bb.2: @ %cond.false
; CHECK-6M-NEXT:    rsbs r1, r0, #0
; CHECK-6M-NEXT:    ands r1, r0
; CHECK-6M-NEXT:    ldr r0, .LCPI2_0
; CHECK-6M-NEXT:    muls r0, r1, r0
; CHECK-6M-NEXT:    lsrs r0, r0, #27
; CHECK-6M-NEXT:    adr r1, .LCPI2_1
; CHECK-6M-NEXT:    ldrb r0, [r1, r0]
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB2_3:
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.4:
; CHECK-6M-NEXT:  .LCPI2_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI2_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i32:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    cbz r0, .LBB2_3
; CHECK-8MBASE-NEXT:  @ %bb.1: @ %cond.false
; CHECK-8MBASE-NEXT:    cbz r0, .LBB2_3
; CHECK-8MBASE-NEXT:  @ %bb.2: @ %cond.false
; CHECK-8MBASE-NEXT:    rsbs r1, r0, #0
; CHECK-8MBASE-NEXT:    ands r1, r0
; CHECK-8MBASE-NEXT:    movw r0, #46385
; CHECK-8MBASE-NEXT:    movt r0, #1916
; CHECK-8MBASE-NEXT:    muls r0, r1, r0
; CHECK-8MBASE-NEXT:    lsrs r0, r0, #27
; CHECK-8MBASE-NEXT:    adr r1, .LCPI2_0
; CHECK-8MBASE-NEXT:    ldrb r0, [r1, r0]
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB2_3:
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.4:
; CHECK-8MBASE-NEXT:  .LCPI2_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i32 @llvm.cttz.i32(i32 %a, i1 false)
  ret i32 %tmp
}

define i64 @test_i64(i64 %a) {
; CHECK-5-LABEL: test_i64:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    sub r3, r1, #1
; CHECK-5-NEXT:    sub r2, r0, #1
; CHECK-5-NEXT:    bic r1, r3, r1
; CHECK-5-NEXT:    bic r2, r2, r0
; CHECK-5-NEXT:    clz r1, r1
; CHECK-5-NEXT:    clz r2, r2
; CHECK-5-NEXT:    rsb r1, r1, #64
; CHECK-5-NEXT:    cmp r0, #0
; CHECK-5-NEXT:    rsbne r1, r2, #32
; CHECK-5-NEXT:    mov r0, r1
; CHECK-5-NEXT:    mov r1, #0
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i64:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    rbit r1, r1
; CHECK-NEXT:    rbit r2, r0
; CHECK-NEXT:    clz r1, r1
; CHECK-NEXT:    cmp r0, #0
; CHECK-NEXT:    add r1, r1, #32
; CHECK-NEXT:    clzne r1, r2
; CHECK-NEXT:    mov r0, r1
; CHECK-NEXT:    mov r1, #0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i64:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    .save {r4, r5, r7, lr}
; CHECK-6M-NEXT:    push {r4, r5, r7, lr}
; CHECK-6M-NEXT:    mov r2, r0
; CHECK-6M-NEXT:    orrs r0, r1
; CHECK-6M-NEXT:    beq .LBB3_6
; CHECK-6M-NEXT:  @ %bb.1: @ %cond.false
; CHECK-6M-NEXT:    ldr r5, .LCPI3_0
; CHECK-6M-NEXT:    adr r3, .LCPI3_1
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    cmp r1, #0
; CHECK-6M-NEXT:    mov r4, r0
; CHECK-6M-NEXT:    beq .LBB3_3
; CHECK-6M-NEXT:  @ %bb.2: @ %cond.false
; CHECK-6M-NEXT:    rsbs r4, r1, #0
; CHECK-6M-NEXT:    ands r4, r1
; CHECK-6M-NEXT:    muls r4, r5, r4
; CHECK-6M-NEXT:    lsrs r1, r4, #27
; CHECK-6M-NEXT:    ldrb r4, [r3, r1]
; CHECK-6M-NEXT:  .LBB3_3: @ %cond.false
; CHECK-6M-NEXT:    adds r4, #32
; CHECK-6M-NEXT:    rsbs r1, r2, #0
; CHECK-6M-NEXT:    ands r1, r2
; CHECK-6M-NEXT:    muls r5, r1, r5
; CHECK-6M-NEXT:    lsrs r1, r5, #27
; CHECK-6M-NEXT:    cmp r2, #0
; CHECK-6M-NEXT:    bne .LBB3_7
; CHECK-6M-NEXT:  @ %bb.4: @ %cond.false
; CHECK-6M-NEXT:    beq .LBB3_8
; CHECK-6M-NEXT:  .LBB3_5: @ %cond.end
; CHECK-6M-NEXT:    movs r1, #0
; CHECK-6M-NEXT:    pop {r4, r5, r7, pc}
; CHECK-6M-NEXT:  .LBB3_6:
; CHECK-6M-NEXT:    movs r0, #64
; CHECK-6M-NEXT:    movs r1, #0
; CHECK-6M-NEXT:    pop {r4, r5, r7, pc}
; CHECK-6M-NEXT:  .LBB3_7: @ %cond.false
; CHECK-6M-NEXT:    ldrb r0, [r3, r1]
; CHECK-6M-NEXT:    bne .LBB3_5
; CHECK-6M-NEXT:  .LBB3_8: @ %cond.false
; CHECK-6M-NEXT:    mov r0, r4
; CHECK-6M-NEXT:    movs r1, #0
; CHECK-6M-NEXT:    pop {r4, r5, r7, pc}
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.9:
; CHECK-6M-NEXT:  .LCPI3_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI3_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i64:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    .save {r4, r5, r7, lr}
; CHECK-8MBASE-NEXT:    push {r4, r5, r7, lr}
; CHECK-8MBASE-NEXT:    mov r2, r0
; CHECK-8MBASE-NEXT:    orrs r0, r1
; CHECK-8MBASE-NEXT:    beq .LBB3_6
; CHECK-8MBASE-NEXT:  @ %bb.1: @ %cond.false
; CHECK-8MBASE-NEXT:    movw r5, #46385
; CHECK-8MBASE-NEXT:    movt r5, #1916
; CHECK-8MBASE-NEXT:    adr r3, .LCPI3_0
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    mov r4, r0
; CHECK-8MBASE-NEXT:    cbz r1, .LBB3_3
; CHECK-8MBASE-NEXT:  @ %bb.2: @ %cond.false
; CHECK-8MBASE-NEXT:    rsbs r4, r1, #0
; CHECK-8MBASE-NEXT:    ands r4, r1
; CHECK-8MBASE-NEXT:    muls r4, r5, r4
; CHECK-8MBASE-NEXT:    lsrs r1, r4, #27
; CHECK-8MBASE-NEXT:    ldrb r4, [r3, r1]
; CHECK-8MBASE-NEXT:  .LBB3_3: @ %cond.false
; CHECK-8MBASE-NEXT:    adds r4, #32
; CHECK-8MBASE-NEXT:    rsbs r1, r2, #0
; CHECK-8MBASE-NEXT:    ands r1, r2
; CHECK-8MBASE-NEXT:    muls r5, r1, r5
; CHECK-8MBASE-NEXT:    lsrs r1, r5, #27
; CHECK-8MBASE-NEXT:    cmp r2, #0
; CHECK-8MBASE-NEXT:    bne .LBB3_7
; CHECK-8MBASE-NEXT:  @ %bb.4: @ %cond.false
; CHECK-8MBASE-NEXT:    beq .LBB3_8
; CHECK-8MBASE-NEXT:  .LBB3_5: @ %cond.end
; CHECK-8MBASE-NEXT:    movs r1, #0
; CHECK-8MBASE-NEXT:    pop {r4, r5, r7, pc}
; CHECK-8MBASE-NEXT:  .LBB3_6:
; CHECK-8MBASE-NEXT:    movs r0, #64
; CHECK-8MBASE-NEXT:    movs r1, #0
; CHECK-8MBASE-NEXT:    pop {r4, r5, r7, pc}
; CHECK-8MBASE-NEXT:  .LBB3_7: @ %cond.false
; CHECK-8MBASE-NEXT:    ldrb r0, [r3, r1]
; CHECK-8MBASE-NEXT:    bne .LBB3_5
; CHECK-8MBASE-NEXT:  .LBB3_8: @ %cond.false
; CHECK-8MBASE-NEXT:    mov r0, r4
; CHECK-8MBASE-NEXT:    movs r1, #0
; CHECK-8MBASE-NEXT:    pop {r4, r5, r7, pc}
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.9:
; CHECK-8MBASE-NEXT:  .LCPI3_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i64 @llvm.cttz.i64(i64 %a, i1 false)
  ret i64 %tmp
}

;------------------------------------------------------------------------------

define i8 @test_i8_zero_poison(i8 %a) {
; CHECK-5-LABEL: test_i8_zero_poison:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    sub r1, r0, #1
; CHECK-5-NEXT:    bic r0, r1, r0
; CHECK-5-NEXT:    clz r0, r0
; CHECK-5-NEXT:    rsb r0, r0, #32
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i8_zero_poison:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    rbit r0, r0
; CHECK-NEXT:    clz r0, r0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i8_zero_poison:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    cmp r0, #0
; CHECK-6M-NEXT:    beq .LBB4_2
; CHECK-6M-NEXT:  @ %bb.1:
; CHECK-6M-NEXT:    rsbs r1, r0, #0
; CHECK-6M-NEXT:    ands r1, r0
; CHECK-6M-NEXT:    ldr r0, .LCPI4_0
; CHECK-6M-NEXT:    muls r0, r1, r0
; CHECK-6M-NEXT:    lsrs r0, r0, #27
; CHECK-6M-NEXT:    adr r1, .LCPI4_1
; CHECK-6M-NEXT:    ldrb r0, [r1, r0]
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB4_2:
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.3:
; CHECK-6M-NEXT:  .LCPI4_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI4_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i8_zero_poison:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    cbz r0, .LBB4_2
; CHECK-8MBASE-NEXT:  @ %bb.1:
; CHECK-8MBASE-NEXT:    rsbs r1, r0, #0
; CHECK-8MBASE-NEXT:    ands r1, r0
; CHECK-8MBASE-NEXT:    movw r0, #46385
; CHECK-8MBASE-NEXT:    movt r0, #1916
; CHECK-8MBASE-NEXT:    muls r0, r1, r0
; CHECK-8MBASE-NEXT:    lsrs r0, r0, #27
; CHECK-8MBASE-NEXT:    adr r1, .LCPI4_0
; CHECK-8MBASE-NEXT:    ldrb r0, [r1, r0]
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB4_2:
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.3:
; CHECK-8MBASE-NEXT:  .LCPI4_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i8 @llvm.cttz.i8(i8 %a, i1 true)
  ret i8 %tmp
}

define i16 @test_i16_zero_poison(i16 %a) {
; CHECK-5-LABEL: test_i16_zero_poison:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    sub r1, r0, #1
; CHECK-5-NEXT:    bic r0, r1, r0
; CHECK-5-NEXT:    clz r0, r0
; CHECK-5-NEXT:    rsb r0, r0, #32
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i16_zero_poison:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    rbit r0, r0
; CHECK-NEXT:    clz r0, r0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i16_zero_poison:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    cmp r0, #0
; CHECK-6M-NEXT:    beq .LBB5_2
; CHECK-6M-NEXT:  @ %bb.1:
; CHECK-6M-NEXT:    rsbs r1, r0, #0
; CHECK-6M-NEXT:    ands r1, r0
; CHECK-6M-NEXT:    ldr r0, .LCPI5_0
; CHECK-6M-NEXT:    muls r0, r1, r0
; CHECK-6M-NEXT:    lsrs r0, r0, #27
; CHECK-6M-NEXT:    adr r1, .LCPI5_1
; CHECK-6M-NEXT:    ldrb r0, [r1, r0]
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB5_2:
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.3:
; CHECK-6M-NEXT:  .LCPI5_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI5_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i16_zero_poison:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    cbz r0, .LBB5_2
; CHECK-8MBASE-NEXT:  @ %bb.1:
; CHECK-8MBASE-NEXT:    rsbs r1, r0, #0
; CHECK-8MBASE-NEXT:    ands r1, r0
; CHECK-8MBASE-NEXT:    movw r0, #46385
; CHECK-8MBASE-NEXT:    movt r0, #1916
; CHECK-8MBASE-NEXT:    muls r0, r1, r0
; CHECK-8MBASE-NEXT:    lsrs r0, r0, #27
; CHECK-8MBASE-NEXT:    adr r1, .LCPI5_0
; CHECK-8MBASE-NEXT:    ldrb r0, [r1, r0]
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB5_2:
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.3:
; CHECK-8MBASE-NEXT:  .LCPI5_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i16 @llvm.cttz.i16(i16 %a, i1 true)
  ret i16 %tmp
}


define i32 @test_i32_zero_poison(i32 %a) {
; CHECK-5-LABEL: test_i32_zero_poison:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    sub r1, r0, #1
; CHECK-5-NEXT:    bic r0, r1, r0
; CHECK-5-NEXT:    clz r0, r0
; CHECK-5-NEXT:    rsb r0, r0, #32
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i32_zero_poison:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    rbit r0, r0
; CHECK-NEXT:    clz r0, r0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i32_zero_poison:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    cmp r0, #0
; CHECK-6M-NEXT:    beq .LBB6_2
; CHECK-6M-NEXT:  @ %bb.1:
; CHECK-6M-NEXT:    rsbs r1, r0, #0
; CHECK-6M-NEXT:    ands r1, r0
; CHECK-6M-NEXT:    ldr r0, .LCPI6_0
; CHECK-6M-NEXT:    muls r0, r1, r0
; CHECK-6M-NEXT:    lsrs r0, r0, #27
; CHECK-6M-NEXT:    adr r1, .LCPI6_1
; CHECK-6M-NEXT:    ldrb r0, [r1, r0]
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:  .LBB6_2:
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    bx lr
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.3:
; CHECK-6M-NEXT:  .LCPI6_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI6_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i32_zero_poison:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    cbz r0, .LBB6_2
; CHECK-8MBASE-NEXT:  @ %bb.1:
; CHECK-8MBASE-NEXT:    rsbs r1, r0, #0
; CHECK-8MBASE-NEXT:    ands r1, r0
; CHECK-8MBASE-NEXT:    movw r0, #46385
; CHECK-8MBASE-NEXT:    movt r0, #1916
; CHECK-8MBASE-NEXT:    muls r0, r1, r0
; CHECK-8MBASE-NEXT:    lsrs r0, r0, #27
; CHECK-8MBASE-NEXT:    adr r1, .LCPI6_0
; CHECK-8MBASE-NEXT:    ldrb r0, [r1, r0]
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:  .LBB6_2:
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    bx lr
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.3:
; CHECK-8MBASE-NEXT:  .LCPI6_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i32 @llvm.cttz.i32(i32 %a, i1 true)
  ret i32 %tmp
}

define i64 @test_i64_zero_poison(i64 %a) {
; CHECK-5-LABEL: test_i64_zero_poison:
; CHECK-5:       @ %bb.0:
; CHECK-5-NEXT:    sub r3, r1, #1
; CHECK-5-NEXT:    sub r2, r0, #1
; CHECK-5-NEXT:    bic r1, r3, r1
; CHECK-5-NEXT:    bic r2, r2, r0
; CHECK-5-NEXT:    clz r1, r1
; CHECK-5-NEXT:    clz r2, r2
; CHECK-5-NEXT:    rsb r1, r1, #64
; CHECK-5-NEXT:    cmp r0, #0
; CHECK-5-NEXT:    rsbne r1, r2, #32
; CHECK-5-NEXT:    mov r0, r1
; CHECK-5-NEXT:    mov r1, #0
; CHECK-5-NEXT:    bx lr
;
; CHECK-LABEL: test_i64_zero_poison:
; CHECK:       @ %bb.0:
; CHECK-NEXT:    rbit r1, r1
; CHECK-NEXT:    rbit r2, r0
; CHECK-NEXT:    clz r1, r1
; CHECK-NEXT:    cmp r0, #0
; CHECK-NEXT:    add r1, r1, #32
; CHECK-NEXT:    clzne r1, r2
; CHECK-NEXT:    mov r0, r1
; CHECK-NEXT:    mov r1, #0
; CHECK-NEXT:    bx lr
;
; CHECK-6M-LABEL: test_i64_zero_poison:
; CHECK-6M:       @ %bb.0:
; CHECK-6M-NEXT:    .save {r4, r5, r7, lr}
; CHECK-6M-NEXT:    push {r4, r5, r7, lr}
; CHECK-6M-NEXT:    mov r2, r0
; CHECK-6M-NEXT:    ldr r5, .LCPI7_0
; CHECK-6M-NEXT:    adr r3, .LCPI7_1
; CHECK-6M-NEXT:    movs r0, #32
; CHECK-6M-NEXT:    cmp r1, #0
; CHECK-6M-NEXT:    mov r4, r0
; CHECK-6M-NEXT:    beq .LBB7_2
; CHECK-6M-NEXT:  @ %bb.1:
; CHECK-6M-NEXT:    rsbs r4, r1, #0
; CHECK-6M-NEXT:    ands r4, r1
; CHECK-6M-NEXT:    muls r4, r5, r4
; CHECK-6M-NEXT:    lsrs r1, r4, #27
; CHECK-6M-NEXT:    ldrb r4, [r3, r1]
; CHECK-6M-NEXT:  .LBB7_2:
; CHECK-6M-NEXT:    adds r4, #32
; CHECK-6M-NEXT:    rsbs r1, r2, #0
; CHECK-6M-NEXT:    ands r1, r2
; CHECK-6M-NEXT:    muls r5, r1, r5
; CHECK-6M-NEXT:    lsrs r1, r5, #27
; CHECK-6M-NEXT:    cmp r2, #0
; CHECK-6M-NEXT:    bne .LBB7_5
; CHECK-6M-NEXT:  @ %bb.3:
; CHECK-6M-NEXT:    beq .LBB7_6
; CHECK-6M-NEXT:  .LBB7_4:
; CHECK-6M-NEXT:    movs r1, #0
; CHECK-6M-NEXT:    pop {r4, r5, r7, pc}
; CHECK-6M-NEXT:  .LBB7_5:
; CHECK-6M-NEXT:    ldrb r0, [r3, r1]
; CHECK-6M-NEXT:    bne .LBB7_4
; CHECK-6M-NEXT:  .LBB7_6:
; CHECK-6M-NEXT:    mov r0, r4
; CHECK-6M-NEXT:    movs r1, #0
; CHECK-6M-NEXT:    pop {r4, r5, r7, pc}
; CHECK-6M-NEXT:    .p2align 2
; CHECK-6M-NEXT:  @ %bb.7:
; CHECK-6M-NEXT:  .LCPI7_0:
; CHECK-6M-NEXT:    .long 125613361 @ 0x77cb531
; CHECK-6M-NEXT:  .LCPI7_1:
; CHECK-6M-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
;
; CHECK-8MBASE-LABEL: test_i64_zero_poison:
; CHECK-8MBASE:       @ %bb.0:
; CHECK-8MBASE-NEXT:    .save {r4, r5, r7, lr}
; CHECK-8MBASE-NEXT:    push {r4, r5, r7, lr}
; CHECK-8MBASE-NEXT:    mov r2, r0
; CHECK-8MBASE-NEXT:    movw r5, #46385
; CHECK-8MBASE-NEXT:    movt r5, #1916
; CHECK-8MBASE-NEXT:    adr r3, .LCPI7_0
; CHECK-8MBASE-NEXT:    movs r0, #32
; CHECK-8MBASE-NEXT:    mov r4, r0
; CHECK-8MBASE-NEXT:    cbz r1, .LBB7_2
; CHECK-8MBASE-NEXT:  @ %bb.1:
; CHECK-8MBASE-NEXT:    rsbs r4, r1, #0
; CHECK-8MBASE-NEXT:    ands r4, r1
; CHECK-8MBASE-NEXT:    muls r4, r5, r4
; CHECK-8MBASE-NEXT:    lsrs r1, r4, #27
; CHECK-8MBASE-NEXT:    ldrb r4, [r3, r1]
; CHECK-8MBASE-NEXT:  .LBB7_2:
; CHECK-8MBASE-NEXT:    adds r4, #32
; CHECK-8MBASE-NEXT:    rsbs r1, r2, #0
; CHECK-8MBASE-NEXT:    ands r1, r2
; CHECK-8MBASE-NEXT:    muls r5, r1, r5
; CHECK-8MBASE-NEXT:    lsrs r1, r5, #27
; CHECK-8MBASE-NEXT:    cmp r2, #0
; CHECK-8MBASE-NEXT:    bne .LBB7_5
; CHECK-8MBASE-NEXT:  @ %bb.3:
; CHECK-8MBASE-NEXT:    beq .LBB7_6
; CHECK-8MBASE-NEXT:  .LBB7_4:
; CHECK-8MBASE-NEXT:    movs r1, #0
; CHECK-8MBASE-NEXT:    pop {r4, r5, r7, pc}
; CHECK-8MBASE-NEXT:  .LBB7_5:
; CHECK-8MBASE-NEXT:    ldrb r0, [r3, r1]
; CHECK-8MBASE-NEXT:    bne .LBB7_4
; CHECK-8MBASE-NEXT:  .LBB7_6:
; CHECK-8MBASE-NEXT:    mov r0, r4
; CHECK-8MBASE-NEXT:    movs r1, #0
; CHECK-8MBASE-NEXT:    pop {r4, r5, r7, pc}
; CHECK-8MBASE-NEXT:    .p2align 2
; CHECK-8MBASE-NEXT:  @ %bb.7:
; CHECK-8MBASE-NEXT:  .LCPI7_0:
; CHECK-8MBASE-NEXT:    .ascii "\000\001\034\002\035\016\030\003\036\026\024\017\031\021\004\b\037\033\r\027\025\023\020\007\032\f\022\006\013\005\n\t"
  %tmp = call i64 @llvm.cttz.i64(i64 %a, i1 true)
  ret i64 %tmp
}