34 lines · plain
1; RUN: llc < %s -mtriple=arm64-eabi | FileCheck %s2 3; This is mostly a "don't assert" test. The type of the RHS of a shift depended4; on the phase of legalization, which led to the creation of an unexpected and5; unselectable "rotr" node: (i32 (rotr i32, i64)).6 7; FIXME: This test is xfailed because it relies on an optimization that has8; been reverted (see PR17975).9; XFAIL: *10 11define void @foo(ptr nocapture %d) {12; CHECK-LABEL: foo:13; CHECK: rorv14 %tmp = load i64, ptr undef, align 815 %sub397 = sub i64 0, %tmp16 %and398 = and i64 %sub397, 429496729517 %shr404 = lshr i64 %and398, 018 %or405 = or i64 0, %shr40419 %xor406 = xor i64 %or405, 020 %xor417 = xor i64 0, %xor40621 %xor428 = xor i64 0, %xor41722 %sub430 = sub i64 %xor417, 023 %and431 = and i64 %sub430, 429496729524 %and432 = and i64 %xor428, 3125 %sub433 = sub i64 32, %and43226 %shl434 = shl i64 %and431, %sub43327 %shr437 = lshr i64 %and431, %and43228 %or438 = or i64 %shl434, %shr43729 %xor439 = xor i64 %or438, %xor42830 %sub441 = sub i64 %xor439, 031 store i64 %sub441, ptr %d, align 832 ret void33}34