76 lines · plain
1; RUN: opt < %s -passes=simplifycfg,instcombine -simplifycfg-require-and-preserve-domtree=1 -S | grep 0x3FB99999A0000000 | count 22; RUN: opt < %s -passes=simplifycfg,instcombine -simplifycfg-require-and-preserve-domtree=1 -S | grep 0xBFB99999A0000000 | count 23; check constant folding for 'frem'. PR 3316.4 5; ModuleID = 'tt.c'6target 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"7target triple = "i386-apple-darwin9.6"8 9define float @test1() nounwind {10entry:11 %retval = alloca float ; <ptr> [#uses=2]12 %0 = alloca float ; <ptr> [#uses=2]13 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]14 %1 = frem double 1.000000e-01, 1.000000e+00 ; <double> [#uses=1]15 %2 = fptrunc double %1 to float ; <float> [#uses=1]16 store float %2, ptr %0, align 417 %3 = load float, ptr %0, align 4 ; <float> [#uses=1]18 store float %3, ptr %retval, align 419 br label %return20 21return: ; preds = %entry22 %retval1 = load float, ptr %retval ; <float> [#uses=1]23 ret float %retval124}25 26define float @test2() nounwind {27entry:28 %retval = alloca float ; <ptr> [#uses=2]29 %0 = alloca float ; <ptr> [#uses=2]30 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]31 %1 = frem double -1.000000e-01, 1.000000e+00 ; <double> [#uses=1]32 %2 = fptrunc double %1 to float ; <float> [#uses=1]33 store float %2, ptr %0, align 434 %3 = load float, ptr %0, align 4 ; <float> [#uses=1]35 store float %3, ptr %retval, align 436 br label %return37 38return: ; preds = %entry39 %retval1 = load float, ptr %retval ; <float> [#uses=1]40 ret float %retval141}42 43define float @test3() nounwind {44entry:45 %retval = alloca float ; <ptr> [#uses=2]46 %0 = alloca float ; <ptr> [#uses=2]47 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]48 %1 = frem double 1.000000e-01, -1.000000e+00 ; <double> [#uses=1]49 %2 = fptrunc double %1 to float ; <float> [#uses=1]50 store float %2, ptr %0, align 451 %3 = load float, ptr %0, align 4 ; <float> [#uses=1]52 store float %3, ptr %retval, align 453 br label %return54 55return: ; preds = %entry56 %retval1 = load float, ptr %retval ; <float> [#uses=1]57 ret float %retval158}59 60define float @test4() nounwind {61entry:62 %retval = alloca float ; <ptr> [#uses=2]63 %0 = alloca float ; <ptr> [#uses=2]64 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]65 %1 = frem double -1.000000e-01, -1.000000e+00 ; <double> [#uses=1]66 %2 = fptrunc double %1 to float ; <float> [#uses=1]67 store float %2, ptr %0, align 468 %3 = load float, ptr %0, align 4 ; <float> [#uses=1]69 store float %3, ptr %retval, align 470 br label %return71 72return: ; preds = %entry73 %retval1 = load float, ptr %retval ; <float> [#uses=1]74 ret float %retval175}76