blob: 28acb773bfd50f74b19f771f7cb3ffe885af9fea (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -instcombine < %s | FileCheck %s --check-prefix=DEFAULT
; RUN: opt -S -instcombine -expensive-combines=1 < %s | FileCheck %s --check-prefix=EXPENSIVE-ON
; RUN: opt -S -instcombine -expensive-combines=0 < %s | FileCheck %s --check-prefix=EXPENSIVE-OFF
define void @test() {
; DEFAULT-LABEL: @test(
; DEFAULT-NEXT: [[CALL:%.*]] = call i32 @passthru(i32 0)
; DEFAULT-NEXT: call void @sink(i32 0)
; DEFAULT-NEXT: ret void
;
; EXPENSIVE-ON-LABEL: @test(
; EXPENSIVE-ON-NEXT: [[CALL:%.*]] = call i32 @passthru(i32 0)
; EXPENSIVE-ON-NEXT: call void @sink(i32 0)
; EXPENSIVE-ON-NEXT: ret void
;
; EXPENSIVE-OFF-LABEL: @test(
; EXPENSIVE-OFF-NEXT: [[CALL:%.*]] = call i32 @passthru(i32 0)
; EXPENSIVE-OFF-NEXT: call void @sink(i32 [[CALL]])
; EXPENSIVE-OFF-NEXT: ret void
;
%call = call i32 @passthru(i32 0)
call void @sink(i32 %call)
ret void
}
declare i32 @passthru(i32 returned)
declare void @sink(i32)
|
