| // NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --check-globals all --version 6 |
| // RUN: %clang_cc1 -triple wasm64-- -fnative-half-arguments-and-returns -emit-llvm -O1 -disable-llvm-passes -o - %s | FileCheck %s |
| |
| __fp16 g = 2.0f; |
| |
| //. |
| // CHECK: @g = global half 2.000000e+00, align 2 |
| //. |
| // CHECK-LABEL: define float @test_memory_fp16_to_float( |
| // CHECK-SAME: ptr noundef [[PTR:%.*]]) #[[ATTR0:[0-9]+]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[PTR_ADDR:%.*]] = alloca ptr, align 8 |
| // CHECK-NEXT: store ptr [[PTR]], ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6:![0-9]+]] |
| // CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP1:%.*]] = load half, ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9:![0-9]+]] |
| // CHECK-NEXT: [[CONV:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: ret float [[CONV]] |
| // |
| float test_memory_fp16_to_float(__fp16 *ptr) { |
| return *ptr; |
| } |
| |
| // CHECK-LABEL: define void @test_memory_float_from_fp16( |
| // CHECK-SAME: ptr noundef [[PTR:%.*]], float noundef [[VAL:%.*]]) #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[PTR_ADDR:%.*]] = alloca ptr, align 8 |
| // CHECK-NEXT: [[VAL_ADDR:%.*]] = alloca float, align 4 |
| // CHECK-NEXT: store ptr [[PTR]], ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: store float [[VAL]], ptr [[VAL_ADDR]], align 4, !tbaa [[FLOAT_TBAA11:![0-9]+]] |
| // CHECK-NEXT: [[TMP0:%.*]] = load float, ptr [[VAL_ADDR]], align 4, !tbaa [[FLOAT_TBAA11]] |
| // CHECK-NEXT: [[CONV:%.*]] = fptrunc float [[TMP0]] to half |
| // CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: store half [[CONV]], ptr [[TMP1]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: ret void |
| // |
| void test_memory_float_from_fp16(__fp16* ptr, float val) { |
| *ptr = val; |
| } |
| |
| // CHECK-LABEL: define float @test_memory_fp16_preinc( |
| // CHECK-SAME: ptr noundef [[PTR:%.*]]) #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[PTR_ADDR:%.*]] = alloca ptr, align 8 |
| // CHECK-NEXT: store ptr [[PTR]], ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP1:%.*]] = load half, ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[INCDEC_CONV:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: [[INC:%.*]] = fadd float [[INCDEC_CONV]], 1.000000e+00 |
| // CHECK-NEXT: [[INCDEC_CONV1:%.*]] = fptrunc float [[INC]] to half |
| // CHECK-NEXT: store half [[INCDEC_CONV1]], ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[CONV:%.*]] = fpext half [[INCDEC_CONV1]] to float |
| // CHECK-NEXT: ret float [[CONV]] |
| // |
| float test_memory_fp16_preinc(__fp16 *ptr) { |
| return ++(*ptr); |
| } |
| |
| // CHECK-LABEL: define float @test_memory_fp16_postinc( |
| // CHECK-SAME: ptr noundef [[PTR:%.*]]) #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[PTR_ADDR:%.*]] = alloca ptr, align 8 |
| // CHECK-NEXT: store ptr [[PTR]], ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP1:%.*]] = load half, ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[INCDEC_CONV:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: [[INC:%.*]] = fadd float [[INCDEC_CONV]], 1.000000e+00 |
| // CHECK-NEXT: [[INCDEC_CONV1:%.*]] = fptrunc float [[INC]] to half |
| // CHECK-NEXT: store half [[INCDEC_CONV1]], ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[CONV:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: ret float [[CONV]] |
| // |
| float test_memory_fp16_postinc(__fp16 *ptr) { |
| return (*ptr)++; |
| } |
| |
| // CHECK-LABEL: define float @test_memory_fp16_predec( |
| // CHECK-SAME: ptr noundef [[PTR:%.*]]) #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[PTR_ADDR:%.*]] = alloca ptr, align 8 |
| // CHECK-NEXT: store ptr [[PTR]], ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP1:%.*]] = load half, ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[INCDEC_CONV:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: [[DEC:%.*]] = fadd float [[INCDEC_CONV]], -1.000000e+00 |
| // CHECK-NEXT: [[INCDEC_CONV1:%.*]] = fptrunc float [[DEC]] to half |
| // CHECK-NEXT: store half [[INCDEC_CONV1]], ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[CONV:%.*]] = fpext half [[INCDEC_CONV1]] to float |
| // CHECK-NEXT: ret float [[CONV]] |
| // |
| float test_memory_fp16_predec(__fp16 *ptr) { |
| return --(*ptr); |
| } |
| |
| // CHECK-LABEL: define float @test_memory_fp16_postdec( |
| // CHECK-SAME: ptr noundef [[PTR:%.*]]) #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[PTR_ADDR:%.*]] = alloca ptr, align 8 |
| // CHECK-NEXT: store ptr [[PTR]], ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[PTR_ADDR]], align 8, !tbaa [[__FP16PTR_TBAA6]] |
| // CHECK-NEXT: [[TMP1:%.*]] = load half, ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[INCDEC_CONV:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: [[DEC:%.*]] = fadd float [[INCDEC_CONV]], -1.000000e+00 |
| // CHECK-NEXT: [[INCDEC_CONV1:%.*]] = fptrunc float [[DEC]] to half |
| // CHECK-NEXT: store half [[INCDEC_CONV1]], ptr [[TMP0]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[CONV:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: ret float [[CONV]] |
| // |
| float test_memory_fp16_postdec(__fp16 *ptr) { |
| return (*ptr)--; |
| } |
| |
| // CHECK-LABEL: define half @test_arg_return( |
| // CHECK-SAME: half noundef [[X:%.*]]) #[[ATTR0]] { |
| // CHECK-NEXT: [[ENTRY:.*:]] |
| // CHECK-NEXT: [[X_ADDR:%.*]] = alloca half, align 2 |
| // CHECK-NEXT: store half [[X]], ptr [[X_ADDR]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[TMP0:%.*]] = load half, ptr [[X_ADDR]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[CONV:%.*]] = fpext half [[TMP0]] to float |
| // CHECK-NEXT: [[TMP1:%.*]] = load half, ptr [[X_ADDR]], align 2, !tbaa [[__FP16_TBAA9]] |
| // CHECK-NEXT: [[CONV1:%.*]] = fpext half [[TMP1]] to float |
| // CHECK-NEXT: [[ADD:%.*]] = fadd float [[CONV]], [[CONV1]] |
| // CHECK-NEXT: [[CONV2:%.*]] = fptrunc float [[ADD]] to half |
| // CHECK-NEXT: ret half [[CONV2]] |
| // |
| __fp16 test_arg_return(__fp16 x) { |
| return x + x; |
| } |
| //. |
| // CHECK: attributes #[[ATTR0]] = { nounwind "no-trapping-math"="true" "stack-protector-buffer-size"="8" } |
| //. |
| // CHECK: [[META0:![0-9]+]] = !{!"{{.*}}clang version {{.*}}"} |
| // CHECK: [[META1:![0-9]+]] = !{[[META2:![0-9]+]], [[META3:![0-9]+]], i64 0} |
| // CHECK: [[META2]] = !{!"__libc_errno", [[META3]], i64 0} |
| // CHECK: [[META3]] = !{!"int", [[META4:![0-9]+]], i64 0} |
| // CHECK: [[META4]] = !{!"omnipotent char", [[META5:![0-9]+]], i64 0} |
| // CHECK: [[META5]] = !{!"Simple C/C++ TBAA"} |
| // CHECK: [[__FP16PTR_TBAA6]] = !{[[META7:![0-9]+]], [[META7]], i64 0} |
| // CHECK: [[META7]] = !{!"p1 __fp16", [[META8:![0-9]+]], i64 0} |
| // CHECK: [[META8]] = !{!"any pointer", [[META4]], i64 0} |
| // CHECK: [[__FP16_TBAA9]] = !{[[META10:![0-9]+]], [[META10]], i64 0} |
| // CHECK: [[META10]] = !{!"__fp16", [[META4]], i64 0} |
| // CHECK: [[FLOAT_TBAA11]] = !{[[META12:![0-9]+]], [[META12]], i64 0} |
| // CHECK: [[META12]] = !{!"float", [[META4]], i64 0} |
| //. |
