122 lines · plain
1; RUN: llvm-dis < %s.bc| FileCheck %s2; RUN: verify-uselistorder < %s.bc3 4; BinaryFloatOperation.3.2.ll.bc was generated by passing this file to llvm-as-3.2.5; The test checks that LLVM does not misread binary float instructions from6; older bitcode files.7 8define void @fadd(float %x1, double %x2 ,half %x3, fp128 %x4, x86_fp80 %x5, ppc_fp128 %x6){9entry:10; CHECK: %res1 = fadd float %x1, %x111 %res1 = fadd float %x1, %x112 13; CHECK-NEXT: %res2 = fadd double %x2, %x214 %res2 = fadd double %x2, %x215 16; CHECK-NEXT: %res3 = fadd half %x3, %x317 %res3 = fadd half %x3, %x318 19; CHECK-NEXT: %res4 = fadd fp128 %x4, %x420 %res4 = fadd fp128 %x4, %x421 22; CHECK-NEXT: %res5 = fadd x86_fp80 %x5, %x523 %res5 = fadd x86_fp80 %x5, %x524 25; CHECK-NEXT: %res6 = fadd ppc_fp128 %x6, %x626 %res6 = fadd ppc_fp128 %x6, %x627 28 ret void29}30 31define void @faddFloatVec(<2 x float> %x1, <3 x float> %x2 ,<4 x float> %x3, <8 x float> %x4, <16 x float> %x5){32entry:33; CHECK: %res1 = fadd <2 x float> %x1, %x134 %res1 = fadd <2 x float> %x1, %x135 36; CHECK-NEXT: %res2 = fadd <3 x float> %x2, %x237 %res2 = fadd <3 x float> %x2, %x238 39; CHECK-NEXT: %res3 = fadd <4 x float> %x3, %x340 %res3 = fadd <4 x float> %x3, %x341 42; CHECK-NEXT: %res4 = fadd <8 x float> %x4, %x443 %res4 = fadd <8 x float> %x4, %x444 45; CHECK-NEXT: %res5 = fadd <16 x float> %x5, %x546 %res5 = fadd <16 x float> %x5, %x547 48 ret void49}50 51define void @faddDoubleVec(<2 x double> %x1, <3 x double> %x2 ,<4 x double> %x3, <8 x double> %x4, <16 x double> %x5){52entry:53; CHECK: %res1 = fadd <2 x double> %x1, %x154 %res1 = fadd <2 x double> %x1, %x155 56; CHECK-NEXT: %res2 = fadd <3 x double> %x2, %x257 %res2 = fadd <3 x double> %x2, %x258 59; CHECK-NEXT: %res3 = fadd <4 x double> %x3, %x360 %res3 = fadd <4 x double> %x3, %x361 62; CHECK-NEXT: %res4 = fadd <8 x double> %x4, %x463 %res4 = fadd <8 x double> %x4, %x464 65; CHECK-NEXT: %res5 = fadd <16 x double> %x5, %x566 %res5 = fadd <16 x double> %x5, %x567 68 ret void69}70 71define void @faddHalfVec(<2 x half> %x1, <3 x half> %x2 ,<4 x half> %x3, <8 x half> %x4, <16 x half> %x5){72entry:73; CHECK: %res1 = fadd <2 x half> %x1, %x174 %res1 = fadd <2 x half> %x1, %x175 76; CHECK-NEXT: %res2 = fadd <3 x half> %x2, %x277 %res2 = fadd <3 x half> %x2, %x278 79; CHECK-NEXT: %res3 = fadd <4 x half> %x3, %x380 %res3 = fadd <4 x half> %x3, %x381 82; CHECK-NEXT: %res4 = fadd <8 x half> %x4, %x483 %res4 = fadd <8 x half> %x4, %x484 85; CHECK-NEXT: %res5 = fadd <16 x half> %x5, %x586 %res5 = fadd <16 x half> %x5, %x587 88 ret void89}90 91define void @fsub(float %x1){92entry:93; CHECK: %res1 = fsub float %x1, %x194 %res1 = fsub float %x1, %x195 96 ret void97}98 99define void @fmul(float %x1){100entry:101; CHECK: %res1 = fmul float %x1, %x1102 %res1 = fmul float %x1, %x1103 104 ret void105}106 107define void @fdiv(float %x1){108entry:109; CHECK: %res1 = fdiv float %x1, %x1110 %res1 = fdiv float %x1, %x1111 112 ret void113}114 115define void @frem(float %x1){116entry:117; CHECK: %res1 = frem float %x1, %x1118 %res1 = frem float %x1, %x1119 120 ret void121}122