| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; 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-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-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-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-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: ldr r5, .LCPI3_0 |
| ; CHECK-6M-NEXT: adr r4, .LCPI3_1 |
| ; CHECK-6M-NEXT: movs r3, #32 |
| ; CHECK-6M-NEXT: cmp r0, #0 |
| ; CHECK-6M-NEXT: mov r2, r3 |
| ; CHECK-6M-NEXT: bne .LBB3_5 |
| ; CHECK-6M-NEXT: @ %bb.1: |
| ; CHECK-6M-NEXT: cmp r1, #0 |
| ; CHECK-6M-NEXT: bne .LBB3_6 |
| ; CHECK-6M-NEXT: .LBB3_2: |
| ; CHECK-6M-NEXT: cmp r0, #0 |
| ; CHECK-6M-NEXT: bne .LBB3_4 |
| ; CHECK-6M-NEXT: .LBB3_3: |
| ; CHECK-6M-NEXT: adds r3, #32 |
| ; CHECK-6M-NEXT: mov r2, r3 |
| ; CHECK-6M-NEXT: .LBB3_4: |
| ; CHECK-6M-NEXT: movs r1, #0 |
| ; CHECK-6M-NEXT: mov r0, r2 |
| ; CHECK-6M-NEXT: pop {r4, r5, r7, pc} |
| ; CHECK-6M-NEXT: .LBB3_5: |
| ; CHECK-6M-NEXT: rsbs r2, r0, #0 |
| ; CHECK-6M-NEXT: ands r2, r0 |
| ; CHECK-6M-NEXT: muls r2, r5, r2 |
| ; CHECK-6M-NEXT: lsrs r2, r2, #27 |
| ; CHECK-6M-NEXT: ldrb r2, [r4, r2] |
| ; CHECK-6M-NEXT: cmp r1, #0 |
| ; CHECK-6M-NEXT: beq .LBB3_2 |
| ; CHECK-6M-NEXT: .LBB3_6: |
| ; CHECK-6M-NEXT: rsbs r3, r1, #0 |
| ; CHECK-6M-NEXT: ands r3, r1 |
| ; CHECK-6M-NEXT: muls r5, r3, r5 |
| ; CHECK-6M-NEXT: lsrs r1, r5, #27 |
| ; CHECK-6M-NEXT: ldrb r3, [r4, r1] |
| ; CHECK-6M-NEXT: cmp r0, #0 |
| ; CHECK-6M-NEXT: beq .LBB3_3 |
| ; CHECK-6M-NEXT: b .LBB3_4 |
| ; CHECK-6M-NEXT: .p2align 2 |
| ; CHECK-6M-NEXT: @ %bb.7: |
| ; 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: movw r5, #46385 |
| ; CHECK-8MBASE-NEXT: movt r5, #1916 |
| ; CHECK-8MBASE-NEXT: adr r4, .LCPI3_0 |
| ; CHECK-8MBASE-NEXT: movs r3, #32 |
| ; CHECK-8MBASE-NEXT: mov r2, r3 |
| ; CHECK-8MBASE-NEXT: cbnz r0, .LBB3_5 |
| ; CHECK-8MBASE-NEXT: @ %bb.1: |
| ; CHECK-8MBASE-NEXT: cbnz r1, .LBB3_6 |
| ; CHECK-8MBASE-NEXT: .LBB3_2: |
| ; CHECK-8MBASE-NEXT: cbnz r0, .LBB3_4 |
| ; CHECK-8MBASE-NEXT: .LBB3_3: |
| ; CHECK-8MBASE-NEXT: adds r3, #32 |
| ; CHECK-8MBASE-NEXT: mov r2, r3 |
| ; CHECK-8MBASE-NEXT: .LBB3_4: |
| ; CHECK-8MBASE-NEXT: movs r1, #0 |
| ; CHECK-8MBASE-NEXT: mov r0, r2 |
| ; CHECK-8MBASE-NEXT: pop {r4, r5, r7, pc} |
| ; CHECK-8MBASE-NEXT: .LBB3_5: |
| ; CHECK-8MBASE-NEXT: rsbs r2, r0, #0 |
| ; CHECK-8MBASE-NEXT: ands r2, r0 |
| ; CHECK-8MBASE-NEXT: muls r2, r5, r2 |
| ; CHECK-8MBASE-NEXT: lsrs r2, r2, #27 |
| ; CHECK-8MBASE-NEXT: ldrb r2, [r4, r2] |
| ; CHECK-8MBASE-NEXT: cmp r1, #0 |
| ; CHECK-8MBASE-NEXT: beq .LBB3_2 |
| ; CHECK-8MBASE-NEXT: .LBB3_6: |
| ; CHECK-8MBASE-NEXT: rsbs r3, r1, #0 |
| ; CHECK-8MBASE-NEXT: ands r3, r1 |
| ; CHECK-8MBASE-NEXT: muls r5, r3, r5 |
| ; CHECK-8MBASE-NEXT: lsrs r1, r5, #27 |
| ; CHECK-8MBASE-NEXT: ldrb r3, [r4, r1] |
| ; CHECK-8MBASE-NEXT: cmp r0, #0 |
| ; CHECK-8MBASE-NEXT: beq .LBB3_3 |
| ; CHECK-8MBASE-NEXT: b .LBB3_4 |
| ; CHECK-8MBASE-NEXT: .p2align 2 |
| ; CHECK-8MBASE-NEXT: @ %bb.7: |
| ; 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_undef(i8 %a) { |
| ; CHECK-LABEL: test_i8_zero_undef: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: rbit r0, r0 |
| ; CHECK-NEXT: clz r0, r0 |
| ; CHECK-NEXT: bx lr |
| ; |
| ; CHECK-6M-LABEL: test_i8_zero_undef: |
| ; 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_undef: |
| ; 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_undef(i16 %a) { |
| ; CHECK-LABEL: test_i16_zero_undef: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: rbit r0, r0 |
| ; CHECK-NEXT: clz r0, r0 |
| ; CHECK-NEXT: bx lr |
| ; |
| ; CHECK-6M-LABEL: test_i16_zero_undef: |
| ; 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_undef: |
| ; 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_undef(i32 %a) { |
| ; CHECK-LABEL: test_i32_zero_undef: |
| ; CHECK: @ %bb.0: |
| ; CHECK-NEXT: rbit r0, r0 |
| ; CHECK-NEXT: clz r0, r0 |
| ; CHECK-NEXT: bx lr |
| ; |
| ; CHECK-6M-LABEL: test_i32_zero_undef: |
| ; 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_undef: |
| ; 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_undef(i64 %a) { |
| ; CHECK-LABEL: test_i64_zero_undef: |
| ; 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_undef: |
| ; CHECK-6M: @ %bb.0: |
| ; CHECK-6M-NEXT: .save {r4, r5, r7, lr} |
| ; CHECK-6M-NEXT: push {r4, r5, r7, lr} |
| ; CHECK-6M-NEXT: ldr r5, .LCPI7_0 |
| ; CHECK-6M-NEXT: adr r4, .LCPI7_1 |
| ; CHECK-6M-NEXT: movs r3, #32 |
| ; CHECK-6M-NEXT: cmp r0, #0 |
| ; CHECK-6M-NEXT: mov r2, r3 |
| ; CHECK-6M-NEXT: bne .LBB7_5 |
| ; CHECK-6M-NEXT: @ %bb.1: |
| ; CHECK-6M-NEXT: cmp r1, #0 |
| ; CHECK-6M-NEXT: bne .LBB7_6 |
| ; CHECK-6M-NEXT: .LBB7_2: |
| ; CHECK-6M-NEXT: cmp r0, #0 |
| ; CHECK-6M-NEXT: bne .LBB7_4 |
| ; CHECK-6M-NEXT: .LBB7_3: |
| ; CHECK-6M-NEXT: adds r3, #32 |
| ; CHECK-6M-NEXT: mov r2, r3 |
| ; CHECK-6M-NEXT: .LBB7_4: |
| ; CHECK-6M-NEXT: movs r1, #0 |
| ; CHECK-6M-NEXT: mov r0, r2 |
| ; CHECK-6M-NEXT: pop {r4, r5, r7, pc} |
| ; CHECK-6M-NEXT: .LBB7_5: |
| ; CHECK-6M-NEXT: rsbs r2, r0, #0 |
| ; CHECK-6M-NEXT: ands r2, r0 |
| ; CHECK-6M-NEXT: muls r2, r5, r2 |
| ; CHECK-6M-NEXT: lsrs r2, r2, #27 |
| ; CHECK-6M-NEXT: ldrb r2, [r4, r2] |
| ; CHECK-6M-NEXT: cmp r1, #0 |
| ; CHECK-6M-NEXT: beq .LBB7_2 |
| ; CHECK-6M-NEXT: .LBB7_6: |
| ; CHECK-6M-NEXT: rsbs r3, r1, #0 |
| ; CHECK-6M-NEXT: ands r3, r1 |
| ; CHECK-6M-NEXT: muls r5, r3, r5 |
| ; CHECK-6M-NEXT: lsrs r1, r5, #27 |
| ; CHECK-6M-NEXT: ldrb r3, [r4, r1] |
| ; CHECK-6M-NEXT: cmp r0, #0 |
| ; CHECK-6M-NEXT: beq .LBB7_3 |
| ; CHECK-6M-NEXT: b .LBB7_4 |
| ; 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_undef: |
| ; CHECK-8MBASE: @ %bb.0: |
| ; CHECK-8MBASE-NEXT: .save {r4, r5, r7, lr} |
| ; CHECK-8MBASE-NEXT: push {r4, r5, r7, lr} |
| ; CHECK-8MBASE-NEXT: movw r5, #46385 |
| ; CHECK-8MBASE-NEXT: movt r5, #1916 |
| ; CHECK-8MBASE-NEXT: adr r4, .LCPI7_0 |
| ; CHECK-8MBASE-NEXT: movs r3, #32 |
| ; CHECK-8MBASE-NEXT: mov r2, r3 |
| ; CHECK-8MBASE-NEXT: cbnz r0, .LBB7_5 |
| ; CHECK-8MBASE-NEXT: @ %bb.1: |
| ; CHECK-8MBASE-NEXT: cbnz r1, .LBB7_6 |
| ; CHECK-8MBASE-NEXT: .LBB7_2: |
| ; CHECK-8MBASE-NEXT: cbnz r0, .LBB7_4 |
| ; CHECK-8MBASE-NEXT: .LBB7_3: |
| ; CHECK-8MBASE-NEXT: adds r3, #32 |
| ; CHECK-8MBASE-NEXT: mov r2, r3 |
| ; CHECK-8MBASE-NEXT: .LBB7_4: |
| ; CHECK-8MBASE-NEXT: movs r1, #0 |
| ; CHECK-8MBASE-NEXT: mov r0, r2 |
| ; CHECK-8MBASE-NEXT: pop {r4, r5, r7, pc} |
| ; CHECK-8MBASE-NEXT: .LBB7_5: |
| ; CHECK-8MBASE-NEXT: rsbs r2, r0, #0 |
| ; CHECK-8MBASE-NEXT: ands r2, r0 |
| ; CHECK-8MBASE-NEXT: muls r2, r5, r2 |
| ; CHECK-8MBASE-NEXT: lsrs r2, r2, #27 |
| ; CHECK-8MBASE-NEXT: ldrb r2, [r4, r2] |
| ; CHECK-8MBASE-NEXT: cmp r1, #0 |
| ; CHECK-8MBASE-NEXT: beq .LBB7_2 |
| ; CHECK-8MBASE-NEXT: .LBB7_6: |
| ; CHECK-8MBASE-NEXT: rsbs r3, r1, #0 |
| ; CHECK-8MBASE-NEXT: ands r3, r1 |
| ; CHECK-8MBASE-NEXT: muls r5, r3, r5 |
| ; CHECK-8MBASE-NEXT: lsrs r1, r5, #27 |
| ; CHECK-8MBASE-NEXT: ldrb r3, [r4, r1] |
| ; CHECK-8MBASE-NEXT: cmp r0, #0 |
| ; CHECK-8MBASE-NEXT: beq .LBB7_3 |
| ; CHECK-8MBASE-NEXT: b .LBB7_4 |
| ; 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 |
| } |
