mirror of
https://github.com/RPCS3/llvm.git
synced 2026-07-25 12:46:21 -04:00
Sanjay Patel
a3209ae52e
If we have an AssertZext of a truncated value that has already been AssertZext'ed, we can assert on the wider source op to improve the zext-y knowledge: assert (trunc (assert X, i8) to iN), i1 --> trunc (assert X, i1) to iN This moves a fold from being Mips-specific to general combining, and x86 shows improvements. Differential Revision: https://reviews.llvm.org/D37017 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@313577 91177308-0d34-0410-b5e6-96231b3b80d8
41 lines
1.2 KiB
LLVM
41 lines
1.2 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
|
|
|
|
%0 = type <{ %1, %1 }>
|
|
%1 = type { i8, i8, i8, i8 }
|
|
|
|
@g_2 = global %0 zeroinitializer
|
|
@g_4 = global %1 zeroinitializer, align 4
|
|
|
|
; PR8642
|
|
define i16 @test1(i1 zeroext %C, i8** nocapture %argv) nounwind ssp {
|
|
; CHECK-LABEL: test1:
|
|
; CHECK: # BB#0: # %entry
|
|
; CHECK-NEXT: movw $1, %ax
|
|
; CHECK-NEXT: testl %edi, %edi
|
|
; CHECK-NEXT: jne .LBB0_2
|
|
; CHECK-NEXT: # BB#1: # %cond.false.i
|
|
; CHECK-NEXT: movl $g_4, %eax
|
|
; CHECK-NEXT: movl $g_2+4, %ecx
|
|
; CHECK-NEXT: xorl %esi, %esi
|
|
; CHECK-NEXT: cmpq %rax, %rcx
|
|
; CHECK-NEXT: sete %sil
|
|
; CHECK-NEXT: movl $1, %eax
|
|
; CHECK-NEXT: xorl %edx, %edx
|
|
; CHECK-NEXT: divl %esi
|
|
; CHECK-NEXT: movl %edx, %eax
|
|
; CHECK-NEXT: .LBB0_2: # %cond.end.i
|
|
; CHECK-NEXT: # kill: %AX<def> %AX<kill> %EAX<kill>
|
|
; CHECK-NEXT: retq
|
|
entry:
|
|
br i1 %C, label %cond.end.i, label %cond.false.i
|
|
|
|
cond.false.i:
|
|
br label %cond.end.i
|
|
|
|
cond.end.i:
|
|
%call1 = phi i16 [ trunc (i32 srem (i32 1, i32 zext (i1 icmp eq (%1* bitcast (i8* getelementptr inbounds (%0, %0* @g_2, i64 0, i32 1, i32 0) to %1*), %1* @g_4) to i32)) to i16), %cond.false.i ], [ 1, %entry ]
|
|
ret i16 %call1
|
|
}
|
|
|