135 lines · plain
1// RUN: cir-opt %s -verify-diagnostics -split-input-file2 3!u32i = !cir.int<u, 32>4cir.func @reference_unknown_vtable() {5 // expected-error @below {{'cir.vtable.address_point' op 'some_vtable' does not reference a valid cir.global}}6 %0 = cir.vtable.address_point(@some_vtable, address_point = <index = 0, offset = 2>) : !cir.vptr7 cir.return8}9 10// -----11 12!u8i = !cir.int<u, 8>13!u32i = !cir.int<u, 32>14cir.global linkonce_odr @_ZTT1D = #cir.const_array<[#cir.global_view<@_ZTV1D, [0 : i32, 3 : i32]> : !cir.ptr<!u8i>, #cir.global_view<@_ZTC1D0_1B, [0 : i32, 3 : i32]> : !cir.ptr<!u8i>]> : !cir.array<!cir.ptr<!u8i> x 2>15cir.func @reference_non_vtable() {16 // expected-error @below {{Expected #cir.vtable in initializer for global '_ZTT1D'}}17 %0 = cir.vtable.address_point(@_ZTT1D, address_point = <index = 0, offset = 2>) : !cir.vptr18 cir.return19}20 21// -----22 23!rec_S = !cir.record<struct "S" {!cir.vptr}>24!u8i = !cir.int<u, 8>25!rec_anon_struct = !cir.record<struct {!cir.array<!cir.ptr<!u8i> x 4>}>26module {27 // expected-error @below {{expected !cir.record type result}}28 cir.global external @_ZTV1S = #cir.vtable<{#cir.const_array<[#cir.ptr<null> : !cir.ptr<!u8i>, #cir.ptr<null> : !cir.ptr<!u8i>, #cir.global_view<@_ZN1S3keyEv> : !cir.ptr<!u8i>, #cir.global_view<@_ZN1S6nonKeyEv> : !cir.ptr<!u8i>]> : !cir.array<!cir.ptr<!u8i> x 4>}> : !cir.ptr<!rec_anon_struct>29 cir.func private dso_local @_ZN1S3keyEv(%arg0: !cir.ptr<!rec_S>)30 cir.func private dso_local @_ZN1S6nonKeyEv(%arg0: !cir.ptr<!rec_S>)31}32 33// -----34 35!rec_S = !cir.record<struct "S" {!cir.vptr}>36!u8i = !cir.int<u, 8>37!rec_anon_struct = !cir.record<struct {}>38module {39 // expected-error @below {{expected record type with one or more subtype}}40 cir.global external @_ZTV1S = #cir.vtable<{}> : !rec_anon_struct {alignment = 8 : i64}41 cir.func private dso_local @_ZN1S3keyEv(%arg0: !cir.ptr<!rec_S>)42 cir.func private dso_local @_ZN1S6nonKeyEv(%arg0: !cir.ptr<!rec_S>)43}44 45// -----46 47!rec_S = !cir.record<struct "S" {!cir.vptr}>48!u8i = !cir.int<u, 8>49!rec_anon_struct = !cir.record<struct {!cir.ptr<!u8i>}>50module {51 // expected-error @below {{expected constant array subtype}}52 cir.global external @_ZTV1S = #cir.vtable<{#cir.ptr<null> : !cir.ptr<!u8i>}> : !rec_anon_struct {alignment = 8 : i64}53 cir.func private dso_local @_ZN1S3keyEv(%arg0: !cir.ptr<!rec_S>)54 cir.func private dso_local @_ZN1S6nonKeyEv(%arg0: !cir.ptr<!rec_S>)55}56 57// -----58 59!rec_S = !cir.record<struct "S" {!cir.vptr}>60!u64i = !cir.int<u, 64>61!rec_anon_struct = !cir.record<struct {!cir.array<!u64i x 4>}>62module {63 // expected-error @below {{expected GlobalViewAttr or ConstPtrAttr}}64 cir.global external @_ZTV1S = #cir.vtable<{#cir.const_array<[#cir.int<1> : !u64i, #cir.int<1> : !u64i, #cir.int<3> : !u64i, #cir.int<4> : !u64i]> : !cir.array<!u64i x 4>}> : !rec_anon_struct {alignment = 8 : i64}65 cir.func private dso_local @_ZN1S3keyEv(%arg0: !cir.ptr<!rec_S>)66 cir.func private dso_local @_ZN1S6nonKeyEv(%arg0: !cir.ptr<!rec_S>)67}68 69// -----70 71!rec_Q = !cir.record<struct "Q" {!cir.vptr}>72!rec_S = !cir.record<struct "S" {!cir.vptr}>73!rec_S2 = !cir.record<struct "S2" {!rec_Q, !rec_S}>74!u8i = !cir.int<u, 8>75!rec_anon_struct = !cir.record<struct {!cir.array<!cir.ptr<!u8i> x 4>, !cir.ptr<!u8i>}>76module {77 // expected-error @below {{expected constant array subtype}}78 cir.global external @_ZTV2S2 = #cir.vtable<{#cir.const_array<[#cir.ptr<null> : !cir.ptr<!u8i>, #cir.ptr<null> : !cir.ptr<!u8i>, #cir.global_view<@_ZN1S3keyEv> : !cir.ptr<!u8i>, #cir.global_view<@_ZN1S6nonKeyEv> : !cir.ptr<!u8i>]> : !cir.array<!cir.ptr<!u8i> x 4>, #cir.ptr<null> : !cir.ptr<!u8i>}> : !rec_anon_struct {alignment = 8 : i64}79 80 cir.func private dso_local @_ZN1S3keyEv(%arg0: !cir.ptr<!rec_S>)81 cir.func private dso_local @_ZN1S6nonKeyEv(%arg0: !cir.ptr<!rec_S>)82 cir.func private dso_local @_ZN2S23keyEv(%arg0: !cir.ptr<!rec_S2>)83}84 85// -----86 87!u32i = !cir.int<u, 32>88!void = !cir.void89cir.func @reference_unknown_vtt() {90 // expected-error @below {{'cir.vtt.address_point' op 'some_vtt' does not reference a valid cir.global}}91 %0 = cir.vtt.address_point @some_vtt, offset = 1 -> !cir.ptr<!cir.ptr<!void>>92 cir.return93}94 95// -----96 97!u8i = !cir.int<u, 8>98!u32i = !cir.int<u, 32>99!void = !cir.void100!rec_anon_struct = !cir.record<struct {!cir.array<!cir.ptr<!u8i> x 4>}>101cir.global external @_ZTV1S = #cir.vtable<{#cir.const_array<[#cir.ptr<null> : !cir.ptr<!u8i>, #cir.ptr<null> : !cir.ptr<!u8i>, #cir.global_view<@_ZN1S3keyEv> : !cir.ptr<!u8i>, #cir.global_view<@_ZN1S6nonKeyEv> : !cir.ptr<!u8i>]> : !cir.array<!cir.ptr<!u8i> x 4>}> : !rec_anon_struct {alignment = 8 : i64}102cir.func @reference_non_vtt() {103 // expected-error @below {{'cir.vtt.address_point' op Expected constant array in initializer for global VTT '_ZTV1S'}}104 %0 = cir.vtt.address_point @_ZTV1S, offset = 1 -> !cir.ptr<!cir.ptr<!void>>105 cir.return106}107 108// -----109 110!u8i = !cir.int<u, 8>111!u32i = !cir.int<u, 32>112!void = !cir.void113!rec_anon_struct = !cir.record<struct {!cir.array<!cir.ptr<!u8i> x 4>}>114!rec_C = !cir.record<class "C" {!cir.vptr}>115cir.global linkonce_odr @_ZTT1C = #cir.const_array<[#cir.global_view<@_ZTV1C, [0 : i32, 3 : i32]> : !cir.ptr<!u8i>, #cir.global_view<@_ZTC1C0_1B, [0 : i32, 3 : i32]> : !cir.ptr<!u8i>]> : !cir.array<!cir.ptr<!u8i> x 2> {alignment = 8 : i64}116cir.func @reference_name_and_value(%arg0: !cir.ptr<!rec_C>, %arg1: !cir.ptr<!cir.ptr<!void>>) {117 // expected-error @below {{'cir.vtt.address_point' op should use either a symbol or value, but not both}}118 %0 = cir.vtt.address_point @_ZTT1C %arg1 : !cir.ptr<!cir.ptr<!void>>, offset = 1 -> !cir.ptr<!cir.ptr<!void>>119 cir.return120}121 122// -----123 124!u8i = !cir.int<u, 8>125!u32i = !cir.int<u, 32>126!void = !cir.void127!rec_anon_struct = !cir.record<struct {!cir.array<!cir.ptr<!u8i> x 4>}>128!rec_C = !cir.record<class "C" {!cir.vptr}>129cir.global linkonce_odr @_ZTT1C = #cir.const_array<[#cir.global_view<@_ZTV1C, [0 : i32, 3 : i32]> : !cir.ptr<!u8i>, #cir.global_view<@_ZTC1C0_1B, [0 : i32, 3 : i32]> : !cir.ptr<!u8i>]> : !cir.array<!cir.ptr<!u8i> x 2> {alignment = 8 : i64}130cir.func @bad_return_type_for_vtt_addrpoint() {131 // expected-error @below {{result type must be '!cir.ptr<!cir.ptr<!cir.void>>', but provided result type is '!cir.ptr<!cir.int<u, 8>>'}}132 %0 = cir.vtt.address_point @_ZTT1C, offset = 1 -> !cir.ptr<!u8i>133 cir.return134}135