This is an archive of the discontinued LLVM Phabricator instance.

Differential D119083

[test] Use -passes=instcombine instead of -instcombine in some tests (3/4). NFC
AbandonedPublic

Authored by bjope on Feb 6 2022, 7:26 AM.

Details

Reviewers
aeubanks
Summary

Another step moving away from the deprecated syntax of specifying
pass pipeline in opt.

Diff Detail

Unit TestsFailed

TimeTest
60,570 msx64 debian > Clang.CodeGen/RISCV/rvv-intrinsics::vloxseg.c
60,660 msx64 debian > Clang.CodeGen/RISCV/rvv-intrinsics::vluxseg.c
60,640 msx64 debian > Clang.CodeGen/RISCV/rvv-intrinsics-overloaded::vloxseg.c
60,500 msx64 debian > Clang.CodeGen/RISCV/rvv-intrinsics-overloaded::vluxseg.c
60,620 msx64 debian > Clang.Driver::aarch64-cpus.c
View Full Test Results (8 Failed)

Event Timeline

bjope created this revision.Feb 6 2022, 7:26 AM
Herald added subscribers: asavonic, arphaman. · View Herald TranscriptFeb 6 2022, 7:26 AM
bjope requested review of this revision.Feb 6 2022, 7:26 AM
Herald added a project: Restricted Project. · View Herald TranscriptFeb 6 2022, 7:26 AM
Harbormaster completed remote builds in B147825: Diff 406254.Feb 6 2022, 8:44 AM
bjope abandoned this revision.Feb 7 2022, 5:29 AM

This was squashed into D119081.

Revision Contents

PathSize
llvm/
test/
Transforms/
InstCombine/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
1 line
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
4 lines
2 lines
2 lines
2 lines
2 lines
8 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
26 lines
2 lines
2 lines
8 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines

Diff 406254

