| Chris Lattner | 13e40b4 | 2002-07-30 00:10:05 +0000 | [diff] [blame] | 1 | ; This testcase fails because ADCE does not correctly delete the chain of |
| 2 | ; three instructions that are dead here. Ironically there were a dead basic |
| 3 | ; block in this function, it would work fine, but that would be the part we |
| 4 | ; have to fix now, wouldn't it.... |
| 5 | ; |
| David Callahan | ebcf916 | 2016-12-13 16:42:18 +0000 | [diff] [blame] | 6 | ; RUN: opt < %s -adce -S | FileCheck %s |
| Chris Lattner | d45d18d | 2002-07-23 18:27:20 +0000 | [diff] [blame] | 7 | |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 8 | define void @foo(i8* %reg5481) { |
| 9 | %cast611 = bitcast i8* %reg5481 to i8** ; <i8**> [#uses=1] |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 10 | %reg162 = load i8*, i8** %cast611 ; <i8*> [#uses=1] |
| David Callahan | ebcf916 | 2016-12-13 16:42:18 +0000 | [diff] [blame] | 11 | ; CHECK-NOT: ptrtoint |
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 12 | ptrtoint i8* %reg162 to i32 ; <i32>:1 [#uses=0] |
| 13 | ret void |
| Chris Lattner | d45d18d | 2002-07-23 18:27:20 +0000 | [diff] [blame] | 14 | } |