| Jan Wen Voung | d9a3bad | 2012-10-11 20:20:40 +0000 | [diff] [blame] | 1 | ; Basic sanity test to check that instruction operands are encoded with |
| 2 | ; relative IDs. |
| 3 | ; RUN: llvm-as < %s | llvm-bcanalyzer -dump | FileCheck %s |
| Duncan P. N. Exon Smith | 13f5c58 | 2014-08-19 21:08:27 +0000 | [diff] [blame] | 4 | ; RUN: verify-uselistorder < %s |
| Jan Wen Voung | d9a3bad | 2012-10-11 20:20:40 +0000 | [diff] [blame] | 5 | |
| 6 | ; CHECK: FUNCTION_BLOCK |
| Cameron McInally | ca8cb68 | 2018-11-13 18:15:47 +0000 | [diff] [blame] | 7 | ; CHECK: INST_UNOP {{.*}}op0=1 |
| 8 | ; CHECK: INST_RET {{.*}}op0=1 |
| 9 | define double @test_float_unops(double %a) nounwind { |
| 10 | %1 = fneg double %a |
| 11 | ret double %1 |
| 12 | } |
| 13 | |
| 14 | |
| 15 | ; CHECK: FUNCTION_BLOCK |
| Jan Wen Voung | d9a3bad | 2012-10-11 20:20:40 +0000 | [diff] [blame] | 16 | ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 |
| 17 | ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 |
| 18 | ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 |
| 19 | ; CHECK: INST_RET {{.*}}op0=1 |
| 20 | define i32 @test_int_binops(i32 %a) nounwind { |
| 21 | entry: |
| 22 | %0 = add i32 %a, %a |
| 23 | %1 = sub i32 %0, %0 |
| 24 | %2 = mul i32 %1, %1 |
| 25 | ret i32 %2 |
| 26 | } |
| 27 | |
| 28 | |
| 29 | ; CHECK: FUNCTION_BLOCK |
| 30 | ; CHECK: INST_CAST {{.*}}op0=1 |
| 31 | ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 |
| 32 | ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 |
| 33 | ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 |
| 34 | ; CHECK: INST_BINOP {{.*}}op0=1 op1=1 |
| 35 | ; CHECK: INST_RET {{.*}}op0=1 |
| 36 | define double @test_float_binops(i32 %a) nounwind { |
| 37 | %1 = sitofp i32 %a to double |
| 38 | %2 = fadd double %1, %1 |
| 39 | %3 = fsub double %2, %2 |
| 40 | %4 = fmul double %3, %3 |
| 41 | %5 = fdiv double %4, %4 |
| 42 | ret double %5 |
| 43 | } |
| 44 | |
| 45 | |
| 46 | ; CHECK: FUNCTION_BLOCK |
| David Blaikie | 6606ad9 | 2015-02-25 01:08:52 +0000 | [diff] [blame] | 47 | ; skip checking operands of INST_GEP since that depends on ordering |
| Jan Wen Voung | d9a3bad | 2012-10-11 20:20:40 +0000 | [diff] [blame] | 48 | ; between literals and the formal parameters. |
| David Blaikie | 6606ad9 | 2015-02-25 01:08:52 +0000 | [diff] [blame] | 49 | ; CHECK: INST_GEP {{.*}} |
| Jan Wen Voung | d9a3bad | 2012-10-11 20:20:40 +0000 | [diff] [blame] | 50 | ; CHECK: INST_LOAD {{.*}}op0=1 {{.*}} |
| 51 | ; CHECK: INST_CMP2 op0=1 {{.*}} |
| 52 | ; CHECK: INST_RET {{.*}}op0=1 |
| 53 | define i1 @test_load(i32 %a, {i32, i32}* %ptr) nounwind { |
| 54 | entry: |
| David Blaikie | 198d8ba | 2015-02-27 19:29:02 +0000 | [diff] [blame] | 55 | %0 = getelementptr inbounds {i32, i32}, {i32, i32}* %ptr, i32 %a, i32 0 |
| David Blaikie | 7c9c6ed | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 56 | %1 = load i32, i32* %0 |
| Jan Wen Voung | d9a3bad | 2012-10-11 20:20:40 +0000 | [diff] [blame] | 57 | %2 = icmp eq i32 %1, %a |
| 58 | ret i1 %2 |
| 59 | } |
| Jordan Rose | d421075 | 2014-08-30 17:07:55 +0000 | [diff] [blame] | 60 | |
| 61 | ; CHECK: Stream type: LLVM IR |