blob: e293bd606d0baeaac8cb9f202195f4e7204ead88 [file] [log] [blame]
; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s
; CHECK-LABEL: test
define i64 @test(i64 %a, i256 %b, i1 %c) {
%u = zext i64 %a to i256
%s = add i256 %u, 1
%o = trunc i256 %s to i1
%j = add i256 %s, 1
%i = icmp ule i64 %a, 1
%f = select i1 %o, i256 undef, i256 %j
%d = select i1 %i, i256 %f, i256 1
%e = add i256 %b, 1
%n = select i1 %c, i256 %e, i256 %b
%m = trunc i256 %n to i64
%h = add i64 %m, 1
%r = zext i64 %h to i256
%v = lshr i256 %d, %r
%t = trunc i256 %v to i1
%q = shl i256 1, %r
%p = and i256 %d, %q
%w = icmp ule i256 %n, 1
%y = select i1 %t, i256 undef, i256 %p
%x = select i1 %w, i256 %y, i256 %d
%z = trunc i256 %x to i64
ret i64 %z
}