70 lines · plain
1; RUN: llc -mtriple=arm-eabi -mattr=+v7 %s -o - | FileCheck %s2 3define i32 @sbfx1(i32 %a) {4; CHECK: sbfx15; CHECK: sbfx r0, r0, #7, #116 %t1 = lshr i32 %a, 77 %t2 = trunc i32 %t1 to i118 %t3 = sext i11 %t2 to i329 ret i32 %t310}11 12define i32 @ubfx1(i32 %a) {13; CHECK: ubfx114; CHECK: ubfx r0, r0, #7, #1115 %t1 = lshr i32 %a, 716 %t2 = trunc i32 %t1 to i1117 %t3 = zext i11 %t2 to i3218 ret i32 %t319}20 21define i32 @ubfx2(i32 %a) {22; CHECK: ubfx223; CHECK: ubfx r0, r0, #7, #1124 %t1 = lshr i32 %a, 725 %t2 = and i32 %t1, 204726 ret i32 %t227}28 29; rdar://1287017730define i32 @ubfx_opt(ptr nocapture %ctx, i32 %x) nounwind readonly ssp {31entry:32; CHECK: ubfx_opt33; CHECK: lsr [[REG1:(lr|r[0-9]+)]], r1, #2434; CHECK: ldr {{lr|r[0-9]+}}, [r0, [[REG1]], lsl #2]35; CHECK: ubfx [[REG2:(lr|r[0-9]+)]], r1, #16, #836; CHECK: ldr {{lr|r[0-9]+}}, [r0, [[REG2]], lsl #2]37; CHECK: ubfx [[REG3:(lr|r[0-9]+)]], r1, #8, #838; CHECK: ldr {{lr|r[0-9]+}}, [r0, [[REG3]], lsl #2]39 %and = lshr i32 %x, 840 %shr = and i32 %and, 25541 %and1 = lshr i32 %x, 1642 %shr2 = and i32 %and1, 25543 %shr4 = lshr i32 %x, 2444 %arrayidx = getelementptr inbounds i32, ptr %ctx, i32 %shr445 %0 = load i32, ptr %arrayidx, align 446 %arrayidx5 = getelementptr inbounds i32, ptr %ctx, i32 %shr247 %1 = load i32, ptr %arrayidx5, align 448 %add = add i32 %1, %049 %arrayidx6 = getelementptr inbounds i32, ptr %ctx, i32 %shr50 %2 = load i32, ptr %arrayidx6, align 451 %add7 = add i32 %add, %252 ret i32 %add753}54 55define i32 @ubfx3(i32 %a) {56; CHECK: ubfx357; CHECK: ubfx r0, r0, #11, #158 %t1 = and i32 %a, 204859 %t2 = lshr i32 %t1, 1160 ret i32 %t261}62 63define i32 @ubfx4(i32 %a) {64; CHECK: ubfx465; CHECK: ubfx r0, r0, #7, #366 %t1 = and i32 %a, 89667 %t2 = lshr i32 %t1, 768 ret i32 %t269}70