1*50e80e06SYingwei Zheng; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 2*50e80e06SYingwei Zheng; RUN: opt -passes=instsimplify -S < %s | FileCheck %s 3*50e80e06SYingwei Zheng 4*50e80e06SYingwei Zhengdefine i1 @test_powi_even_exp(float %x) { 5*50e80e06SYingwei Zheng; CHECK-LABEL: define i1 @test_powi_even_exp( 6*50e80e06SYingwei Zheng; CHECK-SAME: float [[X:%.*]]) { 7*50e80e06SYingwei Zheng; CHECK-NEXT: ret i1 false 8*50e80e06SYingwei Zheng; 9*50e80e06SYingwei Zheng %y = call float @llvm.powi.f32(float %x, i32 8) 10*50e80e06SYingwei Zheng %cmp = fcmp olt float %y, 0.0 11*50e80e06SYingwei Zheng ret i1 %cmp 12*50e80e06SYingwei Zheng} 13*50e80e06SYingwei Zheng 14*50e80e06SYingwei Zhengdefine i1 @test_powi_base(float nofpclass(ninf nnorm nsub nzero) %x, i32 %e) { 15*50e80e06SYingwei Zheng; CHECK-LABEL: define i1 @test_powi_base( 16*50e80e06SYingwei Zheng; CHECK-SAME: float nofpclass(ninf nzero nsub nnorm) [[X:%.*]], i32 [[E:%.*]]) { 17*50e80e06SYingwei Zheng; CHECK-NEXT: ret i1 false 18*50e80e06SYingwei Zheng; 19*50e80e06SYingwei Zheng %y = call float @llvm.powi.f32(float %x, i32 %e) 20*50e80e06SYingwei Zheng %cmp = fcmp olt float %y, 0.0 21*50e80e06SYingwei Zheng ret i1 %cmp 22*50e80e06SYingwei Zheng} 23*50e80e06SYingwei Zheng 24*50e80e06SYingwei Zhengdefine i1 @test_powi_base_without_nsz(float nofpclass(ninf nnorm nsub) %x, i32 %e) { 25*50e80e06SYingwei Zheng; CHECK-LABEL: define i1 @test_powi_base_without_nsz( 26*50e80e06SYingwei Zheng; CHECK-SAME: float nofpclass(ninf nsub nnorm) [[X:%.*]], i32 [[E:%.*]]) { 27*50e80e06SYingwei Zheng; CHECK-NEXT: [[Y:%.*]] = call float @llvm.powi.f32.i32(float [[X]], i32 [[E]]) 28*50e80e06SYingwei Zheng; CHECK-NEXT: [[CMP:%.*]] = fcmp olt float [[Y]], 0.000000e+00 29*50e80e06SYingwei Zheng; CHECK-NEXT: ret i1 [[CMP]] 30*50e80e06SYingwei Zheng; 31*50e80e06SYingwei Zheng %y = call float @llvm.powi.f32(float %x, i32 %e) 32*50e80e06SYingwei Zheng %cmp = fcmp olt float %y, 0.0 33*50e80e06SYingwei Zheng ret i1 %cmp 34*50e80e06SYingwei Zheng} 35*50e80e06SYingwei Zheng 36*50e80e06SYingwei Zhengdefine float @pr31702(float %x, i32 %n) { 37*50e80e06SYingwei Zheng; CHECK-LABEL: define float @pr31702( 38*50e80e06SYingwei Zheng; CHECK-SAME: float [[X:%.*]], i32 [[N:%.*]]) { 39*50e80e06SYingwei Zheng; CHECK-NEXT: entry: 40*50e80e06SYingwei Zheng; CHECK-NEXT: [[CALL1:%.*]] = call float @llvm.powi.f32.i32(float -0.000000e+00, i32 [[N]]) 41*50e80e06SYingwei Zheng; CHECK-NEXT: [[CALL2:%.*]] = call float @llvm.fabs.f32(float [[CALL1]]) 42*50e80e06SYingwei Zheng; CHECK-NEXT: ret float [[CALL2]] 43*50e80e06SYingwei Zheng; 44*50e80e06SYingwei Zhengentry: 45*50e80e06SYingwei Zheng %call1 = call float @llvm.powi.f32(float -0.0, i32 %n) 46*50e80e06SYingwei Zheng %call2 = call float @llvm.fabs.f32(float %call1) 47*50e80e06SYingwei Zheng ret float %call2 48*50e80e06SYingwei Zheng} 49*50e80e06SYingwei Zheng 50*50e80e06SYingwei Zhengdeclare float @llvm.powi.f32(float, i32) 51*50e80e06SYingwei Zhengdeclare float @llvm.fabs.f32(float) 52