deab451e7a
Remove support for the icmp and fcmp constant expressions. This is part of: https://discourse.llvm.org/t/rfc-remove-most-constant-expressions/63179 As usual, many of the updated tests will no longer test what they were originally intended to -- this is hard to preserve when constant expressions get removed, and in many cases just impossible as the existence of a specific kind of constant expression was the cause of the issue in the first place.
26 lines
834 B
LLVM
26 lines
834 B
LLVM
; RUN: opt -S -passes=instcombine < %s | FileCheck %s
|
|
|
|
@g_40 = external global i8, align 2
|
|
@g_461 = external global [6 x i8], align 2
|
|
@g_49 = external local_unnamed_addr global { i8, i8, i8, i8, i8 }, align 2
|
|
|
|
; CHECK-LABEL: @func_24(
|
|
define i40 @func_24() {
|
|
entry:
|
|
%bf.load81 = load i40, ptr @g_49, align 2
|
|
%bf.clear = and i40 %bf.load81, -274869518337
|
|
%cmp2 = icmp eq ptr getelementptr inbounds ([6 x i8], ptr @g_461, i64 0, i64 2), @g_40
|
|
%zext1 = zext i1 %cmp2 to i32
|
|
%cmp = icmp sgt i32 %zext1, 0
|
|
%zext2 = zext i1 %cmp to i40
|
|
%shl = shl i40 %zext2, 23
|
|
%bf.set = or i40 %bf.clear, %shl
|
|
%tmp = lshr i40 %bf.set, 23
|
|
%tmp1 = trunc i40 %tmp to i32
|
|
%tmp2 = and i32 1, %tmp1
|
|
%tmp3 = shl nuw nsw i32 %tmp2, 23
|
|
%bf.shl154 = zext i32 %tmp3 to i40
|
|
%bf.set156 = or i40 %bf.clear, %bf.shl154
|
|
ret i40 %bf.set156
|
|
}
|