45 lines · plain
1; RUN: llc -mtriple=aarch64-linux-gnu -o - %s | FileCheck %s2 3define i32 @test_consts(i32 %in) {4; CHECK-LABEL: test_consts:5; CHECK-NOT: bfxil6; CHECK-NOT: and7; CHECK-NOT: orr8; CHECK: ret9 10 %lo = and i32 %in, 6553511 %hi = and i32 %in, -6553612 %res = or i32 %lo, %hi13 ret i32 %res14}15 16define i32 @test_generic(i32 %in, i32 %mask1, i32 %mask2) {17; CHECK-LABEL: test_generic:18; CHECK: orr [[FULL_MASK:w[0-9]+]], w1, w219; CHECK: and w0, w0, [[FULL_MASK]]20 21 %lo = and i32 %in, %mask122 %hi = and i32 %in, %mask223 %res = or i32 %lo, %hi24 ret i32 %res25}26 27; In this case the transformation isn't profitable, since %lo and %hi28; are used more than once.29define [3 x i32] @test_reuse(i32 %in, i32 %mask1, i32 %mask2) {30; CHECK-LABEL: test_reuse:31; CHECK-DAG: and w1, w0, w132; CHECK-DAG: and w2, w0, w233; CHECK-DAG: orr w0, w1, w234 35 %lo = and i32 %in, %mask136 %hi = and i32 %in, %mask237 %recombine = or i32 %lo, %hi38 39 %res.tmp0 = insertvalue [3 x i32] undef, i32 %recombine, 040 %res.tmp1 = insertvalue [3 x i32] %res.tmp0, i32 %lo, 141 %res = insertvalue [3 x i32] %res.tmp1, i32 %hi, 242 43 ret [3 x i32] %res44}45