mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 12:02:58 +02:00
c791b42454
We've found another bug in the code generation logic conditions for a certain class of always-false conditions, those of the form if ((a & 1) < 0) These only reach the back end when compiling without optimization. The bug was introduced by the choice of using TEST UNDER MASK to implement a check for if ((a & MASK) < VAL) as if ((a & MASK) == 0) where VAL is less than the the lowest bit of MASK. This is correct in all cases except for VAL == 0, in which case the original condition is always false, but the replacement isn't. Fixed by excluding that particular case. llvm-svn: 259381
27 lines
516 B
LLVM
27 lines
516 B
LLVM
; This used to incorrectly use a TMLL for an always-false test at -O0.
|
|
;
|
|
; RUN: llc -O0 < %s -mtriple=s390x-linux-gnu | FileCheck %s
|
|
|
|
define void @test(i8 *%input, i32 *%result) {
|
|
entry:
|
|
; CHECK-NOT: tmll
|
|
|
|
%0 = load i8, i8* %input, align 1
|
|
%1 = trunc i8 %0 to i1
|
|
%2 = zext i1 %1 to i32
|
|
%3 = icmp sge i32 %2, 0
|
|
br i1 %3, label %if.then, label %if.else
|
|
|
|
if.then:
|
|
store i32 1, i32* %result, align 4
|
|
br label %return
|
|
|
|
if.else:
|
|
store i32 0, i32* %result, align 4
|
|
br label %return
|
|
|
|
return:
|
|
ret void
|
|
}
|
|
|