You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
467 B
21 lines
467 B
4 months ago
|
; RUN: opt -S -instcombine < %s | FileCheck %s
|
||
|
|
|
||
|
|
; Checking for a crash
|
||
|
|
|
||
|
|
declare void @use.i1(i1 %val)
|
||
|
|
declare void @use.i64(i64 %val)
|
||
|
|
|
||
|
|
define i64 @f(i32 %x) {
|
||
|
|
; CHECK-LABEL: @f(
|
||
|
|
entry:
|
||
|
|
%x.wide = sext i32 %x to i64
|
||
|
|
%minus.x = sub i32 0, %x
|
||
|
|
%minus.x.wide = sext i32 %minus.x to i64
|
||
|
|
%c = icmp slt i32 %x, 0
|
||
|
|
%val = select i1 %c, i64 %x.wide, i64 %minus.x.wide
|
||
|
|
call void @use.i1(i1 %c)
|
||
|
|
call void @use.i64(i64 %x.wide)
|
||
|
|
ret i64 %val
|
||
|
|
; CHECK: ret i64 %val
|
||
|
|
}
|