27 lines · plain
1// RUN: cir-opt %s -verify-diagnostics -split-input-file2 3// -----4 5!u64i = !cir.int<u, 64>6// expected-error @below {{expected 'target_address_space'}}7cir.func @address_space1(%p : !cir.ptr<!u64i, foobar>) {8 cir.return9}10 11// -----12 13!u64i = !cir.int<u, 64>14// expected-error@below {{expected '('}}15cir.func @address_space2(%p : !cir.ptr<!u64i, target_address_space>) {16 cir.return17}18 19// -----20 21!u64i = !cir.int<u, 64>22// expected-error@+2 {{expected integer value}}23// expected-error@below {{expected integer address space value}}24cir.func @address_space3(%p : !cir.ptr<!u64i, target_address_space()>) {25 cir.return26}27