28 lines · plain
1; RUN: not opt -passes='print<ir2vec>' -o /dev/null -ir2vec-vocab-path=%S/Inputs/incorrect_vocab1.json %s 2>&1 | FileCheck %s -check-prefix=INCORRECT-VOCAB1-CHECK2; RUN: not opt -passes='print<ir2vec>' -o /dev/null -ir2vec-vocab-path=%S/Inputs/incorrect_vocab2.json %s 2>&1 | FileCheck %s -check-prefix=INCORRECT-VOCAB2-CHECK3; RUN: not opt -passes='print<ir2vec>' -o /dev/null -ir2vec-vocab-path=%S/Inputs/incorrect_vocab3.json %s 2>&1 | FileCheck %s -check-prefix=INCORRECT-VOCAB3-CHECK4; RUN: not opt -passes='print<ir2vec>' -o /dev/null -ir2vec-vocab-path=%S/Inputs/incorrect_vocab4.json %s 2>&1 | FileCheck %s -check-prefix=INCORRECT-VOCAB4-CHECK5 6define dso_local noundef float @_Z3abcif(i32 noundef %a, float noundef %b) #0 {7entry:8 %a.addr = alloca i32, align 49 %b.addr = alloca float, align 410 store i32 %a, ptr %a.addr, align 411 store float %b, ptr %b.addr, align 412 %0 = load i32, ptr %a.addr, align 413 %1 = load i32, ptr %a.addr, align 414 %mul = mul nsw i32 %0, %115 %conv = sitofp i32 %mul to float16 %2 = load float, ptr %b.addr, align 417 %add = fadd float %conv, %218 ret float %add19}20 21; INCORRECT-VOCAB1-CHECK: error: Error reading vocabulary: Missing 'Opcodes' section in vocabulary file22 23; INCORRECT-VOCAB2-CHECK: error: Error reading vocabulary: Missing 'Types' section in vocabulary file24 25; INCORRECT-VOCAB3-CHECK: error: Error reading vocabulary: Missing 'Arguments' section in vocabulary file26 27; INCORRECT-VOCAB4-CHECK: error: Error reading vocabulary: Vocabulary sections have different dimensions28