31 lines · plain
1; Ignore stderr, we expect warnings there2; RUN: opt < %s -passes=instcombine 2> /dev/null -S | FileCheck %s3 4; CHECK-NOT: bitcast5 6define void @a() {7 ret void8}9 10define signext i32 @b(ptr inreg %x) {11 ret i32 012}13 14define void @c(...) {15 ret void16}17 18define void @g(ptr %y) {19; CHECK-LABEL: @g(20; CHECK: call i64 @b(i32 0)21 %x = call i64 @b( i32 0 ) ; <i64> [#uses=0]22 23; The rest should not have bitcasts remaining24; CHECK-NOT: bitcast25 call void @a( ptr noalias %y )26 call <2 x i32> @b( ptr inreg null ) ; <<2 x i32>>:1 [#uses=0]27 call void @c( i32 0 )28 call void @c( i32 zeroext 0 )29 ret void30}31