File: 2003-07-08-BadCastToBool.ll

package info (click to toggle)
llvm-toolchain-7 1%3A7.0.1-8%2Bdeb10u2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 734,616 kB
  • sloc: cpp: 3,776,926; ansic: 633,271; asm: 350,301; python: 142,716; objc: 107,612; sh: 22,626; lisp: 11,056; perl: 7,999; pascal: 6,742; ml: 5,537; awk: 3,536; makefile: 2,557; cs: 2,027; xml: 841; javascript: 518; ruby: 156
file content (34 lines) | stat: -rw-r--r-- 1,360 bytes parent folder | download | duplicates (20)
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
; RUN: llc < %s

;; Date:     Jul 8, 2003.
;; From:     test/Programs/MultiSource/Olden-perimeter
;; Function: int %adj(uint %d.1, uint %ct.1)
;;
;; Errors: (1) cast-int-to-bool was being treated as a NOP (i.e., the int
;;	       register was treated as effectively true if non-zero).
;;	       This cannot be used for later boolean operations.
;;	   (2) (A or NOT(B)) was being folded into A orn B, which is ok
;;	       for bitwise operations but not booleans!  For booleans,
;;	       the result has to be compared with 0.

@.str_1 = internal constant [30 x i8] c"d = %d, ct = %d, d ^ ct = %d\0A\00"

declare i32 @printf(i8*, ...)

define i32 @adj(i32 %d.1, i32 %ct.1) {
entry:
        %tmp.19 = icmp eq i32 %ct.1, 2          ; <i1> [#uses=1]
        %tmp.22.not = trunc i32 %ct.1 to i1              ; <i1> [#uses=1]
        %tmp.221 = xor i1 %tmp.22.not, true             ; <i1> [#uses=1]
        %tmp.26 = or i1 %tmp.19, %tmp.221               ; <i1> [#uses=1]
        %tmp.27 = zext i1 %tmp.26 to i32                ; <i32> [#uses=1]
        ret i32 %tmp.27
}

define i32 @main() {
entry:
        %result = call i32 @adj( i32 3, i32 2 )         ; <i32> [#uses=1]
        %tmp.0 = call i32 (i8*, ...) @printf( i8* getelementptr ([30 x i8], [30 x i8]* @.str_1, i64 0, i64 0), i32 3, i32 2, i32 %result )              ; <i32> [#uses=0]
        ret i32 0
}