| ; RUN: llc < %s -mtriple=i686-- | FileCheck %s |
| ; RUN: llc < %s -mtriple=x86_64-- -O0 | FileCheck %s -check-prefix=CHECK-X64 |
| ; RUN: llc < %s -mtriple=x86_64-- -O2 | FileCheck %s -check-prefix=CHECK-X64 |
| |
| ; CHECK-LABEL: shift1 |
| define void @shift1(i256 %x, i256 %a, i256* nocapture %r) nounwind readnone { |
| entry: |
| %0 = ashr i256 %x, %a |
| store i256 %0, i256* %r |
| ret void |
| } |
| |
| ; CHECK-LABEL: shift2 |
| define i256 @shift2(i256 %c) nounwind |
| { |
| %b = shl i256 1, %c ; %c must not be a constant |
| ; Special case when %c is 0: |
| ; CHECK-X64: testb [[REG:%r[0-9]+b]], [[REG]] |
| ; CHECK-X64: cmoveq |
| ret i256 %b |
| } |