llir 0.2.2

LLVM IR Binding
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66

use llir;
use std::path::Path;

fn test_no_crash<'ctx>(module: &llir::Module<'ctx>) {
  for func in module.iter_functions() {
    for block in func.iter_blocks() {
      for instr in block.iter_instructions() {
        use llir::values::Instruction::*;
        use llir::values::*;
        match instr {
          Binary(bin) => {
            let _ = bin.opcode();
            let _ = bin.op0();
            let _ = bin.op1();
          }
          Unary(una) => {
            let _ = una.opcode();
            let _ = una.op0();
          }
          Call(call) => {
            let _ = call.callee_function();
            let _ = call.callee();
            let _ = call.num_arguments();
            let _ = call.arguments();
            let _ = call.is_tail_call();
          }
          Branch(br) => match br {
            BranchInstruction::Conditional(cond_br) => {
              let _ = cond_br.condition();
              let _ = cond_br.then_block();
              let _ = cond_br.else_block();
            }
            BranchInstruction::Unconditional(uncond_br) => {
              let _ = uncond_br.destination();
            }
          },
          Switch(switch) => {
            let _ = switch.condition();
            let _ = switch.default_destination();
            let _ = switch.num_cases();
            let _ = switch.cases();
          }
          _ => (),
        }
      }
    }
  }
}

#[test]
fn test_instr_struct_free_struct() -> Result<(), String> {
  let path = Path::new("tests/c_files/free/free_struct.bc");
  let context = llir::Context::create();
  let module = context.load_module(path)?;
  test_no_crash(&module);
  Ok(())
}

#[test]
fn test_load_fn_ptr_1() -> Result<(), String> {
  let path = Path::new("tests/c_files/fn_ptr/fn_ptr_1.bc");
  let context = llir::Context::create();
  let module = context.load_module(path)?;
  test_no_crash(&module);
  Ok(())
}