llvm/test/Transforms/InstCombine/gc.relocate.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
; Uses InstCombine with DataLayout to propagate dereferenceable ; Uses InstCombine with DataLayout to propagate dereferenceable
; attribute via gc.relocate: if the derived ptr is dereferenceable(N), ; attribute via gc.relocate: if the derived ptr is dereferenceable(N),
; then the return attribute of gc.relocate is dereferenceable(N). ; then the return attribute of gc.relocate is dereferenceable(N).
declare zeroext i1 @return_i1() declare zeroext i1 @return_i1()
declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...) declare token @llvm.experimental.gc.statepoint.p0f_i1f(i64, i32, i1 ()*, i32, i32, ...)
▲ Show 20 Lines • Show All 61 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/gep-addrspace.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
target triple = "x86_64-pc-win32" target triple = "x86_64-pc-win32"
%myStruct = type { float, [3 x float], [4 x float], i32 } %myStruct = type { float, [3 x float], [4 x float], i32 }
; make sure that we are not crashing when creating an illegal type ; make sure that we are not crashing when creating an illegal type
define void @func(%myStruct addrspace(1)* nocapture %p) nounwind { define void @func(%myStruct addrspace(1)* nocapture %p) nounwind {
▲ Show 20 Lines • Show All 75 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/gep-alias.ll

; RUN: opt -S -instcombine -o - %s | FileCheck %s ; RUN: opt -S -passes=instcombine -o - %s | FileCheck %s
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
target triple = "aarch64-unknown-linux-android10000" target triple = "aarch64-unknown-linux-android10000"
@x.hwasan = private global { [3 x i32], [4 x i8] } { [3 x i32] [i32 42, i32 57, i32 10], [4 x i8] c"\00\00\00\87" }, align 16 @x.hwasan = private global { [3 x i32], [4 x i8] } { [3 x i32] [i32 42, i32 57, i32 10], [4 x i8] c"\00\00\00\87" }, align 16
@x = alias [3 x i32], inttoptr (i64 add (i64 ptrtoint ({ [3 x i32], [4 x i8] }* @x.hwasan to i64), i64 -8718968878589280256) to [3 x i32]*) @x = alias [3 x i32], inttoptr (i64 add (i64 ptrtoint ({ [3 x i32], [4 x i8] }* @x.hwasan to i64), i64 -8718968878589280256) to [3 x i32]*)
define i32 @f(i64 %i) { define i32 @f(i64 %i) {
entry: entry:
; CHECK: getelementptr inbounds [3 x i32], [3 x i32]* @x ; CHECK: getelementptr inbounds [3 x i32], [3 x i32]* @x
%arrayidx = getelementptr inbounds [3 x i32], [3 x i32]* @x, i64 0, i64 %i %arrayidx = getelementptr inbounds [3 x i32], [3 x i32]* @x, i64 0, i64 %i
%0 = load i32, i32* %arrayidx %0 = load i32, i32* %arrayidx
ret i32 %0 ret i32 %0
} }

llvm/test/Transforms/InstCombine/gep-can-replace-gep-idx-with-zero-typesize.ll

; RUN: opt -S -instcombine < %s ; RUN: opt -S -passes=instcombine < %s
; This regression test is verifying that the optimization defined by ; This regression test is verifying that the optimization defined by
; canReplaceGEPIdxWithZero, which replaces a GEP index with zero iff we can show ; canReplaceGEPIdxWithZero, which replaces a GEP index with zero iff we can show
; a value other than zero would cause undefined behaviour, does not throw a ; a value other than zero would cause undefined behaviour, does not throw a
; 'assumption that TypeSize is not scalable' warning when the source element type ; 'assumption that TypeSize is not scalable' warning when the source element type
; is a scalable vector. ; is a scalable vector.
; If the source element is a scalable vector type, then we cannot deduce whether ; If the source element is a scalable vector type, then we cannot deduce whether
Show All 11 Lines

llvm/test/Transforms/InstCombine/icmp-add.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i32) declare void @use(i32)
; PR1949 ; PR1949
define i1 @test1(i32 %a) { define i1 @test1(i32 %a) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[C:%.*]] = icmp ugt i32 [[A:%.*]], -5 ; CHECK-NEXT: [[C:%.*]] = icmp ugt i32 [[A:%.*]], -5
▲ Show 20 Lines • Show All 1,020 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-bc-vec-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Tests to verify proper functioning of the icmp folding implemented in ; Tests to verify proper functioning of the icmp folding implemented in
; InstCombiner::foldICmpBitCastConstant ; InstCombiner::foldICmpBitCastConstant
; Specifically, folding: ; Specifically, folding:
; icmp <pred> iN X, C ; icmp <pred> iN X, C
; where X = bitcast <M x iK> (shufflevector <M x iK> %vec, undef, SC)) to iN ; where X = bitcast <M x iK> (shufflevector <M x iK> %vec, undef, SC)) to iN
; and C is a splat of a K-bit pattern ; and C is a splat of a K-bit pattern
; and SC is a constant vector = <C', C', C', ..., C'> ; and SC is a constant vector = <C', C', C', ..., C'>
▲ Show 20 Lines • Show All 117 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-bc-vec.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Tests to verify proper functioning of the icmp folding implemented in ; Tests to verify proper functioning of the icmp folding implemented in
; InstCombiner::foldICmpBitCastConstant ; InstCombiner::foldICmpBitCastConstant
; Specifically, folding: ; Specifically, folding:
; icmp <pred> iN X, C ; icmp <pred> iN X, C
; where X = bitcast <M x iK> (shufflevector <M x iK> %vec, undef, SC)) to iN ; where X = bitcast <M x iK> (shufflevector <M x iK> %vec, undef, SC)) to iN
; and C is a splat of a K-bit pattern ; and C is a splat of a K-bit pattern
; and SC is a constant vector = <C', C', C', ..., C'> ; and SC is a constant vector = <C', C', C', ..., C'>
▲ Show 20 Lines • Show All 117 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-bitcast-glob.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i32 @f32(i32**, i32**) declare i32 @f32(i32**, i32**)
declare i32 @f64(i64**, i64**) declare i32 @f64(i64**, i64**)
define i1 @icmp_func() { define i1 @icmp_func() {
; CHECK-LABEL: @icmp_func( ; CHECK-LABEL: @icmp_func(
; CHECK: ret i1 false ; CHECK: ret i1 false
Show All 21 Lines

llvm/test/Transforms/InstCombine/icmp-constant-phi.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s
; RUN: opt < %s -passes=instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i1 @test_eq(i1 %cond) { define i1 @test_eq(i1 %cond) {
; CHECK-LABEL: @test_eq( ; CHECK-LABEL: @test_eq(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[COND:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]] ; CHECK-NEXT: br i1 [[COND:%.*]], label [[IF_TRUE:%.*]], label [[IF_FALSE:%.*]]
; CHECK: if.true: ; CHECK: if.true:
; CHECK-NEXT: br label [[MERGE:%.*]] ; CHECK-NEXT: br label [[MERGE:%.*]]
▲ Show 20 Lines • Show All 279 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-custom-dl.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:40:64:64:32-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:40:64:64:32-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
declare i32 @test58_d(i64 ) declare i32 @test58_d(i64 )
define i1 @test59(i8* %foo) { define i1 @test59(i8* %foo) {
; CHECK-LABEL: @test59( ; CHECK-LABEL: @test59(
; CHECK-NEXT: [[GEP1:%.*]] = getelementptr inbounds i8, i8* [[FOO:%.*]], i32 8 ; CHECK-NEXT: [[GEP1:%.*]] = getelementptr inbounds i8, i8* [[FOO:%.*]], i32 8
▲ Show 20 Lines • Show All 262 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-div-constant.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "n32" target datalayout = "n32"
define i1 @is_rem2_neg_i8(i8 %x) { define i1 @is_rem2_neg_i8(i8 %x) {
; CHECK-LABEL: @is_rem2_neg_i8( ; CHECK-LABEL: @is_rem2_neg_i8(
; CHECK-NEXT: [[TMP1:%.*]] = and i8 [[X:%.*]], -127 ; CHECK-NEXT: [[TMP1:%.*]] = and i8 [[X:%.*]], -127
; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[TMP1]], -127 ; CHECK-NEXT: [[R:%.*]] = icmp eq i8 [[TMP1]], -127
; CHECK-NEXT: ret i1 [[R]] ; CHECK-NEXT: ret i1 [[R]]
▲ Show 20 Lines • Show All 188 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-dom.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @idom_sign_bit_check_edge_dominates(i64 %a) { define void @idom_sign_bit_check_edge_dominates(i64 %a) {
; CHECK-LABEL: @idom_sign_bit_check_edge_dominates( ; CHECK-LABEL: @idom_sign_bit_check_edge_dominates(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i64 [[A:%.*]], 0 ; CHECK-NEXT: [[CMP:%.*]] = icmp slt i64 [[A:%.*]], 0
; CHECK-NEXT: br i1 [[CMP]], label [[LAND_LHS_TRUE:%.*]], label [[LOR_RHS:%.*]] ; CHECK-NEXT: br i1 [[CMP]], label [[LAND_LHS_TRUE:%.*]], label [[LOR_RHS:%.*]]
; CHECK: land.lhs.true: ; CHECK: land.lhs.true:
; CHECK-NEXT: br label [[LOR_END:%.*]] ; CHECK-NEXT: br label [[LOR_END:%.*]]
▲ Show 20 Lines • Show All 409 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-fsh.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i8 @llvm.fshl.i8(i8, i8, i8) declare i8 @llvm.fshl.i8(i8, i8, i8)
declare i8 @llvm.fshr.i8(i8, i8, i8) declare i8 @llvm.fshr.i8(i8, i8, i8)
declare <2 x i5> @llvm.fshl.v2i5(<2 x i5>, <2 x i5>, <2 x i5>) declare <2 x i5> @llvm.fshl.v2i5(<2 x i5>, <2 x i5>, <2 x i5>)
declare void @use(i8) declare void @use(i8)
define i1 @rotl_eq_0(i8 %x, i8 %y) { define i1 @rotl_eq_0(i8 %x, i8 %y) {
; CHECK-LABEL: @rotl_eq_0( ; CHECK-LABEL: @rotl_eq_0(
▲ Show 20 Lines • Show All 139 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-gep.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
declare i8* @getptr() declare i8* @getptr()
declare void @use(i8*) declare void @use(i8*)
define i1 @eq_base(i8* %x, i64 %y) { define i1 @eq_base(i8* %x, i64 %y) {
; CHECK-LABEL: @eq_base( ; CHECK-LABEL: @eq_base(
▲ Show 20 Lines • Show All 384 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-logical.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S -o - %s | FileCheck %s ; RUN: opt -passes=instcombine -S -o - %s | FileCheck %s
define i1 @masked_and_notallzeroes(i32 %A) { define i1 @masked_and_notallzeroes(i32 %A) {
; CHECK-LABEL: @masked_and_notallzeroes( ; CHECK-LABEL: @masked_and_notallzeroes(
; CHECK-NEXT: [[MASK1:%.*]] = and i32 [[A:%.*]], 7 ; CHECK-NEXT: [[MASK1:%.*]] = and i32 [[A:%.*]], 7
; CHECK-NEXT: [[TST1:%.*]] = icmp ne i32 [[MASK1]], 0 ; CHECK-NEXT: [[TST1:%.*]] = icmp ne i32 [[MASK1]], 0
; CHECK-NEXT: ret i1 [[TST1]] ; CHECK-NEXT: ret i1 [[TST1]]
; ;
%mask1 = and i32 %A, 7 %mask1 = and i32 %A, 7
▲ Show 20 Lines • Show All 1,721 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-mul-and.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i8) declare void @use(i8)
define i1 @mul_mask_pow2_eq0(i8 %x) { define i1 @mul_mask_pow2_eq0(i8 %x) {
; CHECK-LABEL: @mul_mask_pow2_eq0( ; CHECK-LABEL: @mul_mask_pow2_eq0(
; CHECK-NEXT: [[TMP1:%.*]] = and i8 [[X:%.*]], 1 ; CHECK-NEXT: [[TMP1:%.*]] = and i8 [[X:%.*]], 1
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[TMP1]], 0 ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[TMP1]], 0
; CHECK-NEXT: ret i1 [[CMP]] ; CHECK-NEXT: ret i1 [[CMP]]
▲ Show 20 Lines • Show All 320 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-mul-zext.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "n32" target datalayout = "n32"
define i32 @sterix(i32, i8, i64) { define i32 @sterix(i32, i8, i64) {
; CHECK-LABEL: @sterix( ; CHECK-LABEL: @sterix(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CONV:%.*]] = zext i32 [[TMP0:%.*]] to i64 ; CHECK-NEXT: [[CONV:%.*]] = zext i32 [[TMP0:%.*]] to i64
; CHECK-NEXT: [[CONV1:%.*]] = sext i8 [[TMP1:%.*]] to i32 ; CHECK-NEXT: [[CONV1:%.*]] = sext i8 [[TMP1:%.*]] to i32
▲ Show 20 Lines • Show All 146 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-mul.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i8) declare void @use(i8)
; Tests for slt/ult ; Tests for slt/ult
define i1 @slt_positive_multip_rem_zero(i8 %x) { define i1 @slt_positive_multip_rem_zero(i8 %x) {
; CHECK-LABEL: @slt_positive_multip_rem_zero( ; CHECK-LABEL: @slt_positive_multip_rem_zero(
; CHECK-NEXT: [[A:%.*]] = mul nsw i8 [[X:%.*]], 7 ; CHECK-NEXT: [[A:%.*]] = mul nsw i8 [[X:%.*]], 7
▲ Show 20 Lines • Show All 878 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-not-bool-constant.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Test all integer predicates with bool types and true/false constants, ; Test all integer predicates with bool types and true/false constants,
; with not on LHS (icmp pred (xor X, true), true|false). ; with not on LHS (icmp pred (xor X, true), true|false).
; Use vectors to provide test coverage that is not duplicated in other folds. ; Use vectors to provide test coverage that is not duplicated in other folds.
define <2 x i1> @eq_t_not(<2 x i1> %a) { define <2 x i1> @eq_t_not(<2 x i1> %a) {
; CHECK-LABEL: @eq_t_not( ; CHECK-LABEL: @eq_t_not(
; CHECK-NEXT: [[NOT:%.*]] = xor <2 x i1> [[A:%.*]], <i1 true, i1 true> ; CHECK-NEXT: [[NOT:%.*]] = xor <2 x i1> [[A:%.*]], <i1 true, i1 true>
▲ Show 20 Lines • Show All 182 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-or.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i8) declare void @use(i8)
define i1 @set_low_bit_mask_eq(i8 %x) { define i1 @set_low_bit_mask_eq(i8 %x) {
; CHECK-LABEL: @set_low_bit_mask_eq( ; CHECK-LABEL: @set_low_bit_mask_eq(
; CHECK-NEXT: [[TMP1:%.*]] = and i8 [[X:%.*]], -2 ; CHECK-NEXT: [[TMP1:%.*]] = and i8 [[X:%.*]], -2
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[TMP1]], 18 ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[TMP1]], 18
; CHECK-NEXT: ret i1 [[CMP]] ; CHECK-NEXT: ret i1 [[CMP]]
▲ Show 20 Lines • Show All 355 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-range.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; These should be InstSimplify checks, but most of the code ; These should be InstSimplify checks, but most of the code
; is currently only in InstCombine. TODO: move supporting code ; is currently only in InstCombine. TODO: move supporting code
; Definitely out of range ; Definitely out of range
define i1 @test_nonzero(i32* nocapture readonly %arg) { define i1 @test_nonzero(i32* nocapture readonly %arg) {
; CHECK-LABEL:test_nonzero ; CHECK-LABEL:test_nonzero
; CHECK: ret i1 true ; CHECK: ret i1 true
%val = load i32, i32* %arg, !range !0 %val = load i32, i32* %arg, !range !0
▲ Show 20 Lines • Show All 141 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-rotate.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i8 @llvm.fshl.i8(i8, i8, i8) declare i8 @llvm.fshl.i8(i8, i8, i8)
declare i8 @llvm.fshr.i8(i8, i8, i8) declare i8 @llvm.fshr.i8(i8, i8, i8)
declare <2 x i5> @llvm.fshl.v2i5(<2 x i5>, <2 x i5>, <2 x i5>) declare <2 x i5> @llvm.fshl.v2i5(<2 x i5>, <2 x i5>, <2 x i5>)
declare <2 x i5> @llvm.fshr.v2i5(<2 x i5>, <2 x i5>, <2 x i5>) declare <2 x i5> @llvm.fshr.v2i5(<2 x i5>, <2 x i5>, <2 x i5>)
declare void @use(i8) declare void @use(i8)
define i1 @rol_eq(i8 %x, i8 %y, i8 %z) { define i1 @rol_eq(i8 %x, i8 %y, i8 %z) {
▲ Show 20 Lines • Show All 225 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-shl-nsw.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If the (shl x, C) preserved the sign and this is a sign test, ; If the (shl x, C) preserved the sign and this is a sign test,
; compare the LHS operand instead ; compare the LHS operand instead
define i1 @icmp_shl_nsw_sgt(i32 %x) { define i1 @icmp_shl_nsw_sgt(i32 %x) {
; CHECK-LABEL: @icmp_shl_nsw_sgt( ; CHECK-LABEL: @icmp_shl_nsw_sgt(
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 %x, 0 ; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 %x, 0
; CHECK-NEXT: ret i1 [[CMP]] ; CHECK-NEXT: ret i1 [[CMP]]
▲ Show 20 Lines • Show All 346 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-shl-nuw.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i1 @icmp_ugt_32(i64) { define i1 @icmp_ugt_32(i64) {
; CHECK-LABEL: @icmp_ugt_32( ; CHECK-LABEL: @icmp_ugt_32(
; CHECK-NEXT: [[D:%.*]] = icmp ne i64 %0, 0 ; CHECK-NEXT: [[D:%.*]] = icmp ne i64 %0, 0
; CHECK-NEXT: ret i1 [[D]] ; CHECK-NEXT: ret i1 [[D]]
; ;
%c = shl nuw i64 %0, 32 %c = shl nuw i64 %0, 32
%d = icmp ugt i64 %c, 4294967295 %d = icmp ugt i64 %c, 4294967295
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-shr-lt-gt.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i1 @lshrugt_01_00(i4 %x) { define i1 @lshrugt_01_00(i4 %x) {
; CHECK-LABEL: @lshrugt_01_00( ; CHECK-LABEL: @lshrugt_01_00(
; CHECK-NEXT: [[C:%.*]] = icmp ugt i4 [[X:%.*]], 1 ; CHECK-NEXT: [[C:%.*]] = icmp ugt i4 [[X:%.*]], 1
; CHECK-NEXT: ret i1 [[C]] ; CHECK-NEXT: ret i1 [[C]]
; ;
%s = lshr i4 %x, 1 %s = lshr i4 %x, 1
%c = icmp ugt i4 %s, 0 %c = icmp ugt i4 %s, 0
▲ Show 20 Lines • Show All 3,779 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-shr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
define i1 @lshr_eq_msb_low_last_zero(i8 %a) { define i1 @lshr_eq_msb_low_last_zero(i8 %a) {
; CHECK-LABEL: @lshr_eq_msb_low_last_zero( ; CHECK-LABEL: @lshr_eq_msb_low_last_zero(
; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[A:%.*]], 6 ; CHECK-NEXT: [[CMP:%.*]] = icmp ugt i8 [[A:%.*]], 6
; CHECK-NEXT: ret i1 [[CMP]] ; CHECK-NEXT: ret i1 [[CMP]]
; ;
▲ Show 20 Lines • Show All 1,004 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-sub.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i32) declare void @use(i32)
declare void @use_vec(<2 x i8>) declare void @use_vec(<2 x i8>)
define i1 @test_nuw_and_unsigned_pred(i64 %x) { define i1 @test_nuw_and_unsigned_pred(i64 %x) {
; CHECK-LABEL: @test_nuw_and_unsigned_pred( ; CHECK-LABEL: @test_nuw_and_unsigned_pred(
; CHECK-NEXT: [[Z:%.*]] = icmp ugt i64 [[X:%.*]], 7 ; CHECK-NEXT: [[Z:%.*]] = icmp ugt i64 [[X:%.*]], 7
; CHECK-NEXT: ret i1 [[Z]] ; CHECK-NEXT: ret i1 [[Z]]
▲ Show 20 Lines • Show All 480 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-topbitssame.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
declare void @use(i8) declare void @use(i8)
declare void @use16(i16) declare void @use16(i16)
define i1 @testi16i8(i16 %add) { define i1 @testi16i8(i16 %add) {
; CHECK-LABEL: @testi16i8( ; CHECK-LABEL: @testi16i8(
; CHECK-NEXT: [[TMP1:%.*]] = add i16 [[ADD:%.*]], 128 ; CHECK-NEXT: [[TMP1:%.*]] = add i16 [[ADD:%.*]], 128
▲ Show 20 Lines • Show All 209 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-trunc.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i8) declare void @use(i8)
define i1 @ult_2(i32 %x) { define i1 @ult_2(i32 %x) {
; CHECK-LABEL: @ult_2( ; CHECK-LABEL: @ult_2(
; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 254 ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 254
; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[TMP1]], 0 ; CHECK-NEXT: [[R:%.*]] = icmp eq i32 [[TMP1]], 0
; CHECK-NEXT: ret i1 [[R]] ; CHECK-NEXT: ret i1 [[R]]
▲ Show 20 Lines • Show All 302 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-uge-of-add-of-shl-one-by-bits-to-allones-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=38708 ; https://bugs.llvm.org/show_bug.cgi?id=38708
; Pattern: ; Pattern:
; ((1 << bits)+(-1)) u>= val ; ((1 << bits)+(-1)) u>= val
; Should be transformed into: ; Should be transformed into:
; (val l>> bits) == 0 ; (val l>> bits) == 0
▲ Show 20 Lines • Show All 250 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-uge-of-not-of-shl-allones-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=38708 ; https://bugs.llvm.org/show_bug.cgi?id=38708
; Pattern: ; Pattern:
; ~(-1 << bits) u>= val ; ~(-1 << bits) u>= val
; Should be transformed into: ; Should be transformed into:
; (val l>> bits) == 0 ; (val l>> bits) == 0
▲ Show 20 Lines • Show All 240 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-ugt-of-shl-1-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=38708 ; https://bugs.llvm.org/show_bug.cgi?id=38708
; Pattern: ; Pattern:
; (1 << bits) u> val ; (1 << bits) u> val
; Should be transformed into: ; Should be transformed into:
; (val l>> bits) == 0 ; (val l>> bits) == 0
▲ Show 20 Lines • Show All 142 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-ule-of-shl-1-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=38708 ; https://bugs.llvm.org/show_bug.cgi?id=38708
; Pattern: ; Pattern:
; (1 << bits) u<= val ; (1 << bits) u<= val
; Should be transformed into: ; Should be transformed into:
; (val l>> bits) != 0 ; (val l>> bits) != 0
▲ Show 20 Lines • Show All 142 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-ult-of-add-of-shl-one-by-bits-to-allones-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=38708 ; https://bugs.llvm.org/show_bug.cgi?id=38708
; Pattern: ; Pattern:
; ((1 << bits)+(-1)) u< val ; ((1 << bits)+(-1)) u< val
; Should be transformed into: ; Should be transformed into:
; (val l>> bits) != 0 ; (val l>> bits) != 0
▲ Show 20 Lines • Show All 250 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-ult-of-not-of-shl-allones-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=38708 ; https://bugs.llvm.org/show_bug.cgi?id=38708
; Pattern: ; Pattern:
; ~(-1 << bits) u< val ; ~(-1 << bits) u< val
; Should be transformed into: ; Should be transformed into:
; (val l>> bits) != 0 ; (val l>> bits) != 0
▲ Show 20 Lines • Show All 240 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-vec-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Canonicalize vector ge/le comparisons with constants to gt/lt. ; Canonicalize vector ge/le comparisons with constants to gt/lt.
; Normal types are ConstantDataVectors. Test the constant values adjacent to the ; Normal types are ConstantDataVectors. Test the constant values adjacent to the
; min/max values that we're not allowed to transform. ; min/max values that we're not allowed to transform.
define <2 x i1> @sge(<2 x i8> %x) { define <2 x i1> @sge(<2 x i8> %x) {
; CHECK-LABEL: @sge( ; CHECK-LABEL: @sge(
▲ Show 20 Lines • Show All 365 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-vec.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Canonicalize vector ge/le comparisons with constants to gt/lt. ; Canonicalize vector ge/le comparisons with constants to gt/lt.
; Normal types are ConstantDataVectors. Test the constant values adjacent to the ; Normal types are ConstantDataVectors. Test the constant values adjacent to the
; min/max values that we're not allowed to transform. ; min/max values that we're not allowed to transform.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
▲ Show 20 Lines • Show All 730 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp-vscale.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
define i1 @ugt_vscale64_x_32() vscale_range(1,16) { define i1 @ugt_vscale64_x_32() vscale_range(1,16) {
; CHECK-LABEL: @ugt_vscale64_x_32( ; CHECK-LABEL: @ugt_vscale64_x_32(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: ret i1 false ; CHECK-NEXT: ret i1 false
; ;
entry: entry:
%vscale = call i64 @llvm.vscale.i64() %vscale = call i64 @llvm.vscale.i64()
▲ Show 20 Lines • Show All 78 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-p1:16:16:16-p2:32:32:32-p3:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
declare i8 @llvm.abs.i8(i8, i1) declare i8 @llvm.abs.i8(i8, i1)
define i32 @test1(i32 %X) { define i32 @test1(i32 %X) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[X_LOBIT:%.*]] = lshr i32 [[X:%.*]], 31 ; CHECK-NEXT: [[X_LOBIT:%.*]] = lshr i32 [[X:%.*]], 31
▲ Show 20 Lines • Show All 3,761 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/icmp_sdiv_with_and_without_range.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
; Test that presence of range does not cause unprofitable transforms with bit ; Test that presence of range does not cause unprofitable transforms with bit
; arithmetics. ; arithmetics.
define i1 @without_range(i32* %A) { define i1 @without_range(i32* %A) {
; CHECK-LABEL: @without_range( ; CHECK-LABEL: @without_range(
; CHECK-NEXT: [[A_VAL:%.*]] = load i32, i32* [[A:%.*]], align 8 ; CHECK-NEXT: [[A_VAL:%.*]] = load i32, i32* [[A:%.*]], align 8
; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[A_VAL]], 2 ; CHECK-NEXT: [[C:%.*]] = icmp slt i32 [[A_VAL]], 2
Show All 21 Lines

llvm/test/Transforms/InstCombine/idioms.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
; Check that code corresponding to the following C function is ; Check that code corresponding to the following C function is
; simplified into a single ASR operation: ; simplified into a single ASR operation:
; ;
; int test_asr(int a, int b) { ; int test_asr(int a, int b) {
; return a < 0 ? -(-a - 1 >> b) - 1 : a >> b; ; return a < 0 ? -(-a - 1 >> b) - 1 : a >> b;
; } ; }
; ;
Show All 23 Lines

llvm/test/Transforms/InstCombine/indexed-gep-compares.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64"
define i32 *@test1(i32* %A, i32 %Offset) { define i32 *@test1(i32* %A, i32 %Offset) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[BB:%.*]] ; CHECK-NEXT: br label [[BB:%.*]]
; CHECK: bb: ; CHECK: bb:
▲ Show 20 Lines • Show All 317 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/inselt-binop-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine %s | FileCheck %s ; RUN: opt -S -passes=instcombine %s | FileCheck %s
define <2 x i8> @add_constant(i8 %x) { define <2 x i8> @add_constant(i8 %x) {
; CHECK-LABEL: @add_constant( ; CHECK-LABEL: @add_constant(
; CHECK-NEXT: [[INS:%.*]] = insertelement <2 x i8> poison, i8 [[X:%.*]], i64 0 ; CHECK-NEXT: [[INS:%.*]] = insertelement <2 x i8> poison, i8 [[X:%.*]], i64 0
; CHECK-NEXT: [[BO:%.*]] = add <2 x i8> [[INS]], <i8 42, i8 undef> ; CHECK-NEXT: [[BO:%.*]] = add <2 x i8> [[INS]], <i8 42, i8 undef>
; CHECK-NEXT: ret <2 x i8> [[BO]] ; CHECK-NEXT: ret <2 x i8> [[BO]]
; ;
%ins = insertelement <2 x i8> poison, i8 %x, i32 0 %ins = insertelement <2 x i8> poison, i8 %x, i32 0
▲ Show 20 Lines • Show All 625 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/inselt-binop.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine %s | FileCheck %s ; RUN: opt -S -passes=instcombine %s | FileCheck %s
define <2 x i8> @add_constant(i8 %x) { define <2 x i8> @add_constant(i8 %x) {
; CHECK-LABEL: @add_constant( ; CHECK-LABEL: @add_constant(
; CHECK-NEXT: [[INS:%.*]] = insertelement <2 x i8> undef, i8 [[X:%.*]], i64 0 ; CHECK-NEXT: [[INS:%.*]] = insertelement <2 x i8> undef, i8 [[X:%.*]], i64 0
; CHECK-NEXT: [[BO:%.*]] = add <2 x i8> [[INS]], <i8 42, i8 undef> ; CHECK-NEXT: [[BO:%.*]] = add <2 x i8> [[INS]], <i8 42, i8 undef>
; CHECK-NEXT: ret <2 x i8> [[BO]] ; CHECK-NEXT: ret <2 x i8> [[BO]]
; ;
%ins = insertelement <2 x i8> undef, i8 %x, i32 0 %ins = insertelement <2 x i8> undef, i8 %x, i32 0
▲ Show 20 Lines • Show All 625 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/insert-const-shuf.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine %s | FileCheck %s ; RUN: opt -S -passes=instcombine %s | FileCheck %s
; Eliminate the insertelement. ; Eliminate the insertelement.
define <4 x float> @PR29126(<4 x float> %x) { define <4 x float> @PR29126(<4 x float> %x) {
; CHECK-LABEL: @PR29126( ; CHECK-LABEL: @PR29126(
; CHECK-NEXT: [[INS:%.*]] = shufflevector <4 x float> [[X:%.*]], <4 x float> <float poison, float 1.000000e+00, float 2.000000e+00, float 4.200000e+01>, <4 x i32> <i32 0, i32 5, i32 6, i32 7> ; CHECK-NEXT: [[INS:%.*]] = shufflevector <4 x float> [[X:%.*]], <4 x float> <float poison, float 1.000000e+00, float 2.000000e+00, float 4.200000e+01>, <4 x i32> <i32 0, i32 5, i32 6, i32 7>
; CHECK-NEXT: ret <4 x float> [[INS]] ; CHECK-NEXT: ret <4 x float> [[INS]]
; ;
▲ Show 20 Lines • Show All 108 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/insert-ext.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i32) declare void @use(i32)
declare void @usevec(<2 x i32>) declare void @usevec(<2 x i32>)
define <2 x double> @fpext_fpext(<2 x half> %x, half %y, i32 %index) { define <2 x double> @fpext_fpext(<2 x half> %x, half %y, i32 %index) {
; CHECK-LABEL: @fpext_fpext( ; CHECK-LABEL: @fpext_fpext(
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x half> [[X:%.*]], half [[Y:%.*]], i32 [[INDEX:%.*]] ; CHECK-NEXT: [[TMP1:%.*]] = insertelement <2 x half> [[X:%.*]], half [[Y:%.*]], i32 [[INDEX:%.*]]
; CHECK-NEXT: [[I:%.*]] = fpext <2 x half> [[TMP1]] to <2 x double> ; CHECK-NEXT: [[I:%.*]] = fpext <2 x half> [[TMP1]] to <2 x double>
▲ Show 20 Lines • Show All 127 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/insert-extract-shuffle-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine %s | FileCheck %s ; RUN: opt -S -passes=instcombine %s | FileCheck %s
define <1 x i8> @test1(<8 x i8> %in) { define <1 x i8> @test1(<8 x i8> %in) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[VEC:%.*]] = shufflevector <8 x i8> [[IN:%.*]], <8 x i8> undef, <1 x i32> <i32 5> ; CHECK-NEXT: [[VEC:%.*]] = shufflevector <8 x i8> [[IN:%.*]], <8 x i8> undef, <1 x i32> <i32 5>
; CHECK-NEXT: ret <1 x i8> [[VEC]] ; CHECK-NEXT: ret <1 x i8> [[VEC]]
; ;
%val = extractelement <8 x i8> %in, i32 5 %val = extractelement <8 x i8> %in, i32 5
%vec = insertelement <1 x i8> poison, i8 %val, i32 0 %vec = insertelement <1 x i8> poison, i8 %val, i32 0
▲ Show 20 Lines • Show All 725 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/insert-extract-shuffle.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine %s | FileCheck %s ; RUN: opt -S -passes=instcombine %s | FileCheck %s
define <1 x i8> @test1(<8 x i8> %in) { define <1 x i8> @test1(<8 x i8> %in) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[VEC:%.*]] = shufflevector <8 x i8> [[IN:%.*]], <8 x i8> undef, <1 x i32> <i32 5> ; CHECK-NEXT: [[VEC:%.*]] = shufflevector <8 x i8> [[IN:%.*]], <8 x i8> undef, <1 x i32> <i32 5>
; CHECK-NEXT: ret <1 x i8> [[VEC]] ; CHECK-NEXT: ret <1 x i8> [[VEC]]
; ;
%val = extractelement <8 x i8> %in, i32 5 %val = extractelement <8 x i8> %in, i32 5
%vec = insertelement <1 x i8> undef, i8 %val, i32 0 %vec = insertelement <1 x i8> undef, i8 %val, i32 0
▲ Show 20 Lines • Show All 781 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/insert-val-extract-elem.ll

; RUN: opt -S -instcombine %s | FileCheck %s ; RUN: opt -S -passes=instcombine %s | FileCheck %s
; CHECK-LABEL: julia_2xdouble ; CHECK-LABEL: julia_2xdouble
; CHECK-NOT: insertvalue ; CHECK-NOT: insertvalue
; CHECK-NOT: extractelement ; CHECK-NOT: extractelement
; CHECK: store <2 x double> ; CHECK: store <2 x double>
define void @julia_2xdouble([2 x double]* sret([2 x double]), <2 x double>*) { define void @julia_2xdouble([2 x double]* sret([2 x double]), <2 x double>*) {
top: top:
%x = load <2 x double>, <2 x double>* %1 %x = load <2 x double>, <2 x double>* %1
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/insertelement-bitcast.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use_f32(float) declare void @use_f32(float)
declare void @use_v4f32(<4 x float>) declare void @use_v4f32(<4 x float>)
define <4 x float> @bitcast_inselt(i32 %x, <4 x i32> %v) { define <4 x float> @bitcast_inselt(i32 %x, <4 x i32> %v) {
; CHECK-LABEL: @bitcast_inselt( ; CHECK-LABEL: @bitcast_inselt(
; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> [[V:%.*]], i32 [[X:%.*]], i64 0 ; CHECK-NEXT: [[TMP1:%.*]] = insertelement <4 x i32> [[V:%.*]], i32 [[X:%.*]], i64 0
; CHECK-NEXT: [[R:%.*]] = bitcast <4 x i32> [[TMP1]] to <4 x float> ; CHECK-NEXT: [[R:%.*]] = bitcast <4 x i32> [[TMP1]] to <4 x float>
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/int_sideeffect.ll

; RUN: opt -S < %s -instcombine | FileCheck %s ; RUN: opt -S < %s -passes=instcombine | FileCheck %s
declare void @llvm.sideeffect() declare void @llvm.sideeffect()
; Store-to-load forwarding across a @llvm.sideeffect. ; Store-to-load forwarding across a @llvm.sideeffect.
; CHECK-LABEL: s2l ; CHECK-LABEL: s2l
; CHECK-NOT: load ; CHECK-NOT: load
define float @s2l(float* %p) { define float @s2l(float* %p) {
store float 0.0, float* %p store float 0.0, float* %p
call void @llvm.sideeffect() call void @llvm.sideeffect()
%t = load float, float* %p %t = load float, float* %p
ret float %t ret float %t
} }

llvm/test/Transforms/InstCombine/intptr1.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @test1(float* %a, float* readnone %a_end, i64* %b.i64) { define void @test1(float* %a, float* readnone %a_end, i64* %b.i64) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP1:%.*]] = icmp ult float* [[A:%.*]], [[A_END:%.*]] ; CHECK-NEXT: [[CMP1:%.*]] = icmp ult float* [[A:%.*]], [[A_END:%.*]]
; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_END:%.*]] ; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_END:%.*]]
; CHECK: for.body.preheader: ; CHECK: for.body.preheader:
; CHECK-NEXT: [[B:%.*]] = load i64, i64* [[B_I64:%.*]], align 8 ; CHECK-NEXT: [[B:%.*]] = load i64, i64* [[B_I64:%.*]], align 8
▲ Show 20 Lines • Show All 250 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intptr2.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @test1(float* %a, float* readnone %a_end, i32* %b.i) { define void @test1(float* %a, float* readnone %a_end, i32* %b.i) {
; CHECK-LABEL: @test1 ; CHECK-LABEL: @test1
entry: entry:
%cmp1 = icmp ult float* %a, %a_end %cmp1 = icmp ult float* %a, %a_end
br i1 %cmp1, label %for.body.preheader, label %for.end br i1 %cmp1, label %for.body.preheader, label %for.end
for.body.preheader: ; preds = %entry for.body.preheader: ; preds = %entry
Show All 30 Lines

llvm/test/Transforms/InstCombine/intptr3.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @test(float* %a, float* readnone %a_end, i64 %b) unnamed_addr { define void @test(float* %a, float* readnone %a_end, i64 %b) unnamed_addr {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP1:%.*]] = icmp ult float* [[A:%.*]], [[A_END:%.*]] ; CHECK-NEXT: [[CMP1:%.*]] = icmp ult float* [[A:%.*]], [[A_END:%.*]]
; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_END:%.*]] ; CHECK-NEXT: br i1 [[CMP1]], label [[FOR_BODY_PREHEADER:%.*]], label [[FOR_END:%.*]]
; CHECK: for.body.preheader: ; CHECK: for.body.preheader:
; CHECK-NEXT: [[B_FLOAT:%.*]] = inttoptr i64 [[B:%.*]] to float* ; CHECK-NEXT: [[B_FLOAT:%.*]] = inttoptr i64 [[B:%.*]] to float*
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intptr4.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @test(float* %a, float* readnone %a_end, i64 %b, float* %bf) unnamed_addr { define void @test(float* %a, float* readnone %a_end, i64 %b, float* %bf) unnamed_addr {
entry: entry:
%cmp1 = icmp ult float* %a, %a_end %cmp1 = icmp ult float* %a, %a_end
%b.float = inttoptr i64 %b to float* %b.float = inttoptr i64 %b to float*
br i1 %cmp1, label %bb1, label %bb2 br i1 %cmp1, label %bb1, label %bb2
bb1: bb1:
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intptr5.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @test(float* %a, float* readnone %a_end, i64 %b, float* %bf) unnamed_addr { define void @test(float* %a, float* readnone %a_end, i64 %b, float* %bf) unnamed_addr {
entry: entry:
%cmp1 = icmp ult float* %a, %a_end %cmp1 = icmp ult float* %a, %a_end
%b.float = inttoptr i64 %b to float* %b.float = inttoptr i64 %b to float*
br i1 %cmp1, label %bb1, label %bb2 br i1 %cmp1, label %bb1, label %bb2
bb1: bb1:
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intptr6.ll

; RUN: opt < %s -instcombine -S ; RUN: opt < %s -passes=instcombine -S
; no crash ; no crash
%A = type { %B } %A = type { %B }
%B = type { %C *} %B = type { %C *}
%C = type <{ i32 (...)**, i32, [4 x i8] }> %C = type <{ i32 (...)**, i32, [4 x i8] }>
$foo = comdat any $foo = comdat any
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intptr7.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @matching_phi(i64 %a, float* %b, i1 %cond) { define void @matching_phi(i64 %a, float* %b, i1 %cond) {
; CHECK-LABEL: @matching_phi( ; CHECK-LABEL: @matching_phi(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[ADD_INT:%.*]] = add i64 [[A:%.*]], 1 ; CHECK-NEXT: [[ADD_INT:%.*]] = add i64 [[A:%.*]], 1
; CHECK-NEXT: [[ADD:%.*]] = inttoptr i64 [[ADD_INT]] to float* ; CHECK-NEXT: [[ADD:%.*]] = inttoptr i64 [[ADD_INT]] to float*
; CHECK-NEXT: br i1 [[COND:%.*]], label [[BBB:%.*]], label [[A:%.*]] ; CHECK-NEXT: br i1 [[COND:%.*]], label [[BBB:%.*]], label [[A:%.*]]
; CHECK: A: ; CHECK: A:
▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intptr8.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; PR45033: Don't try to insert a cast into a catchswich block. ; PR45033: Don't try to insert a cast into a catchswich block.
target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-windows-msvc" target triple = "x86_64-pc-windows-msvc"
%struct.intrusive_ptr = type { %struct.C* } %struct.intrusive_ptr = type { %struct.C* }
%struct.C = type { %struct.intrusive_ref_counter } %struct.C = type { %struct.intrusive_ref_counter }
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intrinsic-select.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare void @use(i32) declare void @use(i32)
declare i32 @llvm.ctlz.i32(i32, i1) declare i32 @llvm.ctlz.i32(i32, i1)
declare <3 x i17> @llvm.ctlz.v3i17(<3 x i17>, i1) declare <3 x i17> @llvm.ctlz.v3i17(<3 x i17>, i1)
declare i32 @llvm.cttz.i32(i32, i1) declare i32 @llvm.cttz.i32(i32, i1)
declare <3 x i5> @llvm.cttz.v3i5(<3 x i5>, i1) declare <3 x i5> @llvm.cttz.v3i5(<3 x i5>, i1)
▲ Show 20 Lines • Show All 138 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/intrinsics.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare double @llvm.powi.f64.i16(double, i16) nounwind readonly declare double @llvm.powi.f64.i16(double, i16) nounwind readonly
declare double @llvm.powi.f64.i32(double, i32) nounwind readonly declare double @llvm.powi.f64.i32(double, i32) nounwind readonly
declare i32 @llvm.cttz.i32(i32, i1) nounwind readnone declare i32 @llvm.cttz.i32(i32, i1) nounwind readnone
declare i32 @llvm.ctlz.i32(i32, i1) nounwind readnone declare i32 @llvm.ctlz.i32(i32, i1) nounwind readnone
declare i1 @llvm.cttz.i1(i1, i1) nounwind readnone declare i1 @llvm.cttz.i1(i1, i1) nounwind readnone
declare i1 @llvm.ctlz.i1(i1, i1) nounwind readnone declare i1 @llvm.ctlz.i1(i1, i1) nounwind readnone
declare <2 x i1> @llvm.cttz.v2i1(<2 x i1>, i1) nounwind readnone declare <2 x i1> @llvm.cttz.v2i1(<2 x i1>, i1) nounwind readnone
▲ Show 20 Lines • Show All 484 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/invariant.ll

; Test to make sure unused llvm.invariant.start calls are not trivially eliminated ; Test to make sure unused llvm.invariant.start calls are not trivially eliminated
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @g(i8*) declare void @g(i8*)
declare void @g_addr1(i8 addrspace(1)*) declare void @g_addr1(i8 addrspace(1)*)
declare {}* @llvm.invariant.start.p0i8(i64, i8* nocapture) nounwind readonly declare {}* @llvm.invariant.start.p0i8(i64, i8* nocapture) nounwind readonly
declare {}* @llvm.invariant.start.p1i8(i64, i8 addrspace(1)* nocapture) nounwind readonly declare {}* @llvm.invariant.start.p1i8(i64, i8 addrspace(1)* nocapture) nounwind readonly
define i8 @f() { define i8 @f() {
Show All 18 Lines

llvm/test/Transforms/InstCombine/invert-variable-mask-in-masked-merge-scalar.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have a masked merge, in the form of: (M is not constant) ; If we have a masked merge, in the form of: (M is not constant)
; ((x ^ y) & ~M) ^ y ; ((x ^ y) & ~M) ^ y
; We can de-invert the M: ; We can de-invert the M:
; ((x ^ y) & M) ^ x ; ((x ^ y) & M) ^ x
define i4 @scalar (i4 %x, i4 %y, i4 %m) { define i4 @scalar (i4 %x, i4 %y, i4 %m) {
; CHECK-LABEL: @scalar( ; CHECK-LABEL: @scalar(
▲ Show 20 Lines • Show All 307 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/invert-variable-mask-in-masked-merge-vector.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have a masked merge, in the form of: (M is not constant) ; If we have a masked merge, in the form of: (M is not constant)
; ((x ^ y) & ~M) ^ y ; ((x ^ y) & ~M) ^ y
; We can de-invert the M: ; We can de-invert the M:
; ((x ^ y) & M) ^ x ; ((x ^ y) & M) ^ x
define <2 x i4> @vector (<2 x i4> %x, <2 x i4> %y, <2 x i4> %m) { define <2 x i4> @vector (<2 x i4> %x, <2 x i4> %y, <2 x i4> %m) {
; CHECK-LABEL: @vector( ; CHECK-LABEL: @vector(
▲ Show 20 Lines • Show All 410 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/invoke.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
declare i32 @__gxx_personality_v0(...) declare i32 @__gxx_personality_v0(...)
declare void @__cxa_call_unexpected(i8*) declare void @__cxa_call_unexpected(i8*)
declare i64 @llvm.objectsize.i64(i8*, i1) nounwind readonly declare i64 @llvm.objectsize.i64(i8*, i1) nounwind readonly
declare i8* @_Znwm(i64) declare i8* @_Znwm(i64)
▲ Show 20 Lines • Show All 77 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/isascii-1.ll

; Test that the isascii library call simplifier works correctly. ; Test that the isascii library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i32 @isascii(i32) declare i32 @isascii(i32)
; Check isascii(c) -> c <u 128. ; Check isascii(c) -> c <u 128.
define i32 @test_simplify1() { define i32 @test_simplify1() {
Show All 21 Lines

llvm/test/Transforms/InstCombine/isdigit-1.ll

; Test that the isdigit library call simplifier works correctly. ; Test that the isdigit library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i32 @isdigit(i32) declare i32 @isdigit(i32)
; Check isdigit(c) -> (c - '0') <u 10; ; Check isdigit(c) -> (c - '0') <u 10;
define i32 @test_simplify1() { define i32 @test_simplify1() {
Show All 37 Lines

llvm/test/Transforms/InstCombine/ispow2.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i1 @is_pow2or0_negate_op(i32 %x) { define i1 @is_pow2or0_negate_op(i32 %x) {
; CHECK-LABEL: @is_pow2or0_negate_op( ; CHECK-LABEL: @is_pow2or0_negate_op(
; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.ctpop.i32(i32 [[X:%.*]]), !range [[RNG0:![0-9]+]] ; CHECK-NEXT: [[TMP1:%.*]] = call i32 @llvm.ctpop.i32(i32 [[X:%.*]]), !range [[RNG0:![0-9]+]]
; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[TMP1]], 2 ; CHECK-NEXT: [[CMP:%.*]] = icmp ult i32 [[TMP1]], 2
; CHECK-NEXT: ret i1 [[CMP]] ; CHECK-NEXT: ret i1 [[CMP]]
; ;
%neg = sub i32 0, %x %neg = sub i32 0, %x
▲ Show 20 Lines • Show All 758 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/known-bits.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define void @test_shl(i1 %x) { define void @test_shl(i1 %x) {
; CHECK-LABEL: @test_shl( ; CHECK-LABEL: @test_shl(
; CHECK-NEXT: call void @sink(i8 0) ; CHECK-NEXT: call void @sink(i8 0)
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
%y = zext i1 %x to i8 %y = zext i1 %x to i8
%z = shl i8 64, %y %z = shl i8 64, %y
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/known-never-nan.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -S -instcombine | FileCheck %s ; RUN: opt < %s -S -passes=instcombine | FileCheck %s
; This file used to contain more tests that folded to true/false, ; This file used to contain more tests that folded to true/false,
; but those are all tested identically in InstSimplify now. ; but those are all tested identically in InstSimplify now.
; If any remaining tests are made to return true/false, that ; If any remaining tests are made to return true/false, that
; functionality/testing may be better housed in InstSimplify ; functionality/testing may be better housed in InstSimplify
; rather than InstCombine. ; rather than InstCombine.
define i1 @fabs_sqrt_src_maybe_nan(double %arg0, double %arg1) { define i1 @fabs_sqrt_src_maybe_nan(double %arg0, double %arg1) {
▲ Show 20 Lines • Show All 197 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/known-non-zero.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i64 @llvm.cttz.i64(i64, i1) declare i64 @llvm.cttz.i64(i64, i1)
declare i64 @llvm.ctlz.i64(i64, i1) declare i64 @llvm.ctlz.i64(i64, i1)
declare <8 x i64> @llvm.cttz.v8i64(<8 x i64>, i1) declare <8 x i64> @llvm.cttz.v8i64(<8 x i64>, i1)
define i32 @test0(i64 %x) { define i32 @test0(i64 %x) {
▲ Show 20 Lines • Show All 309 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/known-signbit-shift.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Result of left shifting a non-negative integer ; Result of left shifting a non-negative integer
; with nsw flag should also be non-negative ; with nsw flag should also be non-negative
define i1 @test_shift_nonnegative(i32 %a) { define i1 @test_shift_nonnegative(i32 %a) {
; CHECK-LABEL: @test_shift_nonnegative( ; CHECK-LABEL: @test_shift_nonnegative(
; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], -1 ; CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[A:%.*]], -1
; CHECK-NEXT: ret i1 [[CMP]] ; CHECK-NEXT: ret i1 [[CMP]]
; ;
Show All 40 Lines

llvm/test/Transforms/InstCombine/known_align.ll

; RUN: opt < %s -instcombine -S | grep "align 1" ; RUN: opt < %s -passes=instcombine -S | grep "align 1"
; END. ; END.
%struct.p = type <{ i8, i32 }> %struct.p = type <{ i8, i32 }>
@t = global %struct.p <{ i8 1, i32 10 }> ; <%struct.p*> [#uses=1] @t = global %struct.p <{ i8 1, i32 10 }> ; <%struct.p*> [#uses=1]
@u = weak global %struct.p zeroinitializer ; <%struct.p*> [#uses=1] @u = weak global %struct.p zeroinitializer ; <%struct.p*> [#uses=1]
define i32 @main() { define i32 @main() {
entry: entry:
Show All 18 Lines

llvm/test/Transforms/InstCombine/lifetime-no-null-opt.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @llvm.dbg.declare(metadata, metadata, metadata) declare void @llvm.dbg.declare(metadata, metadata, metadata)
declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
declare void @foo(i8* nocapture, i8* nocapture) declare void @foo(i8* nocapture, i8* nocapture)
define void @bar(i1 %flag) #0 !dbg !4 { define void @bar(i1 %flag) #0 !dbg !4 {
; CHECK-LABEL: @bar( ; CHECK-LABEL: @bar(
▲ Show 20 Lines • Show All 94 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/lifetime-sanitizer.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture)
declare void @foo(i8* nocapture) declare void @foo(i8* nocapture)
define void @asan() sanitize_address { define void @asan() sanitize_address {
entry: entry:
; CHECK-LABEL: @asan( ; CHECK-LABEL: @asan(
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/load-bitcast-select.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S -data-layout="e-m:e-i64:64-f80:128-n8:16:32:64-S128" | FileCheck %s ; RUN: opt < %s -passes=instcombine -S -data-layout="e-m:e-i64:64-f80:128-n8:16:32:64-S128" | FileCheck %s
@a = global [1000 x float] zeroinitializer, align 16 @a = global [1000 x float] zeroinitializer, align 16
@b = global [1000 x float] zeroinitializer, align 16 @b = global [1000 x float] zeroinitializer, align 16
define void @_Z3foov() { define void @_Z3foov() {
; CHECK-LABEL: @_Z3foov( ; CHECK-LABEL: @_Z3foov(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_COND:%.*]] ; CHECK-NEXT: br label [[FOR_COND:%.*]]
▲ Show 20 Lines • Show All 94 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/load-bitcast-vec.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
define float @matching_scalar(<4 x float>* dereferenceable(16) %p) { define float @matching_scalar(<4 x float>* dereferenceable(16) %p) {
; CHECK-LABEL: @matching_scalar( ; CHECK-LABEL: @matching_scalar(
; CHECK-NEXT: [[BC:%.*]] = getelementptr inbounds <4 x float>, <4 x float>* [[P:%.*]], i64 0, i64 0 ; CHECK-NEXT: [[BC:%.*]] = getelementptr inbounds <4 x float>, <4 x float>* [[P:%.*]], i64 0, i64 0
; CHECK-NEXT: [[R:%.*]] = load float, float* [[BC]], align 16 ; CHECK-NEXT: [[R:%.*]] = load float, float* [[BC]], align 16
; CHECK-NEXT: ret float [[R]] ; CHECK-NEXT: ret float [[R]]
; ;
%bc = bitcast <4 x float>* %p to float* %bc = bitcast <4 x float>* %p to float*
▲ Show 20 Lines • Show All 126 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/load-bitcast32.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "p:32:32:32" target datalayout = "p:32:32:32"
define i64* @test1(i8* %x) { define i64* @test1(i8* %x) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[A:%.*]] = bitcast i8* [[X:%.*]] to i64* ; CHECK-NEXT: [[A:%.*]] = bitcast i8* [[X:%.*]] to i64*
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/load-bitcast64.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "p:64:64:64-i64:32:32" target datalayout = "p:64:64:64-i64:32:32"
define i64* @test1(i8* %x) { define i64* @test1(i8* %x) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[A:%.*]] = bitcast i8* [[X:%.*]] to i64* ; CHECK-NEXT: [[A:%.*]] = bitcast i8* [[X:%.*]] to i64*
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/load-cmp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S -data-layout="p:32:32:32-p1:16:16:16-n8:16:32:64" < %s | FileCheck %s ; RUN: opt -passes=instcombine -S -data-layout="p:32:32:32-p1:16:16:16-n8:16:32:64" < %s | FileCheck %s
@G16 = internal constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85, @G16 = internal constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85,
i16 73, i16 82, i16 69, i16 68, i16 0] i16 73, i16 82, i16 69, i16 68, i16 0]
@G16_as1 = internal addrspace(1) constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85, @G16_as1 = internal addrspace(1) constant [10 x i16] [i16 35, i16 82, i16 69, i16 81, i16 85,
i16 73, i16 82, i16 69, i16 68, i16 0] i16 73, i16 82, i16 69, i16 68, i16 0]
@GD = internal constant [6 x double] @GD = internal constant [6 x double]
▲ Show 20 Lines • Show All 310 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/load-combine-metadata-2.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
; CHECK-LABEL: @test_load_load_combine_metadata( ; CHECK-LABEL: @test_load_load_combine_metadata(
; Check that align metadata is combined ; Check that align metadata is combined
; CHECK: load i32*, i32** %0 ; CHECK: load i32*, i32** %0
; CHECK-SAME: !align ![[ALIGN:[0-9]+]] ; CHECK-SAME: !align ![[ALIGN:[0-9]+]]
define void @test_load_load_combine_metadata(i32**, i32**, i32**) { define void @test_load_load_combine_metadata(i32**, i32**, i32**) {
%a = load i32*, i32** %0, !align !0 %a = load i32*, i32** %0, !align !0
%b = load i32*, i32** %0, !align !1 %b = load i32*, i32** %0, !align !1
store i32 0, i32* %a store i32 0, i32* %a
store i32 0, i32* %b store i32 0, i32* %b
ret void ret void
} }
; CHECK: ![[ALIGN]] = !{i64 4} ; CHECK: ![[ALIGN]] = !{i64 4}
!0 = !{i64 4} !0 = !{i64 4}
!1 = !{i64 8} !1 = !{i64 8}
No newline at end of file No newline at end of file

llvm/test/Transforms/InstCombine/load-combine-metadata-3.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
; CHECK-LABEL: @test_load_load_combine_metadata( ; CHECK-LABEL: @test_load_load_combine_metadata(
; Check that dereferenceable metadata is combined ; Check that dereferenceable metadata is combined
; CHECK: load i32*, i32** %0 ; CHECK: load i32*, i32** %0
; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]] ; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]]
define void @test_load_load_combine_metadata(i32**, i32**, i32**) { define void @test_load_load_combine_metadata(i32**, i32**, i32**) {
%a = load i32*, i32** %0, !dereferenceable !0 %a = load i32*, i32** %0, !dereferenceable !0
%b = load i32*, i32** %0, !dereferenceable !1 %b = load i32*, i32** %0, !dereferenceable !1
store i32 0, i32* %a store i32 0, i32* %a
store i32 0, i32* %b store i32 0, i32* %b
ret void ret void
} }
; CHECK: ![[DEREF]] = !{i64 4} ; CHECK: ![[DEREF]] = !{i64 4}
!0 = !{i64 4} !0 = !{i64 4}
!1 = !{i64 8} !1 = !{i64 8}
No newline at end of file No newline at end of file

llvm/test/Transforms/InstCombine/load-combine-metadata-4.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
; CHECK-LABEL: @test_load_load_combine_metadata( ; CHECK-LABEL: @test_load_load_combine_metadata(
; Check that dereferenceable_or_null metadata is combined ; Check that dereferenceable_or_null metadata is combined
; CHECK: load i32*, i32** %0 ; CHECK: load i32*, i32** %0
; CHECK-SAME: !dereferenceable_or_null ![[DEREF:[0-9]+]] ; CHECK-SAME: !dereferenceable_or_null ![[DEREF:[0-9]+]]
define void @test_load_load_combine_metadata(i32**, i32**, i32**) { define void @test_load_load_combine_metadata(i32**, i32**, i32**) {
Show All 11 Lines

llvm/test/Transforms/InstCombine/load-combine-metadata-dominance.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
; Check that nonnull metadata is propagated from dominating load. ; Check that nonnull metadata is propagated from dominating load.
; CHECK-LABEL: @combine_metadata_dominance1( ; CHECK-LABEL: @combine_metadata_dominance1(
; CHECK-LABEL: bb1: ; CHECK-LABEL: bb1:
; CHECK: load i32*, i32** %p, align 8, !nonnull !0 ; CHECK: load i32*, i32** %p, align 8, !nonnull !0
; CHECK-NOT: load i32*, i32** %p ; CHECK-NOT: load i32*, i32** %p
Show All 35 Lines

llvm/test/Transforms/InstCombine/load-combine-metadata.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
; CHECK-LABEL: @test_load_load_combine_metadata( ; CHECK-LABEL: @test_load_load_combine_metadata(
; Check that range and AA metadata is combined ; Check that range and AA metadata is combined
; CHECK: %[[V:.*]] = load i32, i32* %0 ; CHECK: %[[V:.*]] = load i32, i32* %0
; CHECK-SAME: !tbaa !{{[0-9]+}} ; CHECK-SAME: !tbaa !{{[0-9]+}}
; CHECK-SAME: !range ![[RANGE:[0-9]+]] ; CHECK-SAME: !range ![[RANGE:[0-9]+]]
Show All 21 Lines

llvm/test/Transforms/InstCombine/load-select.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32" target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:32-n32"
@a = constant [2 x i32] [i32 3, i32 6] ; <[2 x i32]*> [#uses=2] @a = constant [2 x i32] [i32 3, i32 6] ; <[2 x i32]*> [#uses=2]
define i32 @b(i32 %y) nounwind readonly { define i32 @b(i32 %y) nounwind readonly {
; CHECK-LABEL: @b( ; CHECK-LABEL: @b(
; CHECK-NOT: load ; CHECK-NOT: load
; CHECK: ret i32 ; CHECK: ret i32
entry: entry:
%0 = icmp eq i32 %y, 0 ; <i1> [#uses=1] %0 = icmp eq i32 %y, 0 ; <i1> [#uses=1]
%storemerge = select i1 %0, i32* getelementptr inbounds ([2 x i32], [2 x i32]* @a, i32 0, i32 1), i32* getelementptr inbounds ([2 x i32], [2 x i32]* @a, i32 0, i32 0) ; <i32*> [#uses=1] %storemerge = select i1 %0, i32* getelementptr inbounds ([2 x i32], [2 x i32]* @a, i32 0, i32 1), i32* getelementptr inbounds ([2 x i32], [2 x i32]* @a, i32 0, i32 0) ; <i32*> [#uses=1]
%1 = load i32, i32* %storemerge, align 4 ; <i32> [#uses=1] %1 = load i32, i32* %storemerge, align 4 ; <i32> [#uses=1]
ret i32 %1 ret i32 %1
} }

llvm/test/Transforms/InstCombine/load-store-forward.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s --check-prefixes=CHECK,LITTLE ; RUN: opt -S -passes=instcombine < %s | FileCheck %s --check-prefixes=CHECK,LITTLE
; RUN: opt -S -instcombine -data-layout="E" < %s | FileCheck %s --check-prefixes=CHECK,BIG ; RUN: opt -S -passes=instcombine -data-layout="E" < %s | FileCheck %s --check-prefixes=CHECK,BIG
define i8 @load_smaller_int(i16* %p) { define i8 @load_smaller_int(i16* %p) {
; LITTLE-LABEL: @load_smaller_int( ; LITTLE-LABEL: @load_smaller_int(
; LITTLE-NEXT: store i16 258, i16* [[P:%.*]], align 2 ; LITTLE-NEXT: store i16 258, i16* [[P:%.*]], align 2
; LITTLE-NEXT: ret i8 2 ; LITTLE-NEXT: ret i8 2
; ;
; BIG-LABEL: @load_smaller_int( ; BIG-LABEL: @load_smaller_int(
; BIG-NEXT: store i16 258, i16* [[P:%.*]], align 2 ; BIG-NEXT: store i16 258, i16* [[P:%.*]], align 2
▲ Show 20 Lines • Show All 111 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/load3.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128"
target triple = "i386-apple-macosx10.0.0" target triple = "i386-apple-macosx10.0.0"
; Instcombine should be able to do trivial CSE of loads. ; Instcombine should be able to do trivial CSE of loads.
define i32 @test1(i32* %p) { define i32 @test1(i32* %p) {
%t0 = getelementptr i32, i32* %p, i32 1 %t0 = getelementptr i32, i32* %p, i32 1
%y = load i32, i32* %t0 %y = load i32, i32* %t0
Show All 37 Lines

llvm/test/Transforms/InstCombine/loadstore-alignment.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "E-p:64:64:64-p1:64:64:64-p2:32:32:32-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" target datalayout = "E-p:64:64:64-p1:64:64:64-p2:32:32:32-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
@x = external global <2 x i64>, align 16 @x = external global <2 x i64>, align 16
@xx = external global [13 x <2 x i64>], align 16 @xx = external global [13 x <2 x i64>], align 16
@x.as2 = external addrspace(2) global <2 x i64>, align 16 @x.as2 = external addrspace(2) global <2 x i64>, align 16
define <2 x i64> @static_hem() { define <2 x i64> @static_hem() {
▲ Show 20 Lines • Show All 114 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/loadstore-metadata.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p:64:64:64-i64:64-f80:128-n8:16:32:64-S128"
define i32 @test_load_cast_combine_tbaa(float* %ptr) { define i32 @test_load_cast_combine_tbaa(float* %ptr) {
; Ensure (cast (load (...))) -> (load (cast (...))) preserves TBAA. ; Ensure (cast (load (...))) -> (load (cast (...))) preserves TBAA.
; CHECK-LABEL: @test_load_cast_combine_tbaa( ; CHECK-LABEL: @test_load_cast_combine_tbaa(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = bitcast float* [[PTR:%.*]] to i32* ; CHECK-NEXT: [[TMP0:%.*]] = bitcast float* [[PTR:%.*]] to i32*
▲ Show 20 Lines • Show All 178 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/log-pow-nofastmath.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define double @mylog(double %x, double %y) { define double @mylog(double %x, double %y) {
entry: entry:
%pow = call double @llvm.pow.f64(double %x, double %y) %pow = call double @llvm.pow.f64(double %x, double %y)
%call = call double @log(double %pow) %call = call double @log(double %pow)
ret double %call ret double %call
} }
Show All 21 Lines

llvm/test/Transforms/InstCombine/log-pow.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define double @log_pow(double %x, double %y) { define double @log_pow(double %x, double %y) {
; CHECK-LABEL: @log_pow( ; CHECK-LABEL: @log_pow(
; CHECK-NEXT: [[LOG1:%.*]] = call fast double @llvm.log.f64(double [[X:%.*]]) ; CHECK-NEXT: [[LOG1:%.*]] = call fast double @llvm.log.f64(double [[X:%.*]])
; CHECK-NEXT: [[MUL:%.*]] = fmul fast double [[LOG1]], [[Y:%.*]] ; CHECK-NEXT: [[MUL:%.*]] = fmul fast double [[LOG1]], [[Y:%.*]]
; CHECK-NEXT: ret double [[MUL]] ; CHECK-NEXT: ret double [[MUL]]
; ;
%pow = call fast double @pow(double %x, double %y) %pow = call fast double @pow(double %x, double %y)
▲ Show 20 Lines • Show All 115 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/logical-select-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) { define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: [[E:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]] ; CHECK-NEXT: [[E:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[E]], i32 [[C:%.*]], i32 [[D:%.*]] ; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[E]], i32 [[C:%.*]], i32 [[D:%.*]]
; CHECK-NEXT: ret i32 [[TMP1]] ; CHECK-NEXT: ret i32 [[TMP1]]
; ;
▲ Show 20 Lines • Show All 680 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/logical-select.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use(i8) declare void @use(i8)
define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) { define i32 @foo(i32 %a, i32 %b, i32 %c, i32 %d) {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: [[E:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]] ; CHECK-NEXT: [[E:%.*]] = icmp slt i32 [[A:%.*]], [[B:%.*]]
; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[E]], i32 [[C:%.*]], i32 [[D:%.*]] ; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[E]], i32 [[C:%.*]], i32 [[D:%.*]]
; CHECK-NEXT: ret i32 [[TMP1]] ; CHECK-NEXT: ret i32 [[TMP1]]
▲ Show 20 Lines • Show All 870 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/low-bit-splat.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; PR51305: prefer `-(x & 1)` over `(x << (bitwidth(x)-1)) a>> (bitwidth(x)-1)` ; PR51305: prefer `-(x & 1)` over `(x << (bitwidth(x)-1)) a>> (bitwidth(x)-1)`
; as the pattern to splat the lowest bit. ; as the pattern to splat the lowest bit.
declare void @use8(i8) declare void @use8(i8)
; Basic positive scalar tests ; Basic positive scalar tests
define i8 @t0(i8 %x) { define i8 @t0(i8 %x) {
▲ Show 20 Lines • Show All 156 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/lower-dbg-declare.ll

; RUN: opt -instcombine < %s -S | FileCheck %s ; RUN: opt -passes=instcombine < %s -S | FileCheck %s
; This tests dbg.declare lowering for CallInst users of an alloca. The ; This tests dbg.declare lowering for CallInst users of an alloca. The
; resulting dbg.value expressions should add a deref to the declare's expression. ; resulting dbg.value expressions should add a deref to the declare's expression.
; Hand-reduced from this example (-g -Og -mllvm -disable-llvm-optzns -gno-column-info): ; Hand-reduced from this example (-g -Og -mllvm -disable-llvm-optzns -gno-column-info):
; static volatile int sink; ; static volatile int sink;
; static void escape(int &c) { sink = c; } ; static void escape(int &c) { sink = c; }
▲ Show 20 Lines • Show All 105 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/lshr-and-negC-icmpeq-zero.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; For pattern ((X l>> Y) & ~C) ==/!= 0; when C+1 is power of 2 ; For pattern ((X l>> Y) & ~C) ==/!= 0; when C+1 is power of 2
; it may be optimal to fold into (X l>> Y) </>= C+1 ; it may be optimal to fold into (X l>> Y) </>= C+1
; rather than X & (~C << Y) ==/!= 0 ; rather than X & (~C << Y) ==/!= 0
; Scalar tests ; Scalar tests
define i1 @scalar_i8_lshr_and_negC_eq(i8 %x, i8 %y) { define i1 @scalar_i8_lshr_and_negC_eq(i8 %x, i8 %y) {
▲ Show 20 Lines • Show All 226 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/lshr-and-signbit-icmpeq-zero.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; For pattern ((X l>> Y) & signbit) ==/!= 0 ; For pattern ((X l>> Y) & signbit) ==/!= 0
; it may be optimal to fold into (X l>> Y) >=/< 0 ; it may be optimal to fold into (X l>> Y) >=/< 0
; rather than X & (signbit << Y) ==/!= 0 ; rather than X & (signbit << Y) ==/!= 0
; Scalar tests ; Scalar tests
define i1 @scalar_i8_lshr_and_signbit_eq(i8 %x, i8 %y) { define i1 @scalar_i8_lshr_and_signbit_eq(i8 %x, i8 %y) {
▲ Show 20 Lines • Show All 220 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/lshr-phi.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Instcombine should be able to eliminate the lshr, because only ; Instcombine should be able to eliminate the lshr, because only
; bits in the operand which might be non-zero will be shifted ; bits in the operand which might be non-zero will be shifted
; off the end. ; off the end.
define i32 @hash_string(i8* nocapture %key) nounwind readonly { define i32 @hash_string(i8* nocapture %key) nounwind readonly {
; CHECK-LABEL: @hash_string( ; CHECK-LABEL: @hash_string(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/lshr-trunc-sext-to-ashr-sext.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Iff trunc only chops off zero bits that were just shifted-in by the lshr, ; Iff trunc only chops off zero bits that were just shifted-in by the lshr,
; but no other bits, then we can instead do signed shift, and signext it. ; but no other bits, then we can instead do signed shift, and signext it.
; Note that we can replace trunc with trunc of new signed shift. ; Note that we can replace trunc with trunc of new signed shift.
declare void @use32(i32) declare void @use32(i32)
declare void @use8(i8) declare void @use8(i8)
declare void @use4(i4) declare void @use4(i4)
▲ Show 20 Lines • Show All 259 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/lshr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-n8:16:32:64" target datalayout = "e-m:e-i64:64-n8:16:32:64"
declare i32 @llvm.cttz.i32(i32, i1) nounwind readnone declare i32 @llvm.cttz.i32(i32, i1) nounwind readnone
declare i32 @llvm.ctlz.i32(i32, i1) nounwind readnone declare i32 @llvm.ctlz.i32(i32, i1) nounwind readnone
declare i32 @llvm.ctpop.i32(i32) nounwind readnone declare i32 @llvm.ctpop.i32(i32) nounwind readnone
declare <2 x i8> @llvm.cttz.v2i8(<2 x i8>, i1) nounwind readnone declare <2 x i8> @llvm.cttz.v2i8(<2 x i8>, i1) nounwind readnone
declare <2 x i8> @llvm.ctlz.v2i8(<2 x i8>, i1) nounwind readnone declare <2 x i8> @llvm.ctlz.v2i8(<2 x i8>, i1) nounwind readnone
▲ Show 20 Lines • Show All 817 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/malloc-free.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; PR1201 ; PR1201
define i32 @main(i32 %argc, i8** %argv) { define i32 @main(i32 %argc, i8** %argv) {
; CHECK-LABEL: @main( ; CHECK-LABEL: @main(
; CHECK-NEXT: ret i32 0 ; CHECK-NEXT: ret i32 0
; ;
%c_19 = alloca i8* %c_19 = alloca i8*
%malloc_206 = tail call i8* @malloc(i32 mul (i32 ptrtoint (i8* getelementptr (i8, i8* null, i32 1) to i32), i32 10)) %malloc_206 = tail call i8* @malloc(i32 mul (i32 ptrtoint (i8* getelementptr (i8, i8* null, i32 1) to i32), i32 10))
store i8* %malloc_206, i8** %c_19 store i8* %malloc_206, i8** %c_19
▲ Show 20 Lines • Show All 277 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/malloc_free_delete_nvptx.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target triple = "nvptx64" target triple = "nvptx64"
declare void @user(i8*) declare void @user(i8*)
declare i8* @malloc(i64) declare i8* @malloc(i64)
declare void @free(i8*) declare void @free(i8*)
; Ensure the nvptx backend states malloc & free are a thing so we can recognize ; Ensure the nvptx backend states malloc & free are a thing so we can recognize
Show All 24 Lines

llvm/test/Transforms/InstCombine/masked-merge-add.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=6773 ; https://bugs.llvm.org/show_bug.cgi?id=6773
; Patterns: ; Patterns:
; (x & m) | (y & ~m) ; (x & m) | (y & ~m)
; (x & m) ^ (y & ~m) ; (x & m) ^ (y & ~m)
; (x & m) + (y & ~m) ; (x & m) + (y & ~m)
; Should be transformed into: ; Should be transformed into:
▲ Show 20 Lines • Show All 405 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/masked-merge-and-of-ors.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=6773 ; https://bugs.llvm.org/show_bug.cgi?id=6773
; Pattern: ; Pattern:
; (x | ~m) & (y & m) ; (x | ~m) & (y & m)
; Should be transformed into: ; Should be transformed into:
; (x & m) | (y & ~m) ; (x & m) | (y & ~m)
; And then into: ; And then into:
▲ Show 20 Lines • Show All 499 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/masked-merge-or.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=6773 ; https://bugs.llvm.org/show_bug.cgi?id=6773
; Patterns: ; Patterns:
; (x & m) | (y & ~m) ; (x & m) | (y & ~m)
; (x & m) ^ (y & ~m) ; (x & m) ^ (y & ~m)
; (x & m) + (y & ~m) ; (x & m) + (y & ~m)
; Should be transformed into: ; Should be transformed into:
▲ Show 20 Lines • Show All 404 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/masked-merge-xor.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=6773 ; https://bugs.llvm.org/show_bug.cgi?id=6773
; Patterns: ; Patterns:
; (x & m) | (y & ~m) ; (x & m) | (y & ~m)
; (x & m) ^ (y & ~m) ; (x & m) ^ (y & ~m)
; (x & m) + (y & ~m) ; (x & m) + (y & ~m)
; Should be transformed into: ; Should be transformed into:
▲ Show 20 Lines • Show All 404 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/masked_intrinsics-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare <2 x double> @llvm.masked.load.v2f64.p0v2f64(<2 x double>* %ptrs, i32, <2 x i1> %mask, <2 x double> %src0) declare <2 x double> @llvm.masked.load.v2f64.p0v2f64(<2 x double>* %ptrs, i32, <2 x i1> %mask, <2 x double> %src0)
declare void @llvm.masked.store.v2f64.p0v2f64(<2 x double> %val, <2 x double>* %ptrs, i32, <2 x i1> %mask) declare void @llvm.masked.store.v2f64.p0v2f64(<2 x double> %val, <2 x double>* %ptrs, i32, <2 x i1> %mask)
declare <2 x double> @llvm.masked.gather.v2f64.v2p0f64(<2 x double*> %ptrs, i32, <2 x i1> %mask, <2 x double> %passthru) declare <2 x double> @llvm.masked.gather.v2f64.v2p0f64(<2 x double*> %ptrs, i32, <2 x i1> %mask, <2 x double> %passthru)
declare <4 x double> @llvm.masked.gather.v4f64.v4p0f64(<4 x double*> %ptrs, i32, <4 x i1> %mask, <4 x double> %passthru) declare <4 x double> @llvm.masked.gather.v4f64.v4p0f64(<4 x double*> %ptrs, i32, <4 x i1> %mask, <4 x double> %passthru)
declare void @llvm.masked.scatter.v2f64.v2p0f64(<2 x double> %val, <2 x double*> %ptrs, i32, <2 x i1> %mask) declare void @llvm.masked.scatter.v2f64.v2p0f64(<2 x double> %val, <2 x double*> %ptrs, i32, <2 x i1> %mask)
define <2 x double> @load_zeromask(<2 x double>* %ptr, <2 x double> %passthru) { define <2 x double> @load_zeromask(<2 x double>* %ptr, <2 x double> %passthru) {
▲ Show 20 Lines • Show All 261 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/masked_intrinsics.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare <2 x double> @llvm.masked.load.v2f64.p0v2f64(<2 x double>* %ptrs, i32, <2 x i1> %mask, <2 x double> %src0) declare <2 x double> @llvm.masked.load.v2f64.p0v2f64(<2 x double>* %ptrs, i32, <2 x i1> %mask, <2 x double> %src0)
declare void @llvm.masked.store.v2f64.p0v2f64(<2 x double> %val, <2 x double>* %ptrs, i32, <2 x i1> %mask) declare void @llvm.masked.store.v2f64.p0v2f64(<2 x double> %val, <2 x double>* %ptrs, i32, <2 x i1> %mask)
declare <2 x double> @llvm.masked.gather.v2f64.v2p0f64(<2 x double*> %ptrs, i32, <2 x i1> %mask, <2 x double> %passthru) declare <2 x double> @llvm.masked.gather.v2f64.v2p0f64(<2 x double*> %ptrs, i32, <2 x i1> %mask, <2 x double> %passthru)
declare <4 x double> @llvm.masked.gather.v4f64.v4p0f64(<4 x double*> %ptrs, i32, <4 x i1> %mask, <4 x double> %passthru) declare <4 x double> @llvm.masked.gather.v4f64.v4p0f64(<4 x double*> %ptrs, i32, <4 x i1> %mask, <4 x double> %passthru)
declare void @llvm.masked.scatter.v2f64.v2p0f64(<2 x double> %val, <2 x double*> %ptrs, i32, <2 x i1> %mask) declare void @llvm.masked.scatter.v2f64.v2p0f64(<2 x double> %val, <2 x double*> %ptrs, i32, <2 x i1> %mask)
define <2 x double> @load_zeromask(<2 x double>* %ptr, <2 x double> %passthru) { define <2 x double> @load_zeromask(<2 x double>* %ptr, <2 x double> %passthru) {
▲ Show 20 Lines • Show All 430 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/masked_intrinsics_keep_metadata.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
@g0 = global <4 x i32> zeroinitializer, align 16 @g0 = global <4 x i32> zeroinitializer, align 16
define inreg <4 x i32> @mload1(<4 x i32>* nocapture readonly %a0) #0 { define inreg <4 x i32> @mload1(<4 x i32>* nocapture readonly %a0) #0 {
; CHECK-LABEL: @mload1( ; CHECK-LABEL: @mload1(
; CHECK-NEXT: b0: ; CHECK-NEXT: b0:
; CHECK-NEXT: [[UNMASKEDLOAD:%.*]] = load <4 x i32>, <4 x i32>* [[A0:%.*]], align 16, !tbaa [[TBAA0:![0-9]+]] ; CHECK-NEXT: [[UNMASKEDLOAD:%.*]] = load <4 x i32>, <4 x i32>* [[A0:%.*]], align 16, !tbaa [[TBAA0:![0-9]+]]
; CHECK-NEXT: ret <4 x i32> [[UNMASKEDLOAD]] ; CHECK-NEXT: ret <4 x i32> [[UNMASKEDLOAD]]
Show All 38 Lines

llvm/test/Transforms/InstCombine/max-of-nots.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define <2 x i32> @umin_of_nots(<2 x i32> %x, <2 x i32> %y) { define <2 x i32> @umin_of_nots(<2 x i32> %x, <2 x i32> %y) {
; CHECK-LABEL: @umin_of_nots( ; CHECK-LABEL: @umin_of_nots(
; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt <2 x i32> [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[TMP1:%.*]] = icmp ugt <2 x i32> [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[TMP2:%.*]] = select <2 x i1> [[TMP1]], <2 x i32> [[X]], <2 x i32> [[Y]] ; CHECK-NEXT: [[TMP2:%.*]] = select <2 x i1> [[TMP1]], <2 x i32> [[X]], <2 x i32> [[Y]]
; CHECK-NEXT: [[MIN:%.*]] = xor <2 x i32> [[TMP2]], <i32 -1, i32 -1> ; CHECK-NEXT: [[MIN:%.*]] = xor <2 x i32> [[TMP2]], <i32 -1, i32 -1>
; CHECK-NEXT: ret <2 x i32> [[MIN]] ; CHECK-NEXT: ret <2 x i32> [[MIN]]
; ;
▲ Show 20 Lines • Show All 523 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/max_known_bits.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define i16 @foo(i16 %x) { define i16 @foo(i16 %x) {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: [[T1:%.*]] = and i16 [[X:%.*]], 255 ; CHECK-NEXT: [[T1:%.*]] = and i16 [[X:%.*]], 255
; CHECK-NEXT: ret i16 [[T1]] ; CHECK-NEXT: ret i16 [[T1]]
; ;
%t1 = and i16 %x, 255 %t1 = and i16 %x, 255
%t2 = zext i16 %t1 to i32 %t2 = zext i16 %t1 to i32
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/maximum.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare float @llvm.maximum.f32(float, float) declare float @llvm.maximum.f32(float, float)
declare <2 x float> @llvm.maximum.v2f32(<2 x float>, <2 x float>) declare <2 x float> @llvm.maximum.v2f32(<2 x float>, <2 x float>)
declare <4 x float> @llvm.maximum.v4f32(<4 x float>, <4 x float>) declare <4 x float> @llvm.maximum.v4f32(<4 x float>, <4 x float>)
declare double @llvm.maximum.f64(double, double) declare double @llvm.maximum.f64(double, double)
declare <2 x double> @llvm.maximum.v2f64(<2 x double>, <2 x double>) declare <2 x double> @llvm.maximum.v2f64(<2 x double>, <2 x double>)
▲ Show 20 Lines • Show All 436 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/maxnum.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare float @llvm.maxnum.f32(float, float) declare float @llvm.maxnum.f32(float, float)
declare <2 x float> @llvm.maxnum.v2f32(<2 x float>, <2 x float>) declare <2 x float> @llvm.maxnum.v2f32(<2 x float>, <2 x float>)
declare <4 x float> @llvm.maxnum.v4f32(<4 x float>, <4 x float>) declare <4 x float> @llvm.maxnum.v4f32(<4 x float>, <4 x float>)
declare double @llvm.maxnum.f64(double, double) declare double @llvm.maxnum.f64(double, double)
declare <2 x double> @llvm.maxnum.v2f64(<2 x double>, <2 x double>) declare <2 x double> @llvm.maxnum.v2f64(<2 x double>, <2 x double>)
▲ Show 20 Lines • Show All 458 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/mem-deref-bytes-addrspaces.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare i32 @memcmp(i8 addrspace(1)* nocapture, i8* nocapture, i64) declare i32 @memcmp(i8 addrspace(1)* nocapture, i8* nocapture, i64)
define i32 @memcmp_const_size_update_deref(i8 addrspace(1)* nocapture readonly %d, i8* nocapture readonly %s) { define i32 @memcmp_const_size_update_deref(i8 addrspace(1)* nocapture readonly %d, i8* nocapture readonly %s) {
; CHECK-LABEL: @memcmp_const_size_update_deref( ; CHECK-LABEL: @memcmp_const_size_update_deref(
; CHECK-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8 addrspace(1)* noundef dereferenceable(16) dereferenceable_or_null(40) [[D:%.*]], i8* noundef nonnull dereferenceable(16) [[S:%.*]], i64 16) ; CHECK-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8 addrspace(1)* noundef dereferenceable(16) dereferenceable_or_null(40) [[D:%.*]], i8* noundef nonnull dereferenceable(16) [[S:%.*]], i64 16)
; CHECK-NEXT: ret i32 [[CALL]] ; CHECK-NEXT: ret i32 [[CALL]]
; ;
Show All 12 Lines

llvm/test/Transforms/InstCombine/mem-deref-bytes.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare i32 @memcmp(i8* nocapture, i8* nocapture, i64) declare i32 @memcmp(i8* nocapture, i8* nocapture, i64)
declare i8* @memcpy(i8* nocapture, i8* nocapture, i64) declare i8* @memcpy(i8* nocapture, i8* nocapture, i64)
declare i8* @memmove(i8* nocapture, i8* nocapture, i64) declare i8* @memmove(i8* nocapture, i8* nocapture, i64)
declare i8* @memset(i8* nocapture, i8, i64) declare i8* @memset(i8* nocapture, i8, i64)
declare i8* @memchr(i8* nocapture, i32, i64) declare i8* @memchr(i8* nocapture, i32, i64)
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1)
declare void @llvm.memmove.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) declare void @llvm.memmove.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1)
▲ Show 20 Lines • Show All 153 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/mem-gep-zidx.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
target datalayout = "E-m:e-i64:64-n32:64" target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu" target triple = "powerpc64-unknown-linux-gnu"
@f.a = private unnamed_addr constant [1 x i32] [i32 12], align 4 @f.a = private unnamed_addr constant [1 x i32] [i32 12], align 4
@f.b = private unnamed_addr constant [1 x i32] [i32 55], align 4 @f.b = private unnamed_addr constant [1 x i32] [i32 55], align 4
@f.c = linkonce unnamed_addr alias [1 x i32], [1 x i32]* @f.b @f.c = linkonce unnamed_addr alias [1 x i32], [1 x i32]* @f.b
define signext i32 @test1(i32 signext %x) #0 { define signext i32 @test1(i32 signext %x) #0 {
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/mem-par-metadata-memcpy.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; ;
; Make sure the llvm.access.group meta-data is preserved ; Make sure the llvm.access.group meta-data is preserved
; when a memcpy is replaced with a load+store by instcombine ; when a memcpy is replaced with a load+store by instcombine
; ;
; #include <string.h> ; #include <string.h>
; void test(char* out, long size) ; void test(char* out, long size)
; { ; {
; #pragma clang loop vectorize(assume_safety) ; #pragma clang loop vectorize(assume_safety)
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memccpy.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
@hello = private constant [11 x i8] c"helloworld\00", align 1 @hello = private constant [11 x i8] c"helloworld\00", align 1
@NoNulTerminator = private constant [10 x i8] c"helloworld", align 1 @NoNulTerminator = private constant [10 x i8] c"helloworld", align 1
@StopCharAfterNulTerminator = private constant [12 x i8] c"helloworld\00x", align 1 @StopCharAfterNulTerminator = private constant [12 x i8] c"helloworld\00x", align 1
@StringWithEOF = constant [14 x i8] c"helloworld\FFab\00", align 1 @StringWithEOF = constant [14 x i8] c"helloworld\FFab\00", align 1
declare i8* @memccpy(i8*, i8*, i32, i64) declare i8* @memccpy(i8*, i8*, i32, i64)
▲ Show 20 Lines • Show All 260 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memchr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test that the memchr library call simplifier works correctly. ; Test that the memchr library call simplifier works correctly.
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32"
@hello = constant [14 x i8] c"hello world\5Cn\00" @hello = constant [14 x i8] c"hello world\5Cn\00"
@hellonull = constant [14 x i8] c"hello\00world\5Cn\00" @hellonull = constant [14 x i8] c"hello\00world\5Cn\00"
@null = constant [1 x i8] zeroinitializer @null = constant [1 x i8] zeroinitializer
@newlines = constant [3 x i8] c"\0D\0A\00" @newlines = constant [3 x i8] c"\0D\0A\00"
@single = constant [2 x i8] c"\1F\00" @single = constant [2 x i8] c"\1F\00"
▲ Show 20 Lines • Show All 233 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcmp-1.ll

; Test that the memcmp library call simplifier works correctly. ; Test that the memcmp library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck --check-prefix=CHECK --check-prefix=NOBCMP %s ; RUN: opt < %s -passes=instcombine -S | FileCheck --check-prefix=CHECK --check-prefix=NOBCMP %s
; RUN: opt < %s -instcombine -mtriple=x86_64-unknown-linux-gnu -S | FileCheck --check-prefix=CHECK --check-prefix=BCMP %s ; RUN: opt < %s -passes=instcombine -mtriple=x86_64-unknown-linux-gnu -S | FileCheck --check-prefix=CHECK --check-prefix=BCMP %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32:64"
@foo = constant [4 x i8] c"foo\00" @foo = constant [4 x i8] c"foo\00"
@hel = constant [4 x i8] c"hel\00" @hel = constant [4 x i8] c"hel\00"
@hello_u = constant [8 x i8] c"hello_u\00" @hello_u = constant [8 x i8] c"hello_u\00"
declare i32 @memcmp(i8*, i8*, i32) declare i32 @memcmp(i8*, i8*, i32)
▲ Show 20 Lines • Show All 139 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcmp-2.ll

; Test that the memcmp library call simplifier works correctly. ; Test that the memcmp library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i32* @memcmp(i8*, i8*, i32) declare i32* @memcmp(i8*, i8*, i32)
; Check that memcmp functions with the wrong prototype aren't simplified. ; Check that memcmp functions with the wrong prototype aren't simplified.
define i32* @test_no_simplify1(i8* %mem, i32 %size) { define i32* @test_no_simplify1(i8* %mem, i32 %size) {
; CHECK-LABEL: @test_no_simplify1( ; CHECK-LABEL: @test_no_simplify1(
%ret = call i32* @memcmp(i8* %mem, i8* %mem, i32 %size) %ret = call i32* @memcmp(i8* %mem, i8* %mem, i32 %size)
; CHECK-NEXT: call i32* @memcmp ; CHECK-NEXT: call i32* @memcmp
ret i32* %ret ret i32* %ret
; CHECK-NEXT: ret i32* %ret ; CHECK-NEXT: ret i32* %ret
} }

llvm/test/Transforms/InstCombine/memcmp-constant-fold.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S -data-layout=e-n32 | FileCheck %s --check-prefix=ALL --check-prefix=LE ; RUN: opt < %s -passes=instcombine -S -data-layout=e-n32 | FileCheck %s --check-prefix=ALL --check-prefix=LE
; RUN: opt < %s -instcombine -S -data-layout=E-n32 | FileCheck %s --check-prefix=ALL --check-prefix=BE ; RUN: opt < %s -passes=instcombine -S -data-layout=E-n32 | FileCheck %s --check-prefix=ALL --check-prefix=BE
declare i32 @memcmp(i8*, i8*, i64) declare i32 @memcmp(i8*, i8*, i64)
; The alignment of this constant does not matter. We constant fold the load. ; The alignment of this constant does not matter. We constant fold the load.
@charbuf = private unnamed_addr constant [4 x i8] [i8 0, i8 0, i8 0, i8 1], align 1 @charbuf = private unnamed_addr constant [4 x i8] [i8 0, i8 0, i8 0, i8 1], align 1
define i1 @memcmp_4bytes_unaligned_constant_i8(i8* align 4 %x) { define i1 @memcmp_4bytes_unaligned_constant_i8(i8* align 4 %x) {
▲ Show 20 Lines • Show All 70 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcpy-1.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test that the memcpy library call simplifier works correctly. ; Test that the memcpy library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i8* @memcpy(i8*, i8*, i32) declare i8* @memcpy(i8*, i8*, i32)
; Check memcpy(mem1, mem2, size) -> llvm.memcpy(mem1, mem2, size, 1). ; Check memcpy(mem1, mem2, size) -> llvm.memcpy(mem1, mem2, size, 1).
define i8* @test_simplify1(i8* %mem1, i8* %mem2, i32 %size) { define i8* @test_simplify1(i8* %mem1, i8* %mem2, i32 %size) {
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcpy-2.ll

; Test that the memcpy library call simplifier works correctly. ; Test that the memcpy library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i8 @memcpy(i8*, i8*, i32) declare i8 @memcpy(i8*, i8*, i32)
; Check that memcpy functions with the wrong prototype (doesn't return a pointer) aren't simplified. ; Check that memcpy functions with the wrong prototype (doesn't return a pointer) aren't simplified.
define i8 @test_no_simplify1(i8* %mem1, i8* %mem2, i32 %size) { define i8 @test_no_simplify1(i8* %mem1, i8* %mem2, i32 %size) {
; CHECK-LABEL: @test_no_simplify1( ; CHECK-LABEL: @test_no_simplify1(
; CHECK-NEXT: [[RET:%.*]] = call i8 @memcpy(i8* %mem1, i8* %mem2, i32 %size) ; CHECK-NEXT: [[RET:%.*]] = call i8 @memcpy(i8* %mem1, i8* %mem2, i32 %size)
; CHECK-NEXT: ret i8 [[RET]] ; CHECK-NEXT: ret i8 [[RET]]
; ;
%ret = call i8 @memcpy(i8* %mem1, i8* %mem2, i32 %size) %ret = call i8 @memcpy(i8* %mem1, i8* %mem2, i32 %size)
ret i8 %ret ret i8 %ret
} }

llvm/test/Transforms/InstCombine/memcpy-addrspace.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
@test.data = private unnamed_addr addrspace(2) constant [8 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7], align 4 @test.data = private unnamed_addr addrspace(2) constant [8 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7], align 4
; CHECK-LABEL: test_load ; CHECK-LABEL: test_load
; CHECK: %[[GEP:.*]] = getelementptr [8 x i32], [8 x i32] addrspace(2)* @test.data, i64 0, i64 %x ; CHECK: %[[GEP:.*]] = getelementptr [8 x i32], [8 x i32] addrspace(2)* @test.data, i64 0, i64 %x
; CHECK: %{{.*}} = load i32, i32 addrspace(2)* %[[GEP]] ; CHECK: %{{.*}} = load i32, i32 addrspace(2)* %[[GEP]]
; CHECK-NOT: alloca ; CHECK-NOT: alloca
; CHECK-NOT: call void @llvm.memcpy.p0i8.p2i8.i64 ; CHECK-NOT: call void @llvm.memcpy.p0i8.p2i8.i64
▲ Show 20 Lines • Show All 116 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcpy-from-global.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64" target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64"
@C.0.1248 = internal constant [128 x float] [ float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00 ], align 32 ; <[128 x float]*> [#uses=1] @C.0.1248 = internal constant [128 x float] [ float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float -1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float -1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float -1.000000e+00, float 0.000000e+00, float 1.000000e+00, float 1.000000e+00, float 1.000000e+00 ], align 32 ; <[128 x float]*> [#uses=1]
define float @test1(i32 %hash, float %x, float %y, float %z, float %w) { define float @test1(i32 %hash, float %x, float %y, float %z, float %w) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP3:%.*]] = shl i32 [[HASH:%.*]], 2 ; CHECK-NEXT: [[TMP3:%.*]] = shl i32 [[HASH:%.*]], 2
; CHECK-NEXT: [[TMP5:%.*]] = and i32 [[TMP3]], 124 ; CHECK-NEXT: [[TMP5:%.*]] = and i32 [[TMP3]], 124
▲ Show 20 Lines • Show All 353 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcpy-to-load.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; RUN: opt < %s -instcombine -S -data-layout=n32 | FileCheck %s ; RUN: opt < %s -passes=instcombine -S -data-layout=n32 | FileCheck %s
; RUN: opt < %s -instcombine -S -data-layout=n32:64 | FileCheck %s ; RUN: opt < %s -passes=instcombine -S -data-layout=n32:64 | FileCheck %s
; RUN: opt < %s -instcombine -S -data-layout=n32:64:128 | FileCheck %s ; RUN: opt < %s -passes=instcombine -S -data-layout=n32:64:128 | FileCheck %s
declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind
; memcpy can be expanded inline with load/store (based on the datalayout?) ; memcpy can be expanded inline with load/store (based on the datalayout?)
define void @copy_1_byte(i8* %d, i8* %s) { define void @copy_1_byte(i8* %d, i8* %s) {
; CHECK-LABEL: @copy_1_byte( ; CHECK-LABEL: @copy_1_byte(
; CHECK-NEXT: [[TMP1:%.*]] = load i8, i8* [[S:%.*]], align 1 ; CHECK-NEXT: [[TMP1:%.*]] = load i8, i8* [[S:%.*]], align 1
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcpy.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i1) nounwind
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1) nounwind
; Same src/dest. ; Same src/dest.
define void @test1(i8* %a) { define void @test1(i8* %a) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
Show All 38 Lines

llvm/test/Transforms/InstCombine/memcpy_chk-1.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test lib call simplification of __memcpy_chk calls with various values ; Test lib call simplification of __memcpy_chk calls with various values
; for dstlen and len. ; for dstlen and len.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
%struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] }
%struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] }
%struct.T3 = type { [100 x i32], [100 x i32], [2048 x i8] } %struct.T3 = type { [100 x i32], [100 x i32], [2048 x i8] }
@t1 = common global %struct.T1 zeroinitializer @t1 = common global %struct.T1 zeroinitializer
▲ Show 20 Lines • Show All 96 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memcpy_chk-2.ll

; Test that lib call simplification doesn't simplify __memcpy_chk calls ; Test that lib call simplification doesn't simplify __memcpy_chk calls
; with the wrong prototype. ; with the wrong prototype.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
%struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] }
%struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] }
@t1 = common global %struct.T1 zeroinitializer @t1 = common global %struct.T1 zeroinitializer
@t2 = common global %struct.T2 zeroinitializer @t2 = common global %struct.T2 zeroinitializer
Show All 12 Lines

llvm/test/Transforms/InstCombine/memmove-1.ll

; Test that the memmove library call simplifier works correctly. ; Test that the memmove library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i8* @memmove(i8*, i8*, i32) declare i8* @memmove(i8*, i8*, i32)
; Check memmove(mem1, mem2, size) -> llvm.memmove(mem1, mem2, size, 1). ; Check memmove(mem1, mem2, size) -> llvm.memmove(mem1, mem2, size, 1).
define i8* @test_simplify1(i8* %mem1, i8* %mem2, i32 %size) { define i8* @test_simplify1(i8* %mem1, i8* %mem2, i32 %size) {
Show All 30 Lines

llvm/test/Transforms/InstCombine/memmove-2.ll

; Test that the memmove library call simplifier works correctly. ; Test that the memmove library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i8 @memmove(i8*, i8*, i32) declare i8 @memmove(i8*, i8*, i32)
; Check that memmove functions with the wrong prototype aren't simplified. ; Check that memmove functions with the wrong prototype aren't simplified.
define i8 @test_no_simplify1(i8* %mem1, i8* %mem2, i32 %size) { define i8 @test_no_simplify1(i8* %mem1, i8* %mem2, i32 %size) {
; CHECK-LABEL: @test_no_simplify1( ; CHECK-LABEL: @test_no_simplify1(
%ret = call i8 @memmove(i8* %mem1, i8* %mem2, i32 %size) %ret = call i8 @memmove(i8* %mem1, i8* %mem2, i32 %size)
; CHECK: call i8 @memmove ; CHECK: call i8 @memmove
ret i8 %ret ret i8 %ret
; CHECK: ret i8 %ret ; CHECK: ret i8 %ret
} }

llvm/test/Transforms/InstCombine/memmove.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; This test makes sure that memmove instructions are properly eliminated. ; This test makes sure that memmove instructions are properly eliminated.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
@S = internal constant [33 x i8] c"panic: restorelist inconsistency\00" ; <[33 x i8]*> [#uses=1] @S = internal constant [33 x i8] c"panic: restorelist inconsistency\00" ; <[33 x i8]*> [#uses=1]
@h = constant [2 x i8] c"h\00" ; <[2 x i8]*> [#uses=1] @h = constant [2 x i8] c"h\00" ; <[2 x i8]*> [#uses=1]
@hel = constant [4 x i8] c"hel\00" ; <[4 x i8]*> [#uses=1] @hel = constant [4 x i8] c"hel\00" ; <[4 x i8]*> [#uses=1]
@hello_u = constant [8 x i8] c"hello_u\00" ; <[8 x i8]*> [#uses=1] @hello_u = constant [8 x i8] c"hello_u\00" ; <[8 x i8]*> [#uses=1]
define void @test1(i8* %A, i8* %B, i32 %N) { define void @test1(i8* %A, i8* %B, i32 %N) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memmove_chk-1.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test lib call simplification of __memmove_chk calls with various values ; Test lib call simplification of __memmove_chk calls with various values
; for dstlen and len. ; for dstlen and len.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
%struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] }
%struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] }
%struct.T3 = type { [100 x i32], [100 x i32], [2048 x i8] } %struct.T3 = type { [100 x i32], [100 x i32], [2048 x i8] }
@t1 = common global %struct.T1 zeroinitializer @t1 = common global %struct.T1 zeroinitializer
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memmove_chk-2.ll

; Test that lib call simplification doesn't simplify __memmove_chk calls ; Test that lib call simplification doesn't simplify __memmove_chk calls
; with the wrong prototype. ; with the wrong prototype.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
%struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T1 = type { [100 x i32], [100 x i32], [1024 x i8] }
%struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T2 = type { [100 x i32], [100 x i32], [1024 x i8] }
@t1 = common global %struct.T1 zeroinitializer @t1 = common global %struct.T1 zeroinitializer
@t2 = common global %struct.T2 zeroinitializer @t2 = common global %struct.T2 zeroinitializer
Show All 12 Lines

llvm/test/Transforms/InstCombine/mempcpy.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
define i8* @memcpy_nonconst_n(i8* %d, i8* nocapture readonly %s, i64 %n) { define i8* @memcpy_nonconst_n(i8* %d, i8* nocapture readonly %s, i64 %n) {
; CHECK-LABEL: @memcpy_nonconst_n( ; CHECK-LABEL: @memcpy_nonconst_n(
; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 1 [[D:%.*]], i8* align 1 [[S:%.*]], i64 [[N:%.*]], i1 false) ; CHECK-NEXT: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 1 [[D:%.*]], i8* align 1 [[S:%.*]], i64 [[N:%.*]], i1 false)
; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[D]], i64 [[N]] ; CHECK-NEXT: [[TMP1:%.*]] = getelementptr inbounds i8, i8* [[D]], i64 [[N]]
; CHECK-NEXT: ret i8* [[TMP1]] ; CHECK-NEXT: ret i8* [[TMP1]]
; ;
%r = tail call i8* @mempcpy(i8* %d, i8* %s, i64 %n) %r = tail call i8* @mempcpy(i8* %d, i8* %s, i64 %n)
▲ Show 20 Lines • Show All 66 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memrchr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i8* @memrchr(i8*, i32, i32) declare i8* @memrchr(i8*, i32, i32)
define i8* @test1(i8* %str, i32 %c, i32 %n) { define i8* @test1(i8* %str, i32 %c, i32 %n) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* [[STR:%.*]], i32 [[C:%.*]], i32 [[N:%.*]]) ; CHECK-NEXT: [[RET:%.*]] = call i8* @memrchr(i8* [[STR:%.*]], i32 [[C:%.*]], i32 [[N:%.*]])
; CHECK-NEXT: ret i8* [[RET]] ; CHECK-NEXT: ret i8* [[RET]]
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memset-1.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test that the memset library call simplifier works correctly. ; Test that the memset library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i8* @memset(i8*, i32, i32) declare i8* @memset(i8*, i32, i32)
declare void @llvm.memset.p0i8.i32(i8* nocapture writeonly, i8, i32, i32, i1) declare void @llvm.memset.p0i8.i32(i8* nocapture writeonly, i8, i32, i32, i1)
declare noalias i8* @malloc(i32) #1 declare noalias i8* @malloc(i32) #1
; Check memset(mem1, val, size) -> llvm.memset(mem1, val, size, 1). ; Check memset(mem1, val, size) -> llvm.memset(mem1, val, size, 1).
▲ Show 20 Lines • Show All 225 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memset-2.ll

; Test that the memset library call simplifier works correctly. ; Test that the memset library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
declare i8 @memset(i8*, i32, i32) declare i8 @memset(i8*, i32, i32)
; Check that memset functions with the wrong prototype aren't simplified. ; Check that memset functions with the wrong prototype aren't simplified.
define i8 @test_no_simplify1(i8* %mem, i32 %val, i32 %size) { define i8 @test_no_simplify1(i8* %mem, i32 %val, i32 %size) {
; CHECK-LABEL: @test_no_simplify1( ; CHECK-LABEL: @test_no_simplify1(
%ret = call i8 @memset(i8* %mem, i32 %val, i32 %size) %ret = call i8 @memset(i8* %mem, i32 %val, i32 %size)
; CHECK: call i8 @memset ; CHECK: call i8 @memset
ret i8 %ret ret i8 %ret
; CHECK: ret i8 %ret ; CHECK: ret i8 %ret
} }

llvm/test/Transforms/InstCombine/memset.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i32 @test([1024 x i8]* %target) { define i32 @test([1024 x i8]* %target) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: [[TMP1:%.*]] = getelementptr [1024 x i8], [1024 x i8]* [[TARGET:%.*]], i64 0, i64 0 ; CHECK-NEXT: [[TMP1:%.*]] = getelementptr [1024 x i8], [1024 x i8]* [[TARGET:%.*]], i64 0, i64 0
; CHECK-NEXT: store i8 1, i8* [[TMP1]], align 1 ; CHECK-NEXT: store i8 1, i8* [[TMP1]], align 1
; CHECK-NEXT: [[TMP2:%.*]] = bitcast [1024 x i8]* [[TARGET]] to i16* ; CHECK-NEXT: [[TMP2:%.*]] = bitcast [1024 x i8]* [[TARGET]] to i16*
; CHECK-NEXT: store i16 257, i16* [[TMP2]], align 2 ; CHECK-NEXT: store i16 257, i16* [[TMP2]], align 2
; CHECK-NEXT: [[TMP3:%.*]] = bitcast [1024 x i8]* [[TARGET]] to i32* ; CHECK-NEXT: [[TMP3:%.*]] = bitcast [1024 x i8]* [[TARGET]] to i32*
Show All 26 Lines

llvm/test/Transforms/InstCombine/memset2.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Test to check that instcombine doesn't drop the address space when optimizing ; Test to check that instcombine doesn't drop the address space when optimizing
; memset. ; memset.
%struct.Moves = type { [9 x i8], i8, i8, i8, [5 x i8] } %struct.Moves = type { [9 x i8], i8, i8, i8, [5 x i8] }
define i32 @test(%struct.Moves addrspace(1)* nocapture %moves) { define i32 @test(%struct.Moves addrspace(1)* nocapture %moves) {
entry: entry:
; CHECK: bitcast i8 addrspace(1)* %gep to i64 addrspace(1)* ; CHECK: bitcast i8 addrspace(1)* %gep to i64 addrspace(1)*
%gep = getelementptr inbounds %struct.Moves, %struct.Moves addrspace(1)* %moves, i32 1, i32 0, i32 9 %gep = getelementptr inbounds %struct.Moves, %struct.Moves addrspace(1)* %moves, i32 1, i32 0, i32 9
call void @llvm.memset.p1i8.i64(i8 addrspace(1)* %gep, i8 0, i64 8, i1 false) call void @llvm.memset.p1i8.i64(i8 addrspace(1)* %gep, i8 0, i64 8, i1 false)
ret i32 0 ret i32 0
} }
declare void @llvm.memset.p1i8.i64(i8addrspace(1)* nocapture, i8, i64, i1) nounwind declare void @llvm.memset.p1i8.i64(i8addrspace(1)* nocapture, i8, i64, i1) nounwind

llvm/test/Transforms/InstCombine/memset_chk-1.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test lib call simplification of __memset_chk calls with various values ; Test lib call simplification of __memset_chk calls with various values
; for dstlen and len. ; for dstlen and len.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; rdar://7719085 ; rdar://7719085
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
%struct.T = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T = type { [100 x i32], [100 x i32], [1024 x i8] }
@t = common global %struct.T zeroinitializer @t = common global %struct.T zeroinitializer
; Check cases where dstlen >= len. ; Check cases where dstlen >= len.
▲ Show 20 Lines • Show All 169 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/memset_chk-2.ll

; Test that lib call simplification doesn't simplify __memset_chk calls ; Test that lib call simplification doesn't simplify __memset_chk calls
; with the wrong prototype. ; with the wrong prototype.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
%struct.T = type { [100 x i32], [100 x i32], [1024 x i8] } %struct.T = type { [100 x i32], [100 x i32], [1024 x i8] }
@t = common global %struct.T zeroinitializer @t = common global %struct.T zeroinitializer
define void @test_no_simplify() { define void @test_no_simplify() {
; CHECK-LABEL: @test_no_simplify( ; CHECK-LABEL: @test_no_simplify(
%dst = bitcast %struct.T* @t to i8* %dst = bitcast %struct.T* @t to i8*
; CHECK-NEXT: call i8* @__memset_chk ; CHECK-NEXT: call i8* @__memset_chk
call i8* @__memset_chk(i8* %dst, i32 0, i64 1824) call i8* @__memset_chk(i8* %dst, i32 0, i64 1824)
ret void ret void
} }
declare i8* @__memset_chk(i8*, i32, i64) declare i8* @__memset_chk(i8*, i32, i64)

llvm/test/Transforms/InstCombine/merge-icmp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define i1 @test1(i16* %x) { define i1 @test1(i16* %x) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[LOAD:%.*]] = load i16, i16* [[X:%.*]], align 4 ; CHECK-NEXT: [[LOAD:%.*]] = load i16, i16* [[X:%.*]], align 4
; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i16 [[LOAD]], 17791 ; CHECK-NEXT: [[TMP1:%.*]] = icmp eq i16 [[LOAD]], 17791
; CHECK-NEXT: ret i1 [[TMP1]] ; CHECK-NEXT: ret i1 [[TMP1]]
; ;
%load = load i16, i16* %x, align 4 %load = load i16, i16* %x, align 4
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/min-positive.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
@g = external global i32 @g = external global i32
define i1 @smin(i32 %other) { define i1 @smin(i32 %other) {
; CHECK-LABEL: @smin( ; CHECK-LABEL: @smin(
; CHECK-NEXT: [[TEST:%.*]] = icmp sgt i32 [[OTHER:%.*]], 0 ; CHECK-NEXT: [[TEST:%.*]] = icmp sgt i32 [[OTHER:%.*]], 0
; CHECK-NEXT: ret i1 [[TEST]] ; CHECK-NEXT: ret i1 [[TEST]]
; ;
▲ Show 20 Lines • Show All 91 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/minimum.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare float @llvm.minimum.f32(float, float) declare float @llvm.minimum.f32(float, float)
declare <2 x float> @llvm.minimum.v2f32(<2 x float>, <2 x float>) declare <2 x float> @llvm.minimum.v2f32(<2 x float>, <2 x float>)
declare <4 x float> @llvm.minimum.v4f32(<4 x float>, <4 x float>) declare <4 x float> @llvm.minimum.v4f32(<4 x float>, <4 x float>)
declare double @llvm.minimum.f64(double, double) declare double @llvm.minimum.f64(double, double)
declare <2 x double> @llvm.minimum.v2f64(<2 x double>, <2 x double>) declare <2 x double> @llvm.minimum.v2f64(<2 x double>, <2 x double>)
▲ Show 20 Lines • Show All 463 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/minmax-demandbits.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define i32 @and_umax_less(i32 %A) { define i32 @and_umax_less(i32 %A) {
; CHECK-LABEL: @and_umax_less( ; CHECK-LABEL: @and_umax_less(
; CHECK-NEXT: [[X:%.*]] = and i32 [[A:%.*]], -32 ; CHECK-NEXT: [[X:%.*]] = and i32 [[A:%.*]], -32
; CHECK-NEXT: ret i32 [[X]] ; CHECK-NEXT: ret i32 [[X]]
; ;
%l0 = icmp ugt i32 31, %A %l0 = icmp ugt i32 31, %A
▲ Show 20 Lines • Show All 226 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/minmax-fold.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; This is the canonical form for a type-changing min/max. ; This is the canonical form for a type-changing min/max.
define i64 @t1(i32 %a) { define i64 @t1(i32 %a) {
; CHECK-LABEL: @t1( ; CHECK-LABEL: @t1(
; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[A:%.*]], 5 ; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[A:%.*]], 5
; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 5 ; CHECK-NEXT: [[TMP2:%.*]] = select i1 [[TMP1]], i32 [[A]], i32 5
; CHECK-NEXT: [[TMP3:%.*]] = sext i32 [[TMP2]] to i64 ; CHECK-NEXT: [[TMP3:%.*]] = sext i32 [[TMP2]] to i64
; CHECK-NEXT: ret i64 [[TMP3]] ; CHECK-NEXT: ret i64 [[TMP3]]
▲ Show 20 Lines • Show All 1,512 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/minmax-fp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; This is the canonical form for a type-changing min/max. ; This is the canonical form for a type-changing min/max.
define double @t1(float %a) { define double @t1(float %a) {
; CHECK-LABEL: @t1( ; CHECK-LABEL: @t1(
; CHECK-NEXT: [[DOTINV:%.*]] = fcmp oge float [[A:%.*]], 5.000000e+00 ; CHECK-NEXT: [[DOTINV:%.*]] = fcmp oge float [[A:%.*]], 5.000000e+00
; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[DOTINV]], float 5.000000e+00, float [[A]] ; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[DOTINV]], float 5.000000e+00, float [[A]]
; CHECK-NEXT: [[TMP2:%.*]] = fpext float [[TMP1]] to double ; CHECK-NEXT: [[TMP2:%.*]] = fpext float [[TMP1]] to double
; CHECK-NEXT: ret double [[TMP2]] ; CHECK-NEXT: ret double [[TMP2]]
▲ Show 20 Lines • Show All 430 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/minmax-intrinsics.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare i8 @llvm.umin.i8(i8, i8) declare i8 @llvm.umin.i8(i8, i8)
declare i8 @llvm.umax.i8(i8, i8) declare i8 @llvm.umax.i8(i8, i8)
declare i8 @llvm.smin.i8(i8, i8) declare i8 @llvm.smin.i8(i8, i8)
declare i8 @llvm.smax.i8(i8, i8) declare i8 @llvm.smax.i8(i8, i8)
declare <3 x i8> @llvm.umin.v3i8(<3 x i8>, <3 x i8>) declare <3 x i8> @llvm.umin.v3i8(<3 x i8>, <3 x i8>)
declare <3 x i8> @llvm.umax.v3i8(<3 x i8>, <3 x i8>) declare <3 x i8> @llvm.umax.v3i8(<3 x i8>, <3 x i8>)
declare <3 x i8> @llvm.smin.v3i8(<3 x i8>, <3 x i8>) declare <3 x i8> @llvm.smin.v3i8(<3 x i8>, <3 x i8>)
▲ Show 20 Lines • Show All 2,133 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/minmax-of-minmax.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define i32 @smax_of_smax_smin_commute0(i32 %x, i32 %y) { define i32 @smax_of_smax_smin_commute0(i32 %x, i32 %y) {
; CHECK-LABEL: @smax_of_smax_smin_commute0( ; CHECK-LABEL: @smax_of_smax_smin_commute0(
; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i32 [[Y:%.*]], [[X:%.*]] ; CHECK-NEXT: [[CMP2:%.*]] = icmp slt i32 [[Y:%.*]], [[X:%.*]]
; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], i32 [[X]], i32 [[Y]] ; CHECK-NEXT: [[MAX:%.*]] = select i1 [[CMP2]], i32 [[X]], i32 [[Y]]
; CHECK-NEXT: ret i32 [[MAX]] ; CHECK-NEXT: ret i32 [[MAX]]
; ;
%cmp1 = icmp slt i32 %x, %y %cmp1 = icmp slt i32 %x, %y
▲ Show 20 Lines • Show All 316 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/minnum.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare float @llvm.minnum.f32(float, float) declare float @llvm.minnum.f32(float, float)
declare <2 x float> @llvm.minnum.v2f32(<2 x float>, <2 x float>) declare <2 x float> @llvm.minnum.v2f32(<2 x float>, <2 x float>)
declare <4 x float> @llvm.minnum.v4f32(<4 x float>, <4 x float>) declare <4 x float> @llvm.minnum.v4f32(<4 x float>, <4 x float>)
declare double @llvm.minnum.f64(double, double) declare double @llvm.minnum.f64(double, double)
declare <2 x double> @llvm.minnum.v2f64(<2 x double>, <2 x double>) declare <2 x double> @llvm.minnum.v2f64(<2 x double>, <2 x double>)
▲ Show 20 Lines • Show All 497 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/misc-2002.ll

; NOTE: Assertions have been autogenerated by update_test_checks.py ; NOTE: Assertions have been autogenerated by update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define void @hang_2002-03-11(i32 %X) { define void @hang_2002-03-11(i32 %X) {
; CHECK-LABEL: @hang_2002-03-11( ; CHECK-LABEL: @hang_2002-03-11(
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
%reg117 = add i32 %X, 0 %reg117 = add i32 %X, 0
ret void ret void
} }
Show All 40 Lines

llvm/test/Transforms/InstCombine/mul-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i32 @llvm.abs.i32(i32, i1) declare i32 @llvm.abs.i32(i32, i1)
define i32 @pow2_multiplier(i32 %A) { define i32 @pow2_multiplier(i32 %A) {
; CHECK-LABEL: @pow2_multiplier( ; CHECK-LABEL: @pow2_multiplier(
; CHECK-NEXT: [[B:%.*]] = shl i32 [[A:%.*]], 1 ; CHECK-NEXT: [[B:%.*]] = shl i32 [[A:%.*]], 1
; CHECK-NEXT: ret i32 [[B]] ; CHECK-NEXT: ret i32 [[B]]
; ;
▲ Show 20 Lines • Show All 1,142 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/mul-masked-bits.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i32 @foo(i32 %x, i32 %y) { define i32 @foo(i32 %x, i32 %y) {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: [[A:%.*]] = and i32 [[X:%.*]], 7 ; CHECK-NEXT: [[A:%.*]] = and i32 [[X:%.*]], 7
; CHECK-NEXT: [[B:%.*]] = and i32 [[Y:%.*]], 7 ; CHECK-NEXT: [[B:%.*]] = and i32 [[Y:%.*]], 7
; CHECK-NEXT: [[C:%.*]] = mul nuw nsw i32 [[A]], [[B]] ; CHECK-NEXT: [[C:%.*]] = mul nuw nsw i32 [[A]], [[B]]
; CHECK-NEXT: [[D:%.*]] = shl nuw i32 [[C]], 26 ; CHECK-NEXT: [[D:%.*]] = shl nuw i32 [[C]], 26
; CHECK-NEXT: [[E:%.*]] = ashr exact i32 [[D]], 26 ; CHECK-NEXT: [[E:%.*]] = ashr exact i32 [[D]], 26
▲ Show 20 Lines • Show All 98 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/mul.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i32 @llvm.abs.i32(i32, i1) declare i32 @llvm.abs.i32(i32, i1)
define i32 @pow2_multiplier(i32 %A) { define i32 @pow2_multiplier(i32 %A) {
; CHECK-LABEL: @pow2_multiplier( ; CHECK-LABEL: @pow2_multiplier(
; CHECK-NEXT: [[B:%.*]] = shl i32 [[A:%.*]], 1 ; CHECK-NEXT: [[B:%.*]] = shl i32 [[A:%.*]], 1
; CHECK-NEXT: ret i32 [[B]] ; CHECK-NEXT: ret i32 [[B]]
; ;
▲ Show 20 Lines • Show All 1,203 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/multi-size-address-space-pointer.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine %s -o - | FileCheck %s ; RUN: opt -S -passes=instcombine %s -o - | FileCheck %s
target datalayout = "e-p:32:32:32-p1:64:64:64-p2:8:8:8-p3:16:16:16-p4:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32" target datalayout = "e-p:32:32:32-p1:64:64:64-p2:8:8:8-p3:16:16:16-p4:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32"
define i32 @test_as0(i32 addrspace(0)* %a) { define i32 @test_as0(i32 addrspace(0)* %a) {
; CHECK-LABEL: @test_as0( ; CHECK-LABEL: @test_as0(
; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr i32, i32* [[A:%.*]], i32 1 ; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr i32, i32* [[A:%.*]], i32 1
; CHECK-NEXT: [[Y:%.*]] = load i32, i32* [[ARRAYIDX]], align 4 ; CHECK-NEXT: [[Y:%.*]] = load i32, i32* [[ARRAYIDX]], align 4
; CHECK-NEXT: ret i32 [[Y]] ; CHECK-NEXT: ret i32 [[Y]]
▲ Show 20 Lines • Show All 129 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/multi-use-load-casts.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
; Positive test - all uses are identical casts. ; Positive test - all uses are identical casts.
define void @t0(i1 zeroext %c0, i1 zeroext %c1, i64* nocapture readonly %src) { define void @t0(i1 zeroext %c0, i1 zeroext %c1, i64* nocapture readonly %src) {
; CHECK-LABEL: @t0( ; CHECK-LABEL: @t0(
; CHECK-NEXT: bb: ; CHECK-NEXT: bb:
; CHECK-NEXT: [[DATA:%.*]] = load i64, i64* [[SRC:%.*]], align 8 ; CHECK-NEXT: [[DATA:%.*]] = load i64, i64* [[SRC:%.*]], align 8
▲ Show 20 Lines • Show All 143 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/multi-use-or.ll

; RUN: opt < %s -instcombine -S | grep "fadd double .sx, .sy" ; RUN: opt < %s -passes=instcombine -S | grep "fadd double .sx, .sy"
; The 'or' has multiple uses, make sure that this doesn't prevent instcombine ; The 'or' has multiple uses, make sure that this doesn't prevent instcombine
; from propagating the extends to the truncs. ; from propagating the extends to the truncs.
define double @ScaleObjectAdd(double %sx, double %sy, double %sz) nounwind { define double @ScaleObjectAdd(double %sx, double %sy, double %sz) nounwind {
entry: entry:
%sx34 = bitcast double %sx to i64 ; <i64> [#uses=1] %sx34 = bitcast double %sx to i64 ; <i64> [#uses=1]
%sx3435 = zext i64 %sx34 to i192 ; <i192> [#uses=1] %sx3435 = zext i64 %sx34 to i192 ; <i192> [#uses=1]
%sy22 = bitcast double %sy to i64 ; <i64> [#uses=1] %sy22 = bitcast double %sy to i64 ; <i64> [#uses=1]
Show All 15 Lines

llvm/test/Transforms/InstCombine/multiple-uses-load-bitcast-select.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S -data-layout="E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" | FileCheck %s ; RUN: opt < %s -passes=instcombine -S -data-layout="E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" | FileCheck %s
define void @PR35618(i64* %st1, double* %st2) { define void @PR35618(i64* %st1, double* %st2) {
; CHECK-LABEL: @PR35618( ; CHECK-LABEL: @PR35618(
; CHECK-NEXT: [[Y1:%.*]] = alloca double, align 8 ; CHECK-NEXT: [[Y1:%.*]] = alloca double, align 8
; CHECK-NEXT: [[Z1:%.*]] = alloca double, align 8 ; CHECK-NEXT: [[Z1:%.*]] = alloca double, align 8
; CHECK-NEXT: [[LD1:%.*]] = load double, double* [[Y1]], align 8 ; CHECK-NEXT: [[LD1:%.*]] = load double, double* [[Y1]], align 8
; CHECK-NEXT: [[LD2:%.*]] = load double, double* [[Z1]], align 8 ; CHECK-NEXT: [[LD2:%.*]] = load double, double* [[Z1]], align 8
; CHECK-NEXT: [[TMP10:%.*]] = fcmp olt double [[LD1]], [[LD2]] ; CHECK-NEXT: [[TMP10:%.*]] = fcmp olt double [[LD1]], [[LD2]]
Show All 20 Lines

llvm/test/Transforms/InstCombine/narrow-math.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare i32 @callee() declare i32 @callee()
declare void @use(i64) declare void @use(i64)
define i64 @sext_sext_add(i32 %A) { define i64 @sext_sext_add(i32 %A) {
; CHECK-LABEL: @sext_sext_add( ; CHECK-LABEL: @sext_sext_add(
; CHECK-NEXT: [[B:%.*]] = ashr i32 [[A:%.*]], 7 ; CHECK-NEXT: [[B:%.*]] = ashr i32 [[A:%.*]], 7
▲ Show 20 Lines • Show All 620 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/narrow-switch.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Vary legal integer types in data layout. ; Vary legal integer types in data layout.
; RUN: opt < %s -instcombine -S -data-layout=n32 | FileCheck %s --check-prefix=ALL --check-prefix=CHECK32 ; RUN: opt < %s -passes=instcombine -S -data-layout=n32 | FileCheck %s --check-prefix=ALL --check-prefix=CHECK32
; RUN: opt < %s -instcombine -S -data-layout=n32:64 | FileCheck %s --check-prefix=ALL --check-prefix=CHECK64 ; RUN: opt < %s -passes=instcombine -S -data-layout=n32:64 | FileCheck %s --check-prefix=ALL --check-prefix=CHECK64
define i32 @positive1(i64 %a) { define i32 @positive1(i64 %a) {
; ALL-LABEL: @positive1( ; ALL-LABEL: @positive1(
; ALL: switch i32 ; ALL: switch i32
; ALL-NEXT: i32 10, label %return ; ALL-NEXT: i32 10, label %return
; ALL-NEXT: i32 100, label %sw.bb1 ; ALL-NEXT: i32 100, label %sw.bb1
; ALL-NEXT: i32 1001, label %sw.bb2 ; ALL-NEXT: i32 1001, label %sw.bb2
; ALL-NEXT: ] ; ALL-NEXT: ]
▲ Show 20 Lines • Show All 250 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/narrow.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "n8:16:32:64" target datalayout = "n8:16:32:64"
; Eliminating the casts in this testcase (by narrowing the AND operation) ; Eliminating the casts in this testcase (by narrowing the AND operation)
; allows instcombine to realize the function always returns false. ; allows instcombine to realize the function always returns false.
define i1 @test1(i32 %A, i32 %B) { define i1 @test1(i32 %A, i32 %B) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
▲ Show 20 Lines • Show All 229 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/new-delete-itanium.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -mtriple x86_64--linux -instcombine -S | FileCheck %s ; RUN: opt < %s -mtriple x86_64--linux -passes=instcombine -S | FileCheck %s
; REQUIRES: x86-registered-target ; REQUIRES: x86-registered-target
; PR1201 ; PR1201
; 'if (p) delete p;' cannot result in a call to 'operator delete(0)'. ; 'if (p) delete p;' cannot result in a call to 'operator delete(0)'.
define void @test6a(i8* %foo) minsize { define void @test6a(i8* %foo) minsize {
; CHECK-LABEL: @test6a( ; CHECK-LABEL: @test6a(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i8* [[FOO:%.*]], null ; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i8* [[FOO:%.*]], null
▲ Show 20 Lines • Show All 216 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/new-delete-msvc.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -mtriple x86_64--windows -instcombine -S | FileCheck %s ; RUN: opt < %s -mtriple x86_64--windows -passes=instcombine -S | FileCheck %s
; REQUIRES: x86-registered-target ; REQUIRES: x86-registered-target
; PR1201 ; PR1201
declare noalias i8* @"\01??2@YAPEAX_K@Z"(i64) nobuiltin declare noalias i8* @"\01??2@YAPEAX_K@Z"(i64) nobuiltin
declare void @"\01??3@YAXPEAX@Z"(i8*) nobuiltin declare void @"\01??3@YAXPEAX@Z"(i8*) nobuiltin
define void @test9() { define void @test9() {
; CHECK-LABEL: @test9( ; CHECK-LABEL: @test9(
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
%new_long_long = call noalias i8* @"\01??2@YAPEAX_K@Z"(i64 32) builtin %new_long_long = call noalias i8* @"\01??2@YAPEAX_K@Z"(i64 32) builtin
call void @"\01??3@YAXPEAX@Z"(i8* %new_long_long) builtin call void @"\01??3@YAXPEAX@Z"(i8* %new_long_long) builtin
ret void ret void
} }

llvm/test/Transforms/InstCombine/no-negzero.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; ModuleID = '3555a.c' ; ModuleID = '3555a.c'
; sqrt(fabs) cannot be negative zero, so we should eliminate the fadd. ; sqrt(fabs) cannot be negative zero, so we should eliminate the fadd.
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
target triple = "i386-apple-darwin9.8" target triple = "i386-apple-darwin9.8"
; CHECK-LABEL: @mysqrt( ; CHECK-LABEL: @mysqrt(
; CHECK-NOT: fadd ; CHECK-NOT: fadd
; CHECK: ret ; CHECK: ret
Show All 24 Lines

llvm/test/Transforms/InstCombine/noalias-scope-decl.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
define void @test01(i8* %ptr0, i8* %ptr1) { define void @test01(i8* %ptr0, i8* %ptr1) {
; CHECK-LABEL: @test01( ; CHECK-LABEL: @test01(
; CHECK-NEXT: store i8 42, i8* [[PTR0:%.*]], align 1 ; CHECK-NEXT: store i8 42, i8* [[PTR0:%.*]], align 1
; CHECK-NEXT: store i8 43, i8* [[PTR1:%.*]], align 1 ; CHECK-NEXT: store i8 43, i8* [[PTR1:%.*]], align 1
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
call void @llvm.experimental.noalias.scope.decl(metadata !0) call void @llvm.experimental.noalias.scope.decl(metadata !0)
▲ Show 20 Lines • Show All 160 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/non-integral-pointers.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:4" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:4"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define i8 addrspace(4)* @f_0() { define i8 addrspace(4)* @f_0() {
; CHECK-LABEL: @f_0( ; CHECK-LABEL: @f_0(
; CHECK-NEXT: ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* null, i64 50) ; CHECK-NEXT: ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* null, i64 50)
; ;
▲ Show 20 Lines • Show All 100 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/nonnull-attribute.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; This test makes sure that we do not assume globals in address spaces other ; This test makes sure that we do not assume globals in address spaces other
; than 0 are able to be null. ; than 0 are able to be null.
@as0 = external global i32 @as0 = external global i32
@as1 = external addrspace(1) global i32 @as1 = external addrspace(1) global i32
declare void @addrspace0(i32*) declare void @addrspace0(i32*)
Show All 10 Lines

llvm/test/Transforms/InstCombine/nonnull-select.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Passing select(cond, null, v) as nonnull should be optimized to passing v ; Passing select(cond, null, v) as nonnull should be optimized to passing v
define nonnull i32* @pr48975(i32** %.0) { define nonnull i32* @pr48975(i32** %.0) {
; CHECK-LABEL: @pr48975( ; CHECK-LABEL: @pr48975(
; CHECK-NEXT: [[DOT1:%.*]] = load i32*, i32** [[DOT0:%.*]], align 8 ; CHECK-NEXT: [[DOT1:%.*]] = load i32*, i32** [[DOT0:%.*]], align 8
; CHECK-NEXT: [[DOT2:%.*]] = icmp eq i32* [[DOT1]], null ; CHECK-NEXT: [[DOT2:%.*]] = icmp eq i32* [[DOT1]], null
; CHECK-NEXT: [[DOT3:%.*]] = bitcast i32** [[DOT0]] to i32* ; CHECK-NEXT: [[DOT3:%.*]] = bitcast i32** [[DOT0]] to i32*
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/not-add.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare void @use(i8) declare void @use(i8)
define i8 @basic(i8 %x, i8 %y) { define i8 @basic(i8 %x, i8 %y) {
; CHECK-LABEL: @basic( ; CHECK-LABEL: @basic(
; CHECK-NEXT: [[NOTA:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[NOTA:%.*]] = sub i8 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: ret i8 [[NOTA]] ; CHECK-NEXT: ret i8 [[NOTA]]
; ;
▲ Show 20 Lines • Show All 189 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/not.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare void @use1(i1) declare void @use1(i1)
declare void @use8(i8) declare void @use8(i8)
define i32 @test1(i32 %A) { define i32 @test1(i32 %A) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: ret i32 [[A:%.*]] ; CHECK-NEXT: ret i32 [[A:%.*]]
; ;
▲ Show 20 Lines • Show All 626 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/nothrow.ll

; RUN: opt < %s -instcombine -S | not grep call ; RUN: opt < %s -passes=instcombine -S | not grep call
; rdar://6880732 ; rdar://6880732
declare double @t1(i32) readonly willreturn declare double @t1(i32) readonly willreturn
define void @t2() nounwind { define void @t2() nounwind {
call double @t1(i32 42) ;; dead call even though callee is not nothrow. call double @t1(i32 42) ;; dead call even though callee is not nothrow.
ret void ret void
} }

llvm/test/Transforms/InstCombine/nsw-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i32 @sub1(i32 %x) { define i32 @sub1(i32 %x) {
; CHECK-LABEL: @sub1( ; CHECK-LABEL: @sub1(
; CHECK-NEXT: [[Y:%.*]] = sub i32 0, [[X:%.*]] ; CHECK-NEXT: [[Y:%.*]] = sub i32 0, [[X:%.*]]
; CHECK-NEXT: [[Z:%.*]] = sdiv i32 [[Y]], 337 ; CHECK-NEXT: [[Z:%.*]] = sdiv i32 [[Y]], 337
; CHECK-NEXT: ret i32 [[Z]] ; CHECK-NEXT: ret i32 [[Z]]
; ;
%y = sub i32 0, %x %y = sub i32 0, %x
▲ Show 20 Lines • Show All 132 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/nsw.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i32 @sub1(i32 %x) { define i32 @sub1(i32 %x) {
; CHECK-LABEL: @sub1( ; CHECK-LABEL: @sub1(
; CHECK-NEXT: [[Y:%.*]] = sub i32 0, [[X:%.*]] ; CHECK-NEXT: [[Y:%.*]] = sub i32 0, [[X:%.*]]
; CHECK-NEXT: [[Z:%.*]] = sdiv i32 [[Y]], 337 ; CHECK-NEXT: [[Z:%.*]] = sdiv i32 [[Y]], 337
; CHECK-NEXT: ret i32 [[Z]] ; CHECK-NEXT: ret i32 [[Z]]
; ;
%y = sub i32 0, %x %y = sub i32 0, %x
▲ Show 20 Lines • Show All 132 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/obfuscated_splat-inseltpoison.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
define void @test(<4 x float> *%in_ptr, <4 x float> *%out_ptr) { define void @test(<4 x float> *%in_ptr, <4 x float> *%out_ptr) {
%A = load <4 x float>, <4 x float>* %in_ptr, align 16 %A = load <4 x float>, <4 x float>* %in_ptr, align 16
%B = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> <i32 0, i32 0, i32 undef, i32 undef> %B = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> <i32 0, i32 0, i32 undef, i32 undef>
%C = shufflevector <4 x float> %B, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 4, i32 undef> %C = shufflevector <4 x float> %B, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 4, i32 undef>
%D = shufflevector <4 x float> %C, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 2, i32 4> %D = shufflevector <4 x float> %C, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 2, i32 4>
; CHECK: %D = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> zeroinitializer ; CHECK: %D = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> zeroinitializer
store <4 x float> %D, <4 x float> *%out_ptr store <4 x float> %D, <4 x float> *%out_ptr
ret void ret void
} }

llvm/test/Transforms/InstCombine/obfuscated_splat.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
define void @test(<4 x float> *%in_ptr, <4 x float> *%out_ptr) { define void @test(<4 x float> *%in_ptr, <4 x float> *%out_ptr) {
%A = load <4 x float>, <4 x float>* %in_ptr, align 16 %A = load <4 x float>, <4 x float>* %in_ptr, align 16
%B = shufflevector <4 x float> %A, <4 x float> undef, <4 x i32> <i32 0, i32 0, i32 undef, i32 undef> %B = shufflevector <4 x float> %A, <4 x float> undef, <4 x i32> <i32 0, i32 0, i32 undef, i32 undef>
%C = shufflevector <4 x float> %B, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 4, i32 undef> %C = shufflevector <4 x float> %B, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 4, i32 undef>
%D = shufflevector <4 x float> %C, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 2, i32 4> %D = shufflevector <4 x float> %C, <4 x float> %A, <4 x i32> <i32 0, i32 1, i32 2, i32 4>
; CHECK: %D = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> zeroinitializer ; CHECK: %D = shufflevector <4 x float> %A, <4 x float> poison, <4 x i32> zeroinitializer
store <4 x float> %D, <4 x float> *%out_ptr store <4 x float> %D, <4 x float> *%out_ptr
ret void ret void
} }

llvm/test/Transforms/InstCombine/object-size-opaque.ll

; RUN: opt -instcombine -S %s | FileCheck %s ; RUN: opt -passes=instcombine -S %s | FileCheck %s
%opaque = type opaque %opaque = type opaque
; CHECK: call i64 @llvm.objectsize.i64 ; CHECK: call i64 @llvm.objectsize.i64
define void @foo(%opaque* sret(%opaque) %in, i64* %sizeptr) { define void @foo(%opaque* sret(%opaque) %in, i64* %sizeptr) {
%ptr = bitcast %opaque* %in to i8* %ptr = bitcast %opaque* %in to i8*
%size = call i64 @llvm.objectsize.i64(i8* %ptr, i1 0, i1 0, i1 0) %size = call i64 @llvm.objectsize.i64(i8* %ptr, i1 0, i1 0, i1 0)
store i64 %size, i64* %sizeptr store i64 %size, i64* %sizeptr
ret void ret void
} }
declare i64 @llvm.objectsize.i64(i8*, i1, i1, i1) declare i64 @llvm.objectsize.i64(i8*, i1, i1, i1)

llvm/test/Transforms/InstCombine/objsize-64.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
declare noalias i8* @malloc(i32) nounwind declare noalias i8* @malloc(i32) nounwind
declare noalias nonnull i8* @_Znwm(i64) ; new(unsigned long) declare noalias nonnull i8* @_Znwm(i64) ; new(unsigned long)
declare i32 @__gxx_personality_v0(...) declare i32 @__gxx_personality_v0(...)
declare void @__cxa_call_unexpected(i8*) declare void @__cxa_call_unexpected(i8*)
declare i64 @llvm.objectsize.i64(i8*, i1) nounwind readonly declare i64 @llvm.objectsize.i64(i8*, i1) nounwind readonly
▲ Show 20 Lines • Show All 44 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/objsize-address-space.ll

; RUN: opt -S -instcombine -o - %s | FileCheck %s ; RUN: opt -S -passes=instcombine -o - %s | FileCheck %s
target datalayout = "e-p:32:32:32-p1:64:64:64-p2:8:8:8-p3:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32" target datalayout = "e-p:32:32:32-p1:64:64:64-p2:8:8:8-p3:16:16:16-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32"
declare i32 @llvm.objectsize.i32.p0i8(i8*, i1) nounwind readonly declare i32 @llvm.objectsize.i32.p0i8(i8*, i1) nounwind readonly
declare i32 @llvm.objectsize.i32.p1i8(i8 addrspace(1)*, i1) nounwind readonly declare i32 @llvm.objectsize.i32.p1i8(i8 addrspace(1)*, i1) nounwind readonly
declare i32 @llvm.objectsize.i32.p2i8(i8 addrspace(2)*, i1) nounwind readonly declare i32 @llvm.objectsize.i32.p2i8(i8 addrspace(2)*, i1) nounwind readonly
declare i32 @llvm.objectsize.i32.p3i8(i8 addrspace(3)*, i1) nounwind readonly declare i32 @llvm.objectsize.i32.p3i8(i8 addrspace(3)*, i1) nounwind readonly
declare i16 @llvm.objectsize.i16.p3i8(i8 addrspace(3)*, i1) nounwind readonly declare i16 @llvm.objectsize.i16.p3i8(i8 addrspace(3)*, i1) nounwind readonly
▲ Show 20 Lines • Show All 71 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/objsize.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test a pile of objectsize bounds checking. ; Test a pile of objectsize bounds checking.
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; We need target data to get the sizes of the arrays and structures. ; We need target data to get the sizes of the arrays and structures.
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
@a = private global [60 x i8] zeroinitializer, align 1 ; <[60 x i8]*> @a = private global [60 x i8] zeroinitializer, align 1 ; <[60 x i8]*>
@.str = private constant [8 x i8] c"abcdefg\00" ; <[8 x i8]*> @.str = private constant [8 x i8] c"abcdefg\00" ; <[8 x i8]*>
define i32 @foo() nounwind { define i32 @foo() nounwind {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: ret i32 60 ; CHECK-NEXT: ret i32 60
▲ Show 20 Lines • Show All 373 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/odr-linkage.ll

; RUN: opt < %s -instcombine -S | grep "ret i32 10" ; RUN: opt < %s -passes=instcombine -S | grep "ret i32 10"
@g1 = available_externally constant i32 1 @g1 = available_externally constant i32 1
@g2 = linkonce_odr constant i32 2 @g2 = linkonce_odr constant i32 2
@g3 = weak_odr constant i32 3 @g3 = weak_odr constant i32 3
@g4 = internal constant i32 4 @g4 = internal constant i32 4
define i32 @test() { define i32 @test() {
%A = load i32, i32* @g1 %A = load i32, i32* @g1
Show All 10 Lines

llvm/test/Transforms/InstCombine/omit-urem-of-power-of-two-or-zero-when-comparing-with-zero.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
; Given: ; Given:
; icmp eq/ne (urem %x, C), 0 ; icmp eq/ne (urem %x, C), 0
; Iff C is not a power of two (those should not get to here though), ; Iff C is not a power of two (those should not get to here though),
; and %x may have at most one bit set, omit the 'urem': ; and %x may have at most one bit set, omit the 'urem':
; icmp eq/ne %x, 0 ; icmp eq/ne %x, 0
;------------------------------------------------------------------------------; ;------------------------------------------------------------------------------;
▲ Show 20 Lines • Show All 156 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/onehot_merge.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i1 @and_consts(i32 %k, i32 %c1, i32 %c2) { define i1 @and_consts(i32 %k, i32 %c1, i32 %c2) {
; CHECK-LABEL: @and_consts( ; CHECK-LABEL: @and_consts(
; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[K:%.*]], 12 ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[K:%.*]], 12
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP1]], 12 ; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP1]], 12
; CHECK-NEXT: ret i1 [[TMP2]] ; CHECK-NEXT: ret i1 [[TMP2]]
; ;
%t1 = and i32 4, %k %t1 = and i32 4, %k
▲ Show 20 Lines • Show All 1,135 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/opaque.ll

; RUN: opt < %s -instcombine -disable-output ; RUN: opt < %s -passes=instcombine -disable-output
; Checks that bitcasts are not converted into GEP when ; Checks that bitcasts are not converted into GEP when
; when the size of an aggregate cannot be determined. ; when the size of an aggregate cannot be determined.
%swift.opaque = type opaque %swift.opaque = type opaque
%SQ = type <{ [8 x i8] }> %SQ = type <{ [8 x i8] }>
%Si = type <{ i64 }> %Si = type <{ i64 }>
%V = type <{ <{ %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8 }>, %Si, %SQ, %SQ, %Si, %swift.opaque }> %V = type <{ <{ %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8, %Vs4Int8 }>, %Si, %SQ, %SQ, %Si, %swift.opaque }>
%Vs4Int8 = type <{ i8 }> %Vs4Int8 = type <{ i8 }>
Show All 22 Lines

llvm/test/Transforms/InstCombine/operand-complexity.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; 'Negate' is considered less complex than a normal binop, so the xor should have the binop as the first operand. ; 'Negate' is considered less complex than a normal binop, so the xor should have the binop as the first operand.
define i8 @neg(i8 %x) { define i8 @neg(i8 %x) {
; CHECK-LABEL: @neg( ; CHECK-LABEL: @neg(
; CHECK-NEXT: [[BO:%.*]] = udiv i8 [[X:%.*]], 42 ; CHECK-NEXT: [[BO:%.*]] = udiv i8 [[X:%.*]], 42
; CHECK-NEXT: [[NEGX:%.*]] = sub i8 0, [[X]] ; CHECK-NEXT: [[NEGX:%.*]] = sub i8 0, [[X]]
; CHECK-NEXT: [[R:%.*]] = xor i8 [[BO]], [[NEGX]] ; CHECK-NEXT: [[R:%.*]] = xor i8 [[BO]], [[NEGX]]
▲ Show 20 Lines • Show All 156 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/or-concat.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; ;
; Tests for combining concat-able ops: ; Tests for combining concat-able ops:
; or(zext(OP(x)), shl(zext(OP(y)),bw/2)) ; or(zext(OP(x)), shl(zext(OP(y)),bw/2))
; --> ; -->
; OP(or(zext(x), shl(zext(y),bw/2))) ; OP(or(zext(x), shl(zext(y),bw/2)))
; ;
▲ Show 20 Lines • Show All 222 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/or-fcmp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define i1 @PR1738(double %x, double %y) { define i1 @PR1738(double %x, double %y) {
; CHECK-LABEL: @PR1738( ; CHECK-LABEL: @PR1738(
; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: ret i1 [[TMP1]] ; CHECK-NEXT: ret i1 [[TMP1]]
; ;
%cmp1 = fcmp uno double %x, 0.0 %cmp1 = fcmp uno double %x, 0.0
%cmp2 = fcmp uno double %y, 0.0 %cmp2 = fcmp uno double %y, 0.0
▲ Show 20 Lines • Show All 3,064 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/or-shifted-masks.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define i32 @or_and_shifts1(i32 %x) { define i32 @or_and_shifts1(i32 %x) {
; CHECK-LABEL: @or_and_shifts1( ; CHECK-LABEL: @or_and_shifts1(
; CHECK-NEXT: [[TMP1:%.*]] = shl i32 [[X:%.*]], 3 ; CHECK-NEXT: [[TMP1:%.*]] = shl i32 [[X:%.*]], 3
; CHECK-NEXT: [[TMP2:%.*]] = and i32 [[TMP1]], 8 ; CHECK-NEXT: [[TMP2:%.*]] = and i32 [[TMP1]], 8
; CHECK-NEXT: [[TMP3:%.*]] = shl i32 [[X]], 5 ; CHECK-NEXT: [[TMP3:%.*]] = shl i32 [[X]], 5
; CHECK-NEXT: [[TMP4:%.*]] = and i32 [[TMP3]], 32 ; CHECK-NEXT: [[TMP4:%.*]] = and i32 [[TMP3]], 32
; CHECK-NEXT: [[TMP5:%.*]] = or i32 [[TMP2]], [[TMP4]] ; CHECK-NEXT: [[TMP5:%.*]] = or i32 [[TMP2]], [[TMP4]]
▲ Show 20 Lines • Show All 297 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/or-xor.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; X | ~(X | Y) --> X | ~Y ; X | ~(X | Y) --> X | ~Y
define i32 @test1(i32 %x, i32 %y) { define i32 @test1(i32 %x, i32 %y) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[Y_NOT:%.*]] = xor i32 [[Y:%.*]], -1 ; CHECK-NEXT: [[Y_NOT:%.*]] = xor i32 [[Y:%.*]], -1
; CHECK-NEXT: [[Z:%.*]] = or i32 [[Y_NOT]], [[X:%.*]] ; CHECK-NEXT: [[Z:%.*]] = or i32 [[Y_NOT]], [[X:%.*]]
; CHECK-NEXT: ret i32 [[Z]] ; CHECK-NEXT: ret i32 [[Z]]
▲ Show 20 Lines • Show All 625 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/or.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n32:64" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n32:64"
declare void @use(i32) declare void @use(i32)
; Should be eliminated ; Should be eliminated
define i32 @test12(i32 %A) { define i32 @test12(i32 %A) {
; CHECK-LABEL: @test12( ; CHECK-LABEL: @test12(
; CHECK-NEXT: [[C:%.*]] = and i32 [[A:%.*]], 8 ; CHECK-NEXT: [[C:%.*]] = and i32 [[A:%.*]], 8
▲ Show 20 Lines • Show All 1,523 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/oss_fuzz_32759.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "n32" target datalayout = "n32"
define i1 @oss_fuzz_32759(i1 %y) { define i1 @oss_fuzz_32759(i1 %y) {
; CHECK-LABEL: @oss_fuzz_32759( ; CHECK-LABEL: @oss_fuzz_32759(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 undef, label [[COND_TRUE:%.*]], label [[END:%.*]] ; CHECK-NEXT: br i1 undef, label [[COND_TRUE:%.*]], label [[END:%.*]]
; CHECK: cond.true: ; CHECK: cond.true:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
Show All 19 Lines

llvm/test/Transforms/InstCombine/osx-names.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; <rdar://problem/9815881> ; <rdar://problem/9815881>
; On OSX x86-32, fwrite and fputs aren't called fwrite and fputs. ; On OSX x86-32, fwrite and fputs aren't called fwrite and fputs.
; Make sure we use the correct names. ; Make sure we use the correct names.
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32-S128"
target triple = "i386-apple-macosx10.7.2" target triple = "i386-apple-macosx10.7.2"
%struct.__sFILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, %struct.__sFILEX*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 } %struct.__sFILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, %struct.__sFILEX*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 }
Show All 21 Lines

llvm/test/Transforms/InstCombine/out-of-bounds-indexes.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; Check that we don't crash on unreasonable constant indexes ; Check that we don't crash on unreasonable constant indexes
define i32 @test_out_of_bounds(i32 %a, i1 %x, i1 %y) { define i32 @test_out_of_bounds(i32 %a, i1 %x, i1 %y) {
; CHECK-LABEL: @test_out_of_bounds( ; CHECK-LABEL: @test_out_of_bounds(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[AND1:%.*]] = and i32 [[A:%.*]], 3 ; CHECK-NEXT: [[AND1:%.*]] = and i32 [[A:%.*]], 3
; CHECK-NEXT: tail call void @llvm.assume(i1 poison) ; CHECK-NEXT: tail call void @llvm.assume(i1 poison)
; CHECK-NEXT: ret i32 [[AND1]] ; CHECK-NEXT: ret i32 [[AND1]]
Show All 31 Lines

llvm/test/Transforms/InstCombine/overflow-mul.ll

; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; The last test needs this weird datalayout. ; The last test needs this weird datalayout.
target datalayout = "i32:8:8" target datalayout = "i32:8:8"
; Without it, InstCombine will align the pointed on 4 Bytes ; Without it, InstCombine will align the pointed on 4 Bytes
; The KnownBitsZero that result from the alignment allows to ; The KnownBitsZero that result from the alignment allows to
; turn: ; turn:
; and i32 %mul, 255 ; and i32 %mul, 255
; to: ; to:
▲ Show 20 Lines • Show All 191 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/overflow.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; <rdar://problem/8558713> ; <rdar://problem/8558713>
declare void @throwAnExceptionOrWhatever() declare void @throwAnExceptionOrWhatever()
define i32 @test1(i32 %a, i32 %b) nounwind ssp { define i32 @test1(i32 %a, i32 %b) nounwind ssp {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[SADD:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[B:%.*]], i32 [[A:%.*]]) ; CHECK-NEXT: [[SADD:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[B:%.*]], i32 [[A:%.*]])
▲ Show 20 Lines • Show All 163 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/overflow_to_sat.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
define i32 @uadd(i32 %x, i32 %y) { define i32 @uadd(i32 %x, i32 %y) {
; CHECK-LABEL: @uadd( ; CHECK-LABEL: @uadd(
; CHECK-NEXT: [[S:%.*]] = call i32 @llvm.uadd.sat.i32(i32 [[X:%.*]], i32 [[Y:%.*]]) ; CHECK-NEXT: [[S:%.*]] = call i32 @llvm.uadd.sat.i32(i32 [[X:%.*]], i32 [[Y:%.*]])
; CHECK-NEXT: ret i32 [[S]] ; CHECK-NEXT: ret i32 [[S]]
; ;
%ao = tail call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %x, i32 %y) %ao = tail call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %x, i32 %y)
%o = extractvalue { i32, i1 } %ao, 1 %o = extractvalue { i32, i1 } %ao, 1
▲ Show 20 Lines • Show All 700 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-a.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; a) (trunc (x & ((1 << maskNbits) - 1))) << shiftNbits ; a) (trunc (x & ((1 << maskNbits) - 1))) << shiftNbits
; simplify to: ; simplify to:
; ((trunc(x)) << shiftNbits) & (~(-1 << (maskNbits+shiftNbits))) ; ((trunc(x)) << shiftNbits) & (~(-1 << (maskNbits+shiftNbits)))
▲ Show 20 Lines • Show All 263 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-b.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; b) (trunc ((x & (~(-1 << maskNbits))))) << shiftNbits ; b) (trunc ((x & (~(-1 << maskNbits))))) << shiftNbits
; simplify to: ; simplify to:
; ((trunc(x)) << shiftNbits) & (~(-1 << (maskNbits+shiftNbits))) ; ((trunc(x)) << shiftNbits) & (~(-1 << (maskNbits+shiftNbits)))
▲ Show 20 Lines • Show All 300 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-c.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; c) (trunc ((x & (-1 >> maskNbits)))) << shiftNbits ; c) (trunc ((x & (-1 >> maskNbits)))) << shiftNbits
; simplify to: ; simplify to:
; ((trunc(x)) << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32)) ; ((trunc(x)) << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32))
▲ Show 20 Lines • Show All 209 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-d.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; d) (trunc ((x & ((-1 << maskNbits) >> maskNbits)))) << shiftNbits ; d) (trunc ((x & ((-1 << maskNbits) >> maskNbits)))) << shiftNbits
; simplify to: ; simplify to:
; ((trunc(x)) << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32)) ; ((trunc(x)) << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32))
▲ Show 20 Lines • Show All 256 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-after-truncation-variant-e.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, lshr then performs ; If we have some pattern that leaves only some low bits set, lshr then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; e) (trunc (((x << maskNbits) l>> maskNbits))) << shiftNbits ; e) (trunc (((x << maskNbits) l>> maskNbits))) << shiftNbits
; simplify to: ; simplify to:
; ((trunc(x)) << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32)) ; ((trunc(x)) << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32))
▲ Show 20 Lines • Show All 209 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-a.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; a) (x & ((1 << maskNbits) - 1)) << shiftNbits ; a) (x & ((1 << maskNbits) - 1)) << shiftNbits
; simplify to: ; simplify to:
; (x << shiftNbits) & (~(-1 << (maskNbits+shiftNbits))) ; (x << shiftNbits) & (~(-1 << (maskNbits+shiftNbits)))
▲ Show 20 Lines • Show All 147 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-b.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; b) (x & (~(-1 << maskNbits))) << shiftNbits ; b) (x & (~(-1 << maskNbits))) << shiftNbits
; simplify to: ; simplify to:
; (x << shiftNbits) & (~(-1 << (maskNbits+shiftNbits))) ; (x << shiftNbits) & (~(-1 << (maskNbits+shiftNbits)))
▲ Show 20 Lines • Show All 147 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-c.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; c) (x & (-1 >> maskNbits)) << shiftNbits ; c) (x & (-1 >> maskNbits)) << shiftNbits
; simplify to: ; simplify to:
; (x << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32)) ; (x << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32))
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-d.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; d) (x & ((-1 << maskNbits) >> maskNbits)) << shiftNbits ; d) (x & ((-1 << maskNbits) >> maskNbits)) << shiftNbits
; simplify to: ; simplify to:
; (x << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32)) ; (x << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32))
▲ Show 20 Lines • Show All 127 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/partally-redundant-left-shift-input-masking-variant-e.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; If we have some pattern that leaves only some low bits set, and then performs ; If we have some pattern that leaves only some low bits set, and then performs
; left-shift of those bits, we can combine those two shifts into a shift+mask. ; left-shift of those bits, we can combine those two shifts into a shift+mask.
; There are many variants to this pattern: ; There are many variants to this pattern:
; e) ((x << maskNbits) l>> maskNbits) << shiftNbits ; e) ((x << maskNbits) l>> maskNbits) << shiftNbits
; simplify to: ; simplify to:
; (x << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32)) ; (x << shiftNbits) & (-1 >> ((-(maskNbits+shiftNbits))+32))
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-aware-aggregate-reconstruction.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare void @foo() declare void @foo()
declare void @bar() declare void @bar()
declare void @baz() declare void @baz()
declare void @qux() declare void @qux()
declare void @quux() declare void @quux()
declare i1 @geni1() declare i1 @geni1()
▲ Show 20 Lines • Show All 498 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-cse.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
; Most basic case, fully identical PHI nodes ; Most basic case, fully identical PHI nodes
define void @test0(i32 %v0, i32 %v1, i1 %c, i32* %d0, i32* %d1) { define void @test0(i32 %v0, i32 %v1, i1 %c, i32* %d0, i32* %d1) {
; CHECK-LABEL: @test0( ; CHECK-LABEL: @test0(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]] ; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
; CHECK: b0: ; CHECK: b0:
; CHECK-NEXT: br label [[END:%.*]] ; CHECK-NEXT: br label [[END:%.*]]
▲ Show 20 Lines • Show All 313 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-int2ptr-fold.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S -disable-i2p-p2i-opt < %s | FileCheck %s ; RUN: opt -passes=instcombine -S -disable-i2p-p2i-opt < %s | FileCheck %s
target datalayout = "e-p:64:64-p1:16:16-p2:32:32:32-p3:64:64:64" target datalayout = "e-p:64:64-p1:16:16-p2:32:32:32-p3:64:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; convert ptrtoint [ phi[ inttoptr (ptrtoint (x) ) ] ---> ptrtoint (phi[x]) ; convert ptrtoint [ phi[ inttoptr (ptrtoint (x) ) ] ---> ptrtoint (phi[x])
define i64 @func(i32** %X, i32** %Y, i1 %cond) { define i64 @func(i32** %X, i32** %Y, i1 %cond) {
; CHECK-LABEL: @func( ; CHECK-LABEL: @func(
▲ Show 20 Lines • Show All 165 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-known-bits-operand-order.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
; Check that we can turn the icmp sle into icmp ult, regardless of the ; Check that we can turn the icmp sle into icmp ult, regardless of the
; order of the incoming values of the PHI node. ; order of the incoming values of the PHI node.
declare i1 @cond() declare i1 @cond()
define void @phi_recurrence_start_first() { define void @phi_recurrence_start_first() {
; CHECK-LABEL: @phi_recurrence_start_first( ; CHECK-LABEL: @phi_recurrence_start_first(
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-load-metadata-2.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare void @bar() declare void @bar()
declare void @baz() declare void @baz()
; Check that dereferenceable metadata is combined ; Check that dereferenceable metadata is combined
; CHECK-LABEL: cont: ; CHECK-LABEL: cont:
; CHECK: load i32*, i32** ; CHECK: load i32*, i32**
; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]] ; CHECK-SAME: !dereferenceable ![[DEREF:[0-9]+]]
Show All 21 Lines

llvm/test/Transforms/InstCombine/phi-load-metadata-3.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare void @bar() declare void @bar()
declare void @baz() declare void @baz()
; Check that dereferenceable_or_null metadata is combined ; Check that dereferenceable_or_null metadata is combined
; CHECK-LABEL: cont: ; CHECK-LABEL: cont:
; CHECK: load i32*, i32** ; CHECK: load i32*, i32**
; CHECK-SAME: !dereferenceable_or_null ![[DEREF:[0-9]+]] ; CHECK-SAME: !dereferenceable_or_null ![[DEREF:[0-9]+]]
Show All 21 Lines

llvm/test/Transforms/InstCombine/phi-load-metadata-dominance.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare void @bar() declare void @bar()
declare void @baz() declare void @baz()
; Check that nonnull metadata is from non-dominating loads is not propagated. ; Check that nonnull metadata is from non-dominating loads is not propagated.
; CHECK-LABEL: cont: ; CHECK-LABEL: cont:
; CHECK-NOT: !nonnull ; CHECK-NOT: !nonnull
define i32* @test_combine_metadata_dominance(i1 %c, i32** dereferenceable(8) %p1, i32** dereferenceable(8) %p2) { define i32* @test_combine_metadata_dominance(i1 %c, i32** dereferenceable(8) %p1, i32** dereferenceable(8) %p2) {
Show All 17 Lines

llvm/test/Transforms/InstCombine/phi-load-metadata.ll

; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare void @bar() declare void @bar()
declare void @baz() declare void @baz()
; Check that align metadata is combined ; Check that align metadata is combined
; CHECK-LABEL: cont: ; CHECK-LABEL: cont:
; CHECK: load i32*, i32** ; CHECK: load i32*, i32**
; CHECK-SAME: !align ![[ALIGN:[0-9]+]] ; CHECK-SAME: !align ![[ALIGN:[0-9]+]]
Show All 21 Lines

llvm/test/Transforms/InstCombine/phi-merge-gep.ll

; RUN: opt < %s -S -instcombine > %t ; RUN: opt < %s -S -passes=instcombine > %t
; RUN: grep "= getelementptr" %t | count 20 ; RUN: grep "= getelementptr" %t | count 20
; RUN: grep "= phi" %t | count 13 ; RUN: grep "= phi" %t | count 13
; Don't push the geps through these phis, because they would require ; Don't push the geps through these phis, because they would require
; two phis each, which burdens the loop with high register pressure. ; two phis each, which burdens the loop with high register pressure.
define void @foo(float* %Ar, float* %Ai, i64 %As, float* %Cr, float* %Ci, i64 %Cs, i64 %n) nounwind { define void @foo(float* %Ar, float* %Ai, i64 %As, float* %Cr, float* %Ci, i64 %Cs, i64 %n) nounwind {
entry: entry:
▲ Show 20 Lines • Show All 93 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-of-extractvalues.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare void @usei32(i32) declare void @usei32(i32)
; If we have a phi of extractvalues, we can sink it, ; If we have a phi of extractvalues, we can sink it,
; Here, we only need a PHI for extracted values. ; Here, we only need a PHI for extracted values.
define i32 @test0({ i32, i32 } %agg_left, { i32, i32 } %agg_right, i1 %c) { define i32 @test0({ i32, i32 } %agg_left, { i32, i32 } %agg_right, i1 %c) {
; CHECK-LABEL: @test0( ; CHECK-LABEL: @test0(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
▲ Show 20 Lines • Show All 376 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-of-insertvalues.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare void @usei32i32agg({ i32, i32 }) declare void @usei32i32agg({ i32, i32 })
; If we have a phi of insertvalues, we can sink it, ; If we have a phi of insertvalues, we can sink it,
; Here, we only need a PHI for inserted values. ; Here, we only need a PHI for inserted values.
define { i32, i32 } @test0({ i32, i32 } %agg, i32 %val_left, i32 %val_right, i1 %c) { define { i32, i32 } @test0({ i32, i32 } %agg, i32 %val_left, i32 %val_right, i1 %c) {
; CHECK-LABEL: @test0( ; CHECK-LABEL: @test0(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
▲ Show 20 Lines • Show All 347 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-pointercasts.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
define void @test_bitcast_1(i1 %c, i32* %ptr) { define void @test_bitcast_1(i1 %c, i32* %ptr) {
; CHECK-LABEL: @test_bitcast_1( ; CHECK-LABEL: @test_bitcast_1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]] ; CHECK-NEXT: br i1 [[C:%.*]], label [[B0:%.*]], label [[B1:%.*]]
; CHECK: b0: ; CHECK: b0:
; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR:%.*]] to i8* ; CHECK-NEXT: [[CAST_0:%.*]] = bitcast i32* [[PTR:%.*]] to i8*
; CHECK-NEXT: call void @use(i8* [[CAST_0]]) ; CHECK-NEXT: call void @use(i8* [[CAST_0]])
▲ Show 20 Lines • Show All 531 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-preserve-ir-flags.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S -o - | FileCheck %s ; RUN: opt < %s -passes=instcombine -S -o - | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
define float @func1(float %a, float %b, float %c, i1 %cond) { define float @func1(float %a, float %b, float %c, i1 %cond) {
; CHECK-LABEL: @func1( ; CHECK-LABEL: @func1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[COND:%.*]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] ; CHECK-NEXT: br i1 [[COND:%.*]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]
; CHECK: cond.true: ; CHECK: cond.true:
▲ Show 20 Lines • Show All 112 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-select-constant.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -S -instcombine | FileCheck %s ; RUN: opt < %s -S -passes=instcombine | FileCheck %s
@A = extern_weak global i32, align 4 @A = extern_weak global i32, align 4
@B = extern_weak global i32, align 4 @B = extern_weak global i32, align 4
define i32 @foo(i1 %which) { define i32 @foo(i1 %which) {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[WHICH:%.*]], label [[FINAL:%.*]], label [[DELAY:%.*]] ; CHECK-NEXT: br i1 [[WHICH:%.*]], label [[FINAL:%.*]], label [[DELAY:%.*]]
; CHECK: delay: ; CHECK: delay:
▲ Show 20 Lines • Show All 150 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/phi-shifts.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
; OSS Fuzz: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=15217 ; OSS Fuzz: https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=15217
define i64 @fuzz15217(i1 %cond, i8* %Ptr, i64 %Val) { define i64 @fuzz15217(i1 %cond, i8* %Ptr, i64 %Val) {
; CHECK-LABEL: @fuzz15217( ; CHECK-LABEL: @fuzz15217(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[COND:%.*]], label [[END:%.*]], label [[TWO:%.*]] ; CHECK-NEXT: br i1 [[COND:%.*]], label [[END:%.*]], label [[TWO:%.*]]
; CHECK: two: ; CHECK: two:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
Show All 16 Lines

llvm/test/Transforms/InstCombine/phi-timeout.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S 2>&1 | FileCheck %s ; RUN: opt < %s -passes=instcombine -S 2>&1 | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
; We are really checking that this doesn't loop forever. We would never ; We are really checking that this doesn't loop forever. We would never
; actually get to the checks here if it did. ; actually get to the checks here if it did.
define void @timeout(i16* nocapture readonly %cinfo) { define void @timeout(i16* nocapture readonly %cinfo) {
; CHECK-LABEL: @timeout( ; CHECK-LABEL: @timeout(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
Show All 37 Lines

llvm/test/Transforms/InstCombine/phi.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128:n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128:n8:16:32:64"
define i32 @test1(i32 %A, i1 %b) { define i32 @test1(i32 %A, i1 %b) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: BB0: ; CHECK-NEXT: BB0:
; CHECK-NEXT: br i1 [[B:%.*]], label [[BB1:%.*]], label [[BB2:%.*]] ; CHECK-NEXT: br i1 [[B:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: BB1: ; CHECK: BB1:
▲ Show 20 Lines • Show All 1,261 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow-0.ll

; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; CHECK-LABEL: @zero( ; CHECK-LABEL: @zero(
; CHECK-NEXT: ret double 1.000000e+00 ; CHECK-NEXT: ret double 1.000000e+00
define double @zero(double %value) { define double @zero(double %value) {
%res = call double @llvm.pow.f64(double %value, double 0.000000e+00) %res = call double @llvm.pow.f64(double %value, double 0.000000e+00)
ret double %res ret double %res
} }
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow-1.ll

; Test that the pow library call simplifier works correctly. ; Test that the pow library call simplifier works correctly.
; ;
; RUN: opt -instcombine -S < %s | FileCheck %s --check-prefixes=CHECK,LIB,ANY ; RUN: opt -passes=instcombine -S < %s | FileCheck %s --check-prefixes=CHECK,LIB,ANY
; RUN: opt -instcombine -S < %s -mtriple=x86_64-apple-macosx10.9 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=x86_64-apple-macosx10.9 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10
; RUN: opt -instcombine -S < %s -mtriple=arm-apple-ios7.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=arm-apple-ios7.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10
; RUN: opt -instcombine -S < %s -mtriple=x86_64-apple-macosx10.8 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=x86_64-apple-macosx10.8 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-NO-EXP10
; RUN: opt -instcombine -S < %s -mtriple=arm-apple-ios6.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=arm-apple-ios6.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-NO-EXP10
; RUN: opt -instcombine -S < %s -mtriple=x86_64-netbsd | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=x86_64-netbsd | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-NO-EXP10
; RUN: opt -instcombine -S < %s -mtriple=arm-apple-tvos9.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=arm-apple-tvos9.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10
; RUN: opt -instcombine -S < %s -mtriple=arm-apple-watchos2.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=arm-apple-watchos2.0 | FileCheck %s --check-prefixes=CHECK,LIB,ANY,CHECK-EXP10
; rdar://7251832 ; rdar://7251832
; RUN: opt -instcombine -S < %s -mtriple=i386-pc-windows-msvc18 | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC32,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=i386-pc-windows-msvc18 | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC32,CHECK-NO-EXP10
; RUN: opt -instcombine -S < %s -mtriple=i386-pc-windows-msvc | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC51,VC19,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=i386-pc-windows-msvc | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC51,VC19,CHECK-NO-EXP10
; RUN: opt -instcombine -S < %s -mtriple=x86_64-pc-windows-msvc18 | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC64,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=x86_64-pc-windows-msvc18 | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC64,CHECK-NO-EXP10
; RUN: opt -instcombine -S < %s -mtriple=x86_64-pc-windows-msvc | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC83,VC19,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=x86_64-pc-windows-msvc | FileCheck %s --check-prefixes=CHECK,LIB,MSVC,VC83,VC19,CHECK-NO-EXP10
; RUN: opt -instcombine -S < %s -mtriple=amdgcn-- | FileCheck %s --check-prefixes=CHECK,NOLIB,CHECK-NO-EXP10 ; RUN: opt -passes=instcombine -S < %s -mtriple=amdgcn-- | FileCheck %s --check-prefixes=CHECK,NOLIB,CHECK-NO-EXP10
; NOTE: The readonly attribute on the pow call should be preserved ; NOTE: The readonly attribute on the pow call should be preserved
; in the cases below where pow is transformed into another function call. ; in the cases below where pow is transformed into another function call.
declare float @powf(float, float) nounwind readonly declare float @powf(float, float) nounwind readonly
declare float @llvm.pow.f32(float, float) declare float @llvm.pow.f32(float, float)
declare double @pow(double, double) nounwind readonly declare double @pow(double, double) nounwind readonly
declare double @llvm.pow.f64(double, double) declare double @llvm.pow.f64(double, double)
▲ Show 20 Lines • Show All 494 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow-2.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; Test that the pow library call simplifier works correctly. ; Test that the pow library call simplifier works correctly.
; ;
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
declare float @pow(double, double) declare float @pow(double, double)
; Check that pow functions with the wrong prototype aren't simplified. ; Check that pow functions with the wrong prototype aren't simplified.
define float @test_no_simplify1(double %x) { define float @test_no_simplify1(double %x) {
; CHECK-LABEL: @test_no_simplify1( ; CHECK-LABEL: @test_no_simplify1(
; CHECK-NEXT: [[RETVAL:%.*]] = call float @pow(double 1.000000e+00, double [[X:%.*]]) ; CHECK-NEXT: [[RETVAL:%.*]] = call float @pow(double 1.000000e+00, double [[X:%.*]])
; CHECK-NEXT: ret float [[RETVAL]] ; CHECK-NEXT: ret float [[RETVAL]]
; ;
%retval = call float @pow(double 1.0, double %x) %retval = call float @pow(double 1.0, double %x)
ret float %retval ret float %retval
} }

llvm/test/Transforms/InstCombine/pow-3.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -disable-simplify-libcalls -instcombine -S | FileCheck %s ; RUN: opt < %s -disable-simplify-libcalls -passes=instcombine -S | FileCheck %s
declare double @llvm.pow.f64(double, double) declare double @llvm.pow.f64(double, double)
declare double @pow(double, double) declare double @pow(double, double)
define double @sqrt_libcall(double %x) { define double @sqrt_libcall(double %x) {
; CHECK-LABEL: @sqrt_libcall( ; CHECK-LABEL: @sqrt_libcall(
; CHECK-NEXT: [[RETVAL:%.*]] = call double @pow(double [[X:%.*]], double 5.000000e-01) ; CHECK-NEXT: [[RETVAL:%.*]] = call double @pow(double [[X:%.*]], double 5.000000e-01)
; CHECK-NEXT: ret double [[RETVAL]] ; CHECK-NEXT: ret double [[RETVAL]]
▲ Show 20 Lines • Show All 50 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow-4.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s -mtriple unknown | FileCheck %s --check-prefixes=CHECK,CHECKI32,SQRT ; RUN: opt -passes=instcombine -S < %s -mtriple unknown | FileCheck %s --check-prefixes=CHECK,CHECKI32,SQRT
; RUN: opt -instcombine -S < %s -mtriple unknown -disable-builtin sqrt | FileCheck %s --check-prefixes=CHECK,CHECKI32,NOSQRT ; RUN: opt -passes=instcombine -S < %s -mtriple unknown -disable-builtin sqrt | FileCheck %s --check-prefixes=CHECK,CHECKI32,NOSQRT
; RUN: opt -instcombine -S < %s -mtriple msp430 | FileCheck %s --check-prefixes=CHECK,CHECKI16,SQRT ; RUN: opt -passes=instcombine -S < %s -mtriple msp430 | FileCheck %s --check-prefixes=CHECK,CHECKI16,SQRT
; RUN: opt -instcombine -S < %s -mtriple msp430 -disable-builtin sqrt | FileCheck %s --check-prefixes=CHECK,CHECKI16,NOSQRT ; RUN: opt -passes=instcombine -S < %s -mtriple msp430 -disable-builtin sqrt | FileCheck %s --check-prefixes=CHECK,CHECKI16,NOSQRT
declare double @llvm.pow.f64(double, double) declare double @llvm.pow.f64(double, double)
declare float @llvm.pow.f32(float, float) declare float @llvm.pow.f32(float, float)
declare <2 x double> @llvm.pow.v2f64(<2 x double>, <2 x double>) declare <2 x double> @llvm.pow.v2f64(<2 x double>, <2 x double>)
declare <2 x float> @llvm.pow.v2f32(<2 x float>, <2 x float>) declare <2 x float> @llvm.pow.v2f32(<2 x float>, <2 x float>)
declare <4 x float> @llvm.pow.v4f32(<4 x float>, <4 x float>) declare <4 x float> @llvm.pow.v4f32(<4 x float>, <4 x float>)
declare double @pow(double, double) declare double @pow(double, double)
▲ Show 20 Lines • Show All 251 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow-cbrt.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define double @pow_intrinsic_third_fast(double %x) { define double @pow_intrinsic_third_fast(double %x) {
; CHECK-LABEL: @pow_intrinsic_third_fast( ; CHECK-LABEL: @pow_intrinsic_third_fast(
; CHECK-NEXT: [[POW:%.*]] = call fast double @llvm.pow.f64(double [[X:%.*]], double 0x3FD5555555555555) ; CHECK-NEXT: [[POW:%.*]] = call fast double @llvm.pow.f64(double [[X:%.*]], double 0x3FD5555555555555)
; CHECK-NEXT: ret double [[POW]] ; CHECK-NEXT: ret double [[POW]]
; ;
%pow = call fast double @llvm.pow.f64(double %x, double 0x3fd5555555555555) %pow = call fast double @llvm.pow.f64(double %x, double 0x3fd5555555555555)
ret double %pow ret double %pow
▲ Show 20 Lines • Show All 107 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow-exp-nofastmath.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define double @mypow(double %x, double %y) { define double @mypow(double %x, double %y) {
; CHECK-LABEL: @mypow( ; CHECK-LABEL: @mypow(
; CHECK-NEXT: [[CALL:%.*]] = call double @exp(double [[X:%.*]]) ; CHECK-NEXT: [[CALL:%.*]] = call double @exp(double [[X:%.*]])
; CHECK-NEXT: [[POW:%.*]] = call double @llvm.pow.f64(double [[CALL]], double [[Y:%.*]]) ; CHECK-NEXT: [[POW:%.*]] = call double @llvm.pow.f64(double [[CALL]], double [[Y:%.*]])
; CHECK-NEXT: ret double [[POW]] ; CHECK-NEXT: ret double [[POW]]
; ;
%call = call double @exp(double %x) %call = call double @exp(double %x)
%pow = call double @llvm.pow.f64(double %call, double %y) %pow = call double @llvm.pow.f64(double %call, double %y)
ret double %pow ret double %pow
} }
declare double @exp(double) #1 declare double @exp(double) #1
declare double @llvm.pow.f64(double, double) declare double @llvm.pow.f64(double, double)

llvm/test/Transforms/InstCombine/pow-exp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
define float @powf_expf(float %x, float %y) { define float @powf_expf(float %x, float %y) {
; CHECK-LABEL: @powf_expf( ; CHECK-LABEL: @powf_expf(
; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[MUL:%.*]] = fmul fast float [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: [[EXP:%.*]] = call fast float @llvm.exp.f32(float [[MUL]]) ; CHECK-NEXT: [[EXP:%.*]] = call fast float @llvm.exp.f32(float [[MUL]])
; CHECK-NEXT: ret float [[EXP]] ; CHECK-NEXT: ret float [[EXP]]
; ;
%call = call fast float @expf(float %x) nounwind readnone %call = call fast float @expf(float %x) nounwind readnone
▲ Show 20 Lines • Show All 490 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow-sqrt.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
; Check the libcall and the intrinsic for each case with differing FMF. ; Check the libcall and the intrinsic for each case with differing FMF.
; The transform to sqrt is not allowed if we risk setting errno due to -INF. ; The transform to sqrt is not allowed if we risk setting errno due to -INF.
define double @pow_libcall_half_no_FMF(double %x) { define double @pow_libcall_half_no_FMF(double %x) {
; CHECK-LABEL: @pow_libcall_half_no_FMF( ; CHECK-LABEL: @pow_libcall_half_no_FMF(
; CHECK-NEXT: [[POW:%.*]] = call double @pow(double [[X:%.*]], double 5.000000e-01) ; CHECK-NEXT: [[POW:%.*]] = call double @pow(double [[X:%.*]], double 5.000000e-01)
▲ Show 20 Lines • Show All 340 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow_fp_int.ll

; RUN: opt -mtriple unknown -instcombine -S < %s | FileCheck %s ; RUN: opt -mtriple unknown -passes=instcombine -S < %s | FileCheck %s
; PR42190 ; PR42190
; Can't generate test checks due to PR42740. ; Can't generate test checks due to PR42740.
define double @pow_sitofp_const_base_fast(i32 %x) { define double @pow_sitofp_const_base_fast(i32 %x) {
; CHECK-LABEL: @pow_sitofp_const_base_fast( ; CHECK-LABEL: @pow_sitofp_const_base_fast(
; CHECK-NEXT: [[TMP1:%.*]] = tail call afn float @llvm.powi.f32.i32(float 7.000000e+00, i32 [[X:%.*]]) ; CHECK-NEXT: [[TMP1:%.*]] = tail call afn float @llvm.powi.f32.i32(float 7.000000e+00, i32 [[X:%.*]])
; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP1]] to double ; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP1]] to double
▲ Show 20 Lines • Show All 473 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/pow_fp_int16.ll

; RUN: opt -mtriple msp430 -instcombine -S < %s | FileCheck %s ; RUN: opt -mtriple msp430 -passes=instcombine -S < %s | FileCheck %s
; Test case was copied from pow_fp_int.ll but adjusted for 16-bit int. ; Test case was copied from pow_fp_int.ll but adjusted for 16-bit int.
; Assuming that we can't generate test checks for the same reason (PR42740). ; Assuming that we can't generate test checks for the same reason (PR42740).
define double @pow_sitofp_const_base_fast(i16 %x) { define double @pow_sitofp_const_base_fast(i16 %x) {
; CHECK-LABEL: @pow_sitofp_const_base_fast( ; CHECK-LABEL: @pow_sitofp_const_base_fast(
; CHECK-NEXT: [[TMP1:%.*]] = tail call afn float @llvm.powi.f32.i16(float 7.000000e+00, i16 [[X:%.*]]) ; CHECK-NEXT: [[TMP1:%.*]] = tail call afn float @llvm.powi.f32.i16(float 7.000000e+00, i16 [[X:%.*]])
; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP1]] to double ; CHECK-NEXT: [[RES:%.*]] = fpext float [[TMP1]] to double
▲ Show 20 Lines • Show All 443 Lines • Show Last 20 Lines

llvm/test/Transforms/InstCombine/powi.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -instcombine -S < %s | FileCheck %s ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
declare double @llvm.powi.f64.i32(double, i32) declare double @llvm.powi.f64.i32(double, i32)
declare double @llvm.powi.f64.i64(double, i64) declare double @llvm.powi.f64.i64(double, i64)
declare double @llvm.fabs.f64(double) declare double @llvm.fabs.f64(double)
declare double @llvm.copysign.f64(double, double) declare double @llvm.copysign.f64(double, double)
declare void @use(double) declare void @use(double)
define double @powi_fneg_even_int(double %x) { define double @powi_fneg_even_int(double %x) {
▲ Show 20 Lines • Show All 250 Lines • Show Last 20 Lines